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 F-vLD ]/ HOL-SMT_Examples:threads=6elapsed=60.825cpu=191.648gc=5.4607zXZִF! [|^]ŗXiɟ{󭔱>j&r픬kK)h pJg㫵6*(@"yʅ%ClaCqQ @kul1mJcL߯h/aOHg=椟hx@Lgr.3 s p. /Z3\:Mgփ}Mf_BQt)wQǑ:KɘU L =>o=!Hmz¾2=OB"ߐÒm4;4]}1G,!h!PnȺ~xdfST89!WWm1fQ˯o X ⛽|)bVeRosymFr roxy;A.xWIFJiU[_6ZcI6Q\_#Z+=оݛA?,6q.1gh=u:ud~- G#rh\lbgӲ~3¥x>^/U%&9ֈW2~4jV:Jx}FOW\D֭zc7u{)ʊÃ]lsAMíXeLꬼ`WOicOU3xiB5atvY.[)nΥBK< ~6ey0m|Nx$nvFNu:/祁8DTũj$I%vHb$[j}#%[P8՞ov z/E&wzľC$faS̅PDBM Q!/_>1۶)Q(ڦEu%2*̔fJCCTy6' |ۡEo+C:WՋX@+.jS3w߇()_<$<-֠\Y &z> ;X_op + hZ#oYdIR#S0KE d$ u# yG-e &3>:`ocgocmW̐ҌEY*Z/D97<(j|pk3qҀ,! zO΁A%e_>ABo:>? @⵽jq) . E$tzpm'ׅ6 15ǯ~d;-0~?_FھI,7N;h1 BaS176Zʬwn?wҖ?%Y$xԃ~zR}>-D5 ǒ:7ԚPcQ yCgYZ7zXZִF! \K]ŗXi%Ngԗ' ^+Zpiu?D, qP6'qpxUtqd8_$V{e Z@[N |"Ȓ}9ߧboȑq7kHC캀)LI_* Cd,Q3 ztЌsi8!ČTe]>Ddf0j)ptk+#z8mݻy5GSB'a@w܌Qk.ǩ.~!T Ǒo,@;4h^45⢁jGg#!1>(PZ u]#en Ub*lL2-U *\gdxQVUu9GDxD=˥[8fD4$,ø"5Ӻk͵z;ҋ/Դ y:{Ɔgބ(ߡ CV3Dk,o3<ޙ:6/@3+' {DUHY{s-m] tCj>kll_{25s6pv41qjݦN3.$d?̬0F1'eU\扈NZXxLQ8Ht9l|u&UVg˼we >h*:W$+ M1PtK^UE:9_ͣ05V61Vs#Y% 1yC=ciT.&gP- !\<-9{=͜ &]!&HS6Lyw')z˿q^G.!]L o* ceHX"ƿ.d?>߽hR5Z=c** lu8jew(Td)>xC֝IEHV'Pm1s՟b3TGn'$aJn3} /!;0-o#n`T⃷Sp9j("թc ?끢E5Co>Dࡡ )i%owX16i`x6j9QFqi]Md-rXrb[WG،fݢ{[=T3o`vvue)[ WvΟVşQ%5Rϑs)M.RY6- ~ #4G⒙}Ss>oCJ,J3-L - HOL-SMT_ExamplesH-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: cv{cma[> ?T%Xբ}g|$TX*ִšu6 7\T U@q1]`5a%r5e5OFmA#>pzWwFՀ]Ff,> ! -A9 {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/markup:-;'HOL-SMT_ExamplesHOL-Library.Type_LengthPIDE/messages8-;#HOL-SMT_ExamplesHOL-Library.Type_LengthPIDE/markup>-C'HOL-SMT_ExamplesHOL-Library.Boolean_AlgebraPIDE/messages<-C#HOL-SMT_ExamplesHOL-Library.Boolean_AlgebraPIDE/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.tex@-;3HOL-SMT_ExamplesHOL-SMT_Examples.Boogiedocument/Boogie.texV-QIHOL-SMT_ExamplesHOL-SMT_Examples.SMT_Word_Examplesdocument/SMT_Word_Examples.texG-=?HOL-SMT_ExamplesHOL-Library.Phantom_Typedocument/Phantom_Type.tex L-G?HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Examplesdocument/SMT_Examples.tex E-;=HOL-SMT_ExamplesHOL-Library.Type_Lengthdocument/Type_Length.tex M-CEHOL-SMT_ExamplesHOL-Library.Boolean_Algebradocument/Boolean_Algebra.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 BJ4gYZ$]d .&oOq֘$qe#EOuofmEsQ_]LRcD/T!Мx fs WEB8]xj;jNҞI~lk;=9X*Ό-Cb&ŏP^{2«:hON:jx][W1QxW|M߳Ťs=WKQVٓ^rcv+6F*b]>.мp>W8{m0c}=/ ~ѓ$V>W;'֟8, kMy G RQQ_|# E&>7FkbUYP^l$\ag?{2J++oT E~WgF )E0@]*];}evgiS Aw|2&tK˲7&FeU XF~faR l y+}K k\2q(BoHҘzYzUGvb)/g;ء٢"G #_vVf1 6\CNvt)0 M${ӥ%<EϰůQl)In 5Sř$:pUJ8^\\ Tݔ`dnTߎؗN3{:hܡPr.zbGy$IlqLS<&ѱ1 'RD aPjn+t[*4 =o1? >P>,cEWP@'O w[6;=Gaɪ&hAiS.Yӊ,{VaI^ #[cjM?jrҾpjR"|p`ҦNQhҘNa*W  %8$KvyJИX`d\xV8Sn_) Va1-@d~(p>72M p01IқɑR; H kE܀R)ٔด[Fwkф J0BJeKCUz y`R5y=0KwB*L *LOgD۬?eI=՗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ʮIe`҅!v2XŝۋvҚmre2^Z➎ۇg2Z6^6OVR}jRV+ & i`:L˜4#mlt {r'XHhgV7PrNЮP /}?z%Z]SDU(3moϹ k4Vlzc-HauLs)Ae)ϋ3aX*Kݡm}T%a&JNui -6`lGةTtWΙ׹Mxcc-?%)rZ'[;>iC!r}d;`c֭HRrŠx;ĩn)%!IjjL""?/[t%&!%TԌdMidZܯ;y.˞d&J2N˹Pw4ҏ_i؉]EGo1zKqixII`Sþ!ۂU횐mk\%c慥yC}LIԷftg!URVjh(ה9#*!(.Ivb55 U睍Tu4'Ej(\Qwgm畀SQADQjyPvpӄ3%o AL2} UOxqT*cYK}Je2Xfɧ3 ֝&Mu\-B{9 ֊=kRAF/l!3VIkʺ 3QN׋ R(h_DsXd@-%jvσ :9 Y~Ж,/hfh\WQ}҈ZAytDX+Ԉ䢹뜋}s~9Ё-r7PkMʀFE=e5y5<rRNύo+l?Ϧ)x|mke!#χz#%3:nSMeR\IG^kxh0]wޥ飱{qx.o=S5^CI;t&0{B7;| TR>+02M"t/tu/VDVư.Q\ G:y5/m @`n/$u0B'/ ձ!i~KcL]4L*qPCqR%>ۯ|kEa7hBч"7+k,ʡ vC٦sSR M4ouў[2l Op))/Tm+v.ߓ EKX\J&hc;:0nЁ2h#-1sITW _Q%|敌aц4(Yyݐ4A*ZhZ&K"gPEW=`l^&"kݷ.5KRBY %"ۄL¯]E^jPJ N{\\!Ւ2X!keOJeP @[}gye+zrGbj u+=-A+;~ʂ-a!f*$3z9ݽ+mSp~TfLvN`MgS,3vt0])z1lKKZٖ۶Eܢkhl知QIvU"bO>qoL~(.s}ny x/ڴg,IX">`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: cv{cma[> ?T%Xբ}g|$TX*ִšu6 7\T U@q1]`5a%r5e5OFmA#>pzWwFՀ]Ff,> ! -A9 {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,=#2' &-`WvLq2_ߵ wVvgRP`LWbR/ÒxSH7 5`2 ˢڅis6`!fg6ԣHCo0xw %-iYXS?s|䱧l ϸDZgYZs -SK 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 1T?WTX*:gc,p_0>c.*?a'RоY[#׸%\ F `Ro(Lly}ܤ,mc*HGB|sZWk#\l>G)- P߽f5pڙS#Jg:Kn7B.o2sT oy+`P/JoQW%:@/1 :d!| RD=tL1qQlڎt*GgߪCM P#5pDſ4 )Mfn ?p惡}K $a"w8-9=3_k.OR"6ˮqBom󰟳g);t&. ^7j&ϭG%l^F H**m=- NXSZ fSͼ|Nz{HFt{kgw?U$H`C#P :5!NftU:P91dBE ě6T*A+l;Em30^[.r X+f0dv= *p|Ue;?7o &5'ҟhh;X&O:INU b;4c,VLWxpjG@8lh.IG/u_]i@#/ޑ0Vۊ>i yMȡd"%r]epruѝ[^65ٹ% bߨ+GKf_.YX~8 e?A}]Vˤ2Xa%fNclUc,M? IIV<*PT]4s>Ra+B è/+ K놰ߛt3# +yUw%T_Fd2t X$@Л,يӂrSeB*dh5ۃEe&|Ұ0 Ga^Z ~=i)TԾqǎFE8j7icB}s6-Kqe(GPT\e&Ma\&wJ1c>#85nפ$P4vPE8;a1M ľBFޡnα{3?ʦ}u Ԭ={:EGS (mlZ .E^VgqӰO_|xnEf,:pi*}aar^ |>#SQBF?|٨5Y+ 3_2a)pOpp=@?޸~TZLy}93f Jih(L7 tF/z4 I\L(V:{;ƪҔD"vmةãUG/s)^\E` c11''Q%˯J\?XR1jl;1_q , R.Y ZyBeHCEb$oo2όO'ϔgNJW99τf⭏zBuö:L;!OU3pؚԩ RT.1 Ȍ㜇N$p!2]QQ2uɯ0h zȨ#c fM^̓CԗL-J?'0zs4?@|"2Mt`pηts eN-ڡ讳YIlZg(юOІu 5Aإ,MK+/ zf?^8LKQY!TxՉ0OCr\t5et ݔ"Ri5;7MT{JP wDUƽ.w;H3}Ql-<vqIL_0,KƓ aZŏ=PtM9z3iBgNHAxI+`+9`Cm $zvVs ⒠VPDZ~vF/1-. \u3pi}#Q!oo _g/?Ax[@#di,'p㓘ӎ8'QAe\Νj*_Ǔ0y=x|a7C,&AAC M@| p 3,K@&Jb-1+xڙ% *dK1nKMaOWǺ]LE2o\boN_Aֲ G/溦˒ް]٬w%)D._v9ܬ]ö)q'G#=BxuNAhlbn:q8d-AOO҉؈9b sڿ}:hdJ uR'u0[d5:&'k͎7LoYɠv2oYPe}vsdy]/t!o̧̤nk4 nQ5>,r <`U}"qH}L؋ط%d O59G Tp_a]Jx&*Ob~zI)أƈ3z#%~.FK9P$ۀr1 |g> I]^ SOs +!iO~C *Kg)r<~ *+`]WPc'Na-[(tgFdu ӭ^w4x<$_FUU:ʩݸ(Q0+B`jJk/m&uR2fMؽó/~`VҀt\}^i@dpՀ+3&ٝ8ӚE@Fڿm((ySUYd8,+y-n(nOlVm B}ƚ0!S~4O bSHqӖ'R>WG0R47~iʅ;r,xY&3`G}WԞӆϝu܏]r鷥Nzb!w:L%I[q?oPp$l"S;gb)9:6!3D9=qݙ $ L D (|<qV+MF\L#:`̤$$W#ce 1?bW:?+5h }5]eibSQ_di$AHydě0o8DK_"w ݗf32畊:|lЉޥnj+ʑXOz}T4> z = 4>Tk }$JfgYZ  0"| -;= tHOL-SMT_ExamplesHOL-Library.Cardinalitydocument/Cardinality.tex7zXZִF! #q]A-MՋhvG"uIBm5 *:)HԠt,a82g%&ܱ@[g gp;u Hߕ9?tȠ-zb ,Eo(i' ڞn I.P7 T?~.B F+][d݀IgUGJle6VATL|Ck ~}'%B!; iKשSlS ÍgzS[eܦw;Hďj%KdNMIƴ Ն9Vx0ðk*/'>ӆ#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[:|&[zaPrքR%6(MxL ϢAIӚKzE\Ucqɚ^\Z">s:rɒ^0T㚔M0[ f4-B$b,& {䬈`ZLKW)ӡDF*ۊbA$ _29ľ&`SӃk5F{v/lD֭qǠ/lf:o06weq;{VH^ZUJ==Y6E,]|M!/(I&3yI<|VJ\^VMcJxw,֟P5߃гt+&J{4Hh S^)_v Ƀ/Ȋ6*P5LRt8ذ?hOy =Dc2]dɈ6N"/cnKmbRs.#ǙpJ/s=#kjz^VΝ6ɊA_j9 ; nʳPA2:@.cj7RgKrM|]^pr1G3J݋IlM4%nH8t4A .5 zx|X} vؙ%is#f-YAv/#|S|{O{vfe @|r*Y*m]@R\>P2n/:Bѯ- 7V[L=9R?\܀}^ vRmzWgSHfy0 rG chƏoa)f|Q_N6[~!9)i̩#4ޮp GeLjDρONL, j+!6W&ZNtnZD jF968oFC9l ۙK j_mf&gJ?ʇU>wgUqGw~( !Íd (*+!Ρ$2L Fɾ: n&h2#4Rr8;)Bȁո/гo^؃jErȸ5DkFK1j#FY?s1?v֜NuY9dݗ6'RrKJzz \㘘VǍID(L_f 5Qy4&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ؘC {s iիI\/j5[ӗ #ZCN^+&l󅃚`D{)xհֿrNLԺDCӌ¸Cz<&CjnAՁ~_!("7 y`_9ÞAF нx|ۙvWWU chKtv[|}-&zi~lk>N>jXSUvjZ!lb4> a6rrMCqz }P;;PͲzd:+ES8i)ֹ[oX#ݷnGs7INmW3hZ*6[i99W셈w:mnı2LdA@(XdWmYE޾]\޻ƈ5k(3t [ ؟ (؀Ȏ OY98])myw{ #Qm!{МHJSJ:Mtn1$Hyc 6A֡Qu!WU.F`2㭯 qeZ]?9et*҃]ҁhNV"dF 眾Da:Dz㱗ւ s9[DL+6$F(LM#v5``fGJ\tϸ^eAQH}r> lYwU^`sGJ< 3W<^Hhw]4;3܆?W>^ǧה1B5m(vȜ$PSQ|#@`%8fp5 k*ѝ(<ǭ&7BwzOpK&q8(`.GTt* @e]+fkܑZ"i~z3!RTM'*2 y;XdM}悭t np`9l}Jzk/ "{x4>fPmU.30‰qe6Cԑ|g(#Z:B~DX?_F!&ַMSp5C^B9_^g=\lGyLV90~z=&G1@:Gn4E&dui~%/߬ډ ]%t!zgP\\X٢6{`8|n6T d:m⦊FP(Tę2^3W[t odpD*hĆuAʡ_dch֎ ] =LP|"PEo2&B{uNlxe X;䵋/0uy6ݵL.ʒAeS'}ոj5!mftj{C).'l'$`29/c-D }V CfapF[6f _E.@+F-1+-0>uke/Lz%bիO%{qENHq,3)mU"c٠ǛNq,I#:TWt*ۣ?"pY8jQjMG>hK V1imU;?(gNm#/DE=P-6k{‚F6܌pYzér]Em$G8( 9D%f38C8P3 UFF:qQjٞ]i`ϞdF%u|⩽"\Lo]؟b}Gml[&2P92zk#s\eOeL n:~ HȱxQ?)o(d @G9{@Z=ĪiGkU÷h=P\q~ NIWKJ{06kIeSJp*TnwŽ á ǚhz@XJ'P:Wk(J1iFt5L/2@쨀~&e5cDN)~K0+XQ!@hm<;mf uf: rU0ZzI9W8XR(xyjvJy7d``Bޓ+4\ʦgO`:O0f IOiLtfzXoF'uk.!|B/m}&D?uU! z(AUbD Srj®eFeG pQc{nb9+3>jaf$_N,Q,О/wE/{j@$2sfI쉜tҬ8f&IUF0E{c.zQ' #d=O@m Ӛ}G$qV{NK5PTEIQ6AT$Kr5$.LHɥaݑ=7084؄nA]SNOIZx_8645&5:rQUP=%obYX87L.#kB{^ ׂ.Wmg2pGF'/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-t6wu{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 NN/ -;= \HOL-SMT_ExamplesHOL-Library.Type_Lengthdocument/Type_Length.tex7zXZִF! X ']A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VI;gqҚHmh]aA J— QEW cn`e5}^b\I$Pum8<"\v*Pi[OW2v4e|@+i׺="me,9Ppx؈] րlz}WːHr**fRX:U{0(87M ŸRvh͢l^S&wîv| )kmj0Qh>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ޱUgYZ3u Ĥ ;D͍Dl 㵛ȖW1~,UZMg}q,x› oȲ$DnPʴE >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 % h%@-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]?WgYZ -=? $HOL-SMT_ExamplesHOL-Library.Phantom_Typedocument/Phantom_Type.tex7zXZִF!  ]A-MՋhvG"uIBm5GJ&עDrګI{ׄ)C6P{ euYugM)44\'BYF˟FsŨ#Aޒ, 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 3 3:-;# HOL-SMT_ExamplesHOL-Library.CardinalityPIDE/markup7zXZִF! Q_@] !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>pkS1NG -S' HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Examples_VeritPIDE/messages7zXZִF! ]·Iq n[:|&[zxS6A[遟!>PZ;QvFj #XM1l6*Qs k%&dvL~QԄ4t( .OYDRm;XQs=ZLF3[Ra3xYQ!EC`JͣR+ny'Å7t<. BOo?G;_E>寗.= V_7 `nXDmHҭh, Ue39-TגBw`E1S} F"rEw1,T[KV^(xw%5q"fJu~@&oq?Jpc^L0БpK'z5b)sr'p" -=? 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 (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> QM\XQlJZ3]HGI]:ͅ 2I2x,ɟNbM<3zǺͽ4C:4$M*E5"" med練ǐg@# !ni ƄU|jAβ8F0kӯ\]|u.0%w?hژ<M5B&dv#ʹ.; F^[eGDxѼ?tY.I}$;,7B^(뤘%0r&5xVCS`Tl͍ n'"*6UE7;GgC}~M$(vMۙ{c (7nCtwmxƆTI{CK#(҉mTY<0T54 }@/Jrk. nrLJD:*A)o ;Rx +@p%7Y,ɆFIAEQbpXfmq?)W?]+T&tCt#}j]Z΋\u{@Wm;pLFi(-JUU\`fi1Dt8g4J?ozJɡz,S+P3XĽ#oV540~_2uL6Z䡓]ß?s C31Ci/_}zQF47׊?=^IEЗƷ؃syB0 o>CYVBUnYn H7PSϸ蟙NS&koZщs^}V3RNcCsgk3IBCVWb@V Qu[^x~>;.k|^!cUoͺ >#͉CitN@zۏ%,h#ډ .rgw\H7hNJɠQq7a(8Zyd/ G4~pk**Z~ֈvEYocq.T:|\yK'(8)QZW QB֢37FR$PW?%nR[!ou` &ᄬY;1*dBLM Em 2J5.n|I~M+f~bЊR;\"v[{ڃO19!s3\7i 6G=VU+Fpy-vOnB]KoT9mhf _)%`-UY t`"^q_z׳$UI}В쏹H-# 4V%Yoy6ю|fڕV 1S2 jfC*4Uq})3HZCʲ;\bJН2+2{ @M}3/ myV3rOEXcܲp nq+z_ΪcS܀az*0`>e?LZHo (OT`[i@EяmiA#U7ms < | jfd7!,%J"xm"6k^HKЯ=l>{:%,UҨ?y2׹nRP 9hb aJߌh!ocj808 9)-:4 i5_-(>T"?˼:\ۋDiP4ڕ:$"ʳԞ3}WesugqHfMB?tadAmw%;ѝ*MnLJjWm69k.`٨ YCFo-PV>v nrnMw 5Rw|e >9BZ H!6IsrMA]?zdFޠQL64 +f{L!@n !u^4 +gCX"MIryo95zO[(AF$7Q_lvtelMpg;BKзY2;#,j <{b} l J![9ⲩuZVqƂjTm4˾D0{lsb^BI}>! Yhqf?za5?e#÷C:Ž[EL`5T_dkR)),tt**]<:s<}Nd0$CZ?os5mDD܂9j;8fi7s45Aɚ'i%$z:^nzƁl4Gn>+R{ ᕙ+xd tDH_H޴C[C2\?SEpHË"dfDZܦ~@6@| ]7uVu[QH ,fym0W>}uY4 'h5kxA@ F1N>{aq[ǡ 9DiӒ5w NĈAH6Z·guTsF&d^@̟9d?F.eCά]v?0fFTIѢZ >(.%Y{Tn@۹L3& }:,1ϋ5}#yqk"vjG*fc Li[c[Շu/ á~}c@xcV(D5Dߢ3tgGH-Z޳ jz!+]}(^k]RQU?!`y$Ιh4xIokj\,"E z&u_a@"%^&:NXYB^`ޖS!G]M!DZ<^\6Zs]Vqgċ<:,’Ͽwk(|B;:C\1 1N\3$|Ŋ{B+ |_y={$l.<#Rjv}:.ɤ<1HE<)2%$0.ѩB֢GaIT;%Ct :\kz#U݈gYZt)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[[-=swr^cEHGI Q<&at qG?7Gu~m!ɩ\sd#x4T[(& 'n9زOƴ]ΰ㡗utv#~/U,`*y(|rZ[SY:p]U "i(R"5fQ=ݙt*i;~%|ӊVbD3'Evl0I֌od|E. yN8x`IlM(\Xp'/D8Mb;u-~EjCDdĻ  HPK (ShclOfK e%8P?@2Z=iyã?mE/O$sô(Y7hGJ^Ve)B}^vjߙ+ nãF.]%??ƾwgR0 m˖kUl61; e\ AiiCiEQA d_0du U$Pc֚sI" ]aTo `X?49w;%P՝U9cԖu`EAt&WE@q\_ l- !=?k# ʜ ,(`BŢ[qqe 9b g7|QZ̏qt_) p'(67KnOMonJcQڨ˼D: .2M(>dYZòWAo^jX{N#a*[nԬ=oD_WJi5ԵYxc)Z)I MDfV}/͊kHG,6 HaFG0PX@;~RkDahJ"" 筕D!m~e+0Yqݼ~(QpJ//@Ō2}%0{`+g{dr=፩Ѣu_cKk'b 9 }@i}3Y/4wLϽ&3͍,N#^L'Y:T W3@U!7Z(/FTW˹^F"nOn2~ wMBN.zzO>Q1rdhjO."C4.h)*Q<#MAkϟlodD*77mBKGJMYOXiEqHH4SorUD<%7Bٔ$@eie -pB5arΐy\\^N7[ $/}al$ pss~'S~X~16GP6EW5vB2HhImɷnpKcɐ#2B8v? E9BDft^cg#ENlvlm<׭/uӍ'[u62Y%0)l~A#'ܬ e؝# K]1i$ڎ`Xq-@H\4c_8nQVb0a$u П>oRѪ)2Xۓ$mV[>U( WfmR,jZ;, /cx J47;g9m  fඐIL{~E4EѳEʦxU|MkQƷ0u=Fu@KWl<~|qC X܆L Q|UXwU='=߰p>lTx!*(pIʿ$hwj\+6;i}\DžA:.ӾDn 18m)U4([PErAt-8'UCƢlr|= j4Tv]X};_˽K3hg'NㆲzM&Z+gYZ QQ,-;' lHOL-SMT_ExamplesHOL-Library.CardinalityPIDE/messages7zXZִF! $ 0]Άxʆ5.f-9 rq9oʆZAkl ׫ lp:"5:{܏6?x "6`wu7*Bcuȭ<# z|A{qMa{/PќwY~l} gD\g x3nAi fD;>^_%QV֛t }KX ^5zr98; xD5۶\nEQ; G雀+HzdߨLƜ͖$gmB6NR*ZL9=0ю`Ā}:׬961=I0oI9:.ofIPiIrnlP❄񞜩pp3C<3Go$mES ᒗIE!͌BC;n]&.ILǶA\1//W:ETe߮|}ڠl{SK_™_0Ln],bsxTs`NJG]7yPBs%~Q$V^9K @h){ "yjbމbq}r') j'-oaM5m/ϛ{n] ͯB4(3[2?mn k[/+(}AT:-^wQZs)/UG3#wOzMĊv=PLVhv]!lRa`!؄rUWi) zig6ȗػf}3tc9>PbO7"L̄'TE;o w2#K}$ÿDi$^ӀH&v'ƙrjj_"x5!WhHGJ˷]AA/zl9s3 B|NF}m`vܥDiʬ2T0 ߟ矢*w(x59F\3EePa?ui.ĩs!*N,%ҫLD{dHdXT37_)76^A)^])ʷԚNnfq a4qdqk67qUɶor4dF}8W$SZ|3c]i7&ȫ4 j3әÖ}f-X " H<]z6Wa}Lc71ا聜z*UrVj2B&Ό`3&s(+JK/qnax?q|U!3Rc=2%fRC|MHw+}ek 5+DT=0 2z>/rkvvO ɌلZ-ս=TOC9M4}, 6AfFau7E)zT3{! U}7 >-ΓVհdPץ}{_PwF) ( @"B,~3S\]*X7gj2C/n¾;_X6 ҏ% $mAphݙζ%spL3{'a吆1kM[L:D=# joT9vINIf `;Py{SD/vrT6{B+u%{-t0;s/(8~|ù'?Ń_'c6cX 3gdD7jٮ. s{ ~[Owfi=RGR_Od͹DhF'jLtMd4eLx=/~HOm\??ƥ-ɖ#]y {볐v"³ %^`,3eA QN.w3_i CKVd䧾ZٳwsSZ,ndY`d 5:WKx5<-RV(ǗJ?Ȏ\߿-'~3}l'ޭM* ǍgFYZ1 GesjN~ƬS{ͦnQ ,ԸY(ʞbȔ*m*&sH`O߅07p 6;ğwKL$1n3kaHd[" ܔeJ<7YӜdnucs)?.U^ м26m( WZXCOq[:4G(?t%6>} nV滬#vZjq@7ݷ&O3ԞmIɴYy}b19We& XL,rR8~S7V(ޡ8WNVA-7+ u/!HKhdLS( z1[0;e}(`#-:+ Ɂ7>q )]mƜJ P'yѰO2z>ova4@_X`|{9)wݿY #UT#aP}ֹ<?ow]f{gŲ qGu˖g DlgYZ.-C# lHOL-SMT_ExamplesHOL-Library.Boolean_AlgebraPIDE/markup7zXZִF! 1 0] !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:[Hpiaf$7JvDұ}c3` DRH?`|d|m1?b[3ɵ/,RU:e>1YPMlOg𬟸l$qP^[BS-{}e^9oro&n Wx,LzJ|1oa׎Խ2?zƲ _x ^ +Ę wQj$˘!rseK0%نF,!jc¯oX|=9XR 0Z\{oEkCavS_Lj%f~ إWfPZ!l\% &MsqcyP[8WZF*4(ޮݱ'r]yO+b.n^y0QZ+b`aj'oA|Lw4.Z(emȊ'Wy|^~-tQ6@Q-\\ ږ? "kpv##Pc M#ԸY`^lPU$nI>U@Y¯EݸqZ3u j,ZBU~zsߘ2jpK@BLn7F g/,A,8Z]<eVaC8k##8::$lOR'wUk _ܭ#P&ՔAі TN4L4УqICS$F|ϿVYP2ujMUK@257Dd->޷o?XQS"i{doF+'a,A+ FBȎ+EDZR1692hdp2ۯ8׮Jޞpch~l,l_C //t|cm%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 t-G# tHOL-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?:'Eaq8BQVj#\b]voch'c;|VY(Zî5衿n5 :~"eÓR~in&1H+ ,HVo)-k:/u䵮"fɤ]KS|xx9t ̱gYZ  '%!-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ʇ4gYZ-=# HOL-SMT_ExamplesHOL-Library.Phantom_TypePIDE/markup7zXZִF! ] !M젗OFK?;uL2a(v 1rW+tJ|W⒘Sq@9ihJMx!e b7['(N:fX?}Ps  bLcqFn?p.e%3%JА//QWLr8R.G֖cÊK>~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$?_}kRi^Ƣ3wI|`}m KwpCs35[GZ X"4]LD]?!rXto4{Qj#0"ءj I1ӧ -\h e5A#ȸbBWeցTyY.2-;HyFPs;-I/SklۉC\i)>ygZnsoe.ӡ,4B=KDGcˌ;VV_e%J(q>QߏnN]ݼI.Svz-nwD'?c^BjV;Y8}"N5+NQ$$7n)a;}0Uh̑Y`ϤnХr5_3F KGgʆ ^s1kZGAuH?%%.' Vtb` uŋl)^w)*_KZh: 1 82W6PinN3w6]#IRuϾilhM%~Ëj=rVzNLC5e.DJ~Ww]HQ1ct􉭣OAH& pM~נ4C*nK7Pl8Z{1 [rY1ZVVWgUb)TZ*&7qgC{AE9KfEꜬp֩ߧa] `~Yw0ĊU[$uÍIbmG YcXXLJtEyJ@nc/_M'9&Co 10ny}+kJ  B~T]r2v{ILT 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!afau˰)OEQ29i|\LFYg* *ufK23(;Gr-UR\bAFWCCY&@};>.f+!_gYZaءHb_ZOCǓ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 ((U-=' ˪U.;l7#0Vȸװޘ|?eC_GGLI%VrL '4Ȇ:Hn({Jд\|NQ=zЅbkqXΧOJ]"Eug<m"t/ sʣ?^ H/_Z"+ >[,{p~8n@o;ٙEE;M%s9J`2);?;O\ ͫ 1_gxxo-AܐmG{:h}y©A9v@{KCq'RXOU2?RT)ЂpW|cU(/TKgSwRƨN|/3SFWD0RLk $'C0GnbԖSLcF(ra1%}\cX5}aX鍙*/T;غ=.E 3'ŏy)?x'h.(ic:JЍxTJ{j0ӨrxU! W'g ـ /-{zC8X' lYŨUN$QBީ#x0BLʯ qw%{7dï][ucQr_0Y? 㦜]q^ (X#|i5Zzf(0dx~Fgz!DW\Y&kE6j7V嚀^cXC@Zo,>+V !X]<%wwxe!@\fLトV(uRmiܜC̭l [%z": pEιh?'2;~0/ֻlB!:BrEGnP;ecA!۬e6 u( &!)3Ck4x}3@;BBB4᜾*?;dCknTMH'bQz4BmI:7U&2Хݒc 2<: = աKfJ5ek3(fN}uYzA4LzkΝ3MikDH Gkb)#v+6A8.̋^nzOHdw NmR$cF'ϾBU.zIKSCeV`;|74PgGWA4B+KR_"+s#W^;p۷Rw`}¸#DC m\7'QTX5&:(%te2ٶӔ}C5&X8'mN69 $|A%nKYknX鮂!6iЛAJwd: n~V3uJU91}没+pN=Z/C !:wAxFA&UJp5BsH&&VH,SZmS(%$gs!9ȩk 䴐 ׀I۝nˋ7'oIIM췩{S{rlml:RNU= ʮպujXH`,b˷W:MӘȟ6;Ei߄[+H/->qNm6ECEz'NάRڤ.ԍÿ?r@bPeDεsRwM3LșլJ3?=oeRNGiD1@ČۏKGy|_Kjİݧ'"&Dxzu#-SMߡե"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)0-W#!%oN ,0wmqX 8Oυںɧۖ7q x;#cсcԇUm(:"dUư:xwߍ&10בJb r8q҈S-{1o#V3fPh. cЗ̭əZɻ}qPWOڨtAAؔؾQB$u.ί[2LS5op:wXKS6!f1KCh 2UMU.2N% 7Ʊzs V}E( {+9 uK#Wu#\Gqe&^}09wWɧ"40hC;%h,9&W( &^FCz F -ZZk.U5W>1MzJ@"⚞7`%}\wAfB{Wp = <昪Q &$1dY)~:7O1̦VAWjFxB0 'ppz ec@G2iq a+$3FoLPy C+"j:&ýՕ>V@BLe]MuWg(^YM1j:O옞 y 艪/&dw3(Y@W"1׭~pe)?oDu\bռxG2qxV*m!3Ě{c3Ge쇕C:yY ]>љ7$1'hꯒ֥[T`˗U\7z>m`S'ÕE^xGo[Eb5JT*e:zِ@;K-V0]WsfC 72gz\4z _y&neV™Iz>e,1Dr !omGۊ%׷-z'F %{ىTy5eK)̥usi+%%Bd:wux<@|VB a)$Vu 23rNh]/'eqwEx~gߝ;)A|ۼHD \"޻pBahNɼ_>TnbߟJlbeC\Y#FRN|G.2ji ,h\pj-Dǰ5&Q:zV{Vկk-d@|k]JQb3ۆbOz6z03XcH@m.=5ј"x>{ Ŕ!X~Mm=IːSDޝ[TԿ ,*3ֶowrz;Y7[W+B_Ok_2}qٌ;wIӚU"jssgXEoFD{s4udVeE&DoNl?r 4aO <MR{6E_]tDוxD[֊ F>Ҕ-r46XF3klݍb*}1h;9R»#m7N2ͨ!;yQ,X]F!8̤t‰h,Nvޝ[U<\m;OHwa=gxÝñ+:l0!('`i0lpy:93Y (I1,B?gM# 1?SGw[* # ƦLxr/e LK%}cνJ`"),Zy#w4W{1@;v ں!6g]8VczY /m';Z7E=W9&ך-;xA }WHكkfdʾȜ< F $94o[ݦO4u2⯸tvux btCcPZ| =gV;C篽pgL7!)ݭ&^5 @1Kma.=F#hD74sTb{y̼y{ aJw7*Ld˴n' lDDD: ):'ܗ"_'Nz%gf%>`WJ81VGgC بxx}ARC@gEf3gMe lhF(lkӗ pef'սVq"6OK=` 98{^"ث - b:ҖѬƧi@tH!cz"(Ssrx/ح! Y&ݼSf7¥~ЍVi Ѿ(pbQ ѿA0# ]p(;a4T ]|#ʤisfuꌯrk~׎P۷[u=‰z-%ZYӖC+jSfB!nl1?lRPXgD*N3_8ij-M|u{.#|[sgUM͋PĨJh>l djҫ=9qC\Bf_8(o3JqMFA/hH@+cC}2 zD >9䈋ߺ$ab/0Z,ցPowrL/?6E>exN37X#e}B<~Re;K}˿h_?nKJA>^TQ?3@*őe0^2.WyknYs{X.U I2R  r,i&)Ց#Y_)'4{sPQ츯3L&58zWgN\Mڤ3Lw\( t9a q #a# cT(IRGQoiHu8(ScX9@"zҌo=-]=ҙ"؏ݕBPZ_{wcJ D(Z25V峗u w'%Y?Vy3K-(p n=(Kji ?EVRz_:dՓ#p{Ec }Ǘ)њ"/hg~n4 3 JI7B VT"`_& *~n+pz6Y躂vxGংdkB~j2qm1$t\LZ1KqzzНSmݥCm'~1{0x;bU7kֱnsfޕ"FQvw"1 \>t?ӏ7:JW6)To46gc?i-H}F5 bD 7;$5 qT䴠 A5N)Qm b!"4Nc pIU'H\Tgde^"<_䑊B [> _@Ӈ5:7Rŷʲ~ @J `N aԇ@ +T7OySQRU%=7qlr5!"(~VBcT (1,咣T+#`܋T]җQ݄ʺbI?B(("-;Vnz.X7q# w BP:`x@+ n`75?]7!ޫb6+_H)Q{dX']3lS^?YF!'^HWbo椔*OVDvE15V|VBqbԦ:̆)gV2*0Sm[xE#Mކ!",0$ӕ^f2ٍD+.zpb]Z8pZ %)ڧ}QxIrAˀѯҎ9r(OthR5 ^*Zh5'_ Fw%H{Ʉa,FBWքP;i2#M*& \{g*2 94Uk 9S5d0 +>8=n0/n U(b"" 9mV&UW9(办x"r0/j!3pj%fȞk/3f@( ^HA9Dse]}*vVk6@3*ҀB* Bm3>j1mFz|sh zORAxK|{@9yg jG&dG1RP"~Ρhqj鈞+e4HΈv]+v]5!7$Q81t р%S.ݶ/p md(]1jyѾ֐1(7u_tur^ &_yz;{X91h)0(.*vB)|fL)o+ oIʌ4mGt/?)_5qs(;ݜ>Åڠ]ZuJjG}gR/[ ğìxIsBD?" X;>. =ݠzg}q~[8˭J2X$WmvT&^w0k0yޕ7 {3\iy t.\~0&>#K~z?׀=(%UpA#cPt9ܻޣT"gVSˎ]q NkD(?^_M)SfMy6KHN]PDozR 1֨x20iRWG~f,۫MK Q#1R[:ލt6dfVf4p i\hR<$+'oׄKZSn(ɳ0T18=Nߨsh 9P .M yky@|;,&Ivw@~+.FM;E=Q,MrZ`<:XjܪeyÂǨw4l@o/rcaD:YGܩ% &eI>ٯ囊/íty[S,LQtA҉.`;cX\y~QI#L1IOF{4|2SU3b^½9x2f Z}̄͏z,4S#0h oDi0@~|d1ZaT(/-=!HqMq!V#FΊ_Ya}f0n+$Lg (s߉Lo1vn۰@ 3_vRSq߼M"'v%%hT9;ҪXe!*T۠Vqp͙TYUoJ*&od]dA詘̣DiכzVAoKv9SqaG}їZ2o v$9x/:HtP9{ɰN&ɫD(cH}V}pfU*"&]&t q:Fc*KT}P="H : l)=,[g ѱ(ƛU( n$_n4S \ U ">uf6nXKitd>?2 j8WJGr4+Oz`r*utTO7-[4q@ qloP@$kɄvaM_r=t2~ }4¼9 5q:YDu2^pJ'^Sފ='ɢf>\9v 8c/v8B^ PC8$)sјDYڱB>UX3=g,i =H;%FrTIb, ikRNaKA;dD/\rwyۺJ.%tQjjűYRV}p_e4|؈Z?3]PXQœ-'DɃX!hH<>|E4QK Lc29Nq}X gYZ ;;6! -A# |HOL-SMT_ExamplesHOL-Library.Bit_OperationsPIDE/markup7zXZִF! :,8] !L5ISZṞ`ӥ4">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ǡ50wx7nWsl$7 = a=]:̬B"3ЇAA#OKDcH_\S}\~f)G3*xYmػIo]IN6SB2ySdA^O_'𫣒OWge5s{v3BCnoP7SlPM\<Ͱ!dp^FuJkQ(Hwj V[^E#)v3d[wp~*Yd߮`cCs79-W{E(h^C4tp*M 6;KQ%gEr nkUe־,KIէ[7oW0F5ntCȎVkE@2rꥶeNW;l133~ڱ˖1؇[xxhS.'g4z 'knjkQ3'5eR[h4xq+9xd9-^Mx+ybp Oyy p[+(e" wԻ=SHufp%Mu04sAk4pa,< icKyUCM^K%平Fo jPJE$'FyOHJ^s}ÃN sx\$st:uc]$ڶ>g86#WB)*ޒ_76'sAQg@dhoAgMóBفT)0<;TKlP'T|*(W;^lB!9菃'ϥBQq- kX,|gpքud81$dP1u3 Y` ߂0>T%ɇG3NIBT6"e /0^U}GgvfݪW p=h.uO˒h{ߺF߱jwcXw{I3x.^J#ݥ_[݂yGIFU)d 2%Qe183[ء M\$?puz1U Wv_ߣ7)z}iZ /dhWdKe]C9n1)xqH1UlL^Yi2+ĵ1L'ԥڔϖqrՆy:'U*dPK2p`/w/[$I+g(ej챿ʟzNy @kTA">\&|edÅB'Y}y6#}ܙ1o\t"GqJ0:u4uZ3]H\&}^ *D//nm5lTHv:C=AO8y JyuOIWH -SbRN,K ~X.cT]UŁs?<]coOHqĽRd O>noUsa;w=_[]#eKI{8M ,R&ZbL,%JN 4s*}sX*@#1 fLkAp+TeLy7檕 <{[vգ &g_7;.1ehV:5)E+T+Vl}K_'~Z}@GL(d?9w  U ;qʃ{R*3o|"yd&xwoTte6J =;vj"9°N=8.%K==懺>n]8t6UXuV%Y޼`#+Sq QذXH*%y <@FGwZ->1b-RЉ]8uMGX6F19$CC6sk(YCoa⡾@UǬgdx*[) ~[zs\`hxIyz|tB/՞_,Θ9Eӛ&2obϝ@  H([0X a__b|[1}\n )Ad&:Yh)U~h)kagK9qw江$gYZ4Y-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 .]SHrü)vy&YEژ2Lb;]ΑX)%gZ P_4lkoW ꉅL<~~ITEWp̓c lvY`>HqmuU5hxG 1AB3G}vHH|xOZ?2?[w&Ex2̀FDzbqft0d\^i} 'E h\)&ץx2שP SAtIJ@רthbFD9 :$wJZ2=ڢ*0x룗Yįj_HK=w=)Q{`Yڠ?86~6NXe C_Å;yV){` R{:z*L,WJZZg!oZu=xt3A1v|XnV|t]uL?rErd/;X +]nmU2@n3ފ8N';<|vO\͛^hPYτw>"&VPrB7aN(Ex h>R9Ϟ"^?MU38>}vsJ|=FQZŜ/U 3Omp\Rv=ŀQ8F%0߀L`{Y!=Hٟ.<5_;wQz7EY\6ͅ[dF'FyBZ(*5w-E(5Gr,9눂7;i;}Jw͋ $Cvʹ%i܎euUª1#VD5os2!6¯KrM<ѕ'4TepVzW+cm!,x|>ѡ#cA|늫_H\x>d6Ob'ȇt.-QgYTMzvKGvԡE;1컠f+ʔJ.$c).V<7i MLn^D0pg׳%3Sl$X SLGGbMxg7 69腷 d.B%ϖPȈxH76 VNBWă7-GQmGd]< {fD[7=e[6#!S- se&9ؽۘ굦ܵ퉵LV̔9oa)n5:ӉSh LfK.>-yLGNIZ߯QAIu٦1Jn9}Vy-@ABD[b3F@-bnZuY$-d!R=;Gۃ8˧[Htɑ@`I+yU  ZO8)2CLp;UTwhQU[vj.圙m>h!%؀4TrŚK [l $Sl.4'a%J&ͅ |qd1v!H')L3wb k1oJII}^(:2{UuUH6 _J%=T 7Sl 'nj+`ԫZol{`:B@^%F<G5 ^YǪpBXUxm˵aڔzԞ 퍗sL0Ļٖ:doOR|ذt1[TADx籘VN7O<w]Y z UA#[z/XW4SѴr1`eV-$d 6-gڂ3yguP`gm/E.eI^V%/#ciʚŰo%όӀEl$Jڢ ٥6@"Rq^֤T@RAD`[hg+\h<dr81"W~J~:A7(~_hK4E.0M$ 7N,Tc~|L]ZGon͔3&ppҿ78@`oD"k(צpq0kŏDCIf20>ij.m={^ Y7[ȅe;ѓ`o^pnO(?I!:08:fzs͝ 3Λ4㥆kWp[!J!.ad A@ vC)V$;HoߍV*6x1J0_}Z3SsކYnA.9! \bWɃ߇u-#7apd!N 0i*VF7 u4Wi bxfb$#'<(YBOKdW)Ō2|a7rK^R}&Wjh2"2\.O=h&%$Yqq/ |&F>jsk_DE Ne `F/5:l]=Q%y:[*rb%lNE}HLC ݹb蟍y{rVdsVn8^$ *e]3eNؽ杜<( 䴈Yߛ7eqnaC۪M p@.c4hznF2DQn֡!z{Q wjP9Pq31@n10FKL.Y:h-ab+4+R‰v-Ƹ|Ҟz%7*헛 /P_ &A r7;g^~}nCde+ȹ#`癗KbP]qfV\đ]JStsU V "ۓ zO> ^l(%Ȗ*@:TG+኉ r ^O LGRm'x,`tHiSnŞjrl%29": Oʧuge-d̟$P{8һ32s^ a Qv;<U@"":9+՗wo;w=@hq{4QFlbWuH}9#=ޯ{Vj*wx2N-q<ۂ ?BS;`8竽{|Vj*B$O}E>;\Se|Epd\77; PKmm:51OXu'=Y?C_qBІgX7"[XBDQdtg:렗ZMN\F΄l AّmR2,xKq(o 9&6WXV3Y0ŻbTI]8D]+%ĒuQ [b^)JS3dygzQlOoԠ7jyoWb$X*G;0nzpLc҆rbjWhwş"S@΄! QiAeЍ~D <@ _)Lܨjgg:)R=~=:/ OKvƏ|ʯ֦i({Y8:یm*P c%ɧ86PS9בn 0޸YvTz)|&\*5eb~ce{$M'ρ6e&c#a&-Q;Mܠ%и@:-Y+*I)/M}y>{m)5PYD6e1uϤe<,4a4lRmMr;$)veT׷ӌБǧUNEF: H=@ Dދsx?Va(Ջv4ф,C&yf4"W"iTgJ' 1dkY)HwsVϧcr ?7UM`qr9V֨b"ۂs]կF&)w˫{l`NUmK,$F>w[%> '۴[=oWb4sB?Wem*!57.!0j\/T71`fzw"0U.Ӿ%Qy\91&tuY7_p T+P̓B&&An)3gK۵v\mV?9wdJ6.H@ðK ` `I1vzI`U%E3ڿE:0ԢNB=gTT u (T<Q}rÏϪyHZ.dr@)y~[F IjǾļ>|)VcatɗRqflU)B$tT;w^"^x~.RvR0S@VeM+ T^&$,%47.`$,0Y&F-#SN)"lQ^&M` 6Q@#jY-3(?cH' 4^c !9X{%P)ۂr>K([D2CmzEJbp(w3 %g0pAkE n/qKULyo0b*$>whzsDcV-4ӦE)J4揇,7QEU%gUA zg-ٍv':Ey8wZWw%δ/vP>կ~q_hoLFK8cI;\ˋBEpg{KŒ@ToVbHY'Ep֯:NV]k rcj/8ֽ 㴲ǜ :۠Xqx~*aӜ LLysu_pr=ӴIMIDDh)Gx0#p7q-0`Afw haE?!6q [?})Kˏn!Liu^('Y2q/$!Jqj &1XN =$Vc ߰ εP ZOVY}N֕d۬?;).LEr\֠.yrdf#w_GӹiZշ8B(?Kc{ptN&2>i)UdDn K$kQf5D!`Ooo<o[=ߟv &pT>l?+XD{o.!y0b<7OPd"j{S'{&@|ԕnl/ˀf{@^3iȈUI0BRtSI ini̓6v6u'Kּe&0H;Wȥv9YB"-ܪtj%9\sAESB啝+Ԭ3 3yqljoUXbX@y Zj(.f3DZrTkkrGB=Eu]q4ꛢF|GIC{]VQمQZ^hmPBGDzG Z}T̓0qm[{P1\퐃lC!2h$L|;S b} \DL RDY:s;hA^fAXfR\:w)x>CԔL4W[spb- ͗*AfL[ {6#pR2@o;МEP?i낝{{\Lâ&=+ #,4\;gz$qs;ʲ$%B:r;Zڠ+Q?޹P>;H͙ vm4Ų .C6߾(!>Fy9cK{bQߎf1 ܃LuH7OCЏmIiwެAվ9tR}e-{;;WDгߌ5kC>5بzi`^ w1gĕ +G!I0g7.zb'{NEGo_0٤ea;QB@4GOg޿@e,^Oοjf*:Ɯ՚fgNsa8M9ENuF{;tuOZޫ&Ec8=9xP+a#I!,a=ѩiWeIW+[\Mko ?޲b1*Ί6ER^PI1S"Pƺ>3:"(EP{^&9?΍ Fz&֯c,}p<)#\fm~w~1i8$uAsҿ`2/1rzitDl;+7 m܋jBcWRע PAӗK'}]mY,mTj$W3-|²ES<~Nwɺ95bE|bՐOW3l=[\}7+8B^dbC&$+Ś3Gӎ!Gv(ɏ^;ąC<'ӥ DZep brY"i"zA 9MA r{ T\5/yR>YOϑ~,rp flY^ra>E(8+@hm~G L; ^T9 wAlޗx1@C','>cG-<[w3L lFmNkϫ601zٛWxk g"-e9duOK@Ё,2 )kmAhBjmS8pBŅk TibR@/Ґx4zWr:ǘ-n?S\,W&Z,tzb h P%2~ ^ǥ D$t+ s^[7>}!AK <ݬbN@}Z#)J) CӣrvBRm \.7W;dE0 BبXU+=PcgNyE.aКl'&q^CUR 4Vyղ}8Xxu`5N=&U+}!'&Upz'_ hJib1qT}'Zo ն޷wFk/Vs26'PTL6G#ɞ c%t2WnvAcޕ!*leZC~h0|(>]eJ27/PTCY.^yY)-o[\VFdfkCG;wYoe!GONBr`i.+ڲ]ȒYVdۻNG9=$_Q^(]pq{橂2[]7 YIeӡǽQ1eX3z7_ۖY}mOh_7`eT:h?O_ukP xWkQ>\eB]{oA_Ki|A j^'ǜн]&f@`Zwobv:\3"|(e@p7>_Lr,H iBifkGƛWubMcd_??[>~Ȼ#5mđ$hs3.Y@euvjTL.:Qpۧ4?B?l cgͦi5'oO&n -.:xoP~_M0 םݶo_Y!c~X'Y*A 8㜷YbќꀵG'95YE1~xY0 S7zyV;zBZ38DjcTiϬ"$P~$ ^R?lEr:Y/uA0^Ӿ{!H1OQ^ď˨^xAWp@Mz[ C΂UP*ɱzIC[`oL w.Y9>D (ɗ(|8ۼ4}'@NV%hฅG;@g֞H{BGQ30rשkU? Q?? O vE0-pYͦWHDCqЊ6kc`ZHR1|[ᄋ<^Lxi>&I)\&{BP x7bbޖ?vؒse/)vg8. H%G}mYM8Vo7b_;%h>H0ErџGP\UӶ D!Z6}٠z7W'2`L7Al`@Wh㦎ӦJp)ejt*Bo݀CTN6::aEB`W1z'6+A;xJ +{,=p&LV"g%. ŒyxEUIiYAi]6k]WvR#IeMe< 0:xZ8{e ('&sie;m օ+!?D]_(tBZ|34{k[D%LXX,y?#K/ zAxuHQ&~ ra!K#s7-ޕ8k[єѝv;-ɩ.=Rl0A{ۥ$ 7g韢]9v _ѰXlIPka p~&Wܵ &$G)7@m]\NiKsע`R,%S7B@Xۈ9hDٲ>: $Fl2Ԭ@%: E&T +&FzYe7}nc.vxL:-N䤖xp/ GpQ 6GXvš(f@QIRim|S0C+Zv$ 0sAL|2m0jB11&L`|0VЫh @F/ھ#/B mҵz~;a_֌nYL #rO[a`D9wx?># a8=Oʹu̸lG"]CCJ]}G=xKE>-l7cQ, [B|R_l$p ((oT4BcUաx4#14 գ/8^$#W`ʲ3RgԛM6!FB= wUÒL1rVǛktzD $;= <‹AֈQ46ht8K[ fmޔ̦~#!K+aHɕ%.A?)!qUX=Pp|ۮ:t݂֟@ZMnvKVys2Kd8K$䦜{MAOj25_H}F7`Uϙl-są*G3.R #fm#QF1=bRWniWPOIC,ܨxu ~SHraeNEmD|=)3"9?oo:#$aʩ0T\VE.g>PkN YyQ [!>kh~KO8hWS%c6$"UcF{'[yʳ迁ou}w24MlZ׎>2JY&؇`4opLe  һ ׼}VFRK_&GMa{4ZwxL"%1`*t 2Zoi4bGس{Og$4| w_{PT(8%q*`}J<ӆWFwzSn[N#NeR]_BgB5H3ɇ[44Wdx6eS!BA ìh0pNg00Ln"4}/> 3`j,5N;#s&ˠ\RsE ؕ?]bi4Dљ>s\]6VYH>FSdUP 7[P#hˉCck'ٱ- .%QL.$%aQaAOX9z0,{lj[,,UhƶJ͊F&M;(2\н _ԣ2!U`xDo菱,O* UhCLCE_ :z%%- ft2Ytioi?8;kio~])?Dfcd9͂J8/ڽBV%dDGIG}ꡌF,ND bCQx ;x /46˒VeAV쭪d{;?Zn1R,ЦݝD,C3Uy_}.)n/8/46tm4y| "LNG1+ZLWReHKl_`"ӯaͅNL_C莪XaT)K F|aS[ -|`h {{Р6c-`@{>0xh8s&OL71cX^$JUlasf. [lݰvqk  ^,G7;`jJ7-NX>=6 BY*ˡfQ6Hl" - 77_y4>^\1QdSf+a..gA~jy^+v{XSBJ!)cfv|i'C+ 'xyF9wsN(+" :5KyP ._b;׌m<3.|LU5T2ф ')PviW'4ot!?2PKPICC2mWI9%O-S(qY!y7a*"rN>~gi824 X+.C*I.D~K=CI ǀy|~t=j bBԥ^I LQ#yHA?x"$QLed~a <9ӛeM ؚt#X/ {<7"Gxd.hK2.#6!SȮ[Ҽ!NOό|m(}NXw9>ȯc,x +.?Gvt?i/Rzf)EZrҰ~݃wCا'=EkwIOa#\x܊8U"ɑ0MTȷV\,\tDax[woWwOR@;},{hAh@IJzIG&LK [vyuO8HqBF+G7=a\mb9gaᗰh;v/1\1&H4F6쾉sեwićU 5r+,4O$cRhIK\ G*ꃯjGQQmX|DtH'ģ|(0UO^6P+LxY³`.mZ\ߐj_9ߑHW :.c~ttrz.!ioK Ss X ׶KZ-4Dt`CTr ODxCrfHׂщ?+'>4`` 57J]-~vi#<_ Ù`M~'$@ wz>5gQOg~ 7Azj]+V:XQ_Ac6u._߈h3"[Qcu8̶U,((@+h%r&8>dFÚz7+Km LYcv{|kզ-ӔGg2H_G[kW"|`˄0 52wo;a`Lvj@+FFgloyg?]'46:Naa'z1TAm`8o4oN"H鑗}vUtBI'ezU{e!f0dh<,jy ]f߯dz(VW's,OVcz]S?$F)d{P6}`,;:ޡX,(&ӹ_qe_*@&U<ra/1}–Xq1g1i*J#vyHF˙.k4B3_C`&u3%/iN.2RHiP0Dț($`)lH:Gc)#7炏@_T]1) 'bov]A *&Hȴ#f4^,S,Ct:M?و]$Y݅E rqּ''cU L(kla3<=-ZUK;[ N(KSQZ),H WGN;sea 93s" Jw;XO?y vY`a>qa,0Yor[toJ|e65-ݹN[:*ɕplا)#֠`8 E]~}@XC6,=5za !+X1YzjT7LUFQapFq2bi>H/zٔQ"/'~w<=HGY5^1EӀͮ,kX0uGnR-C誅ҟn0WغL0 hFhP_o ]CWa"AJp[:f|0~Uf*T[KŀY #҇+ 14~}8Xۍ "MKE݁jms` zib޼*, z^}z :_zK)"{y 5ӦZf.Sy2LԼ5VL dEQy(Tj+j),)޶8D,poA+9 l\?<7SG뭸z_<8k_o}d}Pxd:Ѕpry AI#Yڌ^7~y蛊u|Y/4E[N8jP˶UDRb|rt;ffk:Aj@OKfHm fŢ(Cwõ(E9"uPFsx= ;NS+y5y%V;lD^xV,1MF0 hU,QlznօW=Аn 1KN/Fy^RҩK!TQٌIǜK:!HJSèw~x5TOѻę&a0?rD'YrDT n@ U+_2Ԅ' Ҝ7y7>.,jL ľeZ%Y#PzCBc=0)?}tS s^L` (2Ig5IrήEBA}yq\퀂FF{b!,87RP u43RĶq<b`2epq(ۤx{wq߿'-i呭X! n0A92a1V AQIDD@{iHf`soH}dP&qߡ{giߨ"v#R}Vhb 9hnfP"3"|~Mu[|GBaygK;k J)(Qs@B~~Ix /,8$8،`j+1}ԋ-j 9g7&O,Ux_!.I{:I>=q>4@ Y`\,A.Lk smx$G}!;fr:CK=;г{0AI*k`GEE2Of IL{1&;4}=. zAKk)u^zCf:7(TFpHZ28 j/dTyTpK% a+S)vYUifGZ@ P J Gky7_3ɪ})@1/1jU-N{8J#;w*kA\bt4RmV=i!+#,ݏȪ7#vxg+:6Ɏ}ӣ߸]Y,X^5Ƕy2Buokзs7 b0dމ?2Ԅdj>:pEBCW)V4s߈B nr|Wn=77`jGY}?@|+F'uK-M MQ(MAVEx+X0K.D `Eq̭=6Q*OK =>Gxo!3 u=ʋ'TJ@ "{e/Ok2U/eM :T̛M+] i4OIXYtʴ?Oaf}U%4XWv+0 \} k>μ8n&YF8cBay1 s-d dm94j%b)A؄ QM{C|qMp}.lϾ~x^;N>Qx`>10E@P?6'q:-Z+?<-ǟp/%MԼ,,-mu{'P%V#ljnbh5iSjܮVNDdAnL*?l q%$c-H~v_q9e9vۚ1 e-ħ8yڔ+#W]]L[).Z 򔉻 iV `P>;1%5\a$ɎwLQHv?h?Db+ @5K[D^ VDhUl? !yj㺪b2Z;fV!Dԯ}`tFif`G Ni"ZT3Z$i 7M|!^Y/0bj~D 8![pyS gڻZ.\BXJ; 2+B/_&aX~H}} 0Ѹu߅\Dm{/jr6ECIJUw8e($pZOC맛4C.mUAE]ذ,˄1Ƹ殚WMjOn ??f}t =?0J*@WTlzSuݛl*z2F8K7$ZZW0³=@qfVX2 @rwxP<,KIiid0̕+g/lɄ8\nO}b\,c/ سs;XngA3h2 +*4T!pӉ~JW5|h[ -qtOЂp3$KȣR%`R kp\CVtYKG=Rý1ȆT/3r4Zy "G{U VՓ{ Bm2y@n ]% 1OQP؉Xk%^x\R߳g3WW@^[vf<4&Z~KҌ3.{0`[/*տ.0m,3PN $+5Ql6^rkH/ł(r0tP}Uejcz%B&mHPMz`[_B7А !yq a>11] eųGjI` ^BDfpׇV^KҭTgq-&5(Gᠬ-xˠh&OQy}b7&;Si W#')F+]+a,7(X;uen'֓TX(ҋrܭ#;"9ĽNs3o!x& :lй,$jneg XY+C1Y!(hkQ]Hypg!~A in5G|DB~p G׬Ea_ '[%Ue@)*:o}f;!g2bgICkD;f$ -چ8ǵe(GѻXamI}AkJwȞ1MX1~j\թ&s>l!kWy7~f&? n_43ȇ! y+>UY1CL5c>ɏ cd$΂_, \BnXY;!W}+Љ0Iֳ(ѻ!*$XZ<ƠۂC$;՟S6վ ~-r/$ 0 5A}uؓm:2(l .iql7Ƒ8RFH6u .R7F%=Re kf7R&~""N~hi-r螷wOdp0~Cg!CMaP_l7iâ8"DOB/WO%).B7vwm}RH/6ૂ(Y;WAڽ#L0@v(B4 d3bWPI.ĔZw(zƾ2]^JK@SC A@yx$eB)D/W{S_V[Hޱ @2 `؝'߰ĆCi xNsYk-eA> ft`]YiM4$yk4.ߌ_M}~엍O 򐱃M{}0颃.;Z VS&l?bBuݦ5eȱW,J/ɾ-* j(a:YXb) ^2*]h. !w()d{m\ Uk~!W9 R1&>,t\S*!Mf %$v4.PR 9T3&)E$A$2NeHN\a c$ GJ1$IG4[]Z9)26yz~!zCnelZ+=" C9{s`Y2N]/ C+ |]+N)%bu5^$mT>?\ziD&[[r :M ([\I9#*d&I$ߗWO7\ L؜ i8wy}IGhNB [#SL4O_i;yN]=!^]^H#tk\Zu;$֖ktyO|FE6Jy>8~'A]JS O3B/8ll`p1Ud#2+% 9\7e@`-v]g6k];k,IL!H(Wn{P@16O!L:j9mfG +{EC 2j&Y&}8x4wcQD lVف<:PU޳w+w־|: ꄧ Fvɢ\pz@ E婋70w@'}+O ׁDYViDވJہ~qi? &! O )㈞ab:3+SfcT}nClM6Yu`Fn`zˣ.hK*5 vϵH$}:10ܘɿ±^H%6KXpzŒu61őY}9)!ZX8>Ŝ&4:p'f7={y mѿ[)=ﵵSah/2]N̶$V6dC &2h̐A(=ӑ(٠aw C{-r}60D)z2jlG5~{$`D#@$ Z,cbTS,KF?RAFݷ#p'dn?ϿC/(P7/Hs~]2+WFa6vD"EkZL\|dK7DxYєAh;!Ro ~귙b,VR@A;[8G K7 Vu/Pf'8P ?汀:[4TQg:;GO1rɤ¾Ǽ+OXVF*haqy c7} r∛`[o ]'݊ jWXBKTܒ-YHYQGɇѽ_ , uYC]l d>aGҔlV*9r*/Img<"Th -DY=Ԩ Qi3wkXb1\MiRT }/}Fl5ѿ&Oy19\"J }Wcg`l/6&22IqwcLWU`!# 04k?QS?Akb~&C## "gյSS{N!R:čp#0)\I-|?X9 \ߪK(A]gۼQxU(Ms<~mpN0"{ďi;RSh80BUAFNp_xWo{~FGyt:){yQgL?#&NҸe0r}Eb}r (*W:MR*!d žf[ɁoEU4I_1lY x!A~%bk14Ѹon72vԁal&Kɡ̟$'0%RD:#OeecB2m%I m\ 0*%sXKSCLD@>P9 aحY1~PA _Rlto| tSt bS `fDՌ@]g/9jzrņ̺X  #gtQW0{&ʦ@nkbLvENʖFV_aAOVXvSwH Dں/w` IsRz@tjWPӆmY1RxFdչQE>ED[% :/d7PUħ{,m\3ÜB\*L0d_wЙPYib,8FIUuE}y>/=g Q`3cy#4=ip+TRV ۍ⾆az kƇsV:lKVښv\s e'˱BZB=6Oނ93XY˥.E#4X@ >abgH[c~Qu~NgrzFn¼7dͧx8-j8K%~>3HSBtLuYщv6I<|A%0: $]?QȰn~-EP-4yqF\k  ip]y\ =Og6(3#lh[3,\(':RV#|O1g7UEt>GJ!Uh k׉Z!\?^9 #*_ĝ\x{M% C<*i{Ⱥ[Zn]r1J9' ̆ؗsxq|XT'lbB춧>f1^o\lA:O#+WhJ[szƪ{Ƣtwřd NB׉ 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%(J c[{5YfH2Y&![ C!qj)l 'z?,B[j)7E!. ƋppƄp:ܗre*V\C!o=zwpxmÊ; qRFNQ$ dg2WYԍJ>wll&ؕoH>z@5Z Ch„P~5P[{s,IY/ldІKO.M٣: ̓#:ئ 0@H/78F?ߙ(lB|ZҎJ{ 5? DS%JE DESV_/ef~D ZUmӯLrNG塱j[9fNZVCT:m$UL&^J]~ݷ!=d3c,st|>, .{zb|ޕ5Wˁa@'(A!Zk[W*A$@>#p&ޖM0-|0 +yrC N$an2/}6R?ȱZt67a#˼w#K%ҶЂq$x(+V4t]k9H6!Qhb[Za0eˤ?ұg V:ħ+%b7 3&Q Lص!޹+s.RR"1BU t9j+xq [v=,1wU]$q6-I.P N4-A!`rdx&.!%UvY2yc?@P}SDzL.Ђ9Bd HO,McDd {CyåRػ#D}=}j/svkXUNGE08K{\5376s;נ]?u mӸ8(Cs}FRn9 V=Opw$){H-VIH[|( /rKl`z%U})\ؔ2ߌYs;m8+\;!+g `hyv?a Uf^?c;Fz5yV* @&<DD > XZ ͆&mcD3}P[S^/mV偽1tݩQi+ȶCa כmZWct]-P;K%Izy3M9K2whpХz5J>v>l%*+p͈H{SpP*pXnl2J)L*:j'dg5C0НrB".Ze{SVyx?bwBoQ(8פX"IG>_fV-jQbnኽwJjݬD-tF`vx@SW`.Rی!2h2W=3#$hu *iaOV Z'/93"EF[ڝ|ꤱ&yKGMWJڅOVu㭉ĭ:j F+?97`d8nsXt:\d2b[f;mY?؄@/# 83]}?g&,ge[ꬰq BZnogGضX@oƼ\,Q粇 . -|tz̗6;4;xIOeW T-%̻4HQDMDwɾCǢBD6wԓɅ>3-Sqj!"Ũc[k[#U6Eo?;^Ҍ\/!f6)wpQ2NW>$>`r(꒞@B1(Y׵ 0dp^?(iR:/nĹ /ԃ8\:fIH8A.Ia]JǂmZmBq\'l.Ž}TaU!uuϲ ;m@sװ-6|Nɉﲓ8Z<\ ~D5Px[yAXt'(Ck(x KE)9@>2\{i&.8[QoS|s%VC0ġ@4}2gtr݊Y!aDn%~_/WYg8-F:tScqg&M~/(,D.aQwD fe \H>]LdُyW[!67"ʹQP>BB%^V\R=+NmXx)o*+TO&GѺa=B5"7P!A'-^7rL}$=$ӱ]ޙrϸ#m3fSMj6` `GI>VR1BjCply㎷ZuaT;R_Ҡ/qp %68إ÷t_,(sْU5b1=e-${@c D>0贤6bn;g驨̽Kvv8<uXԲZ≏8t%qlLdO8֣Ka|Pۇͩ6)UlާYscŨ<5X #: QuRIϬ5qo-Hǚ3iۛչ8Bƒ`" SF(}{#+. :vN[S8uMUyJj:v$ȭWQK@}0zZ(Ǯ=&twn@S)'E XeŧVpAoBÊ0Xxْ J})l5r.Iă)t?w:f~Չm_^K3@yѲuĂޢ5д}'-!JAa$ nXbHgD/tt.~1 }FD'\0F0miF3NNJm65N Rm@s hBslG0ou((FkA"O(y $r֘=aK7>%βe3H}m=~ isPp5~ӒJ6Wӓ"Q tjU% HX14&Z\wLL9~t@#P4:-Gz NKgTjT"LTGZTcvv \ʄ?|YtegF,$Ga{ nICt0Qbߑ{p))eFO8b O\jztoXOZtmY+VuaqYl)oX+ B+C gkgG[ J::ss0@bm} ' )1} \ 5H\iD`'@ sϓvWCɍc"URgf ]s_ɜ6F[9Ḓÿ<"PA-N0F>Rm O]K#(e`ah8k"\y _.yni|G{7E9aաiZS pΈ@7|K ]?eș+v_.;+{c17ԕr|הcOZq*2[4AVi*˯|s([Ĉ}72>XϰԲԽu HjSw7o! }eocZ^q ߅ˇ5ՅJu‘~hl̕ryV_$ȔiP>j7~/V(+ Sxn<++<r!Gթe2DQID`sku[JK7M訯כ6*q]&wIO!̳&G:DdãR yMyR^0:;n3F⵨<x?]&^p|+:aJGm 6>7Q}D7R~p2γ~|DUvւҳ+atGA[;,x^Q!\^-!J=&_&yVdܑfQK Mr"o>=Evf&S}ut MUIWbkfW@~)A Hc݄pWsg/\bʯz]DI޼z_}<3U!f}ս1P|;O[Nt'x9pjC[.Fz1'>ތcK^teۡ8JaM^3diuAJhOx\B8#oHW)!$=\<=V@ d׈Ն?k5Kwc bhʳÕxaj{O#ϓe2N["H 8fۀnHܻxWZ("T19>yG*fP`/M;-;}*fqt*n TsIovfiM(j&P%ϱþ)8DM1Ys/ Z bcP%׭'m#=c7Si~*)@H8U&=y%i'r*bdҾ(e h*o;RЫ16ު6讒w]ߌ$d%:EH̛'o4U^eBqW:wwٲCbPbCoTncmuw]@4% 디$IFJdϥx"a 9I;zkU= 5}8{0{!ƚO׈$O^81O =+ǷNZ=~計3$>;ÜLcMH$pW5hq}v3*. ?k1ppߤhis?AM˵*ӎM:YhA=ݔ=&Kvۈ^_6Gw$ujl\sы%šfɳfLLcכ^`TdI6:Kѵ>@O};J,n5(`|܀qXjsD l>RƂ ȽPgEE#U&+HohaVά,G]ٺ|E4~$s?RK@EFEY;G/iAF= a-{CcѬ M 6#`S8@m{) x|T o哷 eoX^fF /n(j=EQC@o@ $p 6@ipRMX@"~m[ ]EQż25PjYJ b '5*Sk/b+W @A\r*k V"Gz.ە{"=PC#I[:6ͳaRiXv 38ݓG)!¾fw馌)1ˆDyȡYYxs<RqY;/)D5lr'3uhkn_:™ 5^ʏ0 #b;^ ZǑs jΈ֕ڤZײY./:~'-aBjajBw_pk g'WľrDCjE( 9yؤMթXz ;X7е(MhWc,UB'%9}`ܔ:K,̐P6dqRzƱb/Y+/Vo%  HD.zk *>{~qoNloC\. %Nؚw3*M[vpdx(AǤ| j O+?J{=g,s-betXf5!4@V $@Hx'daP>Fzԩ޴X#yV]EVA#Һȇy{ת7HcǍ=RA|zN:J8M ByrDrՙh# P&F .eŪhj9zP; '^[Hx٥Ju#)Tg6/RpFq{Z'Qj`eSfKcSn6Y4{ijV0L$'}&庒H#\EvO.V]cL t+mўʲQhW8FBG8Z1߈^s+Ǵ }MH㿁n2dX uro*]8ޏ8.n] iّ`_ !f]ӘGi& ~`d?8gOIDt-xhV,쨃iBWI;1KEj)G~zzspN.RiRD B#ӕJ< JӞiϋ7x/krgdz BucL݈ܞ JZ4t_NTQÞhw.E=1)75כ]1j"?yH Z_,Jxί1>^`K |W(r|W${S9ۜ8b4*}rrEɍjf|_k.UU, %D:߮tw".ped@RZ54'K*.Odn1UxRt63JՈ u] M}ئ\YM.e.DK<6jB2e^iw<֠`i!8ZCv֮3Q.ר5IPFʢ8ݓ`W: OќX@*ϭ.Y5Ŕ"ъ|ekB؟ _j,C KPdzaC|a8& lЃ>3$) 3p)1B8v7ط^]~db^ۇk8"Mp qG1Mk>ηRa!.F݄\ZKړKN#1Z |n:[!>F-hnvteà|cCC~%wFNi+Y%wv>}eo@%1_'폭 %D?ĔP\IJH.hs:dsV##Zld x"d{ {8479~(F-g驈ƭvCb#f_IEV&Q4o=k$#ϏT+鸤Xw̝9]N/eBDV_BgO~އf?٬E(ӣ\;3O /NYspp֠[&{  H>7A/J*&¹}e"xFّě%ω d4`tOD=P>U*Y.Z¹cGЮDI{\2~w+ngbxDVaj/)ICԝL)Ȓƪ*EX'6ا̟3탸QʒgZ BFv-pAI;0PCVGjJ(8NS%vp<~QќC!v8 R B7ue?K՛33~6qO=ABKb޶OAxKDRoתtl'tpSӉ%cw]I Su&&OE@)8lan!R&a7. #D=nlE>Eb'-vm9Eˆ>u/A0<;T)5pasSZ9-jG;-S~SyިIgAg=5GX/Ϫc44Q6 .C |T!ʚRo5;:S䈅?.f4m{$5]`ڷ(?_ze-5"@ҭ{<-akg>מSb4ːv|(rs*mAU[&8b;OB󺧢H|=kZaׄXJG(Q)\Om nGqc0fz6 oO2p (65Il)M ^LdrB*b/^(+yeING~6^X}5`>ZG=XG@CCNCedmƢ?j6EOlp8X+\- wWMT]$g1y&WzlDg"l8N}uA gNȀ@i1g]] T~lu>EZ%F 1Ŗ'6;*@tFmQ ߔD4V\%%g~ځJc 2?@L𕶡}1A LH: b.iM >!'r ;néS} g޺ EXg^*+d9\uGs}%m걘Ό ]qBU=;w+} OB^QG3 Ѱ6VzM1LCM؂ҕmL-H 6L<9 }#CFШ-QY9~h.n+y 5yt LJH8)\m ~x/<@[^pꎪ`nxI&snR "QAݞeQh] 6//|4Z.{S\k7R.f/.J{duDFe8aylM-gz |:ZXnTv !}bCv.矅zՇ_iB•Y}AN6[ }N;mK*:(M$b\,CkÜuu X?ŢAu6 bӁ5  <=dm 'mSMԆ`2̓Jծ\L*2iD]gp8h]`k 6U/ȻZHo,.#N5z:~**-B*,N~^o%spO0 St;,? sw2C m#WgYZwuu%sJ-zv4]UM L%R,jo- {z?~EcE8"Pb`2І_\_È8^M[Iy;e q" _K 0 #b`q7mc9yӭBxoNìE8a&)Hc]|!-%tpq|_K-X^`2J/kRmP#\2ݰQGi9SMfŅo'/qm5+[3xԗcoI4@Y>qڅ& I+ jЫ$m/o.^Mo$Rw=7oL;怔 x;^i7s7{rS3SWz}ml!xH1H#Ž;"`(_?U1SZ164} [X5_M::rϡ.L˯40*nޮWv-` doIE휢i(_(-O2wBe{='!}ʇDjPVPwb"J>5UR6}?z1ܰ0ͫ XEyUAC`r1]5 xM.C+5*1u:yIU&f͂ Vr2^}!m7(RbAd_ۤ z CKuAAc@DYܟ=`ިT ^Jbė:h`F&n]h_cyoR,;nll)X B[f!FVU*Z9 48UE(=tgCGak4B/ud2cϺ .͠;peL`A9+ۏ~]6DRMhUo`V Q殗'.i^$QOoT@s}M˾Gbq p} 00hMF[6@5GQŮU, 䀺$xJ%0(3z,vpY{l{cVoTU~lDn⦺ܗg>RLt܊*J`% 8*\ ]?AA-%vSQ-wObĽĨ헦`y@xO_ËF*m,9+(Cow6o!k{2!PcXnt0:r.H)nl4TӦH\IhQm06p3ŖӖ["m@У (lU:ՅR~075> Bm5~Ar#)?!+_»,?*hnTP:Cv]Eiz4zF3G+ 85"zxN<(cunlHZRr|dPt妪ב̄,lc9]) cgfȴCdbaw0g]Qm^p. 䔘Xl .cQI\cXӋu&f;uXOץ f (\E 6Z]#ɨx֕rFQt>/|xiEuŢ&P`q6cB2_mdь>˔!-v΢ABqՅ#0-dO=e QD`| i)TF1Q/2{&,jOocqflHj=D LIh(rـNϠ&(; n4!lʍ)q ifE , A}1A{>g;33rpF֋PV,shHNR'cOȒY6 eD ,[tZC/e$.&Yr!-Վ!N6.#+U$i2am$s|l0Akyį'b/FCJ;N$#U3Vx.5tE=p`%+tݟvGȫ}giT2|=iF JIGJx$I҉􋼛8^t)V?rǵu k lMQi/-U𛟜;7Y^`p!|ћЀ$Lڎ&oW5-rUDܴbD\QA4$܀W]ta{F ye`ZP42zʖst E Eznf4qI}CiYU )^3_-[R؜<>haă*J \D(ͻ1+Ca"0FNe2ʼ@ophž.>`-T A?V>oqD=LUrs'tЬ0*$(3bIJXm4㙓]>RK!Xt 1KXlvqU!rXWA _`kG,IΝ ;+XYkhPhC.)"y#hթ mŦ wHxęKT1:Qn+Ӵu<>NW5`$VSqD0de_+UKS5rk:L@pN%z 'ש8 :gB!1QuFyD霦N .  #`}b<$O> f;q9~y0G)3ޯ3 YҟVnIr^Ŧ|%ƹ-zN,+'vЃ .Iv?h^3Jo>%K̄r)[%#Sӵ:Uf{# SڌA>%gڎ̤N*L`;D (垧 >7"oCK fT5ꋮIfѢ`& VLϺNofB ؐrJrdz6 2Iijxk#-X}ᅦT jЇBNy jiJe Ma8ț,dx9VԚ>qd$dFl,PX(̸=gYZebdb6cc041a9d5dbbd8e742a478d222a02b9154a52d8c32203b389e63cf65ed6c04890deb1f216f0 37d524dfaf95620c05ff0c9a93e869a905c54743