SQLite format 3@ L.C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 Z-vDD4 ]/ HOL-SMT_Examples:threads=6elapsed=61.021cpu=190.816gc=5.2327zXZִF! Y]ŗXiɟ{R9v댡*֍",% ?TJd70 x7fX?uEfL8btB5at@ez+*}^OUd뺦G_7SZq?%7KMG]&&QIF(QԛoQ)GH֪~c5 ؃; CFũ`bId!#I71$)I1E0'-6c[H k43 o^ONa!9"ōu)$H gl?:ږ-Y ,Z \4wO 0F9cz)~7ړbvb5'ϻ Cu{.~{n`z ;4jQ2ޜn G o+كf;C[I JP{v,NY!>~srRݳB҈\21K) k2Ji?l؄)%}iu'^b E bQCpZCzAܐ,-3o"a6&B(2Monj~}k%.R'Yc&;bKBRi+?)hg vQKXrݖSO`GvN>-U*9ӡEay@(ӂz_?4%i$QPY>[ńոa竲zOAGLa_א_͖8ANeU,Ei"j>$ٕj5(SRk$.[VK=*'3 UWFֈ- +YP 51)?!=-'ߘs [QDַ 2F83ܪ3.dR>DC?G;j~PZUlTb*.9q~)\(.| B Ǧ_p#Qx6РI./ai`M#ko:l©@5[0ԴOpv+EP<ъ84M+ý2GK&.ӧ͓Ր%q7Dp0]aB[-/w7v~$v-)$6_LG0+x#KixyYSZ8*Ɣ uV Z89Lm&{H2S%j^#xPB\ gP&\NUc7.tR:Wnp썰NK{W֮ <}\O#9X$~''6{0[q˵W+RT' ZY[oJx&E:&<gɼ_(bŝp|a1HӀKSͱgYZ7zXZִF!  Y]ŗXiɟ1&f7g"Ti9Qy44(3>y P ""O8~Squ͐y:Wnz:m! Af QH@ a-?!a֑_Xze6w'I!KM/)ZrϿ€yMg{>GO78^@1*){ɞk'TIĪ/#~* "'m   _Q VRB\cZ+vh7|^Eh7vo4=47/cú4fo`m ^Pȸ2cZ8֟l y@tQ4j$P|.`t_gYZ7zXZִF! \N]ŗXi%Ndv4|7k3ߠ/Kd,v&0?C1&ɅM:)GR?G,U#`JU]F'9 %e g#/(Wa#T]J̥D\18E_zO˵۴ZaYOT5M,lA"< HEQsNP1xÓ:B+KĎ*5cql JYK {8ꏔJc ]g\lt7a<>=rwo^@F"9%\'̸^GxZʱ;Gvu47> JG˘Ή}I3i3SJ{ p5R\-\ZMzb[9`Jp2'n{j9 aTq+} H\L<-Zh# 30quvBn߹1[! ޡosˇs#3KB4xN ,Z<(eG:H?bL} >%#6lX]Me@π&e ^FЯٮ94YT*r2K!l{>r7MyHw'b xPa> O<- _{XVnuXroaD7KAFGܦYeWzBsZch@:D!||4lck aVOtrG}";{J͸}~ۖ#<0d \  -ME HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_Veritdocument/SMT_Tests_Verit.tex7zXZִF! _ ~]A-MՋhvG"uIBm5Ȗk?)e~~M{{{cYxp^ѡ&e?6e[⠡,>BjU^oSx-]b}\-B<}̟ /!B?wrl[DHsKMZ)hc2HVuL2k%_"k"NF>'"=]]a ;:>s:W=N2vK;Q,-G#HOL-SMT_ExamplesHOL-SMT_Examples.SMT_ExamplesPIDE/markupC-Q#HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Word_ExamplesPIDE/markup:-;'HOL-SMT_ExamplesHOL-SMT_Examples.BoogiePIDE/messages8-;#HOL-SMT_ExamplesHOL-SMT_Examples.BoogiePIDE/markup>-C'HOL-SMT_ExamplesHOL-Library.Boolean_AlgebraPIDE/messages<-C#HOL-SMT_ExamplesHOL-Library.Boolean_AlgebraPIDE/markup:-;'HOL-SMT_ExamplesHOL-Library.Type_LengthPIDE/messages8-;#HOL-SMT_ExamplesHOL-Library.Type_LengthPIDE/markup:-;'HOL-SMT_ExamplesHOL-Library.CardinalityPIDE/messages8-;#HOL-SMT_ExamplesHOL-Library.CardinalityPIDE/markupF-S'HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Examples_VeritPIDE/messagesG-=?HOL-SMT_ExamplesHOL-Library.Numeral_Typedocument/Numeral_Type.texG-=?HOL-SMT_ExamplesHOL-Library.Phantom_Typedocument/Phantom_Type.texL-G?HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Examplesdocument/SMT_Examples.texV-QIHOL-SMT_ExamplesHOL-SMT_Examples.SMT_Word_Examplesdocument/SMT_Word_Examples.tex @-;3HOL-SMT_ExamplesHOL-SMT_Examples.Boogiedocument/Boogie.tex M-CEHOL-SMT_ExamplesHOL-Library.Boolean_Algebradocument/Boolean_Algebra.tex E-;=HOL-SMT_ExamplesHOL-Library.Type_Lengthdocument/Type_Length.tex D-S#HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Examples_VeritPIDE/markup E-;=HOL-SMT_ExamplesHOL-Library.Cardinalitydocument/Cardinality.tex=-A'HOL-SMT_ExamplesHOL-SMT_Examples.SMT_TestsPIDE/messages;-A#HOL-SMT_ExamplesHOL-SMT_Examples.SMT_TestsPIDE/markupC-M'HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_VeritPIDE/messagesX-SKHOL-SMT_ExamplesHOL-SMT_Examples.SMT_Examples_Veritdocument/SMT_Examples_Verit.texA-M#HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_VeritPIDE/markupF-A9HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Testsdocument/SMT_Tests.texQ-ME HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_Veritdocument/SMT_Tests_Verit.tex   lYav2pm[27ԀItI)/yҝ,06LR8lJ5/Z.!DjS uӻ.sep"'[C(J mV.wDV:3nd{l/-]\K-Øx:KjZ͊,JrFx!\,ѦFfg] S$:w]sk5=#D<;XDeV^N|]Mˬ[ƠU ciPS"UbZDБ}aW'bwW~ Ǹu<~) =<ɣIL$/ѹp$u؇ֵn+_"ӡqHʙWk--3*ɳr=UE`6j=(׊ HV),{ԝiSBFq{(euQWE?YפuzѶ?ؠ'̓Z ăV:8%[q9Z&$7#2GXB%ύ,l &1\_MiGرB&R:<;ּ:C }2w=Ϸ3 Jxn_`M*3۹KȾC,P[PN# #G+sA٤s%jR.KEx'&3c ?NOA6 {dSנּCURXN&h@d7vV:EǐmF$XڗdCH(b4kG^}I.A6աT4; I.(z2wֶ ZVUp{#xMj Dsh$QN鬋&Fx~7jPP?ҭZʼeIxqL~(QҴ{ZZ+O8a: h#J$a@HSmɜ\Do2=+h_#И$Qb`sPČJݑk^~q2tw&%5ؒ86B(/TbW~%<)C>rŊb)?y{4BA9mBYɌ1ύX\m4V#v45%| Jrg"8xy(kmF4=pa ,d5u9Űbks RH":R!s\G%=1-r%%ʰZyзb}Уֳ [&4"﵋fqۻloU]7}*sJ$aQ{yZwKeqք zG$gK- OS<ףϬŮ&z2=NÀHvk%Y1IQ%{pQv“^N=ˑqs{L- 88{3Cx8-p < Wiw#hZׂ[5^b]lx* Ō~\~ܳP8QxN[ŠI9^GʟJx=9R/< VO_^zFC_rNM:6)tFQ?Vz\#%HρcG20 lDzؗhPYD|orAѵ&ntʫ]!qF|TITԤH)P-3: GӒ g5"ʯC5ϴje|/mrh"蘩N=g5)S֑Z(Yn4O<9/ ޾)‡TêaUyH&Cw$N_ mQ׾x+CRN$䴻nGŏ.Ţ$v rZ$S_  &`e\r}eaJ G:鋾i7}\N \[tg-aERPVx6}Dd^hy4vu9Fz)zAgĭ`:Zg@*ǥ|z^-CxJq$Z=جUV%qa4DkŽDl$ߚS;#;;ܥ$$٫Ӗp*E`bׁ̀m|ƴ R+A)訅!2@<*e@9i[7(* +q}b&SFahpB l`4 Wj'Jۺ^Kk]Udaҳ G"1+Q)wGuͽڏ`탻VqT%= g-):oͼ)˒xVCݕDF5@!y4w+x'^aJ!5Vz!Qމ (aܜAsXG}TP= `kwsS~]3a* }AKk3q@HoOw_以V#$g w?YTq 3 $z8ߗ/naBl_y`m-O!5 U7{+W̗kTSXs0k+W^Qu$!PcuX7in[ИߋGEegd VC3hD=p;_p%gu4}r͏rl#@r~ Kj%$k mm1G8svEPYɅS3_(? $݈> &QEtbv&i׶-xGߣL<{Lw5.$yCvڄ(i4, cI[Ed¹nwx\Wܝ2>SʉxˠX!akdI15dRǥC!θg7YUJp:,Ҹ$>}C׿8b";LrGr_uׁLSc,՟w1b}؏\44;WzX]jy ZΕ6rMQ'X+9i޻ElXFճI^O(HN`! ,s귑QӐ-NhxOنE,4}&$lS>c ig ɖ%YFuIP IBSy+_ !+KDŮ'$dϠ+PGσ|f;:h7uedMZ6Eq^W^*'[avLnz$n;GP/x/79 *AU˗"u%{L7wO|(er K7Fw?z>0xenPRRS 8ku!~ӿ&P׀SO0|Q*e˥XejkV_2$0;Y{C9lEd%r507Wqg54IӺ7 v9.O-+K7SX;jC^n9ʥ~?>#iOp}!I<dzU.l@띙=wx3͚ YLwKԴ$߆ؚx.lQ8{Z{y@IȠ夲2(-6P4>N`6iv}KWRl\d Yth㠧y.ZB (PD8Ѷ7`:$|ܓщpT_ o7ky>Pg 4)nL7bvqaV~ ]jEB.[[nlqNXɰl: J|}@ܝ Mɡ#ת]!Jonr-;zJEioh: t`$yqa=k>L:xXpZ~Al>5(4Y|?4 SC%,R3&I4 呓\u3WEFQ3k̩/pq46 QN )9x!35 -y9;]s@Oz2Xzzg>fMSnԜTZ'z.u׉zYWMP}Ky:TŊVhaR!E;f/SSʢ KL%<#@֋t(rgpZ%SפQ[O?ΰ$MsthdY48O;8$ѹ7ZM(ȕlh'y@UeNs*E!,4]zn!п̒p<՟6NwVɘԛDžܬ Cz{쉙"./' -"dudž>^6|tʼLvQ&knS]>t 3Cqc㤨[EO%IY~z'5nWO7͇-`~Jyj!Zgd۫$&dshdZ=/q^}N=ϠFan$cz8d@xpG/%'hrZ?}[e(3"-ʼ+r o͹q֩r֯ھsJͥq&,^eP ᖿv\s{4Ie{}gz`P=l{ 2]_rjWiLŮbĕβ79ی8a04 z[.-$$a#ADGW'92+~+w%bN#v 2NK>kn>-.d/=Jaaw帅1RBXG66K9ѻ{ 5' ICkYg'0#F@N7N[wb:fӕ UA)\܃..m4,wTYLQZg zp=6> ^k&S F:GH |Ϭb"&=S?rv-׎׶jO!==43,&zEo&1(vM\&LESK6@pĻq~c ))p|?'~>8_ܕ'7O6;m9[,1 _QT-4[*bo4J<@ت0E<:PWaS^3Y$o Ê.DMiɄlO6ZTz7=J lt]Gw5)!wU6-nIۭ?Rئ])P~A=ߩմ{Lc @YTG(9\ö&ԧP:oĒp%>Vg5WvJiB#oCT)+Pm$FA[Lqɺ٠"/Sn^#W0_mgH5aYOt YLqZe%njlB^/v3tfu) 7P *n\Q=@~E6gꚈ D\qmL4*'`Q&_K1:dks'c,R7.{$-~AnDP4@x/x8]rc,YZr %~5k$Ac˳ZR!sbt$X =(UEcNFI3! !=L 萆lPf/k-!B4ѕ7QB[yjBSsCcj|K_hXW2\RN~.;18$- \D);S.U?Mǟ$\I}EoUй'%]-œC!`g.JSܫju$ƽw0+G }z3qOrȹ:;cL!m!(.+fk3rc ű5nD(xvpe}`!n!$xqߦKG>AvsVuusU%K(9]k*J;\Sѐx?hї4Ki\\>Bϱ|樼$u_xnlm8. yr/;cfҘfMԃ﷏32~l#<: Pհl'##׎}(<MezmmLDp}٘i>qpRWa(䠆,i7_n5&!}~BKq-C`zn[xͤԜ χ` [„֖Qh' Hx}h H H`-`95ڄ@U2㟶+rMC,QefPO ^ RX:!L'51lMR'ؠSTѳЯFWkSHeszKF+[YU1>%ADp٥6 (rNŮT,~H‘eܶPuA"Q lL7e^!BW6^e<&6²|3Xe/E%u::iؿVx Sv3hϛdͻ,S9hd?OU!_\iv}GJ0|/l`P l_)H$VUy↋ vzcfϳ9Rq cM"=ػLknOiFlZ);2#" h@'c*a>eҬ3 Skuri2Gnؕ~*fC$-_Nw.Ѡ{FmUf}LŨGםW`ƃi~]O&>GxN)|gƨM*|/+J=x:)TBj-n_^Vܫom\LZtI0Ky[>'4D}BZ8X4]B+eZVcE^{mH#ݸ3C #)+_ rK ~1[o,9d|"pn[o2g!+?Q,>΂z 9\ENe@ sXOR}Tbpxб?n lV:|Wl0TX\("{tT~[~+f^&;-{; :GHbzf /lI]9zVpڐ]U2=}58%ژ ߰`AeD} ?bj&ۺb¼F3Ƣv|.sRY`>j'yq+Uԅ.xWLQqu\Io)tg2:u+lOܢ'm:ӭ="E$:8UvngܸSg/#0©߂b  E|~!\yP}@kH«$oq s'dvqU1{D8!(#oAڨK=~^dW}'ir^pM٢ { /DB^Hxy ^p6c=[4R iXRG_]* 4W ߅Px ۊk)cG >8'扔x@2[wLB lz'QIhgOuDoD&-D ;C|sq\&u}dSHNuhv+S b(7LKOּIG5fF RI3.^֑gEi5;Msiչ.M8XԇqS::z7Fؔ^͇ZVgv?D%L\}eħ )쑗Ҁ]V V_Xv qP%`DY=ӭ,lZ!o0o/hXIw&6zeⶮ.I6l,jD%}/nWRE֨{کlzo7:1;6qҩQq=:$&[C=kf/uO r32( 9>O$OC>rB`3s:3lH(lG0PK@7kŴ%>>' \h7m\jipǗϩ0 zz ÊG-k9G7+G7}>F.IT,`&L|+u>|bH u*; }TĄć^p? wU_fuQr?>|"8,;VN*z9c!^ KN&*trIM^9zUI8DB!nR#B$5UaL$!!BԦm<`N1ǣ9}m{ k#p9.]cyP[i AJĤh( 5!vd7FIL,sZl/ỹoVKΝkmre ;vh@2Fb7#bG|:*XÒE O;@SSiWhTr(wp\|=_%,!iP݌ᱜ_:8XS'K ˀ$㗊ew Rps-/DoFr"s!1: ̸hC@ס"a!0]8a8Bw+{I4hOR<[nJ2.4vfPFa]cfe+4\Mr (`qo1_{gM7lKJFFޤl)`K쥫hntVE*$S2g| <"Q~GD0G),YT>u:im٦ T?ITݗ'tgg-ڐTT[#9 LD{IP@˱v؉fHZ8>WiŎna@n|K* 9XӀE V-zq S9a>uiKҽ2<^^`oG,73`а;'1 Ҏ:%HF72_l'x!a+zSI˙b,^w 9vsAea\PWCQ-BRYBz:х:VJkKɰy8X[]}B=ܞPlT1_?t>3 Xy"R_Ro-I/e7ZHWC7Y/_ `PI`ܩ̌llTFD}*O wYWʇ'"3o5ݎވ}SDžC|&yvTT Ft&; 2&?O UB{7i~ᆦNj i= Q(H ~lݢU{ qc6|g[tzxGoUk=VTȇ?YnLHS?J@\B\*,y/P>;)7ȧaX۱f]muU[|wp" !mMzj C i~[4#"pJ'.q6k% |;iҶv=9cG\̻I6n)4PHUmq :^9x`G q异 HKAt?VN샵®!$rpwTLNJ,`m{jHEsrl~ 4ptΚe; 䮬@ʄ#0B>Z4S'nXǝY !(>WJ_ H3:?I:dCr2Bi2XVC(*PH +<r-- x=&Wgx6p@KH-+ՋCnc9( 2-$X|;B z`Oa_"t[7˓Zoױ $la~uc#iO )4MGUK5 W ۗ@uI 6A4jl/di>^^p@=dD(:Gѹ<'C?GD:^h98M>{+ A֧ýV&v:ɜɆ@C#Ns Z7=:/IEq2WΓSIRUF&g2J_R9/' M'vZyU$12RZ8@JUs6A3"s\bsHTP69\grUH áiG|#Y.))^1osD {xCf9-zhHR^拭?Yd!+[P7 |yP ]+:;W;UTSáݺqqNJ6c5M~]ܷC7J1&P~9WaV"DC#Q DTi%,dTExj[",ubek/[}@E0_fnPc5qX?'<_42گZ҄iUG^ɔS'f$Aʓh:ǭ;mW"sd!tpk 㮱Az~3Snlgsay EZϹV>Ot!y _Bԭi`Ό սvаY}f bRm8orUP;f/OG4r=p0I|iH 7-K (-b./K\M-'2.נ^+ j'դ7'_ %[) gV8;'vK:qA{benjBK0h4;v=7ס0"DA( ud$4 ],NjC]IbHt_W\7\JRmtl7 KQ`~  Ei'E-m\BnU3bog%~F+@Nʩ6{N<'"#ؒz6b4DR02lr^ ,CVIᏏ#~Pc;-\92ir{ԯ1R_%L *Kc|ڵ)ȰtH Qf@‘T8%)YuL}8s of Ƨ@p Vu.26ۄX{<=4 o{ x{)h@N5kqi>_ jNJK+Rj 1`24_uX@ M^#B ˤ6}dtmG4~@8[͐松"T^y\dw+xdixb>z"[i+he5H5HfxMk3 σ(\&|#‡y/2FWG 5L=Q _ H՞݆Gn @UȘ#1M;NX:Jn(/I'h#>s >1^dҘe0SC6CF˽۷?5Ũ^8À֝%cL\вo2#WlJqn@|%ܸi_gPO;x{(WSfs=WX7D +d^ZARJ1bJUX#M@rrNb.t<~iE9,:Ns4IYy -s,j3Мe׬g{$ tJTDPmF\f>*UþNVBӲ^ѽ7U:}: 1vS̰b\٦\/ε#lG!el@fz_rB;@pJ3Gz89.㘇7n>BK,܄MSC5/ y wjrRUP&:ĽlmF Dz2d<=In 2OފmdIJ%T'No1 4W|W4}y.fe~VLr#f$ȹk<1bu7;:1b1n33PQ~תK&'t(#xRbxcB/,? %F1f gfR2Clܨ8~Ox@8+]ZFqBj uHhBUۉ?UI/>Duo<,`Bv I$$#6*+͗ -% zI..~nYV/&#JFxÖ-w'y(x(nv)m FaI BJ4gYZF7b!Nan*Q `ƳN|ړQNP4R(>R=9M|a `q;VZ™zȨۢrקϻJ*5>&n>a:9%̜=Z[A'{YC/Y;dgZ :j^O?ڢMEJ O%(vL*w)WDm o{B')~T.aY+U`C@­&3Ƀy>EqKYҖh~$Q{uJ*-!ydN#L⃓ƒ>$wqy5N]*t .U2y@P}ϒ6cJRm:y%7˗Q4z[wb`WqtS/b8P;šˏ=csTqyrkaa/v-MX9+ڌMhH^6`3yGP(,qtyU1s [l%8z,~h8?"">{&OX`#1Gݗ7?C[okzM[X5-|0uд>9 ?7IP 0As4 } en:}їyQL5 bTQ2U=n)-륃 ja mȾnDAJա؅ i1֨ iS񟤴«ɷG08<ȊhʄAڇajl&. &fYWw +/'r*5c ƲWBBJBC~#pHÇ3ޘfEw vl*O/>a&TD{B=J.۫x'i.-v~XӊHB, 1d3d/0?18_t <6pU;_@-/‘Z!B(@9ڻZ cǡc*z|Mip|XB`Uҿrv^T?i{` E#Us0 *@Fsq sb($zinR^T0LJrέE6W?겴|Su5S`ajKePo[1ū7җ:rMm Fsg87(ri,F݅X0wאRG;ϩNy@^9ܴ8m Lɘ뎁?v@>BG=?榦S;uQ@Pa4.P6^z^zPj~k,0P> E(hY!f'U{!<4Fu:vjaI,i'=JOh 5Uf!n +:NAB:^`~,=iGPI@MnAyL<$\(xˀI/;S#o_/5d!64gY9of=Yɏа < .16|NtaTčj3UuW:%:~iʼi5`SxՉwm0qʾ_|f3ʎ=ifK+ nkIҧRZyʮ]120^}Z >"-MQ6О/*}Dג #\x"3P?ɫ{47S]&$Py\ u{@UKk}mM L|=EK[]I)W[孴32zMj{P tվ|rMTH 3-7VxDddsC*J#ھ<[쾲c"sM!w3)"Jxp =TEOC<-ˡiENL~Uv?ڂE+-Xθ0P 8n۷ų_Ev\)ÁO+V5JjF嘧&-gU"' V/-tu/H,0hC#?tgʴ:F3rI-;L/03e߈m$^HOSgWcC,os0RL'^2>y)4OsӻYo. )i+EMw` jOHcgzfD4CvV]> WJ l8RvЃiEy,G-.at_i2L|ϡr @8o`QڷkO- YcgVocC6 4D6"a4sW Kp,`Ku][Q5)|A,hnq.SUo<'oK]W]ʂo̕dpP>$b3 ټ\ e;i]7pi 2B=B\~u$"=r߸f(Z"$rٯr?iZ჈=iJ 2g@!bwx9VXyà%Id8bld͠lW?`gYZgF{3 0ɥፊ7Cb.CSn6[kԎ3H);[$ 3z#O8cdﻸ8PQHG=P5;b0 ]Y b~rdlو(DcMFH͍ж4MnEm؆24})r/m Pc[iFw<.|"o%qY+ݞ̎i{GߑF=cU&.akHTe}QbLn)"+NF|jHa];ބ)وc>MDEqk#Y\"׿cinSȻ),+ CRۖIpRȃj'{HHr,F 8FKY"ڂT C5>@{60jWkϵ3j~BF&C%ʩJcfB fcm#"^m]A[4 `*P&.b!θq}z՛_քP kc[vl38D&qk΋卍iE\̗!oJR;d!/9Ѣ:/7a<0rՂN! &[OFTBEWR&1%ܔA*?uJ*Y kӼ̀Wgiȓ*QujΣOMٺk[7<^,,yQ-Ə27x1n)9]LsrH1Q[}Ni~Xsv]Pd,Ѣuv:n˒!$I(]FqJ(GޘCnK²$BQ%Nl,wG-ֆ ~Jt'y\P9x!|MC!ᝉlr>Z|>if ڝ7 }{^VeرbDWs <,#r:,J匦5Л}tm icvgq(:$.%ZOuu3'2{fkIRRWx+XVu [:bVQ &rۑQ5%*md(_TGWn1,3y}$X 3L= ZbS79J T>KlûagFQlmGjP"9X.KUa.lQ3|x]-c=vm./]lйPf5Q9>UӲ7 ^[ny@4$;Jжy#jQY4ͪf,0CP&/7o> <yR` u,,DeKVOHdaBCSP{Ij,fxZ -OҪY~Ӂw&/& >zJ mG]%F;DACe0H;8ASaطq,@_IjG*ÎGPxޅU/tTg銛Jo l!@В?S: }:"=<m *`| jv|H.6"D~&?hu Z9Y`MrU/!U V-gWLRypx^8[m8:߻>=VX5Kh Dڢw?&*:A b]t:o'=e6>L6w凼1ǜLvUYe]C`hoe0 Ć|Yb+? T` =n,ǻ^[%5 qF HZH\SMfBU=,J_kni5cԖ,:ٶpĵ{~-P>~̽K{gKd*9Xeә p2dΥ<&df݇\ )ͤhL9&@6 D\RH rOVvGԺl [F2M=;YKȍQ3Wv:LLJT{$VQK, Ly<&kS&n*u^{";Kbw\^`Z\Fv(YxՈDg>$PzD-xjAM\Cv|aE3"$[5V?s3=Tͮu.Қ=NY +TΣsA[Q6G Y/T:ZK"g&qu>{´gJBY7o0iM3kKhZ]$u+v} 馹`)1$uǫ;GW '-d[XuOz--OAjR>.G1€Ȁ;eoN2K,zjkkOs;+ZD/]BRy*swNa)J2*7"m#sAzX0VZrdi;wf߆7Eb}>v ֳwZ="P&l=7 No3 ^s+;"Jq۠:U=/d@\s,& c)+^#P[ &1gv)+Aĵ9*Җj{'!0zp[gԑ'0Ǫ1-w$ƀ>pys^1$)FbJJu;|nQֲX)"Mטs#jkrT˔ l-$2\+؊Cctε*Y:4,٤eZLN-EJBBN/ג_Z.?=E Ndv-?x{ (ڔi&NKbo sK}ƃ)2jWgΏ1N&#HWj MwkLa{IzFV 9=Τ'iGr(DaU{BeHj:&hZQ",ȊLu$7 DsyR8Dv/q0;kxMP\̇R /ijVLXJ_&"N90;]s9֠`F7xzL 9#8Pe Ɛܵr,AT̹jLOC2 㫽TirlYBC 2I ّhG'1]&赭[i=mNc_^{j`EN$~rZsטM1-3l8ӆgyUo 06ax^DJD 0Y ԵM^Fh!U }BY֫K'& gFjm#Բj5aʿ{9nh% .Ҩytyo"A҅b3c6z Zphtz!%an͵0%^^dk v0f> IʩTG+>_ rdEt;īP@2swa\Xtu9+B[] el#p޶gEIkvB )temnY}I(04Bb P;4Aе0&8NfVw OZ̸idxּ֯q QDR,T[o\X° &h+0b9oK_@t9|ֆ!B /j0sSgK׭XײQhVcTjC0GyA9i1o nCtc@c4oWuC XK;/TSԸA5I 4,@0yp?Vת~H6Ӹ9~ {1:?njpac)e7:AoƟboeD{+ `O_bÄ.9c|tHN()ƒI/Jx#QK fqvJRd*>PT8L;^m Q8#+o$Wa+ꗙוeNKND[ߝ2,ay̘^WXviꃓEpGk̍N(5CFP^<6B]A#مcըRiM1hq+=AqĘmh!`h*;AޒְvF e3.{T6:xc ds3m['}(9gBӌj'r:y}쬤Yb{N!ɶ #㹍6!?7ϡVם]/FN/DϤ7 > zH2g T}$7 ¡OT/}6 /v3LOrcF\ ^yP;9Y^*|ղk!NXD OWHU"W2Lq_AYV<&⡮sbaS~ͿZvH;D58Pl4 OB9j^vłwCϋ#cq41T|ѣAqNс:6G,X}re4PGRGlCVplwSNñxJ$QBIh ;h@_^"hL i͔S''I !3Lqlqy0.: 9GQrN+h`-1F2f~yH$G^8Ssj~#  ]M>b7:kv&2d0@l9G. penu庱ai FUA7<18q]P b::prK4=dB2HW)HFjz:fH_%gAG-&.< hXco'lɘ:>.{xƱ*$d3q;LؿaМ^U1IQ&Z/twAW#! .v9g4t!,91`Ծ!4E A8Q_[/FoF󿸻5/)u:l|Ii>r[a2:fx;3+v̽ a|מJY>dp9ZO32Mh+@O T8\nUٙm@(;0qƒ(߃F-􄭆čk@34~5%[ Wn*z끔YGesq&wԁ=F|.K4 o @b[ő94SR~qC-_pv̑6!`*S[jSj}w YNGTN1Kt ѻ)}"j tZw*,e{W?'@l&/DC /+캫u=OsD% l/3tH9١g!λس4_LZ)?S&i]Da6ad@`U~ac&${ inSЕ}Y˘M gj]PdZo=Lw (-n˗cvp{WEFNBQ9t&zo؆HJD^̅Z0SJO=L,ww"ȶlDҐA#tk>qU z=B==˙nW?U 9KJ?0vf7WYr8ͱgYZ -M# HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_VeritPIDE/markup7zXZִF! e] !M젗OFK?[:nb7#.s1SULw;3MAtw.x0ʽǺGlZ2)k`a#r\+eT[NCވ29QJGudѐyx/4^H!K7?9i㈼:^̐v%CΉ;C( uD"vʹ$R_5n: clr{j9 aTq+} H\L<-Zh# 30quvBn߹1[! ޡosˇs#3KB4xN ,Z<(eG:H?bL} >%#6lX]Me@π&e ^FЯٮ94YT*r2K!l{>r7MyHw'b xPa> O<- _{XVnuXroaD7KAFGܦYeWzBsZch@:D!||4lck aVOtrG}";{J͸}~ۖ#<0d \  -ME HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_Veritdocument/SMT_Tests_Verit.tex7zXZִF! _ ~]A-MՋhvG"uIBm5Ȗk?)e~~M{{{cYxp^ѡ&e?6e[⠡,>BjU^oSx-]b}\-B<}̟ /!B?wrl[DHsKMZ)hc2HVuL2k%_"k"NF>'"=]]a ;:>s:W=N2vK;Q,E0;񁮃U,U{d&!<"zGzopC+=*[Ʀaܮr\koS;ޖݵF ̼Bާ#R&فM^GSt?RI`/6\ L4H rºsJڅ[_P$NCt7J_H- b D+۹G~2hdj9 HCnS>DmX?I4;Rz(Mmw|PYmr@84KKKdt="QUI3!SsTG"IqrhLT8ibu F7x˱#iW A]%J`GǹblxnZn Fʤ*$FϼPmjfzoIIS톶U HAm}qiUq _~nH9aPN@VYV`Plždw7XJLA ֜@3G$zd*.tTdQ}.r~! com-zd:;vXL[t({wm8MOD!sB5[ϙp},~JS ,4+2;]NT_keDPUjM,a`+^:t4r3[;hHFFVnbV&V" &RD5> MDgE҂Ƀ@[R]8 j6 qxyʮnNdӰɨp[vEYyw/%#F#x@=G}3Ia}8ub,c om Tf{M:I%>H <~ uDz!ġ '݊oھ)燕pdH1SND۱ڇ݈fEP#A tYA:< ߉G$Q|.msDCu6MP읧)Bp`+"gtxY5e6@q N57҂H$HK ;>C29%%!4Vsw KcV=KҳP;WeaÄ˕E(rצD%lٹtVtjUH?<M#&+™ #\?ªc< ԅ|RbpH+MTK,bfDcRe)gHzxu=Zq Yt7kJUC 4xH۬^ m) 4O֪=_ Vq),.nU߫prv"ܢ$O)T $+JչKz*x#@!2qéԛPCK?y8 ޤȵONn/d=~1l5@ $:c19S a8`{ /=2z>#hLZdD=(=]x6Y_DnG\h *Uh0w/Qb,:;E}ΩG2tcsĸ~rWyЌov^]b:{F'b;6qd@\%s4zDikTJ&φ<ƛݽJiهK^b;ʚ'Pu%qW{hptyu &uj 14G3(7&Jg e6BWH`}z*[sP''yM,Y+PP$]ySA'f=&{2j[ z@ښGdvYȦVΚ@K-Zra]N%nc܎ohJ& OY1dB4GX~WM#ӏV$?t[#g\wM \=Dy{j;zClE 7u+A)}BNAy .{&G@"-/~M[j,>$Qv 1/?wr ?yZB"9h{nHʋ.(30 Ѩ//OPC=5ҫ1dVONԱ/eͶ$QZ5^o+{؝-5Y͛A~e Rx6?Ѿ͢yG}7U[?CO $߷:U?GY83Ny> @akxDw+tX@,da}ĐDrI0ƈ2.<8C G|#b 6g{vw R~Zʼ1Ea8JLы]{F` y6{MPFd-qgm\)swB1q[),>oN_tɫ?@I5;6rg[C ֻuVl6s-zy7#\RaB0g) NW0^VٺK 9d`.ܽUEzh--hP9hf{(8bD`8a1 DmFi23ƷJ,|,> Cݿ -7WOn7YA_U{s"[NC\鉐J0)(Ÿxx0ˮQt"KHq픰9Ontȍ48 toM)^ZYzɮe !lWYmYMf~wDUx+3`,u`dZ#qq-ET#6qN,BC}(&UJ*B>ؕ K T6Mכ$+qr 6 ^HLP5A vtq?m9*Z<E?)T1c2i:Gb*yU,x\ If&. d÷58wN^ }3:R`%Ra{=Mmɚ6Lqe,gLgk-k 06DCMrj]O彰(6 K3XA|뢕=fKA[{Dj̮8*I҃${JSqԊWWԃDٌ-[%@/ :QU"{`12>^V¡`T'F.Ik;r =- ;psa䩿dZO -qTAgɸ U8P EiDɧ#I{D&ᚎ\ݳum_8ATlƆ=C ڶz5T. `.tcG8 _(I/OZ7QPV`o` 5Y2bcK.>^M sQIWdYJTx lsbplZ"j[XKѤG C&yT@ JF}9@MI WĻ4Q},,^oЋDu6̩8 IJhF71|@TGYiIxH3rT9~K9z!$ޢJI76"{e3s>ZPջ\Yz6}'5ĻH&5R DVfP _@J6(aW9#6^_<l4!ֆ]_uO;9Ɂ.Cc>: \?$~!YHVBJS;Įhh$r 7Kđ! t?caW֦&6c\rhlUON& 3455FR5˼˸޻L:*}vɢ"gma̹KQIup='y'Jk9Q{AL SJy %/Q85;xFXY[g✈n"@rXnU\N`v^Q.&:0l#:n2>a=2N.:`RVw1re?W#sdiJe?O/t7,YT{ĉr*+wVtL-buVydBT`ֈDd"ֿV"(.Pb0Y-&u@*&_dT^j =5jdP$ N{ 9t U$!(#/̾^Lw.ךĽң۠)I]_6F$Cte R0{γ._Ɇ˺ Q: i!vs//^Aӆ#Z3_-334}2mhU؈I.7?TǐJ2F&6ajTYК3 EۏCeRN-&Pi>޹)[@PK]UL4uج/^K| `5] /s~QŁfZXVkc2NB(JMA2{3g vvyy38^[X -A' $HOL-SMT_ExamplesHOL-SMT_Examples.SMT_TestsPIDE/messages7zXZִF! S]·Iq n[:|&[zs|RRQyF;3sBpJU6EӭS?XCKŬiOgd_Ncd't1ΔĤ gy^c$dU2^qɉ~,d40r Td3My|K>C`hvtxN sE Cv1Lo[3nf@S!GIH(wc+TpܪJAt޺ٻkѐB{t|~;i8Ϣ!7a`D;Ö2WDȕC;E'W.]w' [|ս|MF!g:|[/-c-d>!iLW6Ѳ/3Mg[^Vw a˷sY, eF-lZAnS=WtRm|L[SJ ֻtm3yP zwBsK2:9jr! eU}BmFAa8#D{6@bW6? ⶛[aԗi8%Lx ۞  C:t0W жWj I}yLJX," *V2 }1KJMP c}""怀V:A>TC]-S>( ?vZmmm,Y5PC%>p@ Oj DI_5]6 [ۻwǢK%) Kf]֎]ŏSs%D#=)Ȉ$4r3@W-;+Muϟ+bK+ 6iȽ  @E0nf\)FbShﮩywgYzWָw>O hhJ4,;os|XWUIpL3j}XzSj?P6P[ _:ߐmL4Y ̳o|ˮE+r.gXm1(NԹˍ[k:^Y'סWǕ)j+?}D=ų .nH+RU鹿lyM+uUm[tꞂ1A/x݄iB-s,,ww7ZWTXgIIn- p*x_ ǧ!jgYZE-A# HOL-SMT_ExamplesHOL-SMT_Examples.SMT_TestsPIDE/markup7zXZִF! vG] !M젗OFK?[:nb7#.s1SULw;3MAtw.x0ʽǺGl+ ~ˑ^䄮&Y#0(.L-A۠rv oRtd1zbjl\bn8~&PA[Mha3-yDtw|`8 z# 흙Rɠ7l꼞(}5%^R!L̝'P9rcY9gv+b̫uLW_{$(0\!'?cp89Pܕ$LLyoR!fWrAS8ibK.[5eM+f?ĉcuHN_^@"ќ1_49PIm ÞqXl "4!; h65ZJsw`93Z c%tOw7Sڃ>c5hmfbRZ}-ጺj#TQNl y yMNB0!jx[9I.@[6mol_e\n>Bu)Lo"\m7̙81ˎ#&bjq c fםkzu*|ǐ]r߾]V6M.<۟`Hsūq_1d|X~( Jx 淌$J>4&5khKjzwҍ2u5Py NεY9 7$_zՂVKp,&;N<̝,ABޣm/H>p$=DcP5ƤK3`|V毾7dp}-b OE]{6NϦֿ웙殜w-8^\%S5&H.a-/Bed|bE[G8 2|JR>.t갹2 ̡yQI63WakOv,e3#Qe9LA_}Ńe^xr)p&a;96a@$n"\Tڠw?-1 HN .#CJ@\#]BB;Q=Jz!4VPw=F $Y!P0xf2ꂝ lxv :/S[ exxZ@Z󄫒wR;)) ӈC+nzG&Ѭ1{7 vJ(ť㾓 rj@7ݙ D A/+ӱHCL3ֶ'1DE>js%6>s%Dږg"G{M7/o^R~gagFt#̤P@]FtՇlsl{(ILށi~ Q!pxhFr߻ܭUW€cB|z|j8].ymTK8 6ef8ŨT5U齘n[Z//![dR6@. 7޿dTr胥p̰ÿڠZVЖ*54ӟ&DU CTa0Pq2oz/ZPLtj;%UqVvM_3ȠrG :r0LT%I ?3 {[t%pT)3*A>:!9Ou<"PDz[}q Mp{Q-N@m}d6Hh)مbU Ս-ʛqGɥo׵{p)R{=D`G{`B5i)P(׉-!oo|G.6,w(*bru]0g cvX?Oiך]>8zgY6q^oj}Q|)rlS Q7mic"^WfZ &L/̔Eyx/F/ݭkkz.;*~3gZK^ BLѲO|hl+4 s9Z~Gע'R 8ot%t>|HN17MVA ^-+DC?Hc+"%6 kE^z1&.&ICޫtU·a2" F?!LeK[9;RȒe#tF't3P5zJO M˥ʘæR,3w ;3^d[JssA !ʪ^b;mk*ФֆիfʁM­C#Ǚb84m|68^1@H`!gBs|,7tu6}3И~m-9ַt$[ް*4r,Z^[5֓Iwqjظ O7a2m%C!1 7^ծ.5mB<4I9Mڿ8|91X *5Ѵ}!0Eo={ ,ʘ-?Юw(w;㋢Zxw@# BHr|[;nUތ.~4=Z3IyzطE)aazȑJ|֧FJ[C!9F:b{=Q',ho~/ +,j[21 ȈAkNEj-\+ #cp/|> Xlnp,C4<mUG©gZDZy fU=\x*T& "&kC^Z%ju5_V;*[5:IH֭6NO4wW"~>+k5yvÞٙdԙg1z2ήYn=saoN n6-uuV'|qaI ,J;n, Y:UWdER|ļXD[ I>@"R'q`V yd*b>AC@ joS93L,VQƄ.ua2(nM"oT;Ʌn&` z2Ev9S"AsF1:p ֝'f#p}얅 U=:dsC1$X$Y9D6Ê5a%Yh)-_~$OIFiz$EqS[˶4j=S0(/8y TakW /Sηo8%y\z))#=?exҒ fj?)%M@i>J;qX#QrٖOKRfҲ$Z,/ f ^ [,Oނ{ ҄r?K:8U+*kͼgP z`K#("$OӮgjլ3eΉIF hˏ2S IyT\q:r3V$2&%Ʀ>K&2V _ .Rϲ']J_5+4 *@C-;IM`umK!u$X,:$)'Y i 5R=򄉯5 ;,8k .W X<5iQLʕE.S e*WFj]WX&'lZelWo#hXu`It0;M {eZ.*Аq/}Q `IEhMHIdS Fjh/MbKKS f,wm"x>ݐ Nlզ}!(l3a%r-;Y>s-E#To1 NI]WF"5JTṛ";۟ꠏgSdbmȐƸV)dW*-Sb.`F xPexL3w|>Œ$Nn͑|T")@ѹ[M~XOe:ahxp+"!f&t;keH]%; |`@\tpƣnW"u/9ŴӁ:ss\y |yl]A+A%EO NҳD7Ϙ%RP$Ԯ?Qؕٙx 7( T&]'f q$lJ"4N'XYWz )Y(35m m""4%~xaiu@ lwV pCDQԙp+`?6 (V/w^MQͽ_8zW'[2܋&䵌|X^"y lK4p0c1>1?|@L؃x" GsYĕĽDt誗P$4<>ŋX"9[   n@:hG'!8?aGUB!*UӪmɗۨzJ:au5_v;| 7^w^,/YxO lz7;m];=;̖f5Mr9!9͑.Ǟ%rpN/ɪ1ډt'.5RJ fPB#'__s# ;BeP/ Yb.E$|^ .O&E]pkYgO8SWxMj!D/i6#ANૉWK #D cB5e`7>(:]g$ϓ 9uX=C>_D,yCv=^Mm!39 3(f9 m8k.޶qJxP^ S>h_FQ  rs0v2IE c ^='YE,:p(VAp!C?P7/UJɰ!址SA?5/ J}a@g6eM(7upx2ݓ%5%3g 9Qw&;apR/P3~9]@)ԦghMTeYm :D߭X%"TA\G޺ ssW k˘cbN(bz@,ReC~Urf ɽ}>+L3,c ӊ$bDIi}1ht' |7:A\a [ˤ  Mt 1cfCYsyȗγ`II=gK㑍$a:SS?K? wCs撧JZD)m^F[l:Fawl[[:Ej緘LLBE\+ r;@J;gLmj$GWkOŽSlx*c"aɑZb`EA e9鸬E`A>˜v]pYC~hu :/JtG8W:fџAf$E<2/ Md{Biy- :T .mT 7lh8>2?Tـ4@HN%k}>}/,!H`L-89ZVzYp`9 +tZo\zQ  -b@)fN0Tj6Bo,\$t!QSǟtZ 09[XhPAHŧ D52=-:+9:F{mVm]d}}7, ^ly y^bPoiU- ЯyAia%-dʆptx `8 ŏ;$ľ-?׃|5sp~:+8` HnUI԰{.BʵCP3T#{>. 3B.?RZRKQ3V:hV0YnVu^~-tFqp Î}_I'Gi`V7"% cƸM6eɇALr|IXȞN\xJ:@Q+ԅ"bEmi޾Y&αZY5RC{^C`~}OOZ7O7:+XMMJ#3Q{by@Z-<砄 aFY vycgv6d>_ XʃL;KL0*go"g DD}*ƔDR>X[F#p*i}9xxm4cѼ~5"@j{jQv4uƇ,41^;Ec{W$8\HJt1}^OI-BHLvMȲ!p!Z^hQC5# u,(QË'}0Qˀ`֠P%m X@1s^0.Nq<-KyĘ/IRrhYJ94QHb7q ҪO+2a#Dǝhcy$ȷ}Q` LPyH ݺJDHԓ+iQ>#Oȼ빍: `1"{SViw *Eg|\u z>SoW-0x(RLaoZR)7kP_ y3*?<"yqj~[f, Z˰1+ٹtVxD,\`8&ȅ0;{^3CkѼ,켣 *d khFy1$.8RZ}sx N޹#nHW.\QQ]elcnp/1p}~@*nUe<4^ fy6 qBi*@>:+T .*@mxubcld BOav'?[C S',aJ>߱gU~,ǰ%=LBe?DR7T|TT%ߑ-_ZO"A̧C]JrBM$Z9# &P&dM  My94vx ˛ ;{0e ɦaΝlt9hGT#)qZ xڷxeџ$#:HL P/`ZX_JlM#y|'pόH3Q('-#x!_բ* $@ NûYcOE3'Is+ylo&鱌GֿLgYZ'0>6q/Zxs#wiځX5nLdOqvҕ0[_;h0+|X̎ #R[?+F^dvvfoe@7 Y$yO^$G?nKQõjP7bλ4s6d-ulK07s+ 'lI HZT,!e_\/v%zZ2 llun7/Y~ 8E}Hʕ\YD@ScK`.vx& *Keهu8؄&{ʍd<9SKN$XW_j;_!l!]z_Jy{mZbUx-U7pH,hp-jkxE:o17#L(2584~WeؘjbTTup !X.d?;[qLkz!0+b'c alқ Θs%l#o0 ,\ho(X3;.k1o}`/MQ1 $tm!0-pʣѕΙ!FCwX$ W+$\k>ǖ :9^Uj3|!?'kT~, ~M; t>ymY[-v1K,ٷB8g nNo)OG4YOXn>w, >N"ЛP.xYG*mG}a4#q(*xLctc*MB,#soC.c[yP$i~X5+࿿}_^PLao0>(q Ի'OC<'_X5l/k U>\#(]# ?x;{0yU_/ 77!^N;;*~}I )+!tϨU) &.HXg2hэR!'SH TJ' h@5H,X^So~hV3iGCsI v7oG*ܣڊ+2kn3'vH8~"h bS^fm0A'o6fUQbKTʟ& VqFpve* n_:ʺ1,O͐Gs򞓏$ F"*dZr9kiUn ̫jځƃXQdmԍ1d{Èt687Y u1jQYMИb0C)t!BtJ!;k!G%%WY9N2M[PƜ|=} B7AtTY20P<ސ]6U!8bk}=pvuY%nǥ0IPcmTMA{_LsBU~G(?xg 7xLm wiz }u7'qBAv#풿kQ=ngHb<õq8 4MW֟ğJ:`D WQTg״Ӫߍgv0O1,֘=i{(n45N'`oTkJZ= x9g.s1!?fb}C%ڦ=*UCth ڑo:殲kDY5\]ɠ`YKў`ԡe [%ʜF9By7_5Kh04Ȼ0ӘԚ\^Z3Q1,QU]Y}(s-\Vg&bud2.v.n^&뷷ϒSzKs<|]aг &]hu#+`cZ4HImS#Cvex= z\p:ۦܕᓱÁh":7 bAs>w~ʲr+w?|}'dB%l=vXBTۜK?g8 21`vGuң$ R]H-W!ZV610Бp"8H,W5heɸbUn"L okt-*jу~>5׬n<:vl$zx#ߙ=y 0fլ> =?SX"p7m3 ~"h֋XOwJ޻Zx5*(5^t HWZ@La5GRxQ,J3ȖOYӴ5J"R4N(;?)y[@Q,Ĺ#@H!@/Ba6fO+0r@Je̎[HLV)_i\LYޕ37?2V[ҟSסdDB |뼻ִӼU!|A}^Ln=;XjseRP_cɫ*,*$dbOT/2nx<r&mP*tָ5uo[OLp09+M FʼnzXR@y=IzJD3HVk I/z1r SqQ_x߂t{!@;dkT|*AVY+3;Tq-78F4kжZg7P Z%!ʳ2:؉se782%[J?,ﲞK е`0mЈ]L؅ H *[Nj5ΈQJd}b; ڠ= ~BHPR]y ,2<0R{NWɁiAvҀϵ`n?2,2TGƜ7vd<ƭ\wPrrvz>^G<) # ZpQg!Рcwv"D Op@ P;mʁѾE׏( ,p`qZأbNX.F[5 HY@OsWL&ymQߝ{#%I,l0|~@1SAxŃ7Mu=} ߴnB^`pUHG6vY͊{j=NP))D{yAnn"[.-01cBƘ㍳a7ڋӡ*G0C uxqHfTq\`lp-ȋCU\dE; hxU[u~B+}qԠi<.LاU!f KJK^(ĪN^Zt~aXCrˬ`}ҍ WѬe!PD6 xHqCP.H;.be_M T62M(p_Te-5*Ow#dLVɑ$dHIR}SDhOUFW>aʢXE ~r)ti6 ~^@0t_Z N[@Z7FnXţ00̈{$NU9PuG3O=='O\C w6X:A]?'>C"xB%M{^SM!GiUHtGZ/h TڑֆST 2-t6w 0N0 -CE HOL-SMT_ExamplesHOL-Library.Boolean_Algebradocument/Boolean_Algebra.tex7zXZִF! ]A-MՋhvG"uIBm5I V +AC T QWYh<_nL`oDTw}qO:Ek~V)UXH<)m Ӛ}G$qV{NK5PTEIQ6AT$Kr5$.LHɥaݑ=7084؄nA]SNOIZx_8645&5:rQUP=%obYX87L.#kB{^ ׂ.Wmg2pGF'FuPa~m*ia8-EoT:FSZXN*a2!{Y9@1b"TP7Sn ^fk䁂G'D"IS`&z@V1PiGRf\ eK؎Jс oȮ5_fZ^^د;s22=?3 ߦWr?l}|-*ءɣ2!sC "#7h{ܫi)"φ1~ "a IM{6N%&P̲fT#p]hhT?ĵG UGk,+R 9=H_vqPj}ꢉZ& +؍$+dF jn5Jd"qըp.vl=H>E1дYWxnaӊ0jhޘ 9Q 쎐K.:ekqFK|kW#Җ'?%d BRs9?m,}Zu3BJ UOc;O19MxyFECgrc1;]ɚM<#RŦ$vX i`k/#g O V@Z X@ןN\F2;|J\KߣH@@r7M;bxL<2>J"fg{XࢤhҍiŖТK8)iO3ݪD=.%|Mhc mSO ? a=cʕ#we = *YPE(~hēVV*fZ?-u@ņB:=`M#C001i}G8a\X "HveMƼ:0I Nëw8utV JB ە;JUE w gb]*{☪[v1QqfT#M.ڷ#ê\<g_wxhD,׍-FRCkpC}lI1N$pUu@=,ȱN3+55+q@zvrSEe3Y 9$lHC_q)5,3I564ќ"՚6µ7y^] (>;XT']Dsh eFŤp|xQ} tԫBČr[~2D_nSԈB?Xu!cFqQdJ/z2q0Abx4@ i[~L|aFR)T\ajZ-E^mEw[gu8;[;fv?.T gᓠ`x,‚΅ gU?5-ڨ&OۑtjZVdd"H-䯄YO}f }v}GLo3c͗w+!)˸j`ٵ =,,~^SҫВϖ8ʍoA` K^8×3ط)2*E!DbNןYiޱUgYZu{Yk>;xy{z\03hk`։ĜlW]US!I=g&@[ 3HH< kɂ5.SI~px& /A(78 tM*Pn:~C4 ?v#p"w(sO;7a;%.FϻV:tÓ6-S=`,,xjZG̘\)HJrz S m@xc!awIqTk,aPw],WdD 3ԑ"9^-c)]Lo*wՇUJ:2 G~pp\446Qƽi K##ΞL^ВA)Kx1VK7ʇbdj隚2hŤ;ϐ( D'pdf/]'y@5LV^,? ho.ެp67yH\DTm &mOK ⧉yCyTȘF[1,9EH OSWF0Cq)"8\+d!@L%P#ok,JHIT_rja+|ڶR?ZŠr&rZ= E\ GR.ϡ Ťz_+C,+g%dA)zxTL0;YB;/o}ff9yv)-2b׏kLMSN(BaO\EX/>$ B{}zMC24΅_h!?ؘbd5NKo|okV\8+{z9/{#Lv8 xMO{^jS C, O~06(j9#y&$Fe @~H-;±Z D('&Ya!-%V U>0ƫ%Q6e Dk*cV9n/#V@~StiGI )H/y a^#)o6U`̋n-ADhqMܒ.]j 8 1$8)TsrZ4`/aHL2FɃ, (i4 ٫8FA5UtM6d. btE8{;wP/^!^8~/;E}t% #M1HQj<2f LԈv4*|nKR"l.ϋj Hc&!m>Y޸0(DkYWVaItrc]3 lmKQoP Ξo.cpʻDY/տ)+:E˄}l4ς,( h[#wk>։# MD=>/`9R]-ІlQ9s/Ʈ5SSU/ Td-Ϧ`?.V'> /3FެW&ѥf4RJ[0h=)`%ժKQ@3_NiS( X+&ye 9Vy2 !ms 2m ZVDň\,n;ɋ=NComnmZ{';4Ku2gvGf'*it.,h.Yhӛ7Kh rt*#߆ZFmdg>_io0)4j߳}P7E`$~cZ} $VvF6z96cFkqsegNkޛԏr?F 0W{z#p1 vS2T f>^XΩU)Ά_mDzkJ(#q+ u5~;%&޾uL 0Xjm;Rcߙs`E74\||_4Jnw.Jtl pI?E}y mYRDq4YٱxONpCS|R!IͩNPm#щi;]Bqqy2Yg 0p7243Z䨖~ o svTQ cT,mXzH1۱7 }RE9I(K8~ȃ `Ɂ> 㑹AhsR>NG*.d° q2j.\s*˜wmTs,Dψ&TEi,Q%D6I;'Imumf$sMׅb%m* $/.1qy-ȠCeQPy !K֐XXaЈ@oEx  FexI7X.߫ %]sҲ[G(F|Cysm1 RuÉV 1B0??/6Y4DLl u5Q‡]8gY-ͳNCK"÷&",CYjYy~ÈE("=XL[3^~e̝a)d.O{ߋvWnGE]ZMno~T1;rO_bl򓘬UM0#й={lgYZ  @ -QI \HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Word_Examplesdocument/SMT_Word_Examples.tex7zXZִF! ]m]A-MՋhvG"uIBm5Ȗk?)e~~M{{{cY=N%pT\mwNi,*MRt.*ϑ{rD%D4";Y ,|-ufSk,w\q(|rfXŤHaTU*W?3 ϔ[%vtLbǩ(H _w*rۄ F0"1J'd%5/@0|_zm9h5H1;?.)B" < e;MR'+0%A~8@u {$Q#rc~yu"vE@Q'mgP؉bJ7i/6?MGƅP5( „XZ^';5$)Ŷ=sT| uqxvҩ` \;<0Bl;=rQ{edM=aا%7&ͧH :iů'zYˆv"-$\$AD%@1#15S}oL,E쬶qňoN:^ԜOϠ s܃ZѺ:%E:ȷF%ڕۙGi7[h$CN3e٨?=J_ HtZ` 5k B}ISiwJbǪ=rYT3i711 )G/P"OxSS !ӨHhR_p\}d6R<#[ {!"rj6iҩ^@:f 2>uh uwo\DS<J?oOE6['s,lL$H?гhd s0%^ A'XIn \ L5 ?XO`U")AUH=RQvzT91owZ Z+|n3U߭'MFi o̓dnRRֹ~_bcʛ tݲ?Uv151iXƁ~5*<ЇEHy]?WgYZz -;3 |HOL-SMT_ExamplesHOL-SMT_Examples.Boogiedocument/Boogie.tex7zXZִF! x]A-MՋhvG"uIBm5I $׼2\be^HABp~mGqb&BR[+q0ٛ.c v[;ٲ/srjg>0Ҧ8YjLIH0 svF!¦w厈\N%M1)Ś4Tjju}u<ɕet*x08k ]!"W<ZSmvL/}zfI6(㚎 PA ]Ӷ M,2.CWSc-?g(- IXWTtLvo:&\KO(?C&TIz m;2%ᚋAߖy*kW_rtѠ8bmN7/Z0MuTN} 35_@SJQ^.X6`72,蛊%Em C%)ӔO <5·D̐0U.>~$r1*h i_%튼h5#'CG}L.dzjQWwhc)(jbzxob_ Gʙ?!&jՏc֬cz+=S@@Zv?1iZݳoe$=_sG\ЦWVRbq %dɈ(V; +1qKk=sDoN[+BەIFȑ:P(A_т#n*xL)ɻvRv#EHv8a};8YɲZQz/ѽ~!6>+\|@n^wYZ 7!šaE>!ÓYMID3&ƍ BbR+V7 ["˲.8Bvhu^̍$W%Jf@_bftugPӓhQj6RǤ0Q` Zu%aYdd[<3n7{[i,1IEѝXP;uB,&Ȏi*N҄'cAۜlo6# 7!,'֣?me(Tzp&VՄ!ogaP7Qz:4wƼRucfAT;\yđo N=R9@1\z*[KyN E6qH=r<.Q!fpCS2' lr<]݉DLS#~IMhʉebU!ae_1; K8 fnۻ[6 d*m_jKiƃ{(~&{Œo,Pq-K WHsam-*2Z GP]~.;hߪGW[?´Is4/n/ S&a039+z36EDF&o$^də6k3gk.<שo2!8#); *I|2fRY+goK9tN9lS,E"ոc8auK9(Rs;֑;lb>]s!%E+,<6~?>dqSS3N·tJrXf_;0I@]{Nc|Љ?z. RJ+SP&j Z@i>_ahy1P]$6Hhu<Л&6⸬@-a)(.2 @iXƦ|I&XTƢ}_<:U񟠹79 O$'v@fj_fL 4515- u;;IVN8Gmx)$dT)ڤ4V\Mb6B`j9Y,69&ON[bAdnO15+yΦ=5mXAKm:>z2G莲ü[mᨙ&Bpc0b-ʐjxJNrD ) 6$YJJvf_v?b[VCMC'6rD蝒uZ?B@@ݒtcU6ĦC+@>| @$NFw@w_/s>{1[puW8%LkDR.'B&fe|~};VF%$gaFȘXrih`e"AGZ,5 -{6Tx|\YXb j  EiU4z)l [h&99 W'~xc ʚ&3|wJ7qi.9N7p<0ڽA{Mvⵁ\GYW^d$Ϻ@<\&q$/-lU}[d{~g`]!wUb!,Jk'z$TvKGJg$:02cBs͛@&'@ PGˊAPvobPBSgWLbݵnQsBr?!-6 í`N^3_\dltX]=;hj23Di>%u͜Nuߦ[r9:u1`C 2Gp>0ݪefF;l)|*2|Nez:C-Yt拂_St][>T[O)`s)\,8DKpU5ǥg :ؘJ9}'-W;QAJ;BڳTU΁qI,XW[}ΈȘt'f*(hFȦ!F#ӂ, [{ 9!ͩT_UaJ'?wSr[hui`4 Q-5bК-/p>@:,msL pý+gN/. &AQ7j*ZP-L7N>ɦl,SqAg?qd1?v%?8jwdߥ7x gYZ f-G? qKL"N=NG=¿jv.jx3@6(bI cX.Ů E‘B;T<`sտ\M״os+g1g;P}E wI It-nxʒ+1w\yMV0ز(>J NDmÀhCT,V4(Sy)%$=O^l"&x=mvXEeمB f<^ w0cSYG5◎O(h`D'aB`*" QazPSc}:@$O^r do?ӌgGib&?~hV^.)F&Pb>y TK ]SK(^㹉6S/%qb8٠{.ZU ɑ]^Xdnm%rOvM5FȚONz\.w}ߘ:;ی1jalgYOq)#B Bhxu֜ҫP͞|ی;? .Iʒ)lٯh.ben+\U<-|eRM}Je!9_}" =?8sOI[f1!Z_M( C/3>4͌4f Xi\WdBV"`?MS/n_kSi (#Jwƙ4s}K˥V7gّ- 1w+~d7z%0][x!@\0zݮgޅȉ _# 85"gBUT cͲЯ2@o)i l]ˁQfi.ƈo1K˭ hZ40!qmӰ3\Xe)ިu^oKQd.l9ՐVDH\N{s b k?ӧ:N\ϪY)Zt*nʨ^L c4[9dUuGԹ& )&|+/k¶`Ph$B6Jy,-'KЎ#{zm¹# "2A] уPݲj|G1}R*E\Z8cswQl #cMX*fBp^r&j >~Ayd\f16wҥpqv=$G8F>D髑v\y㏖G<fj_G&Ee9oJN? ytCtb~Rp30:Q cTm9#zjBrWo5hLI[6^ci'(,u ϲJSEEeqI%-[Hա)"7*?+ƲTk kD{{DJZs?l#H5F3ó9%'B7v dJg+pĭ"_yߛ-[#Fg1nÔߍzbQ+1C1;&xT~>z '#j5Tk߲ gNF~ιK 6Av\TJ EB5~7gf5Z3.Z)xC@yRcogeIiy> :Wv A[s*ҩѲg aݒlxh,y54/aFv;XˬݣzUFӕ xJ7LB견<[&yjY\IOxR|,w-&ﵡ&ލ#{<]t 1bӅؠyzkt\`mW7Bz) a"Un6whBZC+4Yc"NRԚ]cIOlvɔzjO99 Ms<&bGvY] d|\1z{FL.&B[zVG?Z?i(Je2[N.5W VLެ& ;5ʯ;PI3 yRJB;w^jBW4FA1ziH,H7!.u% [`nZT Q`64zΜ=Ic;6zxUc,<[9Ǖ)G*hd|j~L j)%0=A]; x_W:j=J__S6䒃}~8in;<5RQX.>v[q4Ur)1H/]}IGDڲi ^W(1<4 7M=N荥8%D].qwڠY  hxY>-;# HOL-SMT_ExamplesHOL-Library.CardinalityPIDE/markup7zXZִF! Q_C] !M젗OFK?;uL2aFrR٭ݓTBWd ھKZMϾ]š9ҕX?ut$67aC"cĎw;W(,btx7!/"*Z*l܋F,1$Q(#rsTk4MXXhxa/+6ưv-HO|RF|ˆ%xlAД#sh^t\-Eczce}|# lU[5lV{4bלp%5xK<O&x#Gwɗ5GkXI' j J;88^OCCwaHy*+OwP]y. ^؁4NΏa>_aِMƺ8`N`u3>pkS1NGt -S' $HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Examples_VeritPIDE/messages7zXZִF! ]·Iq n[:|&[zx v:yz 2Nԍ,ZζAE| J%kF1"ʖdxccJoܕ,J~Yd@87*E3 Û~@a4z&,gCu"~cSL"W?."+pa!oǑTo;hjV{~ɻk{I#Y11g]l Ңˁ-t+Asv_N)T@=pOױP{z F%B|%y<r'i0eoi vCiRӝ5aR&{k@WǷ;CߐD~EQyhxcJ?"J=wi< P2v#>B'eMVx DW" -=? TىuМd\/-n}S[U)stqy̋GXZ5 x2%'hR误6 !~M+[*[&H.v57!=Mi7 YuuŹ-wOD^<=.:i?@tS{V0Q*#w`VK;Ϛ\r6^ R _VdEeIu ɖȁ0>->uf£N`݇l΀] #F}1W2/@TlxՄ0iwJgCځtu jȤ'erHqPl)LYpU<9,A"<XFK212SQ8Gcw8˄#7o9c(]gڝʅo #zS-[h3$FmXNP+lLպ^F9nDWM +c(E\7;AXG fS}sE={{>/{J]pӇ\F (臰 \K!ߚu[@o ݢP%Z̶9Ϯմ+F?Ce =]gYZ.1lE,l& / rl?`S[:>(N;= XG#tM?52Eɼ@&5dw y5i&AhRrۥlVCh1l:?Gj]!,y?31SL28f<>&1?_ ZVΠA;BD4t[gZRb\j5+ʦbx7~r!mD \ߎMuٖKs[֒K'A9ڄV (ҩ:i{9: ]K%a`Khl-L9GT`Ez[Oe5nǻߛ;BG,s_4=>%ϿyҊcq !Ng/>Y5z9{⃋<쁨8]wqUMdqyA\%-wdO#{jE "Ϡ!Oa|nѲ'`&3S-zGE9T3I116LR?Ax:/K$1h)lKS{}Q>h*vWwi?B|D,>Y9 ɖ 힧A>FUr]2=-E`Ʀˠph1FI͒XFS5 L`Ԭ ;zk& Aoܤ؝!I;t0W =9mGK7RvSĕRgUwy_ć pskmPy7AFKjGG(Rjwv  LI6"u|>G!l@`V~^iZ<%!8sr 2z ;,J5ʨ.mpKi{n(u:a!>Oٙ7N\{EgtŊ'>jz9zK/o%WaQJNVR+0xnѫ@WB8qKy66Сx>X$ Xe;v^+!cZţ0+v2ƔA-j/}6t%`]\4OO-ܓp{6??7<Z"jQkte~7+Wr[v Q-f~H[H4>"˼i杖3sᝍ}Jl=]DX7&X+l4a$R Rcᾅ%ھPx-++,XU2MnaEi 1&wf9YuoZpl@zK챐G;s)[WrOx0a+@?VyQ3ǵ]D2v'P%51aAp@Ae%SL<7=( ƣN1wB6g_7gZR? jLx+?2}jv>vHϢr-[:iu)ȅ@H^`^SVg.2:vpN3>JhsHSV0]ڛJ(bY+2f3jN9al1 Y#?{L:S;8$J$%g:L9pcaw!ȖW/uE 7?I+TD!tg{vY7<pkԴRU t*T ,r}FDWf¼LX9ͅ+0uσɅ$0r14@h.dd4%IH^/}Mz~ߺ^g~xDch02O~`"b∨}RNfCHU&tW`NA0_fiH$$#W!c,5n^S6zwV@<0~mSB/4PnV[sW4ƥ56B#C`&ȵԝ`fcw bŸi d[~ IR%tw\MvL./Ijq-kZ`bےU/D_#k 5Ǿ*}UvdeЮkl?@PX F$;H/Ϳ24IU,\HmƋYReq sp(l|w%e3 fB6˰=?0ʒKw%f2n}.^=Y6~v f7G<[3*O˽_!t.ݤrվ`L~U]Oh6F3&O tЌc)vq M2!5EEeQ3ֽ(5g=i_$Fqjr&r nCd[@T].DS/YբO5pճA%w5D<6]Wub{DS0YB.L [Knvq,J)EԊE8ؑۻ-4/59tvc/+9[1vɼa J%bo{K YdުLL/b?֪UC6B0ߥ䌺KZvOv7@ .! %S QؑMnG\..X!%0/gn6b(ou]xVBEo` tAftowRw)8w}ɤ.׉fj%.I)ߝ' K]iFA yP5-.OM.&IVã"le oC+x"cK;"#ICI 5PWƒyW `v8ΟxGzFʫᤃ0#{un \b5EĹuX-uR|#B2]EGG(gn/bU:DVa88ɧvB"Qs0J$#FʒG|/#A}R@L _$BB~&ql Z'WmIԱb0aH1PA00FS,۪Rb@$~c#KʏO3x`/Ԡυ&I\v/%n^xim-p\)# c-17Z%?+3b쁠iHs8%̅*;jՒkL9 =N#guwBS>*69qp tHw>r ^T٪44>, SSL%yD-qI G&$B${·W[^ xa'K6;wRRo @|I؝,4?=V"jSTA{d/{#8~zԽېbH(Qݺ˶*я.odUwg(ha'\˭n] LcpW]""N,SݱymN@|Pw@j՗H{CEC@B,3II)!mX $g6Ұ˕Q%x]1N-'E$CKI$ű83>giШi (,-Yz Ew`FCY /? v dẗ6d~ ,G%c1>*A/uУě2*B=4<d49_c,&1dfSPz_*JADQ.ԯHGKkVhr m BgޢձSAGǜtBQzSTFX{&M|Z@L3=JåuJ,Mߢ-=ktvk gl~GM3wtHJ/`{*XMzШ 3T^W*СuER:ݞ㽬D6Hq7* Y'ypKJS/XW m>1AnAdX˝q`qvM׏lo,D+C[^\;!ٴqZٌy,H!3jqբu#ݑr1} ?(fIuƈE3vR?`>۵_R+Rf0z`ì"@W }[SMM`PfS-AZ){;y(G6.2qs.&:R|$HjB*|]&.g{' nOrf2E#@Lt+d<ËAz붢A0}i68 -Uv3WY1CLS8/m٢Y E dtB/i#Y(?Z>2޶'m^^ٕSGQ?֚I~#,i|s>u{ztN P90嚋C=2)9otIdM_h:4v>` N.* C.`Oy"9*S̨gs&gy!G W-{A5׎QZ^pfH !c"|n劚w#|28!k֞{~K\̞ÂM%,M\@>(EY{Y*\?a1k8 Q?Y??vN(v>ߵs!݆2σzՋR% ˔qbsl޿zI~-41vV&(eR[o2-e)RD,ےY)t!VN@Ű9T#ÒN==7|K<8NU ysIN` k1b?3Ӗ/px wB@J6yZ0reӗ.} M!I7wU]% fc}U_yu)U©U/R-R|8kN5c=}(a[YVIN 1ǣW3*!?dհWYUprS98pvzH'_vbh]| K/J<."=}M@Pl4c yipy*{U7wU9u"D4 GbjcUsȻʉ1'Hhv \~a a݁FWb1 Twd?]ֈpCi^I wtW]mpBjwf;qFe W=nKN Gy| f3mUf'];q^g] p{XSэQ/L!Y!Y;1o4 =)Wk~m[dNy?HE(vǺݎdhb/{za؆QI%YLíTb!&Citaf ːY}udB\4,#CM>˘yX74\8 0aqZ e[=%u^ _*ȁhɡ R㤺qQR-0|V"1$ x5E M2|6thȝp+璂qe L*ǁ&%pMX:bMw*4} \fq55'W}9Ji>Y2id L_Y(!UZ鸮kRR<ה:Z>e(%-K]QΌSu{円f}BFizD?{Ms1ZX :S㛻|s9! פE7cB6NY=:=)k|X7t zz.+B rչ;h@(UW#Ħ,=FB3hjhi#.}3`E/Ii%5H/;ϛe0\RMB+Tvicdfn*UJ_O9v#+ѱL/+af=un WMH!zβCDYZˮbiAz͢R@e 33ܔ(W=]B o?hbss =Lږ") w@>#bOF8-:uBsLaDw VZ$l)  D0xJ挩 oRB4fWڏj8v&Wts7G6A* _U7A+f#bKB;T2RqNo<,yr/[ )٤DaJ%&hO( ؂;$(e+h6a>3X?^dU@ !>Twf<UHSn+ R lι)Ql\լpO@3^OShbKڦT K=EOrlaD;7h|[:nы;tmބK7}B @S+ި+>^/٣p oҩxب>vy7C_Qw#qAԼMg3gYZ+<$H^6VSƯž.\m˖ IAr=tBkuV;طݠ"D bHtUԌ=l۱CZ39%\[a)ूdYK>%{|パ%AECVQ[ڦ3)lԅ~jJA/Ok elY|lOQ(r@ =B_OV2NH2.6vj=$Uw8>(Yر1M-I6V' \vfƳ7/O+|pA]gh~u^;fȩ IiU*$ 6)TUܱS! $xN7%ތͷHJ^0U?38\2C-רZ TB\iHaeU?`ߗwzڮՋ+98+$'gՠ5s;U `}AZ/D{q7?΍8kBD^Åi3,NӖ.᭑Wvr, XMOcl)t@rlj; N1V ZBWGwmcȬ3jÃv8eFw9;yv-)9raT?;%u@yp' x;@[OQt.\Qo?]"eœ; r9|WӉ{{bARC|& MK.Bp!Nk4#B2<$ n0G#FSڤp )qzE:z :2e\EmP]ÔþM 3{UciqKvE8_jvأgn*('nߴ(gje1u6l'HC}rN?.Eat9e˵-ȢU8ԛ ߰VΒILO$bs'pqȼ/-ǵmzcO] f㹉 ULF56YMG:6a G{/Ag #Ym{-Nŋ*Wx3jh!6HC糹ECt~'suJlMpV?,SCv\\+yZ\t = :q]ygı=.U; TzykfzOH Du"Ǐ;dϚғ=# 5 }'>RJ7H<^xJxK7b\r%8ˀO>ؕ>K|tyDov|zt 4M($]z sL@x~bN~qZ20em} Th\!x3gw@J#܆@g 8 Ʃ̟.qCI!d_KJ' 7=z .d ĉ2} E`rD"6W݅&A2:!kvh@Bia(DS\=-W`}'I`Dpw,HN2s-6M7^̽{n9rAO?GJԦ Xʶs^I2\mi](Χ`ٳH8MKCInou 6F,Gc1#`{:K`qh~߭tņLD9` H,- v>YyYLjlԞmV}npIwˣ"rhugfRgc?B~2BmI%1f4^|">P61h7xE&IFŁY`:. =f&~QYJrћl#`b ,xO(iZ9Oos8+s+]9SFJ#񟏄PT]IMrU_PDoő+CO'A4OUy9d5 4so]L©|Ң]3!r*rpNؘ}U`ikIb:]6B6Q1#:.;WLHO#5>@v`Γ @o;`,3AR;oAX~X}Sz`m i>f;JGwf|H:di/VOLKMvq5-*\-_֞ep%? z1.-H߷bOLjx 8v0%*;~AilN }&q_jt:QE̛-#ſxI۬xdң^+IAkᣇ4{2LOIMrP:X!MX.n@6 @z41Ŭɮ a3`]p2 Ie}võ'xr 5" XT [N,"k()An8q:CV_LfU ^-šY2\P;{IC|/$캄'ޤi'ȵI)ę3aoɾr#m:Rhɢ޿(rքH F %K;ЍR)w۶=Yf!mX$*w>7K[nKC/(_x/7Xv$yO*m1,[m9#^ nNՇ#!$Iuؔw#ؕgYZ)N.'DZ wwsmlC8 ^[[L$ *XhuE|.E pD8윖n#T&n9fWhP*yw0$6{OA^;_`xhJBI23Ie5^#e̮f-njbe՚ɏ߆U4yZ(u \>(z`T+Okj أWOzѲ1RCB$m7v/ 禗dF6I k"#{,9rɯԊX3I#C=>^pongJ"Ǘ1e\ "/TT$FXwVJ-Y}u҆ A4/WcDx$Zsb ~VLJ!XM QY94JZn7" ^1؍hb/>?faҺ , W!&KJ̞)f~^ܬ`N@)AWw^Z=)V;xT$9 B,W! 雬G $&6|ҽR\_9aD6O i;"%wt|L] iIAOݪ8Ķ%Z%vpǞAz\Fʇ~Y`1ǖ驀ӜtQ2yaWlR;\hA]"&zO T#Ӳ@/@8=FxoY!B~aqh[WThan1ݶl#c%ĠDߎ_FrnZ f2'o]0OXo N|5#fQ0TJX{+sR.aA] =ȷg>ж.Q9ݿ_`ڸV`Ritb)LNq!atP7kTbyVaۼzLJ6YOtPrUKi|M?W ,\LՂ;s|pR zr*qN|>wHve *Eq'je<>ܞ^2 ʾGqL?$qEnPH{S`Q\cU&H6)c2\2Ru:g9zA+9< GA3Yk_d $dEnwesJVx7σ$L1rwe/z2T{X~yoql ҟ;ё+a ^,?["ri4OLc#OYc;&()(Je2U_R}s4=";ֶQO?`l/:' Y`ܰRܼZ=8,xbrB mƚoc'aG809{Id׀-5˶Q)ǀv(X6,Lҙhv)lt| ŁUsY} QB'փr$(|'~E+?5h3c ^ H̢_Xz1 #fZĂ]?~g+Hᶅr.A"g 甇 ގDeFN<(j1-Qp@ wM.wA]+(ҕ9,HտZ;VthRULw^h΀fz 9Kjl6le2WIRۮ0&mLp3ve@ȁ44Q+9@!gln9SH2l~L03If;8CVrd/tsj򭭡N:H!v㷓boR+ӥ`{QPl 9|1 ŦVYYYޑc`foʚ(X*+2@*j$W>ܷ9AU'D( $ V=i{k 綶W77mmZOO*-Ն@iHcM`{ؗhy=L#'tj/WRav@Ȗ7(I9bqߊj =XRAʇU5kA:5ijPN֥jhX@V[DZt1 _6y !u{ \YU6h}F&)!' _ȟ-ނ4 pW \48`wud|)zbq;zПi4)"FS"FyvP`A6P:\n=٤bOkUؙB/QќFc=2hvoo%0y&5g` \Skl(?&*R}Y6J_@D|M}"^agePKf]KUqY;o娧E9:j橊U8-tj3U k>i1zGzh\ lֲwoPꈊ <¯\"4%۵?S@U0cl{D(V%iw|񾅶ӬRд%BڝF?cvV # ҏ5fDH]3 O.Dm5B DdpI-"d0WWl\"scU(THp%h =g"VZ~5̻;h~mTwf9EjT{ȓ":|' X[rA- B[0xt_pc<cݷ{EUN@&|Ccf`pf(b^u+g4[d@& Z: 8Ĕ}huvوoE`\Dԉ C&Y${gYZ QQ,-;' lHOL-SMT_ExamplesHOL-Library.CardinalityPIDE/messages7zXZִF! $ -]Άxʆ5.f-9 rq9oE}"d>x@%Q g؇,{Y p`8dlƇE鐇eT 0b}f.&+KmŖ ~كC]sUQ9^,,ze~_$|( fpQ4LNrI>%At>{r" ~O+A#iHmעp{}7N/#v>tvhWҴW 3-ڄLp˜ ^MJZ?WxcHfa"Z6Z!$S|aYe,Am;b,,_%¼c}`-SX뾏zJB% V0׷+DZM.m9_$fXzI~&! l+'­U, Ut%1LD]⦈zVo/[-JtftN_݋g~mۉoM\kkb'jL5Ga}afX&V*n|cL351kSRg&苒 kʌ(VLZYjI'ŗZ42TkK$||d,\b#ɊrrlYL3|zWç鬿3e/v\NL`Tֶ>޻ƌ4ۚ6v٦•2M|8zM6en rD ߆XJf]'_$Wů~ 쀘8D?}iPLұi#wYd EL^-;T&6-`T'QkyRR4`+ӍPZFX}XZIbeZD\HS|QibNX~sc6u2~/6}h\Q76F.tfRXc4]G>U߂MN桺P.M9H52pL}JVXmOjo嫌x3U9$ټb)`0(ռ2'Cqh}jO5,g)cp;wat$kR6y~5_C]Db_nq?S)TN3z,K?БͽY֝g'ou4SnV+Xb)G sBrQ3M㸄.kȪPH). S(Sx˜Ï0?(i-3"x:R?D(2zFSGӯ">$|~ip,aZV O <~]~|]]7{&deL.Y񟗨j>Ǖ$.aXiL uM{ ޺7b.؁oӧ쒹|^ p N?wAȧes;P)Y@ʠ/{R<̜Am&mCi &1!:/.|qoz*'܇b;VjW3d#1`uK҉>feԪut)M5ۧ&#U# >nsY 9"⽐ ^T{ҥcf"5oELet!~wNPhNsɣ!Tٶ}kW~8!\޿K@l{ɨX4OR/_^:g!VA>*djA9WxKr^!ihs?JaWl˝VQ+JmuZ&ZvP{ڎ(K[TkHwjZ:e586N¿(xRR9[oOU>)<}*^3``Vt!?M I**[i5 R 'YN'hP~tb\:B퀄5R/ƵiW/.~b\ bC‹kNPPC@f]P`W‘Ɂgd$ XFa Ĉӂ]qr!\,pgP/Gj~\~Xފ-Q~ot]чۊ&>4:HPovFAeQ9`05am C`]b [fL2X%&ǵ0(X)}2Cg qpFlV*Ï_?Sd 8R\  |OQdpVm^{Fz"Ӿ|mw9#[FB*3R9ٕ겍ȃN2!: us\E59~jRO"Nل a_)Ȋbqk NFѠ!ZtިLn7ض^_Є[鼴HrInf$$8yכ6AgYZ  4-;' |HOL-SMT_ExamplesHOL-Library.Type_LengthPIDE/messages7zXZִF! P]D?7 {?:fH\ =6,bRL"Ɲu/x'2miizXmv;z;ȷ9Bti\5ƊJw`I@n"ڑ\TN,p D`A^W^xl+a[Gyqwa"[*)z15KB[L ;2OpoY6͚,.n"O~{ZAa72?ϵ(%ؕpyO5q t!rS×@,F{AbU;wP!?*|^_d;_%y-v_\^XT 퐝jߺU)C>XH/F7HQ`ŝq5PjwX9@ztniIKpout;#ȴ *˦HZN~$Qc t@o`[!TO83 +1`Gg4}Թm7ؗQNܗl:RH謚FvZ4*v_gy׉HK Ψ bvb~gW -}[&ƐǁJsKV=PY>tWbX R3{,-" 矁?NJIC7!5YeǜH;+rO"KBe]]#͆{ƻFXFQem:3XƼ`&x$_ ӳhp:E3 @Cd+9d࿜?5z҆0 .o2I< 'cq lIQ^&>(ώ@^z74e^ˆvQq/^*Kb4τU\Xftq_MĥU1^ 9 2[yD#o,xc $tд/ > 8`O_%ȶSLS{j5@_E!_1ʾ{ K'KPE56[#5 czo|GSB8_ WǔT#j^ʌr ͳ$S/, mf$qo.7ORbܠ>Ćqzqc|+`]={]:J6WL'GO?(GW_ ,AǴ}xi [i\˜Pm;SHJMaΠ(J)#1xfm%ݫwR]P;$*ԫɹZDB%>94 z^륳VD:|]58|+hk2F)\uKk/ !^ "6PI$IVM<ͣ1'~EOT ZHI-$j$? ^gYZ"-;# \HOL-SMT_ExamplesHOL-Library.Type_LengthPIDE/markup7zXZִF! x] !M젗OFK?;uL2a8 L[oz\ =/BQ21Df?\xC^V啶tjd%71]X`kPI/bm%XU>Q+p43raF/`*op>^6+_O),o$\bŔg?{24ŐB[Rp%"*|FP)!nQJ'9ôp2D+|W'BTcsDeN[!U[RHpN+'\ =qM24{ XQ)!)k1%-ZY^vmAr֋gfLÜ1,Bpdg ?Xpe@ t{=]0(R,a;b%RUۛ,"au%~>ǤqZL-x 0n[,M/F+ǎ-o0X˛@ϕLCa<'+C{#X"_ E; y#%Hysа]9_nl5]Vʋm @> B}ЊQ!ƀR鉊Ha .)0UBx) r2*mЦ~3L, >#jKHU?aMA9/z+e[l_Qc Q~4ickJ8CWMT>"g9NPE{1yIR XoBiNl}/U|+Jk/pu.:ZivNP*\˭N/2kZE]|^ !#*Wl AggYZ 0O0-C' DHOL-SMT_ExamplesHOL-Library.Boolean_AlgebraPIDE/messages7zXZִF! ""]D?7 {?:fH\x`j~= @X"KK~.TAY4zȾo}F.m;މy[c]̭ې~V(ғAӟظjRցb&_0;8a{ԠQF0`5Llh [m) -L^4?U'K&Oa%w9on䩻 n] s <ݑ d{k/$Wr#n|G2+ z~ yI\Φ |onQ{pn -¤a6Lӟ~/%L6Tm`=uO@m_vL~ҙ^r[?)W{r@p sjjbЦB#g֑;[SϏ4<(Pɨթh,f Go 6_1KoM-JfбHCLP ވo_pE-D)&ﱄ;&k|i8Ra}oRpl_9TD" gYZ.-C# lHOL-SMT_ExamplesHOL-Library.Boolean_AlgebraPIDE/markup7zXZִF! 1 .] !M젗OFK?;uL2a],rЭMo1Z}D}|#4>ixץ`S=[ZBg71,_snr5Q5m\P'U>- ܎ZAk-H]d &q[XϾە@JrƲJ@d.PyYłFc hл=ChpJ ꋕtj.t+븫t/m1PKI tCMgHNhsEɧVM^W T٥yݺEU<ߴQ%W/RSڼL~L),Rx|EgD Jlab+lKW."qŐOOFmcD+Mveܵ(Vw' gԨ={X Mae/jK,~)SV`Iݚ$jז+<ϭy$-陪) ,vyj+569s8 Er7V]c Y\9xПi!4R(*0 H4?*(M^e+lmA_,|w,'y:1GmȒGޏ͗Q>"Х}] 07jc7};/` '* t [K\qT {0EUZ×lh T; ڪNCSsT>J 0 F @=Wa*.%Q9u3{>DK[{bv_`n4 sXO)ZQP4*P F{7!WXbnTsʜnEWb r ͵L_/ t.CБ/3}6QMDe RN2h4j֝dm)V[W~e[&Hs5m AL |FցO ]ڟGM{K<1#aUdV.q A+Rq)a:[Hp[R8]USc2vR#{)`1h Ae^_`HeВsQ %s:Rƿ uʇk։):HMF7ڼ#w}h^FTZ!\Sg S-e<)sĽҌN<yQQh}˕,}LT_h&PK ;^pbPCPPAh{$ _PϬI?W7J#_@:qwfa C/<2Elp HmI @p˵GXWqTgN=w9NBOaˏvufMqJ]@ ƯTY/GF"%fWS@O!nCȦS2͞Wݺuu:Mֺ~cxRE`*aZ&Ps-h Ý$n-#&bZE*6{O|Ȃ ڣS NiHc̳[ռڵ1b'Mig\(kI*c qp䈫_~\쌿2"r11P̚;Cvy'Z,HPHJ_ƻ8;Z̊PLUwy!jrQ,;u>wMPq܍ràU! shB*jZ]uL㦟c LTxDWX}gj,Na{Jq-!9@-lSW Mz~gH:u}׫kh)3H@>M^O"^+KRi \~4^_ߔ38QYhR;<8bToU 7Rt=,#S (ΐ HU]jw`Ohs<-7ȹJ4l9NAKƭaXbG jI ?/BtxoZ[?⊵0ȋbltx.-d"XQ %nV8P_ ҆Sܗ N Ͳ<cv&8gYZ  !-Q# DHOL-SMT_ExamplesHOL-SMT_Examples.SMT_Word_ExamplesPIDE/markup7zXZִF! ] !M젗OFK?[:nb7#.s42#b%= }B>e ~o٥]K#bh Z #r'a{_~űizfG3a-ahE}) Ji_opOE]0Q 59րWZ1 PFf;]]uZqWٮO`Uz FזE01,1z4 rj$NWa 364F3 xsQ;Lٟ(feŌ9KQ E~'mj.D{`:{꨺*rw$#JqĻ@Z z#V;S<q+S$ (XpU7_ț$^CaYv;@/yS'p\ [c%躎q@rp%zMՠ.<'FZj;d\uE&I ׁ@{f~va0ʇ4gYZh-;' dHOL-SMT_ExamplesHOL-SMT_Examples.BoogiePIDE/messages7zXZִF! j]·Iq n[:|&[z8 })\R3'~ťbvXqÝÖ%ӭme6}k9k-t9izvJf'a~@߉a0-k˳%-fB~_;/&"PL6B'-5a;J(\ fW*ZkLO(}Cjfj1JtQ[;g&O:裝*/j L WJ?mbZ.t+}7`INm@MȋvkBt`T/eup+&>J/J?PFTEh]]&ie tűgYZ-;# $HOL-SMT_ExamplesHOL-SMT_Examples.BoogiePIDE/markup7zXZִF! ] !M젗OFK?[:nb7#- Z5~TA6OB7I*MP[zkp9I_^GuL}Xѝ\b<\8=Ҝ1M( GM,Պ;ep?Ĭ wtTiq!L\Q/Gy>B6o,/,IF2G/xl11hSn}6NL"FC[@"63BZt7ađ[Z:_ ]"+ͩ6Nn3R,TNWAP>eK1Tʉ HÉyFUŌÌd!9X%(t3wtC`64HwmהgYZ x-G# |HOL-SMT_ExamplesHOL-SMT_Examples.SMT_ExamplesPIDE/markup7zXZִF! :P] !M젗OFK?[:nb7#.I2u\ϖ15͠2 'BCl/RHu|3VJ[BܿV@%~1AeZIK~.li]ův)0,` i YLVLg@KLA$5@ bO ӂ2<_2NSz:{tWƼ ,.Cv$8Yʑx" c(=v{2ٓZÄ Sӗ-vi $d(Mtoʉ&:N*O'SW|B'Hڕgz|&ɂX F4]+ͦ#e>(3iTa- Dg<~4pLJ⥗fG:#`Qif(9{ v@/81M?;Y>!kP:ZȫM畄 ⎲?3jшe0S}THLdpu[YM*ښ[Xh_\w=v--b;\|$rHaתALʦ[G, ϫXIhrB߭3hnpה  غ%0uP.@^h8E)4EhZ!I׊G%bDê~?b/6WV=xF*icƒ!Ie3,/j6~7[Uc"3Fr'HF6m&u7?Ч|TiLa(jDDs%4 vs5(NjF3{'9V4  lY <#זq" k&z "dv/u-zhԎ[7.ͫB\=!h 4/ZݙREš.^eϡԛ|)?B'gW!I:  zqX!;/~ڑ.!O/阀M)P! "яhXK^Q$|kN`1ެ-|$o׃ T]CX 5I7+kG4p x86 :RTkpk5D>l}O+_/ "v4ݝ91B/3U'mU='rdQkK'oV/˹qwT x/JQ*%/:{BTFeöEh4!ԘV/ ӝd>P()E4hmx N;з^mL#&j's7'nJ\0R+%)6[l^U9-?38yHWݗL1]L7W|q ˄k̆n5JjN4Nch |Lu F3V& WqBܡ2)Ą؝Sw],ε4 :M[bDqh]7T^*P>!}ފ8 83[yՁH2G2,cFk@>cp.)Ej&͡uW)d(RJ{o{iIHR6P]H`[&u/_[% E0"gw-3tΩǬ*9,17nBb1F&)g01̺$0Epf5N|E#):wLt.ܒZ19St,c@7 "7eFR{%$cvVgǥҮr& ucQCQt :'UOߗz09D"p Wv^X;]+FJa_5u`DRd ˗_`73'%h>ce&m1 JsJ! s9>;5 *\|llOaE\Y"Gokp|<<^@rxi[^:C3-4bG7P;H]ӬC(h67ꣁ183f z"J͌ QHS{@ 9L 1AsߠtTkQb$#=0NrlnʇYsCf5yin#_n[rE7wʶ`я[ [T6 e o@Vn%UC{]ҷ}ebЯ)CQ$"*S{sR̕᳌-uy6{h* 45?ӻ(:}2whzP։2nyUT}[}`[@CnɮL'FopĈ77Ti<ŝՒQlOЃZ-[)xx^٫55`ĉ?GHqIQ(el]8 xPC?i0=TMfP)ן9n9z̽PZ!C7j*;ԱN N=b' 3~`ES㆟ɺG gr` }70QOnkyGHMw-ʤ@":6m{gbq|>nvsH؈nm5F3ԑȣ h[iiP7'Jbbѹ %ToQ.w6bچЀbV>?fItY?;0V"U=[^?k!/8Yt)Bi>/ǯjs>ԥdiH 'fɢ Sܛv! Z!dpS"bJCݝL"cBnٖ[7IH3A{*MGxnAoq8 l"SZ+99.9C;r@/ p(u{t?&cԿ-l@"?-Qq1PF9:EQ|Oҩ;Zh &CKIff< vx-֒ {A6U;\јmQdrsȃWÙiZ[x.% CY3n AKg+#je$eu1')pYlfU#ɌZs3JH7Rӊ؉Y) 3s~Trj,;uL1狊yQI8{/\[$U@t&gYZ 1 #!1-=# THOL-SMT_ExamplesHOL-Library.Numeral_TypePIDE/markup7zXZִF! H] !M젗OFK?;uL2a^m6*%uMQqaaDuKlZn7 {5ڼgXӊa[G׶wAư:G UmYv/܅0ޞk2>?%%.' Vtb` uŋl)^w)*_KZh: 1 82W6PinN3w6]#IRuϾilhM%~Ëj=rVzNLC5e.DJ~Ww]H~s@Ŕ<<~yg5Qa lf_HbӜӥαP^E!WDu8RF΃:|/QeaY,nf!?XCPFFBX.K"@\I4U ݘ7A+%k˥b|"o}8qE@ktY#b, $3#VBG?;Dsme9b R*GZe'By;hVSy㩵'ydvebMgnPJљ{l U*fmZKx0H" ayk%eP$'ZeĆ%Ay"P34t Z5) \L&&;v!7 i=2/G: $L\;yb9pH]]'xGrh!)3$?_}k"pIU:88z08hV 0'oOخ/GGkWCVr}Ѥ d6B Kn @V܌}F,-;2̂L{mј)fH}MOLl [5y 1 $ɒ/t^Y) Nt Y ֡9ΤO }yfctLқʯ}اJQI;:MLWԣ$#B}u2 ʁ%LuTvJbVs 223W ;[oYt+RTm0.S\.[HgˋeBGNkjtÏBӘ :B%'V]]D9,c.5ɩku\ m0\L8957(D40^rx++b8G he{&ıMOkC6L ݐ>udexhNENzn8` M*fTՏ_=ֵDbBQ~aG.T43uZ \QhV\pk l̎@ToPxZx_r՘ٖ:{7d,ӝ~/'r8&/vgrHǓI XjLL ~;-Cjo½f dgVg2K\R Xglj^sg(2zO1Ii >_]ܟaFŃnG-`xQu…$%MtȨ1qO/4ЉB)Ix?|iKXWIdlM?~,w{ d3zFQQe\ yC;P!I_2\'

O]>h;f#M>lsdNS!fQl}>d|JE vDЊT4`VmrCn<1\u*cX^2Epup9{xp!wYBmw.mjvf~y0q!.3Gi<>G+j14zHam%aU(~tȵ'ۜPzٟ+tof7*3<;ľl?]~=&CUg<2x{mW5t߱ѫbL 7]jhKu#V0=Rw3غ1Z(CX(tA̛wdtmWeAWTGW|7Ńl8BIľBƱ%i]̬z>(>LSba{1 $ lv`0ݡ^Uu%_<01j Pw1$”7@A.ƒc@_pǸ <|\5"NhR.i/ N0,gI%'zMtTxګ_TѶ M/p9!}&]i;X_#jqůi [[}$WT'`.N=q$Rx.|72 _DkCz< s_`>*- ՟/ύZDO@LZȈ CH{D"vM"F' JE@vQ H:6\>f>aAķ3s2ie'GϰOvFIA}*A"ُVm] agP,iAꥇ6e} X_98nO^ vz)hJϬ~@&.ClnL.S#P=RYug$ Ǿ_"D^:.t$tIx|;`N|gYE=6h"{/e9:s$N>Cm}F ⮁D1EXa`TѺnhffQ 9lA(i5#R{}|Zo{)|o8[88@dj/ՂFFZVwQl Vާ$w9#[r5vdW෻c𑧵^Ov€M'W(YI[UӖ-ot7ݾ =)){GnᠢqctZ<%zBD/6FDTavݎy_ĵ.rD!;2&S+k1U@p$%~$g xФ4eG0yJxq&AftJTwDs mKg)]gXFsW*.)4^Lj6/JX;ݥ+]jK{O%l\%JzbkOR%Zk/RbZ_Y93wsqDPه}**D,嵾`}=&Y5$e`ό7d\-R;7%u]EL>+u#,!>HAgYZ $$Y-=' DHOL-SMT_ExamplesHOL-Library.Numeral_TypePIDE/messages7zXZִF! []D?7 {?:fH\ЋN b}Z;ץ< 0x.PGnUq n? ,ڐ2}*-֩\+ 9iP0~ywVCBOQz=RQ0FXꅡlt}{S(@@@iX\kAsԒ2[ړENp6J b>uҏWF7׽`sY|z c泾O`tl,Fs,ovNHf/OeX;%|;YQ*Luˠ~RڥM<|uS>BSmC6#NX|571Zj0IY6[`D*C8Xn7wIǿk~^@c+,Mҥi DR]%l4ԩ> ~%mPmȁgbi c&_ @^$~!p"bf>ƞ X@r(NwOKPu>ff#H1KSi "*߀Jbޟ7PP^W@{rO,('4_9 Zt<1$I!&UC-ns@X+%$/iE_IouWufocPr ,S @ߌfoyY*ovvWϢ%~bZ= ^Y 9bra\~~U2vħYP E㮫 H^"K_:dF[ K 8/Q@Ẑ`OcNw; 셵Qt[8AOgfO7h>kyg|:XܽKvC3#kb߾vq!/L+a-FKOs 7DŎѲbf\X'}cםH@C :GKHa~z᪱~w! ")%JJqSMN+V+7Fd3A^;J^s}0KtD0-ۖsAN ;&iXtsͳn&&ӂ:7Rq΋"숯!ld([w{)8MYT e̻z' rr;9N{!wN$p>~$J /(f9o̍ħMXn*d=Ɏvp1x,հ@OȬDWD`Ie:z ߲ u6ȀFVl?WγeU. ee\X=Odde;~!Mb|KPC` cvJO+dKN.8RDŽP])Ke+K<옯_Q&${Yn’ 0#4^P4_RB:wTsjk7w߹"PIchÆWD>6DKzJp3ީMYG?Ͽ)@|Ҥ1A^TlHkGe ZV#Rs|SKip,Ro,|*C$+J!v9pׄT"|mgf:IL%>[:7PP-؎P`6FRoSvuzuZZ3o]R6vzUN730xRsnqUT5{J3RDf:d"R$jDyːf _lˋ!5ҿZiu7a:Ļ/ȣي0'Nh=Cc= BfluI1*o֎˛mmTݿ[4$ź k7ޓz;)q;^R6\d"pq#U5_HTQg' 9ة1}.Fh-cv7Knuc+ =qG%tp":F{Cq5,0@󪟗 mO_z^o] 55}Ҡ&FbQ_@ ]=]4{3PRT@9OB|nSpX/tm2Gkocxԥs}EJ '`ӋTm5/ )\TdbzoZ8? OnE o4ʯz\j"_uf )ɗ0*QfSq? hԁ kCEli Q߉Rި:7apz\ί}-7fgͩ(pQL>E !AMYÚQe"p~`, Ȍ%F/sncF⬈OǼ~ s`M/?cS ?cL(2O[4mgYZ*Y<'f \Na#C.! "-bCo0)|$JCX[+{>Mߡե"X8լYT̝]*Mvɘ"x~\!3";Nkf ,|"HbSQbvE8RC!% 7G>vƵc#} d6jG1ڏ*HBVQmY_kQC!h။IK-Dvsyl'Y|_K6aTY2dHS_Pn~<a/D^\HCiΗNNE`pl-VYvyŔDӲQ$T&`$l]ҪN `wǀ paA_ $3s8pآWIR3L\:zڏ{s;H Am?Z7."s_K+vސK%g{51=duYZ[8Km #q?Ԙ!?ڄ!j=m%NmBl>ߒF# 9 `O.ZCwwjуRbq߸oW&(d aRuJV&{M$Q]M+ rϻ˴Z㫦?'9 h =b1UdDe6I }^u{g\RI'6S& *HNCv ]Cd@j.f;<)e1*]p $lq.%r\4}߉h}<4u)!;"f*"m0(0ceRhؒ6̈޻{J80 t%s@m(W6ϛEu:Y!mfBgu ?} B]IT44h+_)al6PpU{\ʮ{'WB\y{(yey 2X0sb=)\9v0l*B -@L"2؊ 9[d׾:w0s- ,z>@'|)'s6E*u gTf1.G=@#~1 yE-gp$:m:ɏSmj} `PK&elO}^qlD*^m*EB$誈:d)Jjw0,ZV#ۤw8fxdR:2m@ջ4:عFpw.ʵuC£O [#A#:얜g"Ȼ63{Tc֗lrriI^ \dGt ǚ8R!/ nH]nֽ`O']%!$h͋6ov[#$v_dlC!tK^e CþB6G_SR^MĐ?&]NWRJ =/n]R6Bw\^> 9@/\ )Y2գ9Cgױ0U}]B4 ҭ1[,Y>҈{ 7QW v71~ ؊`wIrG\'5M/.3\(ucs{^5$:-Uj[7H-)]azPʬ]@t"z8 (f2x<Ջ `D/#m 5FⲹGP9͌݅)X_A^Y5wVgswDh#N$ONq\L8^D? pPդLFIL"sPy.UdؕV6:kfD,txGNc%$ m@kE֠|ݗ)Fau tZZ63򚴰ur1@XEjPRLJhq0Aܢf2;NGm$&9 b] KR+ԑuKh|5H]~[0 Mٰ|l[赡D8eMwo3y7 m#g{K ˎzyNE?_}'մ+6ju6K/,*`!BR.S#t[(0\Ja\oC}%c141txYME.ɁRC]rGrn6a˩liX5H³@ !,x o龏~7öb9ȩ4CO/|EdJcێΔT+?*% öz鷌K5GH,-nϽr7P%'dN`pX!ȡ/c޾CFyHc+ifQ"E8 9:j$HSS-6tdaTœ/VXkyUw-և4˸ \V#&:Pbz,j|CȌ9lJ|&֗4 "Kg N)䱊8pm ؁_M ss-԰J0^Xxs]-M o}*!uTJv'GT("CF2,NJ@_1)XV9OT95\T2OzԐi;kuG䃈(}қ^k`D^nqz6xѷa_;UO\7c9gIc+Abs4"CpdtHSb5!UhE!S<{ܻ b,%rLE.als4cWt;D'1LF_FӷA OF˂jLqd0 kPB.;D)Y'õH:J*"*gH݄ PWCZ؊ky>ϺqvT\sZ;ώ9II#a{/HNmp#/EFQQ`+Mw!Tob9KV5E#jP0)w<$> f8xJK.ɿEpE7ʄ ) SU9Hĸ9֎.POcj/irC")M*s$0\J,'tIȻm'(˃\o|ʻ񞨸nkj%i厳.rL8f" ;~?qV|DŜx.RX^+0zj,8Y7{%߰h p^BWX{ tL䙢GmOV<37hWMg&nX{ O+c!& *Ɍ@:ր|9t~f2r04u @0ѕVтPޙa'8ZXts.wz~ؑ3RyYQU0sP㭗V9bMeAߴ |26G]2M? faᄬu+I|a*H TN=\igr'O\Ox@7_ 7i ɶc%CPXM8'&lhГ-蟐ĩؽ1*%P!NBOQ74cOA@k03uJguj^Ѱ#u%P& Z)r3eA|9^1 *᧎w?1*I^n6 k@>z10m0Fn[J+w>ZԄsW`r1FU(8s](a-Ya;VwUMґ67-udh!-m[scÛKf߿6]Fjul-OKs?aG4e3V-D0"!:'rfz&xVYw9F~Ͻ\ 搏#ۓ YmG<{&bS44f:PrcP "1f>_Pu)\r2gƍ'eY8LA_ h(pIkf^ar aU: \10;aZ 9+kT3pYr'ܿUqTne{-iyYСn'B>6#eIVm8k<mMM@q-B(lP`I%jk_s{.]lCf*  X:}f@3WR %~ ^LȽ)PEj Sa(9A)TěQ7xn,½7` ۾&=}=%xެfYHFY5Zm#k﹜P‡*{l6Wq4~Ft7~R)Pj J@( yT#l'_TXR2\umP1n/UxvK %TMo Zd҇ ~j&OSG ?Un&0S6 *A<8UGsD+=ZKė.ҝnsXV1T+_}0&﷛se~1Gngv9%Ƣ=q$q`@TcglC>'g.{j݈C[@wF%> )M>m+JT wNj [MR4L?yNVĹg#@ ཾV><Ctd@}5>RH+~ 2Yo&|Wr@2 I*L-?pH J7"!fqD;z8 nh59Xu_C? w_T6TKX9>_`4Cej-9q.!,HXпȐjh(i˶%ԇ4}%EzQ6d E  im;"QpA2򟴞n!ig夏!]&ʟY j@/aFt{y*xV ~gU/4x.-Uƫ1եNPo5ڭVOL22qM *56?yIbaA46H\XRYhrDۯ77н{QWe{\ `C(L%D Iy;5יKҿXmNI{2f7CG,9pFj`W.b Vr\Q)U$ÙB\/Hn]2={gZWHa\k⸀%MGSlX{n1Sg]~20DҜꖉo.|HQÊR@n*ͧ_p*?yޛtܵ"REL[^sFp[e,4ɉ'ÂB7ݶ8iNLw t~&yA"i9[Қ%ggyO&*a @jfyg*_VAq61 )NX!mDA2Wx4sEńQ(?%'~gM/!EŋReQB=J枟L޶|XsD%0+7:-3i|$jRu\MJ @C'^ 2^nv-AԵCHlױ&hڬCݓMC.y >UNpbv2 Y>?#'p_XY LeexJʚ8 ;5~GIِ\!֜u"^ ZJud4;B7`?{ BwCbNeC( Usˇy`wЮN^YqQ@:mDt i!*{zd."yèZX0{XnUKR~"`l`임JO+oķϼ1r Ϸ V6`mYL|ɘx1gxB@\G'ǎrש岜P6OmEr40 1? btr8oɖ}}"1J8,(juWe 8wpԨ^_o$*/衏Bdk+.COi^܋fuEܔPt-޿xӏxP\XY(Ɛ +Q6&>h$e3aFinY v>ƐX(~\n zYNHM|&GӡU8}~e1p]h`oЇ]|,5YRO]ӌ=G*v"ׂ1*+ĤFeۗ;rՌ:O%0zZwDg$# MOõ/~OǼUz7QzK1@ rחC`dZɳ6H[C&cwGw CXxяćF5dj 6ˮlH(b* beuᙞ.!nywv.K=vz5e7(ёڕ߽ Er6- v=5}mqRDie]ᬹtje#2j8ޤ/ٮ϶Y Lz@7DU7^lއN^ƺK,/$Kj {9 `X># |]P>7OP5+K Qlyao?fZQޞ`UψChc x&])'kfx03}5˳C(1Ec" 2E`vB#]Ȱ<`6}h{9g;Hf  *w1[AoIH V]7V˜D3AEš~56rrxfXF_€"q8KEv{7oj?5ty na/oV#*{*`YKTq萻bJԂi0 Yj&gn׈Fi X|SQ|H a9S]$K546 ZwkUw?fiy$Hϻ=9lgml*YI)=Z$2!exG($$`Ld0>ԿOl}T4atrF6܍y2JBwfzs16(iQװqC vI3Xkx_ Z4/Ip!rh]d -yEM@]Yܗz vbGA%\Qoz4n!_Pb +hRG v12cyQ\ͤΥ$b?:mL6鐍yZY}Nnf褿k2@ʥ{.B})9DtB:U<3Bg횽Nņ2RTэ8ض̓n|`ol"D#JpnM 0FdȴÝ&5q/!Ltz1>.ɕ/1lWzԡnn (͐gdJ]Xj.+b⑻11GIf73"zpfrx'I)ԵT4"͵ۇ,6y|Vj=iwmK}c 7㼅7tM1^t{аr_Z及pnN^eI|/ as2F1ɐnP3 ^/&HյtTDd#=+NdzSak)v=juN8C|86qAX QS #wnә ژKuSTUĢ .jD=̓O' .cJiQ}aS4Q`4_"o5y=]ci_]/&s|F N+E/uNЂ_q(> 9*f2OA4g@Q HjYt:L5u[ P<=oQ*(Ce5R~W/Ecb1u^R4~n//NcM9g#?W i:<Un[ Jg Sޤh`T|LՁ]Zzv?vZ[L%LV 2L|]1BzԀK13[$8Y͇D-g۶8AVSٸUYy.7`ǪU W’BT6%h'6&_bIQ0+j dwY4 KCl*=W5!+lwSW Sp/. C;s0d; .EfT4 um^Nõ) qtPDe| xGfAn%c|Ѣ?G.Wx=ƩۗEb?_Ⱦz]|qY͞(58щ.UXg1/8;{ IAq#oE:L`rd7LBnʧgM(VnZЁ;m˵;+rH% J=I#b'&(8̓u$ 7sB g?t7Eeڲr26ks>Zqv]rÈpeɗK4~hkZz!g'SXΆ᜷Ȝ5t5Tkwc 0]]{kl: [2]~0>FШhԝ@| f=FuJ`ݧU㽘]Blm8; [@ݡ <[GŊVnj뵡aoh$J))GV(^;dYj4iQrb3O<|۵=Z%VAp הo xơz:jELo(&wJԜ$XwybN*r cy?ц-@lR;˃4aEWz#O)RvV![iݧa??FIxAbi{d.]3kK.=O%r̽6m&Bki+>{W29ݖca^ߑƠ[ri14Y~6a".$$:a Mse?M{ naNf]?9,\^ (XODSW;[JkվG, 6smWұE-OAc8S$6)șηh4 tpsQ?U7bq h 7.J?@Ykol7Hϖ:oxN^8?'ܣCvl/l9](&Y49V&ݮt] iQכ鎛PKvkM³"e ն+`)֪cϊ _QPWz-gA2 2b[:cHJw&c:]IQGsP-0A0 'w&W[]3:?x]'Q~BGYG m.5}." vnd44ͫ\W V#g^ \ʙH#XJ(z M@z@fyG]*Eup0۹4!XONt8n"f]o,v݈Gߘ`wVg+He9mjc:ڭ8R\N$ gFoL!Ph/ +MF-4- ԝȨzcwRCjUӨ[cbKm-JdRzzlQ}Y0zB!/\]Yl3yk8Ď1{9y٪hϿDi9HAcZwTd5<_?,HA@8n{3-Y _p,?JRph]ƀ WAMq/wwIɿu\B̛"e@g2 -]]~ࡽӇ I!`|d#Ʌ[=fb&K7/W;tLpnD1qf:$Ś7#l~zSarj4P2"BT UZ,.:pܜSAQ(7g%ic0*Bx1^y7@skYK{X#Iό3W 8V6G?!YX$dZqW %>qUGڪmD`ީ2-ڗĄ`LVneҿdK֯7g&D>B8DYn>3|vhQ%⁣RąR֥؄2pKimcėy lHBI(!_{0I=˺H]-:7DFdamm5dk"րw 30JͲ%xq:np$Ij>>MMsXYG4IxhWqGe)mcmdﰥzrlHm_Oy!qjo-"ьzm?eIRCLM'_U>4գ;5ҥ/-&m+P@%^ѻ9^2MZ[vwq`R%k(8uJ+*FYv=v[OpR_ŏѸtZ9? q kŕ;Ʃ?Lwr YYdaM$)wV]Q7_* $OۚidSQ ϩRQ #63?U;+45҆?ӄ>p2Mیu)PHfsiT'@IFE='wgU  'q #ͤ2̖%$xj! K]eK^h̜i)悪KFF T5߭RuD}ğuPS4ڐEM 3٤=9Gl%aJ_9Dmpk8in Z! z93x9 ceT3U0i:gXVonZRY 'م/4t r_zgU'dHvQCݧj2Eĺ8Dno2eI|VSk/cqg#6MCجBgR}t'K.f7wWTwVMfV MBr5Yl>l(&e^L.Yz:}Ws?plro(W7%OJ5NM5kd`=>֒wew?806yXF}^ɧW$]de+>pG ;+,ӕbOEA%`*gx2!lHH>!]l@ˆ ْzz1.#X|в8Hzoc}Jyi3֔W5"V@5{ K[s#ENYzMwa|Ѐ `|5CgE/Jv0x*W"J`f&Αܾۭ&~Q o 'KPCǗE~`dEcDKg;WvCG%HLǑ}ȃ /SDj]ZJ?Dݗ2#`AC;"BBnS/H?q;y5ErGymBo8ni5O6fOqFpħWe0KqcyˢB;@i P Ѷ ?qy,o N{ƱxuĠ^HJ#qKʫ:^T^ T٘k,y}`gFNVHN1-~qRW=#ϏsZ5ل53ZA=Vk"4/HU}l>͂ʮ|9ui^AEP&yFnm5b 0ó:U{zTk8(]q=6'jgW{bY٪cD )\#e<Ufw ox߲J |F>۴qrY{[T6D#62l0]҉rn?y6`hQzA:1[7>e B;`4G58ڛz٤{vXN͂}[ @]9ʣZv8.lL nRoFpNJ;J8&B("l9'Ծ/-_(AdEnQg?,rDqz#$T[إ^Ny~G~ȭDh,MVX}DqXtUb<ƽkNE\uK/ȔPړ\_(5*ugCOe|פOm RBOprR@n щX?D.GU΍vqF撉e,,n̋0&)sf2W*&_{Zb@#㏭ޤGvӛHN?`E:8;f]uFSC@wzE-Ee.\'WXhm"1qͼNq=* tw5LkzgH6K%븿aXv҈Oԫ ?~{;kN ,bƏmh~FWvӯ.=q?;M3ѶcF*kWi[MʍRk5r;xyJa.2Tue ;D](5TX<⬢t;2 u(4Ym$qWDd?W eӄ dsuB 1S&UY+47ug$̸lq9FA7fJА1%]-ZjCeQj|ur'3dh/luֺƪlMƇ݁ [!=Oס9nN`#g D>IZT 5DׄMS3r'g7K/lgml,hY7ܲ~>"Ό6zD ]r;y<Ȕ!'ChsY647Rp&㗦>DxK`2G?xxc"КWi0"9XYUnӑMǓ|t D|轌ۨbj}V1Z X [^íw/,a4ڛ°F7+$ ;(Ϛ#y˅vL3*`f:ZsqS6vjyO/Q(D 89xTםޙ2Ɂ !;!~zȑEG~&uyǪ]N7t~SM p/J'Fm殡n&UcƳ=)܁}\O/1 d޾v|_V l.xq6$)2SJhДކ ك?Bm:=^'AҖԛ֠<6wGMJ\ zV)цLFY׊y;'h\q?طt;29}YY4(h$HZCj<kE}=7clG40[GC*]14ҰEpZ-{vRx@?!e~T,q^zAׇlmRa Q1(+nX+ݣ{ўwh!L)󫭡 i8#Y^ZEJTT(HfÛfK+m x: v0 1MW hމlmBն8=շRD֤Sx0i';?_%b4 NNuGv,NT5qТ2Qg}czȰNYBZWCdZvd7 WSX0 Z&pp*i*'GH̴5$y]&'N&LDs~Ғ5,é qQ]ޙel0_:K?o?ǟ{p!#O[sԱgYZ  2 22 -AC THOL-SMT_ExamplesHOL-Library.Bit_Operationsdocument/Bit_Operations.tex7zXZִF! 'V!]A-MՋhvG"uIBm5F"*2*=)Tc*ET75ZOKt ~H H6m1 );rm<IiCf^ƙG!UGˊYWPeU\/"9`O0IvlOR:'JwNCCfN=3f1z c$g}=#kg HL\5{=KP@'? Z0|m@+$_+r5c$p4bTo2=_dS9jtг7Svc3IKȩ2ǩe\X GaK˓Pu~$Z1.7 6dHڮb+X<:bqʟNh YfiDM+u2sRh;^Ս#e#[8-$i͹bE^@\ +)lOʓg2]7t!l" Yt狯No1;0ѫ)RUZ'Lr,Vl;|\RmB8A QU3:N㖭 g4DO/́82UHBT淌TCW4n.AM'wM>Ry.A Ј#q5;Z*ܕ KX#&(y0)*Tѕo>M$2U~fȌ+HO0}{9:seoa~# mIJJLp1Uf:"_SG{ٹnó͟{=%y9>nedTclNS%TKʭ0p)01@EPg웏;mYIgKs!wQ/ ? 'VKzYVORىw`T"DIkd KXkxFP+Dq6jѳQ7="#kaNV@rB0BL E3 V?eaV'ݓ X(}X ibl(bίx3*{O0H:]Mh(&$c%3h'R*ψj#BTɋK )9ػ(R}( &| zb9ㅨf7OOkGğջ& xldehSf0qkw·q.8Xl^\-Ž)~*v냇w:^yޑQvuxۢ 31KUНߪ2Xϥ]] ͰĞgctdH7>qէ5&nqHM #DB"PSjr#!ˡJ ۜ&^h5sضdM=3FkOx^`c4d;jZ>klSpN|->9Fmr`ďO0ZsA{TlG gE印)σ,VnGj;FR~)Rغg[yr1~3Ѫl đl#ӵ {`/ako/i2xXtUzIu:kMK;[U[wVr\ׅi3$%_^n,!A>{Ǿ9ٻ 2Ba+(ze;W@kAe..Gj jCd(XbozdD[ *G6 z| +_g5I(6fRZ~]mPؿUPݢO)U%@piu!֔ߦ]aj]TssxdO]A^7i !Y "F⌷l٫6p]ۡŷRxGʐK3ƶs>ku3./Mp!QYpJy`O&z;cv0(0;W $i*ɓV)iT~Hb3f&<O3~K/ c+&&UC;TРLSob_?'C*}ѐ6\E33J'`L\?" 9 jbz|pn )_4taPMO 8f]ھ2t`U {S#pl 4'/nhl?E }%e?1.&.ؗcǗ=mm +ʋ}^GzpcXEo}"Y?D(>RGҚCDM%t[w#-=r H]$ãhfD@ Xq da 7 HcBxv\7)}mV*yҳbb|cm£a%I@ȇNY8>Ln.ɥPg#]ad:=hjN*rpR NrY#R[ V;o W9q1 1uڮIyrzhazxY k9lּ5yg-_k[bNMwpN ¹`}\RRyޢ% l,opGö"“:ʷ٣y2}(1G[l#I6ƀkU1txW[\KiB:#y^l2^@_HGHmkh 2^۟.f@ehFS^0lQɾ~3e!>r2F0VH{/V\/W}2-UFq 9rSؤF±~pSjwvCKA }&J1MzўNz;C܆=xay/cKT~`&tmoUR?U$(5Ӑ[2xyp5YŘ){$h=rG8 IAmm~Pγmexd ?3?rkaiBp82/j>$ca bssV!sA. AKgy Q[Ti_Kf%w7C =LƎ[c)(zܯiJ((N\C=[/{f>@9c<8 mB/NTk nhJr‚ဣy Ά?KnY^6v2ڻ2x` (6~dl!30.Ԓ z1|hԈvɒ* e!(*y\4V8"{JꝐ'a@v>-f]մw^{ 6V7ԄTb8͞PO`*\8cDA΅uQ5r]iuŭva &H:+GI/B]8b\/jQof*~YbafX_zI](N0k+{ME[R+ROњ[^{ӱKSV[Ci;|~Ҋmx&k. R4o2bt+/Vq=<)ن {0\1|6*vS' "/ wz}~l2-Ss|Ez 9GA܏!HO]W6wVRyLgӄ#^,g&U-nB vW|*J`& }>GXCF/UqoMh}_5}VgTXi3Bl EO۠0^uڥ[L6f-0.UV/>mT 샠S<-9tVd hӶ%d%5\4&H> Q@;fͯ5ok<BH3F`]fg blfo#ҵ H&ݻ]7+,1W{&AGߩ ]<[%v=A%Sˮ ,">u2vf:`lcG>PǸՎzsG}NLp$P<p&#an:sx]( t67lO#0.zXdJ_z/vop 8$>Jw@hc|妠UJeGjy Bچw};=۲p\6w7|9pj_rwsܝ09̐*”=^FyDg.Y=M(K\Cd٫TkHA.ƺĮi,:;NZ:692!%^^=v cѩu3@rmbZ4{tpHr]'n 2֢'4}%>PV:(ZW:0@0‹zV;7{A0Λv'1mׅGJ9'FTiOsq\A%E˯;=2 "} bapKD;ٌE7ϙ-$l?L>##9B shw^ctN|ʕ}x3uJ}SEϺj#o͆$j`؈ Tex]H(..ϳX k̭y+k:0Q?=M%{qH 8 lYOn *$m8wVoT?l6ZY@%bKJD#Μ^+bA4>*:B1B\L0 +䰩M#f+fXw;Sucm#ڵx2^/)봺\ $-Wgoh@-Iif 6;0Z=(ذ.nԻΝϗ҄&pD;)gx9_K[43D_ֈ &?&rjkE{!Em_PQ>-'89YcJ&LkXzPQ 81,2F&#Re 025| >+ *WHq4y9DkG=^2#H _&B2l7IQ+un!O|% EM{tH"d BHH~<?Qb[|>3M[,C%Ey8y8 VS\|Y3[a&}f=:%MOtߐg@K 3r11C0t>O&2Ȇ.BFJÚ ~3?„{QbzD*Ati xw򵼲/["2`^ 8 /w\ ӻs)]yOLg1G YL6L%lx655s1ݵU&Ftnb ;%V6@?3Ѧܔ$m)<5, O#<`b7+/}>OfT+b6!UGEU% 4]'Px"n U̼B>K5ӰdWnߴ"k0 z]*@>ɔ;FSulw-"g=j~c4_La졾*a+9waYn24_fіz'[iD^ ;sN G6~#Re#yv1Z*M ͚/,Ʒ4``݆v&9F +O0̂> ´#@:4vDdj@(eVOq=G obwA3f+Zu+YTQV ;XkfaTɻQ$6'K2^N왺)>2bʲzcV*G^/m'8$4MgZpd%ڠDxă.3Hoɩi*|Sbc*/QRޟ5+&#_,.Smf e<*-L!wZzLˉQ2fĂ6D9p"78kʖǒ(w3S(mu7ZzemԫN{{,( 2p&>R_ϓ@+t<0v  P??tYNͿWkקV6(g &yI[MtG1QmSl~EK:|Y~ bGj=cBjܭQUB[1Є =T^E% v %D#ۇ<$HT{qz:wi0WYOGyx U &Jڗp+NlT^Du]r[[#W!N1aM;gp4>n|JtNsG!՘0LWM_DI%0^2  |QVIidB50>r~&.2o SwS:\~s7,Oco +5 /Y׷- Յi_N gdl|Beг-WN&I!ސDoa#L5=Q*[BмKQhbGgՎ^+|!.$:qPD[X7W$5^S@m32@(ה/1$'J0) 2&eK]jH8򽺣@JHGa:fKyf?lM_1""QXcn[HizR=ERQŷqVM}(% 4Om8 _XS.`5iVcOil=M?0b7VUl 38Ւy!o@}02\_j"vT,LGG͎h\Ro.A rʳ} B,$MqUz2\:0ܟD i R9( jݧxe 䑔 >Ϗ> /2y 4R&imܹUv΅$RQ6ѱ~ )C-<^ $i)pDxU5/I%1JY0rU8 b7NH|>D4TLvy+*ݷMgFmC~غp( i{)_fkU~b xW$rpe _ԓ?Uqy>mI4rh iW恇ȱ} )v̻-][2ثh7RPùzW8bļ8ǿV|t._{#I}t }3X~ٺXM:m0H؉qKy*gpR@hG*l;&7&5o{D0f"jP!p=(lC?ؾK A'̑`!u+O2l빷I/ENϪW3 *]K.͏_fPfKN0u=y"D,rp⋶y#&_BD{<Z5]Tq:D[/ک"ӵ8zN7o/>&t} N;5UK%CѶfǗlLUY6QjsEocJl,W4q=;p$`S, *u\^N^><5Z2ufp=舭NPac pQ<?9|nkL3ztbh)AvB\f_ ]tUB S.8z2|K~Ā3E }aV $mzye`v H.C^u+iOhe7ؕyҚ2wJCIھ(G}IO:,7ԅ%}C%w#4h=bi2dj/8;ASU9tȚTwlJY2%!#b>d">1fb!%Rzr5i*z`*S]#&kYM%e(5o1ԯ`x-LR$ E #(/dJrshE60$ġڻj0UqIV>a埌c+(ucONRV3Vv9k2Y\ z[er3<_q/o`}&8ԖQ6w uֆoԡݠ;<1ՕFZ\Zrv(\AFP& u-rvsFmbgD {q]pNǡ50{' kCW`o@\1_ʤ̂/SY-ҟmvװ+f=ڛ +f7uW#^XnUC%KGYr]l5%N_2O_c @[)! Vk?LCk*n7]:rbv:q*Q$R@F]87N`3;v.F?}- B+-k$xSmt9c%,E+(ralChvBPjr_<³lCq4P;2Hc-oVI=>Hg1D56vrԮDBE+^01IH?aTSjNC(u*1~gCr\ #HqfK.REhosFx_:hT O(^"4+Ox}eȓwddNejzR3LٌVZ{Rһ4k1#]5Al:%gdΙ4Di dU ,{ux"iUѝ,]F38!َ??- {cDɕIJ CTu~2b'VwgH]y@>*۰E$=B+QW,2 tV9_Q?{:$t$dn:([lV)zꖡտ0ÿ=,2}^rPqW׳Yv25&'ա/:C69LkCHzyaop^ Ǒ"4HMBw'K} jW]/q\ w{HBGrN18ߎϋ2sft<Q |KWh6&9G Ulpb=0!aKr)]ޢ#Vwhp3%  |\ȠO3cS:9⛴}5*R#iL!R%r7钔D*"׆灦8G*saR({JZ"&&4򗋍앭|Q8;5!M#\H:w˞\0$BȓFql0/uexc@@=,f} %VZ#vk-`#X-a?f{>p~JEJd2`ArYvk<?}.Gυ) i "x%Mm's[Ks=9|uތ#)b僐Abb<} p,;V ; k}&w֟CE0 {P~W/a+W y:V4VN[em6+m'rw̽F }ENc_~w^Z 5{'$PCpq%Ԓ&OM>)j<!AK[~H*,_Fvy.56Gg E8:[Y_"$K1(SꭎR%ΧظBwii5)ZKOp]iݢnhѻlOA1lgasjЍS]h i‡+Ka*T3!*9}Zqdz,:Z %"$šCK (,,HyQVg a:7LaV8PtnKTy* T=0 I zeoN93w +}L ±h,6 YÁq]rxqQL4POwM>U L (EhtqJ 74/;=6:܌ &9b}N)F=! ĤC xh,zH}RU0w\=0I=I."5{+܈Q=+r20Q@eyFBs ~mDёyW\Ub^ɇ Ji>0?O4/bɟ`xUh\8V˓g_,I9Eˡ=!-qTis! CH5y#HХE>.jّs & Էq8૏ (A'shE_}G_#LL]J <~ߣd ,]ҕOKوHUݥ'tē YJ&%_U%("hkM+\#7%*h4= [&Xh+O Rz4yyN  D;H)"ᅱV3bxz>yELD^N j[[2Id 7쵯E#50[ U@PoZHgYZ4Y-M'֛uUbGEt\љ_^ cxο ) ԅUq |3:Sba'FE+PAUT+V%?L& 0 *k`'E20O u fv( <2H;X_&,8EѶW;*]M|fɦbh~儧O(г8Ρrϐr>}zQ\xbfГiJ- J#$}>z4t~ޯΘkў; b<7(\Acu-7lnpq$EnXrWn}T?(Ӄr'۟uNye- X 9%z8*5kGSZrי^%s- Mw4_ ,~cdڝ J2BD/hއˤN*[kMsf}e磘;dBpv?s&)xb 1v7Ɓ-Iiood"<]iTl/А=G Q,Ϟzoܶ.IM}kidCiTڋy^=:WO@/D-hog+ICzBhdfn^Zv0IPm׀LXTg\_\r4J_Pp3L]uw|>On#J\ґxv*umMkxkl Qs܄a,'5ĊqMN7^~A5/"zXs^Ϲ)V0}pږNELO Wl+RzȪAxQ)W"Y7:fQ{CTm^Oiw$%ʃYG/!0bL  d?lcuMi{;[-/9Ƙ^br*(Nv]h2W#p88ಔ8v#hǍ|dm>ʗʏ"u;`75xp>1b4l#rIhhQ`jB|3[?V$P *v3u 2 jl ^"g(vEe=n5Qv{OG9Hg+W.p(.:5Y"] ϣ!Mg! JqݾXCTtl[P*QF]$ t|~&;3?л)s d{9qF27 82N]wyp/%PZjy0 Ǧ`5E-Y[ff"e}_2Wm W,>.,PtUW1+jt痊DgˌncP4/0-jL~CB[ 28ԍ&t}ti 5Xt髤ƻLvD Tn?,d9ru!U^GN"%-0ԱK}LGudpfdrcmUrDG@ChOJu@Xyj%5A)>T*xYL-6n*1l2/I`F%yp~LL ]j_gq%IU " swRlugRakUE}֟עmըi2K)1R/߃ !( ӂbldvdq2B|M#c(/7FPkjy{݆[[^˘_B+_e"펚F#_.6|Ƶ."ŦA^Xքh39e'oI P)*{=Ei֑njbLW>˜3!UEM8.5ʯ#Aezvòݚ^EkIs J-ESCe!!uw<3pIR/iV hx#nEeh$fJm ǔמG~~-.W_E' 6Va`9/—-/U`<_ x;8)MUɰ@Lg(1^d病Y9McppDJX G&Ql=K X6('p0K U Nu+_ϥFV1g-/*B?ynx"/dש@z 9%_ޜ;Ƹ@fdqٞ)@+H5VKGEG&3ҕ3"& 8BGM @k<;r{gړw'3*(ViB`__.1r ׍♖tF- Y8%ן4(A%;!EӨL6AL=1*G ~ 38~/B1p[rcPP'*O#-7^.θ}F_܁Q:?r` #aΒWf\2Eޙi,u^|8`=&&V?ӀRՍAV|A볮1}[6O6"?ff.}Dm0½U8 k|BxQte>{-0Uel9i~`J݊ХiT/S?KLRh bnkM?Ey`" \рAmr(2_C C0FFӯ;t lz.CFI0p$ѽLU'dtؿ&tK !" +1Hzf:2["]lwTe X `GQ|ʮByϭ*UoW¤ﲑзG֔@ܶxOxN@LR|v]X@H oD>)QسA..oiCWÎ0]%W$S@=:`?%aJonE!= pbZ!e{[@Ϛ9&)Ίb `Kp^l pNimcfbfN0/9{m? V$?`6\R90@AyI:>jy\ sgϪleͧ ߸;mJsఙ8)-YhX-C8lBrǨRkdqNdsIv?wʙl& ]M wX*p9 7N}:יw4GN'^P:%& p,Pk;9r:Q)m9ާ}7$Ё\@& s[PË!}ׅC1/pE\MdV)sоEmݭ1>K هH#_j;) h}aAAm@_VDc aQtPfdOU4lCSҷ h qB"q- $T%b&yH$lbÁUEfT c}c^fbow:.O=s }!_4c y^fbWl$Dm#o##`M(4(/R+G3$'Pm\4g6zo.30٩# "w@LPӾN}GIõ9A NAp׆t7IQ2&[uvoFIfuϲLvrh 68dLӽ>۩" _u4#½#/#p">,5삜QhOQ \K^,U@przMwAtFϻ^ :.Vo۾%Z*!\Z0vfFb`gZvWgy經?><><1aBK3`s$]8ʣnsz{L,?BBJ 6pVuԬ?GtRsV$A-;N ik 5 Q+ Hx5_=#/ނ"rFX*NU*d?4$1Ck~prIW.rω؂s&HBBPt{~%™0d S㜰g(D)rPAtHwi pZ-59c:fDuh t3f&bV7Z|; yB<ݓmeQ= 7%Ȳg@kuJc:d\^nxà{Q]"xN<rԼUPJLFOvsr-麏s$B'X bHpftk:|g|DКZArOzdWXcT"zѿA^M(QG4! b88v78;uݣ%ZX.XrxsIgh\WDv"We%Ԟb/( `Wѡ?Va*fiyVckɅZfQF#~0ɅBkbtAoU?jZ'cܵ^wo.>~->G_=ĩ@̔V2}:Ӊw(Ét2(.t[z!&^W,j+5A/QT)N@dC~a%oSl[j{@0\z1GO.JvhPs|˚%R9"}!=ɲJ#G8 m]le$Pt]z'icÄ+&;,}UXE֬Y0uQC"Usӣ0;/M Ɗ,}{#i8cln{A[`;`Lƌ;;[d_s@G]˝iYRD>Ԫr`-'Hݣu2$'o~ 0ocVWE Woqɖ.Q'su#5zʥf$qVr%(@b:`bIM$[\6Y[hie`Ch<6h%P^,ev yq.WC>槨-%>uLJ>L]fTKl`"Ap] Qkۯ;(@F0HaWvSrM@=iV(ti`5gqbxZz!S<YzL3&o8.2. `4H-2ؠ#{Mkq{$E(ĜKXC7aо:k2/X6RӻE".$PRmGJp lJ##wlЎNDҤZ LLpV[^ WΟQQMHU~X󱙓<lt.Ð+Wh y,Rџ$6q }`cn"o#~"MtcSjG ?/HA+^' d$5t)ȧ68j=?xDO`r,|3 oC5),5,H?K"ZpԠ=gM{Ff oIV*\.l0ܥԠ`B3 َ$Yo^2blƼ87_DM]{\3o((8B:^*̰'~3w SpJʼnHȰ¹'UsM!>Q+nԾRxnJ$5\%U+AMy16ƿQK?> k= z}q2rLJ oQ㶊Pm|52Ljt+ {QݟyBʍJy9*Riv;4by wdy坝"x܎xϭ:os޷ç>_Xrl[3z' َ0 ALliU`fq4 ea~isw5_w:6=D6:i_㨟Fu\\$V3 k9 CoW<&Ƅu:l {8͐G>|xIt9HN[OԠF`aD^[_sUg:bK38EcRM4)$rX;ޗß*r<'Tlt#}۽kVP֊vҾT|DEg*5 -Aa 'AݎaYAZ?REۡX}F~2Ef10Y* _VsDʋU> :33 k&f]9{p`N!(]6wC^Db?qg]{ 1D<, YWZ{^|Oi$I9r?j6 2gmo8'X=&53yict(/3O*N0U/ǶCq*YP~FW&Y5\mP1j‚63 0%ͷG_1g{"G=¼a8/2WO1p0a~:G%M>}2G J隐 ,m^E){`/v֬W."t,IMD~v aqhՊQ>R3xȡe,WHY!?KGLaH|:ktg>u Ȍ/~nyH9 'W4.@ubTvQVá k-DSeqSyCkxݻyůoY5M"Vh Zl q@U'ǹࣄ5ne##P$:'d@Т0|:\2I+NuA1ae .t]Aah3HxLٔhc`܃3"='cJ{̜iߒ\Rm [!:ivnRBت } +e dؐ@L_k-mhEe4dL[@ѡH0lq2 ч`O<D%M_ +fc 4Æ]B0rit bUfכvQbtK؇6Y]DBBb\g?/[!3|33ݾ&ޑ cn5UW4cwU/^D1;BWޚCu)X-<?w(9Oڭ}C9!'7ڲI^IV22ǦBjʕ)iW j"fP 1nաW)=ނb=}7\3,l ~xOu:zL[pN;":ỉEu 9Dو}6P>MQBHɍ#oP&ȑNg9)\7*3ղoZDzN R"͆{$\eWzo}8L#d 'q*M_,J=XS-n̖KF]H;z'UyRL6Nt2};CNE~dE\T~*bCEunfѣ# 7ȋjK$^<\\7M|Pt]@ R[Ϲ9S/hFީJ?w+6AS嵍L'$8TNg$]tk`ٲ OG6O bx\{ܸך 'P:O}:ȯgދ\Ů0i`0e.y)qN5\G 3}}g{!)1iG^eJ˖`Pf'IUG_6Dʵ6uy 4u'WS/.&!0yju;̶fC OdPOMX b#5iL6bZ,#X>tiQQNbg]1W)Y)&K j*ʍHc{(Qrݯ>BT}'݇}7\IX{Qm7~1ӊ}a4}=u۔4sYxK~.e'ol{VtYŦԺ/{Izv6)-u2/.ۇ/M7,#=PŎ>[nK˧?Ѕ~U(,9~>#9?Qc9#)g w̞ > fz&$XDWa6v:y yyt\jME>+ [mĺ`>X6TOLd`V*m M7'0V-ATa$hӀrѝ!]WmM' xK0vv`I Wc1XBhoΆHbŀëI%+{ؿ w( m+~79l9,^:Vzh 8PJAjv"l0AT&uC~ց3|nOd<.K!Ʀ̄ጚ O ݢ#W +xT'8{&"ELHE-[R[/, 2BaUYl12fFFP;47%)cM=IN˼Dh\MC .ʤue:{5ph cрO>xze/Ov#8#U%xR FO{1x-y@O ]a!D {\\™Mo>G䀩t, 6`3<+q`jڽ-y 0O!8%(4}d$orOck\/5%32v.97 aK=]a)]ȳ/)=D/]ɾߚ-]m~>iWIdFVPܢ)DGC<ݑaR]@3Kfhe?]e%_G JWTF3KDY‘KD9Upϧ8u>f ٬|V6mJ%9e᛺EaXfxqlLaA'TY>x폙!7YP["YQhBK&fb}h{v8IDt3q+=.Qc-C$?R{4Nզy<8e-JgySβN-AyUPt֔r\D풮=f;\7/ps+GR2(-l$OX[4x7d:|8 {ԊpV,Iɉ(E-__ mZ}b1 :ԛ.j^H˗M*{krZ٢ +VWGP *ſYĠ2hk A]:bٰsH?rX}LѩN?ؓ\}>%~o6Fa mF?].;$DxwJNlVI=oGM$앖O`9v]'{B/0hiꏋ}Q?#zpQ!ƀ\ |QNƝX>^U"ppM:/y=2"!{JY7$2agwL%Ðc,]7;ט-Īd 0a$ldXzKmf4 m焲sث9)(MImf\!:7wVs7}F#%H@OE\ ~DF"kI|a#04 ;jCOUeZ_9 yrԿA/-@V>IdmCo;Oڊ=XLL{ A/wWLxh^7NdT}:E)uP;`E5-;'IL=+1!w_ՙ/hBZ8u4HXrжΪc-\z=V RO}IV'iG> h)s8; :emd xVgҰ7e i]WZK Ӱ\v*j7b=D#ڱli^Pǹ=x/;1x`63?Y#պAy" j1 Gajp]v7l ;ܾb~ko 䀄X%dByd˦- J8`SGdiʵ9cv鄍d1?p^Ԏ'Yqa8:R`j^ g|imrHڸaIN@h #bR y$5}ER(ۂX>GBoGQLHppue]2U X eI rq̺(s){/<}mzz5@Stx|X@5wI҄a7p5M74\3 +Ba~J@5Z~jkG1[VT6׊VҌKuUϠ"㦅UGDŒӛP0G%B6}lS':~~<6<'PIpD_s~}e:P(;+,,yI,˪PkYFthy"Xْ=~ >|pVeV$*',ǖZkZ ,/Yhgt-(fu@ ʫ;L<7H:HٓmP[r8|9t)ڱǮu~ yDž~o]9ZVgr&is_"* TV6O;:i 'a fpM<8~0qs3ԓ|Fxv\^pXȹ U3yD>L|vEJ|i+ &zT+Qcp򀪬w(Z7=(zN_BAPjԓs )׸qf_K2C &CM>$Bh[h-q֑6L(f!!LZC4Uۮ&yn?4;뜙@Ͳh%Q @}׻1Bf.of#Է|E-f kgpmBAcӢaJȳsLwb׉Ofɉ73>5c!* $?a5~S+̀*(nYc3{&x@j (3Kn<=)#%ca,㢥65}e6'^85CGgU Gq|͡a}=ȯ·`8 b#sF-,Aƞ"Ţi3W+`-78g I։]0iL!Mv+1'C]oۑiw@-8 BvEXԦ%"5b~Z_-GCO{ʶd(fy.-t=PY_ 8$R&0ZӭO0.J:TרC#|XxS<5:_(q_Iwشk=hf7J~L9E'HLo8&) t!IA}Q+ ⦑Y#~ naiU+.{tױ2qԂ/8KwtD>Cd* GQ\fTr3_C\5+ w2㹨fp̜mCrz#պʉU‘3$z}W%4$1-ցMhyDwD mX P=-V*3Mgu }1HUﱏ!#(gspԵHӹHn^@{MY=y?%G\[qBto3Ӟ*G`!?W$=$wF9ˤzVپ5ɣw'J7.;D u̮<JЍlt cyJm|d{[>y|'^aj@cП3a5$@k9A^w =B- ~Ġ\: 9U1L[|- KM0(fՉ*.v؀ȷ>cyn|N.\ۙ:8~ni+>t&S*x.VΖ&RNgonտ1(bQ2^դ0JO ){  ;W#p uz{z/ u(gK !ov@F1\}SlaҡBg 36C̈*5OCk137oFPQk3R' l ZḲys8x3ɔ&e%#ge"KJ~a^H]Tk *g0(YJR~,INJzi+v*X&z <*|̱1?;cW^(QCARhb4F8"I$N5M]-^ǾHJmt،.d@Qru8r+ /ŌSsGCc# .b}dc۫ ES/%GjE.EA޾TbMQ1d&m6MxU_g0΀/  'EhoI &P! 0bhD=\b?(XM>ujO+5:&%A^w4eeG!E|]'6' n?fYwQp\wE>u3%hÓGw#1$U'TmD|1pb3/dDŽ`8HnsH;緛ł8BRjJ$:y>&߅i]t5#:*Eo>e]Z,>KNp!nW>ۤQjECNhFi!J}8&~Hze=kX&^V~//fw%-B_݁GG\#$\ w3=LC.$P&g F@b#;VX;EZ E%zNt׈'_Rv 娺wd=ixv9b,NkhOx0nR~9Nj @$F!BmV?J6U./Ov@UmEQ3A@?^=|>+Ѕ0fX PgRn I!xXN3ù?_įk!!ku6VBJD H8 U${׮%& |9߳%Vg =19ٮєD||%g&:~݅MVGzj U*64}ax9_Z702B;ѝx4`Wau%pN?E %-{pum!`'O}M;a'013zP8 s6Efk9j^"v1mӬk ͉hOV~3fvOzx&>\*zw^2xzI(۹e=VRwcNMBiƒ~~R`iirǾk*^`-O6 $RUyܑuRAWR~܌*H{UM^>%(/1V L7Z}/:mc]zr%m¤ 9 1b4,oJ\FDmTygECmVJ\ӻƿzZ/6Տ&U/wN"plfP׀`]ԨYXBhP+9v=3g2S0~$EO5'ƕs8<3V^_'V,OxoUīqpHl0ٳ=Y4\$D K2s~( т|T ^*ʨǗ)yXy'V%R?M¾f\>*'rE*rE(W26OB0'7b¸mtx쫬⽲dE@`QMa8hqxG*vb<5批W\0e|"S9d'Ui+d|XeԐ}p_N11o-יc\&ؐpë$BߵeƭyЦ0ʵͣ !B ] o/򼫺m$;&XVNvtsj, zFd0R{@3 JUpZww EuryZ\>Жryh ӎy7(}2*H{|?d+W _ 0D|=ܛc¿s4hKCM)Iv $qqn;%ƭ#KlioZNrv;DjPx5ĔPL0J])9qch~lWzo YsiqbOtkǚ%ZyC[YmHd` ]\Ez%̆7cBʕ:{)藌VTrYh% ]4҃<G׿Ľ?&҇]Yf_Ĺcq^ڔx푘ko4KqTء@GEZkboGH,1P*y  5 {s/TY!S5){KBZ0ѩuK$f W+yTKmk8V=i<^G F?=eG ]GS HEucz|a6$&W쏋!"; bݞ}#If#=wql!i9ZX;- FK۴΀o NA"l8xgDvM0ɔ^3HIM5 1k|S($G졺]8kڊgy7Ile=A =:͢!*Cبgyrb[顺G U WSNA? gVqhawTMnK4/H[*cT<EmsE8kMz h()|J_l.h;u"-fTAG y_j>um54жT@m8:yFU69Ζ!3E ӥȹ`Ei>zY.SXqZ[ )?V&K%f|Z i+דOmPjsaѢJmuJڱDMTZ"a2:wGv/j!˼H"^5l BM%~W(}QH7&U~l&*ii‘ g;y pPz"ĺQ9x-p:?gV^@֞|TmR~)$QPS݈#!a&W7\sC.GPH8 .pY߅,1G$T)2ăU涞S6&V|6=/mp 7E:9w%{n-UlTsQIڟ9CK]Oa Ş&IO!eݵ>G#j4PJ>dBǯIƼkF , MGRD迲y[Pg雏r-p}5tbmX6}6Q [pޞEUJ ;Ð=[!uB>ܥ^B 5^%NdV  3rH Tʬ ?0n*t-0[ɷ7i~OiHB.$ʁwٲA yɢD^S K'*+o֭']M -U-/|zPVq3stũ)~n=-3b!*[R,BD _;#ctY͓Jd+RȪ}5輞 Q8OMOOb<3h~z]jҹw'qԴxHtU&Jpry#'(Qp S;AkY.{ߊ67^02sfjnVɝ1NSގV6Od~ FER#Et_+j6TC$yMq[Oz~R~-r;C^ދ ڎvp *c`訢yr g&6^dcM^W]*a_ Kd)IٯZ8zzSKk_؀*A9*tmj t4mZ _|/Kg7f8CO|tiWՊDMoFߠY2- ź% s{A#Jq(Y:ۮ2?Z/O\&+}D>i\5Z 7|Xk:%(7З"}Z-GtA.s~ "uap'j%R$ ].=^*COȑUo&Q/H([@TR&)+o[lu(%|$g q1.=N3o]->gPՎvX9m(a"ø[p~m֊lGГ˔{[l 5La!R7~]q}F{T .Bv:o'I mTll| ]T>8)Ey(Sd ncq='mu;X $.PNq'6y@Nͥ0y ){r^KXj6T4wx%ª Xiv#*G8!u UfOA9I ÕF>@~T4c),r:)54{1qD-dukT!2! X2gR?&PstCceR^GC]9Jg>T8=et[n$d!5%#p3Ka߱DL~}>vB OoB9cõq"3>7M?2Q=`bHL;պ]a )mGT8m/=HXmDxHǝqije$kܴI UQłpd|@% -(| `qLKFGFsw[4$n1q3;_܎'.09fAe+.zbZ=T h$eBO'G;BP5]>ޅaU榿[iJErNRp4{D02N5.\]ؠ@;î*x`!ne[V 65 ʺrˠ~15+R^6Ufj,t hGrQu4m/mX6@/¯P@8ZRbHTYpok ;YA6+D>L:_N=r=zZpsWގf6:C\|m9'y,xδpjBW!Yrht S;m$75,{=M)KhvD?`Y>= S3{%nR;].$U:T#rs*ʬHmBNt]@}eTne`nxPMeq)V8<-Bg~ǰй8ljr][4~Wd.r'J s(:ZCmivA8zo4싏N7% uvdb ^.Fy(kN]lˁvĺcϓXF@lW^CziJ]xRTZ6 qOT P rC])RJv|] u2l2)A>T|Si#k7_-by Fwy'.@1ˇSИ?:mwkS&;R> rW]YV) nl%;tq(j^zQR/հof5l@4zmxB>%Tn<]k ˊAjjCfw6lɮ*t`j6.ud;sfhdF_}<3" boJBQ7,|3Wckk2j+WwKA&2rǥ4,P)L ۸a{ [];{.[k\!}4\Isi4KQ{PMHyQ<~o&;Dkiʽ: fo|LHtIpDLKЌ6q%wAsqLdN2.Io}?k3 Wk?U!C8Iܹ۵$ȷΒ{A^o6ق7+,RG90N3۵&G&.`TP:lXN ZT}- Er\͉;y1g h=䍘j*eCdIiö9[$%u:c_7e!`u-U@nFO/ Ɯ| vxW@f0`s;]^vp^N'+γ$`C(Ȫmwೄ%'>kCp$nĹS+\M4̡@|zN!!E_qkGY)p/x#cZsY'k6NnWmrF@-%[.s_lLQTa]KU2sW&,XP=D{Y8+RvFKA,KD^8\$Dn(:dq2 ^cr=,ZnXk#][-@ /3nfFy(q(Y -n'$_ߖ6(El E] R|c,^ 8Yu 7+njiN?FM'}_BW1|My<wx%41zLn1h"+XMGJl0քa 2GNE=ƍnR:*|eT 1 )7%Oc!Vq8A0kk5޹d$K*\ykz$fuZ1+c| &2Ƣ8^fcϡ]3#sFT ǀuL1ٌ`GCrc(sв21--&w4|vs1dcE|eMc^]wdc2 @<̄ݟ3M3xNBi*:~6T#]77Kg70h Q:s^CvyZqςPRV`!=W)RW 6P5.@Iȧ D ]&kA[}z߀LS Ē)GŘsG ˪}Ot ڈ:Cŝ,3f6˶63Yj0lfJ,N̪N]3i9q6SJk.m}:S[!~J{޼ݠ\'- |a̱J-J}:C`]f+5r1c!?W L Bgy&U_жQ/X2< fӥ!ﻁh4"3Fwסs(MCN DE.a`mڲ[@<kƠTq}))h(vKc4q.$9#\%)| X6 IH} Z-͎B N( G̢Za>Kn!= yBw% S#qr-(B\:"aYQ5/y'+h"jR9&!a-Y}}nksR!T#޼m09lj#+_.n <_-DyȃAn0[ A)m~'wi &X͋O%m*%$E;v26Q^ Pj۫tec.^XЯ; x,]pDw"]3>ńb6Ҿqa[@Q Mΰ9"ńY=0L?eиaUU-[oNs8apo߃W;Rf**`aCf LI0bn.b!j},c`{%ORE=KY՗4U:@GYkN3/Q7[!`ݫ'=oF\"lJ$@'Z5k_8?iE%XڈMx^ F)E[3.$5"ψG3_ToVΤHKnF~tbRĕ`jҽ$da6TׯѿO=rˮ'r;l!Ir jyWQw$/ >Se%5I !L,~dg?8Eg%JR{öhdž8 >?by>fkFϚ)ks(a,tzJ@lpVsx-"|bIC\Ie@j!ZcCj+HC{zm^BZj5y8 BQЯc83rE.\s2vh;.^ {Jb%l9:#ޯVhb֓E\zYV.,oՀe)-8ZaqWEee$fif-撚C6]*BbI>9 Pa-u#}1N /$u/kB:€}[Gb{s]O _:-M_v$sktY:ܥM &ܣVHMEotT9c- pb%m/' pcrY< CQ팋]J0v% ud?:˙\X@Au-Jo݇dY MUճߡ(٦EL21<@%ouW{7rS<2?b-KS{bQo#3E݊cE;Y[Q\YHJLWE#j`J ߼ãةd>Uk*JDi+ҩ >e  ]TiNh%OdhoF簓!(%D򊓗5ilI;;yh+|c@K)+?FD; z d4K {Gt7 QG$ff⹥nO jO$T㈒Rޛ(?-؛ʽr茭n (h~ɀb1CxfqFQc5YgYm .[9dS /^{:+&ۀrw4+yYhn긏]֑n Vhn a Y0!h|X)ti'ʽ#@7I~GѳZIn[4es`o gзzOiaH(ItmIrS>2b Zp!ZRK0 ~nk|;e\f S e^,, 㿅qt}^11z ~I֋$7[ϱctʍhtV |Gm[yox:g|&}=?I5F a 5 ˒ +Nqrj^Gs9Ne\))O}nx2-ЄWR:F/`㗅5=a+~⭾F 6rzŐ 1d>̑Uu`{N!aQU4?}_!(a9?l#SČ^݇^O]3pmtISHK<9v]_"B`)$F9>Pu cF]q!{O>ceg:ms@WB};2Yi;eǃScCU-xۢ#yoٚzɥXy/ )\ń P\#:_\jyQ=rLs]uP&3v&a8vOBY'lx2UMHIY'w >B,-%ڔ>,8&'#h [@`{@3S6hsw&S^pₘڄ@sWy)3_㫻O<4c}(SMx(s]i$^&nNEUCDgIKWa;kHG7xJs`.eB{Y_ *mo{a(eݔsNRθ  3%HF]Ax`N;@o0>K{qUv ^$y#zRE]Er ޑ+/;ITo"ٙU98;eWH|A8@tILgqGdc-tSD<TƺT%6!i"6K"LV^Ts}Fa9;R"C}_YsF7,gI2--0 ʏ.m-.OжgQ5ܙsySj\_kkJ,"^vN: wggX+yFl7_Be "%K2o&Qj;aCh^n5Ss|8~,ޞD%ø7Rl,L]lϚkI[!9%k2ҩNK>ղ8!3Skc| قL~GhOCr3:{?&6.KYT{ $rxh΄x>T gNmuy vXus\C>%a)u(rC9'6d Om&dHUI!69)l[ƨ^sy[)r_?} &F?}p/ ޓ/7ZG[~"jmSqGx>ʇivp>t~oזYv X==מ۩)B WmrT;.FT4,:mV^4L!:zAp9@&* 3J[ ެfsfsmr\k8︈ **:|_Y' sC&M4?/v 1nu٨ ӓ _3aT, E_"IΚ~igfG 7Zwov‚@W" ;M}FpΊW(S5, @7!*u!ч!M/P-AÆf2!gRf<4fiP)Dem?>Jbysrȶ K?%pv\>1~Ȕ٥`Fq֧v^p).i7As8l,hR6κ";"CgjӖ;FAYCs>" !V_. <mCdkrŕJ?\jo>cZ,̢s։Z;Xksv/~{忖!PA^9I8o^wDF0,%# lyTo0$ ;r >Eqߺ"u@mB!g P+$w:"fEZ銡jCle$-)&) dSV'om2(aؑxLYϨT ӓ큿=#c(\+e#JS&L]to|d<4shED*/䶢zb kV,ٟP/RmL bHX*`urYgw:\.#i ԍtR;ri] Spe=q#!rMT+>/];6t^[?kbc ;%YH쌬*C*kkݰJ#dD_mexXQw+-9% wJ}ΣR/[ z^.~(>%p'Vg-SrNv7IcˋoM%4_[-r%luj3R<˼ AUŸeuPx$Tp0*2CFֹv-cf3a8㪀Ga6v!T9jڸxD*uɾ$,.x?Z $KV4p+T}C{(}jl/汌u ei,2LjM9AðEJ|$BE- "QXDRp:=7a2k!*r"wEVpno5ˠ1p42\r6v~\V͡j|7E2zxBC*12-nyC6˂65DH't<|!yߖ+^*lRZ^U/}ඟCROdj"*]ݶ{S(wh0:>G9*?}b~]I@Џ[f<՛(f, FGj-HFrYeqҿ*Jn)W[txnjJrsU|Z AIƾZtNdXԨ-  W (P䌏Y FÜT6fӮ잻ChpeJSL+rpa,|Xu`GHK:tG(~}$]6(Zޯ4Z i9K`&p#вf3KcQ 6xRл ͺ@Z,B{jnkJ}IMKI 41;Ӌy0@^KbÇEڼhO ߗ*#c#I,[-vEOh0,lb0;/t9HpS4m,đPʦFJ~~ A:"=@Hh3ƐYz?cڲSXHB;l9_b?>8[{PЌLfmAO(4,A$iX]  ,g)<0U[daie:̀Zoq˅\SSoSD1W 5?z({,G-T)&y*o߶{a\.:pΦ#"Gzܵc)?;JFXp 'GdCT욖1; `Y vG]mR=gKK3:waqېF,qp_O.> Pn䚛oBkE+!u`}|4@5d(rċt0z4~s:Fv"Ut[X5}5jj@æ&C~ERCe[{ pKo,[J>vsN |W|JO8έ4$\Y ]&;2( VjG[(vS _zyT%e1| DU z$gA.}6uz5w֑E{wD:+ ?ja夐}ڞDR`BA3 d\JFp۩U^fc#|,2LXݒ<B \F4^vǾvsDǸRγg>43ȴ0C8ܔP3|*Gv,?ڱP6Z8c`o!uJJi XC}l JX3 I|T-RPvw"[:)ݖGUp "-cUZjt&_aae~pAQkZ'$ș}Զ}fW^WMĖiC:(@oY p9IYQzO_ xE7-@P+|oJcnaS3irsk)l>Ul>M+/֖lV TH,]O4 sOcC>xq> =sGSG2gЀeA(,S릻k2S \G٬y&rs.E{~bIw9 _ )R)m*>Ɇ`V!a*Ѿ 8 \[>H_?yv;K93Cn@WĘS`No[|g' FNyk7A1)moԉbpnS|t8#z010"㷮'" t jnfep}7O<نg3Z܆Wr PW BAXՈx7erlZE)u>E4i Ƈ;Lu<`oO^0=ի , ,66n2-4ݼ6$+ c:Mϩh3[Ky? w״-CёFI/u#~蠖Z!dݸF\#Mj3]8M=:xۨ*щ?ƈKϚFT "MX\ +]Z<Ǔ޸ JxpXIE@UYi5V)NE*~A>{u #4:r~~F c0?.:HeNp6ox*h\KxGyݔ f|ܘYWyeܵq:$KzVXF֬ PGwEnZ벞͞X 3|D: E OSRU4 WMb ϹY !'fA|,m^TW䒲"5 +GnaqSs#₈KP%;G|| <0$桋}.gқy yQ/G1{G0봞[O!%_ɮ>nɝt]m^J Pz5w:ݞ^ҦT_#oxYk`D ͛}epE?'nE{#r)iR+ MRCKfc$x{_KPl+ VѪrº ޴%&/y1.y.3J^n}5){ ʫiaߒ _7/N%\!G^a_рULiJ2>X֫C߲2a|p ņ~cLLkPd!E1њK8Z#eIL:ǒI'? Ȓuw)5 tȷ$IlS*7b|%# HJ5$C osJ-⎢|=^S഻P~Op:xtXp4E.UJ_2%UwS1 LT>y?[2|U>Bѿ)ģdrB _OӁĿ֙edrp0̱39;;l1f :"s+(*NRd8EQfJ{~D)c+直ogIDj KS g*ժ@ln`37/wQq׻ZApw̐%J:h |AQ/^x]MщLUyԲ!㯨'dGB4_&;R̢&x32we06ND>Nv &[>2lIy =v+P^xC95^fO],i*(JYK b;30䊯 WDV4s7ݞlZH?6l_()ы} iÞ@?:a'b.iX Jy| >gd7;Ui7P|.CV>t6۰>/o5%NC[gwƲ >m+-꾥rZMlOj=vDҸzfJp%EOҧ$ ڣ(cُ)L2470%,;PnOJG4۰-`J0dSVl?éb< qx8 j^ЕgEf,]yNTK;VRЅ! i&4tq%:km۫.-r;Ig8.1$PЯ.KRʚvyZ+j-߳7OɌy|m ՞9B0~|X4w;f&w7E/ufaIArF5f>q8<|Q*'fPL&O Y"6'h&-g~ԏ>gXhO.2!wHws%t G'?H6[,7kZxwmj<] XbtPQ{̜1RXW%-gdBMiq]n 39\鞒8 X*4I=M07$"R-tw\B%Ob(m;s[{34 9 n?M!H&C}P?Jo5Q03sEN8$(v+% `]1q3t&_^"@ةlr[v%@c^1ؿL0IO@s RIgc8{3yۈBJWycWyrYlq[AF};n4ezv !Oo;JGp$W&zM`E_.sutO:Μ`Nh9߮~`&7Ȕ |K9By.[Wqn( xr|OfX\L -JR bj֫ןRĴ$ܿ4Fl huE*|:Ha(N苋ə‘c]{C>cAfvdv,Q}RDk哑;FD;79Iٙj o>:fp.E6xJm?lgtJ.N5%>WXM' mBǩfecfrl j*qX Z2"-WZeU]-y/7fk3/kBQ?6Vc6 /E<_bj|\G\WrPO+H}^̐hWAmO(L-kH}XM ]Rub)1 4á xt0~]7ROy#44eqx:-+ljp*537QUJ6U]wU"SK 2jY~|QъHỸ=s:1ώdo.8/z\ϪҦ"|N_ itѲW7{ !yb rB=É[tiUm3,~ћ_TLlwUqF{>h,8g`4SX&? . aGD㐸ׯ sբ-Y qEn$}Ud^;!|$R}NXpH m!i_lgC˧ j rtP+Z<&ϣLnoAx`2xuYpmºsQC/9 k0rɽ\ <ûcmD{УV֊OiAj[~O0dɕYHIj o]X6w!2Cu5M9H/0%$=CmS*r^G}MB)JțqRIyL3m@"i,󧪚5yCdGo @e`95Q!HѦ XJ*MGKu6[QmTNRBp߄\[$vt 8ahdv|rulZ$<!G?tG|GB!dQ!%$dkK%ܷ# \`K|yC`;?'s\$4ƨ-q?;妠ct* ڵhJȖA&;rSn.4Ť2Acp-!x$р3J8S^W\NI2kSK_N{guksnj; f?-$_[xtGWc\6d4&C,2'{"{TãO}>uTE urݜϷVQ72;nTKTSTmw>V aQO! ^kPfPN}}_ۤ33zqI/[O^ + ,1_"C {gG{1.jL0}ɯAU-ylo~nR1QmSGя ^UK7Htp4"$NrRuJZiD j{'y[!~~:͝Ǎa?qo1 `ONQ ):B%`I?vq( +>P2k5qb͂QCbo(cI<>kNץ|L-'!Mqĭ!o ~`9G:@:Rݎ mǴDOkNFB* +b7AUdW [7 >("I7nC#/*DsIsd=T3pG:Hd}lc7a-7Z+Xx05W2M_3 {SET:b0(./ FOi nX0` mmPιy7!z 5ZQ , "_W U!w+@|GTi#z>iF>ۜ=62DNR˙ٚgO:%rg08a@j‡,J*J)bR¹QT!H58)YqllWiӇY=P,.Q!jm*4:+1~eOZEOR>$mnJsPvb}e౶4oxMYL񷎛?"\Pr9Gr7p2VӢ9PPU =N /D̅Ir]M8h,:Pխd9(|Ϩ?RH.~m\:W]u}2B:dt~庠Vk(~o\=@ Kjr3.r\僳wA' ʝND91Dpy\9ھX7l ^aR ؠ'\ 6A"8@'KfĂx{CoD4!XCڶ+aؑ7u.R&"L担'{wIJ}:ߣzBgnM+Q2yz+mm!بLؿ*LUt"06ZHtcw;YPvnދ)>\m Y'j}.'Am9Cu8ύY @R|&vѠb톹m z"o >(҉C21n _ &䢮3IB\`x=\赋ʷ8d*l+2/nhnSE琢ȅsxzԚenj[,;`_pj=0b̑]׷GcP{עʙr@-)<8+BE6gn^a۔j,88&MwUu#bs1=kW+ N 91ؔfɺan0P(]f'g+=? 5 Bf'& 7\MXַw\3yBnj*RLp8H(t3ø'a'YG*(e—$^_}Q &.e'KEJ۸oE"in f^eJȂfdpp ݣ X쀸E> i?)9ahTWC ^\)'{8Ty15!MONyZ"SDhM^֮ -RsGwڶ4a1vV[4  784OZs6Ajz?KȲ6 >֥-HTj]{< ތ}Ȑ mlѬpz{7@Y;SAT4g< N Y[GƲTm_Ο|n_"ˤ񹠶F`3 <+ &O4?,>'s‚NDQ[N?Iʖm!/n}ԉzmt& #on˷DKbe/EjXG]{y8XGe 5:GSBγ`/byx$C k/+c;hE5gyw>37'nuGTWyOKkX0"klk#LEUh0G;%Sx yj*,Azqa-j բj#V֖k{ӹeul'*X<)[ 'xwP+@om8qjRM%'sY YѡiwVY2@p}Y#uk )[Op,9JPQ@~T! *y=?.z#! ^rҧ۹L*9Aԅ'T*j!)ǵ?D eCMe)Ç(ʮvhKHP5Bm-8nW6-H.0V~0ßVn%lZos͆ɐbG}-|o+;v3F-kbN_o!vFДnr0Ah|I~mk.G qCxc|hTQwlq$k juύA89Nh^4KMPVf+/bؒ*?ދ,I)X +KYMʧ/Sο&4!/\Xޅ>9EXY MOPzM(<]\kY=$OhR;)W3@d6ȉFA*jนJXq\& WiRs:I o"V|D #8SEnԳ:V9} @;r99V5MpE<0:k/M#l G/M2MVe? NCCA'ly(׽Q5Wa+Ivz$r}@x ڡږȇISWѢ#%*y.YKܜ ѹ%.p C=Rڡ[س19:Ժ#ňD7q'd޻g JNN~_j aF!p). 1 iAxs=pWf{80i+ˍ|_ϔ ~2\b,d0#&X,&Vi*ߘLSlBEn6ٲ՗|.G⽭|_M.eR{KEcp .|&Q ރsX o)\g "{wBm<.-yfViBp2TSc=U(ҫIDsVRq`+ լ=0XF(u鈼g.*ބQϿIXo7S\=Zl o̴usTX$H?b#+.&p7wpOHE:/}~Zyk yZ1IhEnm]"p0:xKWlHB\?9䩆ш2p|ng}rwz- b[RBIu]NS~~ah|R'c|)8ә/IwA^qV4ud%*~E*ː \wa+ʌ_jy gy?K I+) V`o~ q:ʐ&mV=>o|iEbx:+,=!00i`UgPj<ÀhEDL욘x0+יoHٜwLy"dCW?I&)L}јχG h0%<~@/ 0zďb5"ġLJ2GSIVn[e!]-Ƅ+hL7XpqF>vz~503U{ZV#=ق88z1ez S\ r|&uSZ[C#'f}x,hjށ9JS}+JRU9vt8AEP0/1ꞹ"O*wIfL$!%Ec2ڦ@^kUgbv(V8}_!G/ޛk6!:]BZbh: -e_6GR|0nN#9jvʅH5.[ι2,w?5:wy8 tUm+lڠo*FD_ vA@'q[]u^z5_1YGL[4/q'K|}kwT~ HI #%fd5D넨CE" QGԦ 2+Zᬸ(, $$n;#NgSqȘp$vC2kژ=):q/B*aiBE>5)">_' T]4%NNH*%8y#P.a-G@z0'45GUkg&' xdTɖ?Ṫ)cjȞ]phy&o7,o*jAmUͶC"Oi4X+{jg~"EnR= WM8ۉhӻ,PT' Nh$ѽs5t[ h?'NzpsS"W,~ߌctEaB׹>2!Opc?ٷ"7N4UIye\@w"f+_)RS7sSyܚeQYC}/u-^ /.f-BAiWU}HWXHUZ-kHLW-MP<͂"l-jKScf)V΍ffg[a /x&(xʸWe ̂8|9؇Q:1)yQrRO1#6NSQVY.JۆooP&][ VHFq˦~#s'Q+4q,A j9e\ شu?N"(27#C^$@d㏜tJV!uț7-꩗/VW=0^ $Hs#xv\ShzMϧj2Q"c>SyQF%Zq:I8 _k$#Jw Go+)GISʍ쁑JGQ(!R -|@{ngz;h=u.L8bqȂ[Y)vإ\T~|w''THFAa@(HA𓕮ogV֧rPKIfQn340x4 篸CTR: -'}uS s&8ӏ܂Y~ҳ_̐mudxiqKkTQ4#~׶:nN% + tu蔿/0knS$= ݀ɨ곋_ݍ7DnQTvQ 0SWe0mNe-HddOx4+^-rE&/UHZvo<\=ȳЈ lS\8BQa"UjiUFXds͇J^s&k[t]C-dKl`GxpT oG$j@ f/'z3ka9Q.Ξd6}4wAE+ 6y OfZξ035Й57շ(YaBP$tD9w&?g1pN$!>Y1aCooZa=] 0MXF,,onFVܺ*t;=p.#4ok^[a]ՓۍS3=yȣI+oqJS)ɉ1?Ypr |RHWw(B+6wAxeY`XcC/v $UJ %ߗ3$ils HiO[@Kh͝`veϡ#37@{>֕ĂK{qTC415zЫ/|0~OrXҜ)&C 8M{DݑB҉^;!xoBH,BTtMYyQ?tS ˮB~D!+m?P=]π(@w= m\i ۆvJq`[p11T!ЉJ(ιhOisCawpLG^_\%͘6w C6I~3X r Ց@3atF}-*H̛mar:U-^ZxEyչc!b}\x4H.l;h;ٴӛIa9k "w- Ir9H! s;\[<eG =KnS4Ў8.u$m/#rլY0+H ;2)-u&# .yW:F&QIDL^ٍOb!b ۭd\>k`igrw,WDL wϪl'c?JMGCf^h:ʸcEk/ܿY2.{F̰PS9} dKWt!䰍ҋTOxpZ[S/=\ vӳPXWu_oDum-ehXLp| JwAFoO^tp`+\ vc$)./,W3H / |}\XQ^S - Lfę |M̌٘:(m&kj.u\Xi=s?5~s7 X(mx3ƴb^w8͵j xB$&tz01E2#`"t(DS,GGqPI\@ ڨX CEUUl-ya&C/jLDY*@9#Sk,]( af04X X AH9OzYRs9AJ'KH$})%*i 1无maHc,!N?'_ y\5bbm{<+zYvI5G & V<Hz'dրfc",`=z̮f-t@Fsd;ح2z|=9p o\SoA7CfJݬC,6ZUFp( ˉHb3SsA,:m=D\ɏ,Clh kd \l jq" in)H&vĂЁQQP櫡i|,?o6:$5%̱W8AYm@ifq7YXs2|F.2IKL`` VsB=Lo|I%|f1$'KR/|[[) )Uea7ZSƊ#[~ľ45ֆkLK{;o  ˒vjim>n=Jzii`窝!]YAME80Ŕ叺h,:?Ҍn)Pɿ!<ՆE8J (Q٤ 쏻X%TLWi=I<\ѲKKn'\5X5Rk))flBVuk吰Ȉ ~xF睅DKI`d7ƌ]'A]SnwصM%;֖RΰøgR)2s!N oG6rmYdr!/)@6w?-VP)RP;s|MmDoԇȩxǥq?P 3H|<9BH~7UK4'^0T!J"lMQ/-an7jLcHZUh;?xRLjɡlX)o!.\!tI?[o J7#'6;M\u~ܘ?€cvhm,viD g4Hj_$c.I<VT"tUm˵qHtu/@n w;Ir: OL*;n8$˞,<1)]Ԙ́ػqשNwjثN[[kFT&kECf F}6lyUO*0vú\j(ulqcg6+V tY4u@g0TP Y%^]L|TM^)DȘ>]~1r:98ؒ&϶@Qy՛7_Eg8=b*ԙD#w\1Va>d8ObdE,9`(zqWP;Cl#vlST2PӰx5*nANH 蹅 gLzBՓrw&'J]1'#ZG]j7}7Z"9Vh2JnD甇$~ALG BvR>m%C3G5ϳ͑3ʖx4&Uc^.at7a`xI["ix:4Z%9M}@tһU*b).R5yخS~^8v 3Tn C{ Y[{O]Ã$|($çyZ^%B\"*+[j&KK~3I[gxuo[):K\&뼖Y)8BK=u\9PD_J/ul:>@FΉjsP~C!݊Iy6?\6 vmEF׶DZ'vמq!q5o@Ɠ8WRHfZ,W)vRP،Pa){-J=O'tmvSPFR/+Adyl4J%< Z#̼W?ߩrt4~;1vL.ri T¢5N;%̕b$!s ûto'bՄ+)jA2 vtoopH.ƄnM DߐGrK٫Np(0#6dg;S|~;t ^Րw-1⤫3ղ]GYyd?_鎮jEnyGxCiPAW@F,!m]ӰU.$P p]rWx->&@| (W|M_3ұ!Ъpr[]in0@6 ]L ᳘9gLO!_8 1#<@nRpM&'ZN(GܭbBKOG!"פWwVØxFC ig0 W MW:v#_5.՘I8vx)tgV3x̎1%9d\nFCq {|nU9Zi*l;d7 65?FKq_dCI=YVJd]9n{XM@2zj=uy?Mv00>]H:@t֣z8rsѥ&$ D72r-FJ1u'[%J*d] NZz()l*%*P#j]HϘ7h#Kkqݙş4TXhّy 𖿉,3=LwӍ_*%w ӫǴ|m7@RǎN!L>8F ə'5cI)P>vD|:0>pO DA-Oj¹cş!8rZʾz4/m-RZY꽉oвx@b>qODPhkRa0/A)h,f-@il=!+^Tu0b(ߝAf14TX6vWV`+i9qj#N|^IҋhUCr^ m7 X=޴kZs-h7LeKF,R`e[r= GTջuX1UBQ&gіSlV^%V:ӼvkDn[ø{UtwoƼj} ys3RDU"iڿ!|Q:-p1Ͼc?U`s ]E1F-8@AٹEdB؅ d2#:"f7 1'܀=&6 !RԨh1y ]q<[s#(D}zvsGp8U^ 9Kt fƔ a/Fd|uZvfVΒk+B$AX_G;<-!>70#Z4mM͚Dq "eUH(JnJlj# )0jʪil-Qgk dI`['ȷYZP<#hqJudR 3 ,uF %sܔ&~.tP NcnB2/4zWi1Q.S!Nk|.( %6P&SO36ll}ZaꢡV W6vujdE'mj;mTܐ Rh邯]jFON>JD=0ђwt۫*W4J{hN7b%M?X#g ֛ :@JY,WXva/VPe<%2{w0I(|9S*EÛۦ/ZPV5{DaiN\FXxP WкO)4 .u睁uںM:X^}Ln[w:~+Ykn&;*iMQsrTC9KRBN&{KPjĚtKDJ7՟hh׊qK\0Tje?]  VixC`.{d^r26;U>1'iG~-eŏԢb]Zb#Gn"8$`alr-\7k@e ?%hy͖[>,v+ b Tǭ\6q2|.akxH7|y~6)e>$?ݐ1?}≾j2PtiإY tt??``%zy% "?8Nȶ seR]}0[ ÞWH'LMIprTel鴥ԩ.S>vU&ik@1\bR2ͪkrA(X#%#=c|}}ِ>SvQI̗ oK;J,ne9=;#{iOu_&ESbXеů |rbⅽ7 '!~su4tN  =Pk.?b)"+(kS+v&Brwq:6A'} 3X|PUk58`!5`꼺-ѵ1W՘>Úy&3ޯ0}SzG +xʤ,vO V+2d+h,֒Mՙ,lyoˡHeΚ=Eoܦ]owyZ?eT%[>!p7)7'>]#\KlhD*|PDdq7(߁7CVB[ƨ4} y%/ L5:jHs苹jq)suBʚ**ۆ7XS -٤߆ 0q>nd<0#LŌ|8cşoMAw6' gs<9IFڌ+*ͳI܌.1<gtP(}]1ְʩs}V!qHǾGaO^wBP*>Z ODG&!14 1lB6K0Dwk l*"ُMW*\pÅܯ*j46$VރDCv ɫGkL g( #@ze̓+6zf۳)Q-be"\kn-񂒄vWy f@L]#6$2ĉ'RJǃ `˄R_:;` ĩhW â4F7ar4tl<.叧 knj z?ah@/n41Y1"S\qr欽>k^ߝ,VphR+{V9(J#zZ T4CGDZ\;/ijl}w!Q \9Le鹿Ӛd3+O.xO$ea`cNt IVUzJqڍY 7_w NKogpAR~@Wǯ0mVH *1<~W47B+M{ `>}ž ;&6V 2X2Z9,kþEԉ7Ҥ۟a%wlkQ];mo›,Ȯ;%qʙHI~H/>S놨ߧ 5~8pB'DPǰ'FΝb ˆPGZfѹ~p2b`zcb}(5V7%qpd.UV-x>L84C$v:kh .Fk{+5?a#W*!+u1~=B-/T.)U;TDeaNt2U`dZoUn]Yє&5oo_afЕWqwu~ ^TO38~n=e&# YDhՏj5.D/wY>#cì.W*o!F󜨸w8Glv}Yzu'eQ|You.M?CF$ںWӱcíM3BE.0HL}{Y<^NI[[KIⳕGtd'MDЎͲmTxG+-1# IuT>NؼA"#̔+?`"TÆ^{_ذY QI P3ŧ; .ǧDZJG*ḛf[/ b]6Sܻ 촯)EOvX=a܂j{kfr {jB=$;3~iXɃ8F#˨Ziyٻ# 5aBmueP>օ*)>7V,mւP b2Hޏj KH0 φ.HIki!q 夨:ND[$Ew3:|K뾥M5N3-rwE%]lz3SdaZI@BA31Wu@g=.D? B`RUoT!ik n )yCb*=jWOLUsiH+%]wGeIvV K: ю4Ll* M!ȡIL!O ;FtJ0q:RpghV`$^dvJⴊ[ @f2(RZ)miq ${ApJ Uf >m: O_Hmu-5N7N@o2jYKyǷ|nLYC 1*^e`αVJ@Q~~)Y8^ uh=al~;;2K#"oO'altMEח $a􄵿Ÿkv:xk ^:&uA^JX΃1P$帹ZnG@4쁮#8/D; vL^#0]qF ] G[ϓ9d%Ϣ $R8:pO]VkU ٷ1 BE@̟d)eM5CFɶ(J?Z託\ʫd-ymk|I0ٛ+/!(sؽO77ܨFYs̾>\V BoO22r0,ɔsJ-HN&fm/Oa6(uK{WL  EBx\f@9T=] U*Ɇ+ }7. .8 0e}Ng𝨺Myy]L;SٗWFM}mX-KNƌK;mӛJH? jW.\i/6UP^jxN=ɆVWoE& nMmEvKOnH˯RoDhP;1ǔD=fV'p;v϶otc31AR@Uڜ\_.ʰrcJ"iEtإ,*YVr_u04`jS4@6_1HI=*b=⒩7V,_ _XN90HrW?ty)[ހ^7ŜUY&~E fN!GG`/h(cGjú:#oHLj-o`8N3=%akk?1݃쏝'ӑꇮنӄt~wzXwT뜀US>+!2 '֖Pz)ȧh>0:?.,_Wэ']=Sg[M0ᯩ Lr\߱jۉR1.# ljYZIz59ȩ6/=fz(<7~ۨfe-?wEeX$P&q]UCN36B*hEo9t(򖷋CM94@pO{bUuA(ҴVwJl| $GiZ>=7u-$%B Rޅu41BwPڋA5vgdD#~.2P}eFsdK512m^(vs%gy HvJޯQ+Р!&Ml>pxNY֊]ǏQST\M& W=:wflJ㠄+le]kfpBAHKP"E p&^k EhHcy8X($w`Lӧkj mexwwi!I QM'\`cK(`C "y~]UYQ" Zv}0\s_]4}GD!n2zw} ,I1(ieŚ/-)#&^_\{:pa"z¼IQv. PxdGvȅb)pp@UQ~bPib.ᆵVcMaoy% S5u _qck1DUMpIb:L=bu-(}ilOhCP^ӷոd54Ci=~N]6^x ]q&DWWcm} O6™ӿr䵧kJ)9=yO7۝WaG85SQr_#PIB̫7HrUܜhf&I'QF(L8%9yuJbr/:&_P ^Z ;]~\OVpew足8؇(wF""l4YP"crxZx29tpRY)??T^_NZw] +-MGU*ov=߿I+`"tw16JDvX'۟R;;qyp`bBq{2Gws \%wHh/7;??zÁXvȉ,C)0BAUTfMON!p!1?Vo2IοZr$L5xvLP Mg'AvYU 1:~ Y5r qb`g1mJSƞ`hh43"L$S}1ȸr1xbZq!O1mlRkKt˂/RS;T7_'~pW/dlx@.F1LO= =" 0.R6pSSO+B>$jyA>. mlo THρBm躻=B)$`"!v_ |JD:BT;Q7 c\ gHE[kfgX9*; /+Ie W+:'RrlQ:C҄$;k0^hfVʜu`<@:'=YX5iMXX>'QOZ𨓒:mJWwQ+1(ro-SH6 'O@nB/B &eUGonW]X-&J7e>g"4A`'%2r ,RBmnu4ʻKA:9[jQؙGpH@3,{ml;m̖vlՓuXcgh}W`dƝmZn= >QZ4&‘y=(6kF[\xZjؑd/$TaQ+cNޗ/۽ Z8\ %>t|mV\jj󡾨FOnDfr.%l)l/y5AGqń8R*Pʔy aeO{r;V*tz&J xV \ hABfp<%9)s8Y! }ȭݣ<8VT}jF'o4)3.LƮj|."HcRw"ޘ<PU:Ķm}*JbG!uU֓9ࣺǒ`# SJz&89ٹr|9UŻ\M<VPp gFs~04mzPƶB+ղ'Ȓ*ٜglcI|8|r 򯭈o)P;ͣj5Ew)N!#vnyA??kJ# !`gn[YlcYXU,RLq'c@15MȰ&C':c,5":~/5[fЭF?A|Pc5Dž-Z_@>l=DCtl#v1إ>vߩ|(R;2_B^Ǟ6#FnUr"D̦|aq0wZ<\z0"Мj1$*O68/Y* C۳𲔊 \ӌ|Vzq? y-:%0^\O (Y peH0e^_F^ɭ⢛tN .SdY?n)(8 z*~2 Upwj7*5L㤈j;UR|}R3IX k )Zdl-h׷NI B} ʜ!5f nT$+Dk`_ZZaFw |ʕ8*Rjr-MInZ@|G?;" RcbXe-M3RLxlJm:ݞIzhu%j㊓ )Wݦ9A`vZ{]ǯ 7L L? r<1OLmo3nP׫muG o(,zlv>$KBݒ2Ex_}Rn'nt*1Ӌ+o$qX܂T,KE71tl[dPoIQ# МZ&#cX-To] 2w8r6E{7%Uz[ng%l>C{ϭ+`,y4t0٣;yV[wPR,` O~ƝU|Je٥a=b!3FUVX8W* u 5$ cFa{>=ctѕy )?=WC?RǍ43>LR @-,T"tMfLs6A= R&'# RU\ff61*0,m8Hn[c7z g b!߱F L:Kcg .ZJTlT# Yeyje"JP$ z-* ,_ӈ ܁gdP=d!>eDF6WxIDp3~ ex}=gq0O`+CMzwue'A^񹁤2>u ɩ c%=jĥ<)3B (Z .THF¡@4`'3Oj6{*T-A7<Z[j#U8vB\]▥!~olEr+qpzDB>-ܱ6u+ȖC"|tmԇѿTm±X8+zX5*,/hocNJO9b$,jr-߄[m;g ftMV ԭ`Eim=B>1 kmdr[D MM;7dP lT+4Ɏ : qRS ncb;m32DCm۷|gK8u}\8ǏEP G噕 2@zޖ*ڲ 'VAwSW_yes(?L\u߂(&"V~B!!zbfmX*:K ,}=Em=+M;&8K[!S.aĂk ~Kq?vdƝo`)j^v[689+xVݚW[)p(50d&reХ5wF-% Km̱A| P IVU"PX~RØߚVb=[ZXšWu? S2ד 0n.x8Zj KƎm~w I8:DR\5 A/۵>>vfܔ"Y U9ydET_1 ZgDI~AgNHTch:9c_4:``HW~#"gMd}QW4zs|Ȅ(x)-<kt?jU-YuosYP íEN_=2(-C*[c+-qSJj%TJL폶 t GĨG崪1DZV×@HSm U![J~6ERԜ?6&:4E手"*Ÿރ/Fvl0"F~Wz&Z( ~P'Bȣde 9};g ^L9cR}@_H` /R*#V>Xѹ v̬Nxw`+U/duQVU]HE{+_3SKz\"@8:=32P.JM. ,;\ȑJN=s?乯Ot8*~^I~FoNTξ[CKؽMIÅ2E]Y>.0Q#( PҞb6pH OS֪`7'*4/[,>H2ݭ0>k ~bQ4@*h( v*ˈN~*_%m+(%0 h ENU{֕G=zfֱqˏ ab|?KЈk.|[r$7/ʒvQ)$YJDnd/^ZymkHNԇ[aӟ!EN'׼AUKeq:OTF\;qONXro']o07$uW%^]wt`TFx+Ʉ}bH>ED0.4>_'1 Ffڢu-J/TiN/2`k Ml厕g/T[n*%qCwzt wPCv q0,a! )ZU g" ~״?Dꨊz9'[M^Enܓ"8ofؚd>҇ RF[or/ZM}fO:5̵)!A߹\~f^QCŮ.X;X X؋^.&XM-V$_h]jSH'.ق)KMn82A5c %Iq5kkC:6ZV }U?R_߸l!%Dszd&U_jJmɌ؈ߖ/KZyn8{ h7-W_MXXIOPwwcNuI=XxP7Iqe,NPO{ESr`'p ]p8.TvLb}Y wEb 6l%%HLR!-,mgj\-GڔaxR[-PvBǓ93t6Vin q-PUm-/+(R%Fo2RTTzD~ %NUP CbÉT)$TQn.J@@_͹IDyrq?Lڷ 6'aaw@jmdde~cg+|UM^E*WզaY+= yǭqҷܼAuH8{j &)!U'$@iQ΍ͲptM_6:ZP]!eGѓss<aZ^L;sc r{=ɕ38cdbK[0pڛ9Rm/P{fxf#oe G U~e?|4#2rx`j$t^|38d,q{z.xZ_@v0Ca_:wgo_fN#"埀Gћ;.Ir/"]_3gcBg"$=uUFfEfv#5ElGj9<͈Djjކ?<=˳ fSl *K(1$ѯBw3#4D~gqnSsUdlv!lncNNЀ]jh~'xx:C{x]UT?!]q+^?m`ϋw7l3`=Q_/p]pi쯮C~.,_Z)z-x؅tċc<6`NL=@&<7Kf-\ljCbA?w5d hLG (11z=W>3ިi~G:T\|OU EFc并oh :#0f!Ag7 aH548vKMEƼc_>?I{\x$` kMTpae՗R9ȀA 4-qdO$J)gtiS"`o6v|%ي 3*7d? v~7[z!PW5LR2Bl?Al8q2XT ^ǔ%I:0koj7$߮'m s@7aZ|+PT #!hyƹC^5'VC@ = 8kENb| 6gA?N" X.8:&`@^1`nx 1b&[S% ɳzgwhHo@|!HmԚS=Upwd̗]Yc `p]A7ҍ]#0Ǫ1?U$2}u9kւ=n+~B-l]&. t&Oq|z<=0>`.˖JdW{`7gy GA%£:Bt_hk iaV ޤb")]if_joHYC#ٱPCEJ%Ƌo<%0 %T5 zOXjXaz%=> P{ U8K|OB@IoDE[',Kي,3z,*U"C]ev!T/rq5 Q4t'&Q@l\ƨn4GOyhJ ]؃?)WzBs0uZ56 0|8/H ~s>w0(O"}@Ӫ١}ƽ-UpC/jnFkCzظU6:Kdx$E?tq~:ԙ@48gGw7I72)QW>M!rk]^/u{{_uĠVe}-$F]%8BDqEMX2c#A#o'skǥd]DpweM2n1]4p,Lb?E( :։5يrLLOm5@@+N٬`@ųKSSÝ ȊKn;&R@Y܂ʝ֚%~iAɦ zf,K=:)?uJg S1ک"[`KoLIa}^ia0㎲4Gu>rK rw:h#B:P5k\i+s/a欮/ u=Z` -(FjJgXJ;m lꍁXq9()ӯW=on =fwdQa; w{e"}ϕ!"M^PvQ>?r7U3>j8b(L"l#N8&#Wԟ;&7c| Z1ۮ*Ļp݋eq6_GCU場FH.=ip6G"?yb|v3.\R xyvBldΓ`d7.sDO"ۚp-dM؎"VơաvR>8K41r&r|YYLMe;͜^6u&B PW3yWRO-)znw(\:ߟQZkp2G'ydI;Hآ;yq>@r 'ęlvzpW: ~ 4(m 󄅔ԛ^AeĭvjWF.4 ٤*sW0J{"(Hkzķ zZ`:;8Q5s;me圤@K1Ìzݿ[{?Rׇԁc|4|)AZl$h X1Ri +uV 6'V2bI9u8٫hg*_>MmE//WaL3ixN3NHDlUbz"22@(}&_ݮ*O͟CnWn1&wZBHWr`+$+>$%"+6/ -Y\eL1cj E{zCrp1!"6iPpxH~/G^'7"y(Fͣ\kj q.ۿ%a=w-S`Ґ˰}ma`M(4a_0)):q+sL(mZ40b|QX /: P \xYxQ'G^]|˕/7XpDޣlv`]XUfl]9QTZ#ˑFhBM\k{ =RZ=Aj$2c ֒fVS+]e1W7F4G6 %h2+:)םQ#n;Z NΪZv'IUHY^{ЍDeLk?/baJwTy7Ӓmٛ( Ya+T\Rm$~EY[ dum)LUVD[,V@9R%SjboߘDU@qEjZ.3(I9c85Ypi$t 7ofAcJΙ[5;dctnjex+ZTi&^U=Jf0R"b).yIWcy2aBN(H_NVNJ$2%)]r-׸xc9u9fuY =51DbHBA0$3UA%CnC A\cKid쏫s*b:$Z= #UAf"_B%5z(-3?s.9CxRKd_Ap܆ZY}w4 E.mdmo]҈ƺRH i(ʚf6G:.,9gr7g״fMp1UX̽셛5xIRB)M$_ʯ [FR1WѤDPx`H'mq;|""zxy^^Xz#7XJk k<e-LXLn4Pf3Qǁl ͊tAU7G`<==MYKa}Żi@CdH= }6孡$*t;qg@#ϔ쬸z?M\ͫӘ G" ~@OJϽsƻkj!\ c=BsℌcF٧ C7*6bW#9DndqEzj4.#9æl; zdlp:ͥ-HXp u'+EEO:ܶxm:ɛgMU/u~:ɜLҏG(#HpQSx1Oj1*TYmđn6}ˋrb.Fp}"[Y&hP~ bOkMز Y?rfI)@Ѐw97{)I&B0}-eAT7U-Y -Z.ˁ ~7xA cA˩&[lLP)OHϏ U:p=أ1ȭ9YVYPY:#VҨ9$^|w[l:㾢'Zګ%,#X}S|fMM<Ͽ2b*U 25]'S2]*'v}S:(]\v&{5z\?]I8*`(LNkǔiq?ONxezEyu̺oJQ? O~uE%Hnܪ Ӂ?`i|Sְtĩ99X].vi$I MH`3 (DUcy}!dNÈYxL؍O8~~._)IInuF' @D۾t8Qz .bmIDMA- źܼ>nr|Uj^X>2) ^ DR %{^'  "[ݾ9IJd#e:V*g!vJ< (<-$8$7.Y45+9{~~e7y#LX&̩]W 8SB[TG8iV ,'>L"ga)nsqbatY-VWl1&jbҲX{M0;?l4}琢}QdZi 11-aA^$*L8fS*VKf_C*% OFO=} Ru$oO|~ԾT @TFgƆoYx F3ǓU—N ߮s'v81ҳp3gT<<`Ʊxl>!cb56FnU'q9dJws3ExgH@˅[RPDɈip@PVJUֽ{Z@xŢ0;ԟ9 X5KYD7 Fd'52iBBă Y)֝;ċYOy> 8е5]9ojLGiM2\iXS1@ژV F>9Y_jr.85=oiQsJjCx)/B!G 5~{,KJ2G(gUOrgmnZT92_OX;N3KCs1L\l*OjX1 @:I &Oc me&9/& /Z3Є;U"Jz2Xc>XXpupѐO9u.-nU^{bE['4d Y #9_x݄მeu"b%iy8L\5"uh9)k#Ltf-i<j (oP)GV1%hW@-ha( O|42Tςy诉OY.J Dji0]“dO lt 1^4v,AYޢ}/Tv>":&oM~'kA|Cw]sͣxJ}d%{I{oEr~>!EvL 3))o]@r}BJ@#jos=j?>"IIfvS-QF(<}1}$NsrΝc8~raˤA a[0ޔZvr{Q8jC{#"*v{"::#%fWq4M^lʀx.>YؘZ>@u|0px!:7s e'ͱC'7_~I,i6'?q{6 eVQ W6hbC*AB֩Tmzٹyw6 Ǡ2a Ӫ {7AieQkX `6cA* &|>wU7JGbJ=Yl4" 'xm6/_}2X/yт&jU۵8Xh>U]/tԿppCNA{`=UIxLVJ#_u5-h=iRؙ0FCzu~hʘ1n_s#DK⮺7 Yj^n&uõavϵX?a0ڙVKAl)Հe/q*Yb:ҹԀ+j ﹛ Q;\g'-[k!&Vy)N//f\ q*z9ؘ.3r)Bk0F.gB1~bnx,s "CwTc2ZOs5M_cDu5 @[hL)Y~¨,w\-Ȫ 6P׵l$ۺ g~֗ YA(;2[/vZ8B b-, |R }n ĹGMKU.0Z2 I-Z$JI]OS3~xYV̋xOCI1wTEe+;n)V̅UEYH.mSMu X6z۝to(^2!=&KҪdE@Ӣ`M]_{{mN$O0[$(9 fw:wFN|hk؏`2w.ڞƧ&N"b٫D. al̳1(/N“f ~}hVzٸEwk16PЙA-ڂcAG`;2K_R%~>#L)WMJLp]U&ܧJ3YXةyt@T@AS "֭[t2 Ƹu>/Y^$ot3~Sp;q\ĩ1cevdD4_ <)=x)W',զCa~[#r ^%泜|GJMB³S, )G8AxWɺ}+ge.ZF8t(n-p>@hAjg9[A0>Cc /Pgsڤr5L(8uN^h.Oda sB)ڿ),͐DNM-ۛ8ce#h]d˲aI_#Zkv˂%!<tx! 8\b3vuo8OXcJ: b?Ĕw"Hj}oUVtܼUo<ygQ$꺟j,N]aJLdw[DMI|cLDaAbԸv6%gaS!:C 3m%㑀q֖Y!i\yp ؠ hs"9Cr阰?M"b֟4jv15yy h'cC-JP_Lj  [U4!'k7E^(R)+lRā0g] rTI@1!Ue6T--u| ݳTY K;u%dT5B$,'8 Rtˏ="=$Zot6~+qc  1^;r7et]d:A߾#đΖه.Oșo|[/3X Ȯ}N˟Q' Qz" `MZU 4Md( /#j~nHEݽ@ sștL&>1{ymcs^ټ#)V32ΑEͿ70r&./s̊(7PDZd9n Pc5&;VRai &6E*tݎ[c kTƺ]5W{Q$mM5\~#b\ ćJ;Sg 6To$S=a0V$mrB&qU.o92G|i7n4P-/٤y戒܁7cIO_V _F\Σx5B> nIyb4H|mX[~W%b,0DOfqgr 9 1ܴ=Bōi ŐqS9]O:~0ߖХfs  zOYZj(돮@RYY #˧17>PlT4|6j~ M7)rCDThza Z-r)n@8Jjo/zfqpU8 Kup㺁m3tAq}㯷mL`~ 6cP:"po}C1wq`d(W@Ω}_"_) 2f^2;XV|*]M㭨1ou,n>dcWNr9.5H.RM z\ O 1:@)iu\epT`H.aJiCE|en.b@?Tk-ʃںWacpwߣ*z:KC ʣ3<)W;MM2/hksEULaBIwrb!n lr>NQNU`7DM\B!n!1a]bAtUާSHL.#G an5=uw zn&o??}0BNLS\ƿB_FHf螻iƭDa\uWal.p6ƼJ\?c~ɕUD@m(}1;E ,xbSrR$<WD5 aRG?Uٝ W[fR v+D4W%lɘVۻ0U@SX>؟/W$Vd+B/ Eya)yIu)ozl*hlcT+RTa!ˑ2{$V“+F=}u.= U,sňxn ʀUyI";cT$G1s,*13 B? Kn[Ĵj̸c;`%e,@_FA]p:Ear\yt=UzڞrI;9XyڹsI)3Zb^ . vx {~ 9Wt)<.Jeⓞ'mTA*Y9/\!Uwn$^>iL ѳ#jX; lּ$oIXY ^/賶U=aKK͌ ]:|% U<KZL5^sSS 8'%Cp[pX/!Nus&%ʗqI\n'k<0`¼W˿J^&5!8!] ="P,2?^QMorJy8[/AcI5%'YU߁D\;w3 ϝ]UEgf5S%;D}<kubһ$oxL u&:RE"'l^!L?_7o̖R FSD<ɻRa}Q{<Km':-+2r^*wpEa }ۻO(MX2 F^X/Xrn( Ý ֠GҎag.:<#c(:'.JY_ yt5lIHۑ0]AۻLi&wmARw)p.56ڥu0CΏ71=-9мIJ!^41GP|s۪S{o/=NK%u)U>3sIBX5y*s*jatygUZuT/x͝6I#%qOÅ/4 =Kw#:^2gI:@҃[!ƹh&a="\c~O}4`g`-Qӵ* bbi65J=OëUMT+zX1X*_P7yO:t/et͍?0)(+@a/Oާ9+cM[QZ.W2m/Յ&P-N%_R" ;\L4:s TMDl 6 Cte4fQo >6dшXK>+K;ҶϽ[Py\vЀe /'DfyLҕ>BRKSYo{ R2.&pYB[_nyJM_HkUQmgc^~66뵩4F5% g76Ͷqz)՛U'/f9gųHzc;_^ӨF(&RUT9|?("#j@@w[|TQ 8`4x6#rQ`2'uq3لq(xJp#S\-j{MM%jћÐs8S#%ֶ m"~@Y h|0{o!mgd'OSeۨW 2SIԭ.69!ew^R 8A3/W/$9[WB8y-{ 5g|rEcnS*&"}_uĕj; ikD}*֊ov5Ä7,>LMG?j;-Cݟ1;e_['QD7⾗`1DV)6+詟5%8.-.Eua)r7/-z7&wh:^`BvR1e:\_/ `;Ml*~V9]A "|TNAW UN\8${qfI-zyw[jk)!}P Ȅnv`/mb!˴mPXӌx:@SY^zqV ٭ [ cD{HKZtt :dR yOY)ZU=C.]{:l:!Fk\}I@\'Z/z.c (;+{ S +Җ 5 8-u}F"]L9md): __=Z٠ۍ*R]MyФB/ÉE}Cg}sYW;pxk>`¦iU[ tub oVJzs aMZ(| {A I7AQd+t$FMmբ-{ɲ|A BD=q\90M`N5c'K?fWF,0a*6Z:{v\)5V̍>@]]Tj]<&T1{74Q8&bňR³>;ϝذm2oNɲ8g&eaLh"AΪu 1gTbYCpbbn3(Nֿ]BkMD33(GB_!ڢc/n]I,+7= Oyw>$qKů(Awa-FK ?jBj(4+!Uy(ȅIܶ #4Wye~W3ٻKYYs]d]qZՇ.3 jo{བ당UWEu xұt: vNHP{ku^nU) ixtVRr#ǭt:d}S,J[C- kNJg/pk*\"pA՗JUO˶ -=kk ֹRɹ:PeTlS` Ap2 `Ň 4(CG{ |QR0151EsRkl^{Cv 泬iy<* nyzlB5m{c[֧S1 sWXgn#Z*$]g}YHֻ"g s%; bxkt.[L2wSw,j(X8G?kSqT=!Z^r}EP!.>+yb6ZnnO!sIk# mb|).|1]V^L k4q4|Inݠ~h{5 r}>%9>X5B,FO?ʓп֎3 aXx95bcB1[bDX5񕊼l9r 㵅O s FBDn3r,X%S'S0{w@ [Q"R. +  PeLb5)9"}>Dı;1A\3;EO?@%WտMhnqk#ŕFD:'nʏVW3iܻ]ߖ~ߔ!;ZߑluϹ/VAvșo'EC$"×Ni nK Qi;2Sr/gifvd\$wЊ]<.IY0_^x#GaoyýNU%NR?A/l[7@e'W , >H; ڦ=ĤK9&yWc*JH%oiMr%`G/R\ rvzT^oB(H 1=rWu"brTdu<]ƀH͙7B-AǪ7$GH}^PDE W0L'<ϦQʻЩ1!ץ߮y(.>ݖp Ky weic1Y0W xǼYnl:꽁k\C`%HbJضl5IWBd%(UNmx8LmlvN=:q3E5a 2/|8*_HgVuBoG`4ay_`]vbqS}Ϥ#U$okMu"jg0D9=PuQ!Aow7mJNJSAYfk=L 2ydFMbog o4_u@sg6 IQVP%+2uA<)u!*p$eĪe9"# |o tIu_T/8ZIqIC bX<!fFQ*|\{~R`HA8_gnD`Rټj} U1 c7~`"]@lM9~WCaA>zUo,K SMʠǐ#ߔbl5 Pt>'!bH_!yhB{O6GG/ TͱgYZ s s*% --' tHOL-SMT_ExamplesHOL-Library.WordPIDE/messages7zXZִF! 6]D?7 {?:fH\=rJ(]~?׵\-Mt²`Ʌ4x1SS.CVeKXri2襲020ʷ  f#Ux4LPC8)2PS?7MEl#Q jN a ]3#.wͧGUQKoKHMO|#u\@`WtC-HX%;ws3iVL^~gtBץf#V~~bI@Ϣ|R Qi?9 =Z]auX8e^eޟ);B<\Ԇ\M?y*cw [!s;ZU7_^Z$eqІ1'mFxq3jY ' }&VW@xŇ٥__7rN{IX+y} voa!uk[NjU!XyuL-B{&/tZìθϯ3No!/)OǺXuFyPtD5yE0 i /rw'f;~² 2 Areuz܏XPCB \.>{#LN%GswժVgY& YSZ/\pV˼V27Cjc0=b3{Mmm7 Cy}#t:H{ߖ -jc%^Z5%gP=fh"8ο'Tek8>KwdcO )"mK`ވg6 x䵮7YySa R j)2K-bHӈ*Ê2]^xq?N REbiʢ)#݁ 8\U)7I\qLpQ$cgJ%sm< !E1@ T˸<20)DEҾiI,p@!AtAO˸ݤcE[j]F%9,yk;".%SAl Y@f6];eU98#wfĮe&=M8Y |vʅ,?7a(F|جtiҽ yfӡWi'ri$}2Q讛n4[%q1lul̔5{`Z6q4Fu=}%ղ$_ͥ7b^M^nF\{69bݍMjlל>H˟jYw[ȭ~3Ҭcb^Xe^ [F+6nZqxXd]}ęa ĊXʘy9͚&ݏK+M#Y 0EހzAV~-I,$ --# |HOL-SMT_ExamplesHOL-Library.WordPIDE/markup7zXZִF! }2q] !M젗OFK?;uL2aM?Lo4U6FR]".c1]ȴT~Z6 i;7Ua7߯Ư9S05f̖{\f(oZTNH416ӕƭ.<9BU߻ζi{y A0zΪnI4qي8x(Q`I53{{H߀.l>׉ xi<A˽.#Ƹt"#]k6=ig8NǢJW.BtL?3G}WR)P#8b2Jx"xADwXRM)vb-̌ (<5ɇ?@X4:V@! N +3{ xr%i[W0qHMGQ/$33L BoCn0ů_Nc_dkgI g@Z"!AJܥ^ A" ]`˯nTZ&*Et:ppP(r0YnQMC\3G罈[]>D@&l'GWӏ>ɸ渚qJ<O9ƽ(: L[1RfdE9 L^ ux?r Km~۽E: *72kM'B'T IUV"W/ɇmᤉ>˰6A^y5ud8Y|ThŠdT}|`Xf.H|8xy|2q|Ҡ :z :B`"1רx ˵[<:-C7ukbJoe<dU8F>frŝEVudB#鮁+_,E4X]Yk nJ.h {M3kCmOgi;Q?c4bqifj`}DuR(x{Wk [0VРai;9s;\^'!_Y=ʨ4e;A SRPԤQHYj:Vq;Qq} V84(zc`:I"Z/GЫ=d#bUw Ilu@4K̰:Bj t+WUϽޫ_wm4GC{Wrq:\y9 X3W9akbty{.r)y='x^Ұ`c΄mP\NeF OI@Zl .M2T;L~i iޑ{Z|y%qY@T8%OOcW~U^."@Wm4E67F-80xS&pHEN*2ν)&=8 zCx ԏe9} J M-U\c31&̀[*9/ڱ?7qsZLjԤ/:^|Jb34}j>sM4Q!Q65>d[Ts֤;VǏ!_&j:lU'R1&"upz+R¡:­2[t)NI,C,jF62T|c8pΛ Y7G >[&vz$K{rYDuGP4P`O@[Jliݘ̚? [;Bj)өtPdQXШy+n[gS#/djٿ07F@3Ek5_tQÚhE20e4ՖW,V @)1$+(s]uGk* ms59@6̸qÐj\td8cj]"w۾9[kyϳ4KD>K:cN&BαE ŌC~lɢQ`˽n358r-^RI/L\3C#ɰ؇u;G"jy?9e.c'OZcS0qg<^NnR>T,pdHP~H-(x!D ЎWD< ebkBfg_Q 43@L!S[sYYu:#ɮ-t 9|_`Y5'0X){5IAsztNҪ{|4\g5맢6)dEoބLd+lNц@W_x[):˴ [? u Qϔ|O28.:H8ۈV&=!n['}ga*':~Z?Mny,@bT&2>@X~ Ӑ(54{У{`ʼ'blgDv^w\vS㛱i<\jM zvSaWTd#8y#y`An 69j rqXԀ?3vPJ{mZ >Dh%&yMXf(O5|"m pMm뭓Oy,CrƄ,( Zl[Uw#Ġ thJ-1 o~#rezoX3՝3?peS8&u_ +t~]ȸjٌ}1 (6F9u#_ Cg%qv , z$iw,5MfFT#f1,L_j (BCAԒ(S`nm4+,,p7[^uN е؂ e՜}<-5 Eju Պ1oqKPA-j3 } }SM39*dI@:)O3'ɝ}V߫P:4Y2] TxDH WB,_`Irr_E:Pa}k1!.'8>L3NMvNFPh,>1zng(˥{>P1Y`8l);ijʼn] *7BZSDojjbYss m*s`<="EiqA Z=DzE,6=oaS޷}ꖾ.u/Uv!wO3&x4Yiw0?-,6?Bn{pW?6,O'caPt\zlYt?} m iir΂j2@D5Gtŕtofzl#س6%fGeqİcqob)xb8n(s䘼=Vb:xTyiX4Zo<7Q <$5ߠrFP6ͭM #$<%h!Ai Z6g9M=@( r~&z5Wekfy #?A^gXZPF * eN+xY|alPX̑[{.td{ ׄ:C|D?+k805d1.U*^铅p{cj Ȍ.Dyh,GUo /7 ɴKa) [!p(6 duϭk]`c#Vks(~HNβ?wvQ}+wѣ&W(3 '-Z•UED4UFE"ziZ3 Q]>}C܃h ߨF:HNʬUW"xLoʻƬ~;N-A>( ]ay. &yHr42A<ͰFt:34퇱+ }W壇nxI|$lA5WڷKf0*F`V 'pYkk I{u"Lb=b8 {^|.Ts򍁾*i: mK=o3p3Njj, D@xDFr X ׹wwxܛ>Pe@FL\CaێM}OMǟK۳yОvA^7=Tj[k%BC)=fVߋ%/.Ylmq_l6֊[To U"I<4Y%^3/8ƉdWi2CpXu/}Z@Cx +} /LaP5a{-Wr]>-iͦ⯀&5#kxcM!>rQtk yQR]J*t+WUs$` .,AXj Cyg'|&,X9c<΁MP(~Mp~7d.i'}sqrßmq1+"ml!yd~-al$/&py Į{M0ט4ޘ&Xǒkп`eDF_Ɗm_}ڌeFOL3Llzi3a{m?uX$ckEn@:P~B jz)Ll4vLhD;i]@*JcQ"K1CE7_H,A -7$P.n?zG7cJN#:'5.z?LjEKwv;Ym̖ytCiE/NU^Xy u6~mA54 n.j&{d>XaTdA| ?7/C~t8hˋ#) Mub-d6jY 32X]죶)uGMYu:ZXA\yh)9=5[S[#|D}YJ^H9 H=$Df5Bo P"0K}h 4Y83J͞N?R\K cN6p> mu7pގ<*^}_R鄒ut&8݈$UGKr ȴZT y Jy"`>yhg؋_v yNO /큃PFER-0 Ĥ;o?bHR&ĪNWt7";W߹-.C)_1{nn[ܛ5}8^ٱK}naۻtxT%!Y@Zު&"'X.^l]hHPZ'Ns8PN*oN=Q՚$~mB$NJ%H*c9j2Ȁ=1z"]F7^)-?1azH䜼B0qczW^s?yQAc/ ׸gɌ“,ңN~@_X:wxNN߉ؘͺeV+7 yr\Lf\6'nSVE.}ICC0P*dBbRb%ݼf: =@iz'{X۰r[ev3l6;`XRQ!~R [JM KOϾROlKV214#:n<K[ -+| mLS#Ek3J m.=4ٔaI:0CvfAڱ_.\(Ӝd\Ϭ]n&T]>$edr2 DyLOj%Mc2l b(繯Z~_o{UO@l4'γ h/p=>]ami} +9, Y4|SK'bL\dAE397/* )p۵|sEhG>Oq*[~^i7>%`T_WIh ٦dob#{a=|>j,ycS9?eɹaĹN[֪@coaj2&Ob_\ր ڬ$-Tuq[un]63~g%b[9ӑuwPR7T:\D)a5/3~}/7@VT\4>lrˤp6>\DT9{kbYfdlq_sRY,R4u'R?j,?R>,?)bRNĤ%_=L]'`=|qEudŽv›9#)eheRFejǫ2sIk`8[uյ @ '$3~.ef4(j}@a`+lStaɉRowoH2'MWwɁSM{"jp.'T5\!_Jy7:?j/Ή}bXEiB RU9g pXw 4 c<߬E[;{37_]۳g)ɩגPSty Xa9E)&oJft6){%Kq.zCSW)r#RʴE mb-9\q `69=QD*vk8јnUnH{^]Qxyq24kZ BP!'TX<1_ç2JG[bOD0gX2W¢=~QN)6q۶'<;CSȧVѩ{1͈򕶇 /Sb)%zV XL Q'B@?+yqsVsp*Qd9|a]Ϩ҂fy>/%r~ WA`|JhF8Mm/Gyaf [B\kV$sYъNL>椒Uz> (p 5 R"#$/eIr;\asaG gb%di~*S(* S$EF2%ԟQg7iaսN#Ii@S+ufqj/4$L&b;`L`G2|S ?k: $"V[tV$\JuʞGE9ȆDnWGCɬ;$ W([́28D*렂ZdeM4JA4SZ틨]b̅RFʞ|[v !cUn>E$ĽN3](JNf c&g{%퓟3X! " c r'mc>GLJ! .OK ԻfZ64^>d;@^lwT\vڼ'Le(? ,p0 c1|H`_E^86EY28wxk׮rB#W\eGL="d5_rÞ9r0^aYpȹeс@-2웈<;x,O,RtU O@lq䃸!sжN]Z|d` _Lp vz`{&^t53>9LUCD0+gRe"$Wk`r 5n3EE"?MM`7R-&L7t Z(@v w.lR/;_ѱ_@Æ8(Mmqj"3{'Ɔ 75$9[`Ų)[À>}Y43`}Il> V{[g<ڥ Gn,DӀHQQ!8>BeCSRvit {(!e H*GG: 5VKLlMmn V QP[VO,/hHEn [) X(,9yz;2n"$M( r'(4t.mrN[T-y2*ࢅ;[kQ35TDM,ũMסVQƜ-3 =7Qmcy,JG$''IO(b`~MR lKK^- XR)J Uk͋XF{ \`y "OsPl*O_H+Cx=7ApajKS1J;0rJ9A67*vDX.yN11,b͔Z_z$cQ%Cr8eZ+^@AԞi^jMI8K2 FuP$υUj:Udʷ=]ȏ.?qi$EPZdeOB"]n }Yi\7^YJqVz*o~䐧&-O~-'  'mM{|*]U4wBMV5g9t-o8bl؅(~XW8|:]{ck_玥(@vX=||8f/~:.u?ĢfYoۗ+0e;#N#&3J Fbg~i~]tcMَPLT^n P;U:$,D Mާd=⟐-BƹzFy>kP6΂Lo=l#G!chh\]5.Ohfp(2Az2}]55H}F q1*Q~RbBιZgqD#q<:JPybiQ+3EKh^HcqLպ8!@z@ԖBA0 W e O^0+8.D@T͝KIܦBr#|xDj/![YjhN҃݊Q#1gp~Pqbl:+ )%:_${: !d0G  6,wILU;;as6=MC:c{;H5s߹!I;{`ys -O;Y &B&ÅOђ 騕|hm2ʃ;59:t,dSjƋ r(ly$QزwK!V䵪z=#'Yљ`HfT BJ*GB.e̥ɓH}0AYէs8ؕ>NyrFu&`tVXz󤄏v8=P1ȯVS^]nM&C lFҙo+oSyzOfϑ7TdY6yc'*5Pj$OI:j7]oyTfC$3{ D2cZsBTLKk2#w1U^kXwle>u&8pA!Hg?;n]~Bgx`EJ%S\;y0g!*El,) /sh'a+eǵPDb<䀗Q sF]/$-3nUd4*!p*xa:p+-֞fm{r$P9hm`dO@Ilh}`f/Sꚑ0BH/ț7T!%0~фSm+#GmXt]MÙ|k= SJ\2@5#5G*_~!*wkRj4Bt7$Y7yvXPb.3[Qܤ~ρ/ ؛ޏ1xI lel竬1$|Itdd//(54hEnMckշn@IvE,Ÿ|WO #m'Yo-nzXg%O'UV+k"}[q6&t )AGA_vu6TevJV MVoٕ/;k4Vz}B$'fCe'_ԓ,XXDU"@@y[IVf/oX? [=^99u1ӞI%YL7+_B ;-Cl])Z6xf/xS'q;(vi*,z(v4rv~zI*-ֹúҕ6_^&ۀI2ϯ2$NޏJ<5 a (s udsv:GjZ6x֑Iل$'z[ u1XD|?W#B6z8f8ٟ6 $&~!Y=,6 0$!13F6wRs/ktL(exu"NL*ڈ97<˭It$\o6fo ?,̓^}C$NY( Ve p`!Pڸ 2qtCUws~{4R Q2~&Ki{ÑG$V3;Id`YS(,?)W,Ko ͭ[ b|(ՋB'6w-/F9_.P_ Wp##'twMKs>#6WnۺКԃd/Bs̶-3V]ؽD A~g{#5mJcbk>e&Os:s mnAs\Z@O >R J'WLR!#i2듕IM MNϊv^C,>{@,L%a]Jw/5E'!j79=_ՃykvgԟI#6n劂_.C!KEkvDjd ou}V_ϺgU-0a^q3'FoMU 䝎OV@ ]H锯rGIBn-?>wIȔ1?oz`M6앫` S-lAR!bCjl8QK>6,g+Mm#>agYZWi7 Z$mWSd~FS6;s:Ec[C4#,rsry]CLسV֙7**enu9\}cdM0瀣sC~9)jonOI<0G?+o` 䵍*8׏p<5~NH2 C8Aa^.ZVIovPPnF/B b1G Hϱ-,(< tlh2PI1pi+R܌[81Fu/pY(w)t_:kDZOq3e{؎B)t+k *!UԉI;gH3zdC}fQc-*sb p]&^(U>0dT}dp8!E>LJR3).'jbJ%߲qOB^+c]3.#w{{"C;׍SvxWT& UCvtDQ*G8uʠ٢OL]4+DS0B*~T`nV28N|]畎)mBHĄ1K=OY;¹ <o&\?i*ԙَz/$+>I}n"xnu(:oY}" jêv` wBu='gطFMy"(_ӛ9M_u%ojD&CIiT7wgw5WРEȤ\q&-Ĵm9#t5Aؼh&?[Sߗm6'[ټ\ ,uQ$"bljR/c|) '?b1Fc;`!WvkL]Nxh}~}@34HBXE\;Qhq `, HxWJ56~F6;muZ [L.0]A$ 'N߳,ɚKޅAlY7h]`uW!y|6`W3GT|LCC(5h9rtp-Q+ N(B0kG{Þ`F6~!Q;#u'v,ZiQr;%ߙ>b̂>PwN#.8\|1%?Fbm9,yRy7s6ó - .Q <>.nGӁNl!"SF,7U~n90PA̛,!KZh7ZRߜ£o_(!Ġf w Vde>V4IIPRgMW1KtDBn][{iK*UPTDџ؟ϡl)Qȫ<<YiwFȦ8Ǚ7%Ŗ)tٸ9nh *=t$JFB]gPᱱ^2쥑!%]`N3BeW/7ɼCWJ^tWo5 $ 8GaRJy$AMr x^ ѫpLWxfxayUn߼k\Rl6ѱ`L;i.͂X+M: > H12쾉 tu)LH<IXo,3<6Lgb%[O? !2Έ2°Q {xȸQAOA7U$3O &s\([]!v-?~ {x N}gE @xtA. f˅*%7Ś\H)7E5m:E bGf^n0 Lw?ӈן#"g]tI ,Bl}e+v[-W=ϸtٯ=/8]7Xqط>D*Ë8jNMNV$ОLc[eqTna^Y<|@@4!!j\9 zfYPtF* aǞzz&v[v2%;  8#!i Gd+?h yj~Q,grx]Nt=:g h7Z8XԖ,;+foF:N#mi445kAz]?j@񼪇6cX]ɭ3S($LRJIouM4 _a)EO|]`=f4 SwJӪЛtRGk/tҁhkȜB2T4iZg$s^>ɹϓ5];2 Kx VLw6uXVDd]`y>ѤVu޲X[<(L*8n$2^.flQt6co @T⃵G Lv[%M_h{/b՝ƱVwS1l'<=nCq0^(367BM^ce3"o+/.~S߄!JT sXY.nklrzG:ybw jtT4N*j_+1$&DirJ6_4}zn!30-%OSV>)ܒs'îFum5"ukL~a 3Eza pvͱAC/B_a0S)|UKvZ4jjOLCC?"QM1mBwаأ/]!4JZ45*a Ͷ-p%CW*Konqc6pU \C8'mkkcGV&QeWk9A >xhWsN(Dv2|gaGGc.cPP=JQbaz a8j׀/`}>X9H hQM'. 6o ʧ_)y/P*74OY2,'ϸ(zgYZebdb6cc041a9d5dbbd8e742a478d222a02b9154a5d5fbfd4ed5fbb1ecf13b49403bac52f32b6abc4 120f0435dcd7ab89f555f527fed2a2195d4e18c3