SQLite format 3@ / .C  B  R11Otableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "tags" TEXT, "sources" TEXT, "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 n-vlD4 ]/ HOL-SMT_Examples:threads=6elapsed=62.022cpu=199.832gc=6.5487zXZִF! _]ŗXiɟ{{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=+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 gF{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 ! -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,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 14&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  | -;= 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^[X3u Ĥ ;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 qq-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'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ڠYu{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 J-=? $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 =]gYZ3-;= dHOL-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.ڷ#ê\<-{$"3Du`C$ څIqByu͛>`B)\GNL[Hd8jzDP} F2u SH笋rUܰ|X̊T H~wޡ=cgyJ ڈXt)4sպ8܏[_nM8"dB*/qS$ÍuV*"6 HOhגO+<܊ ̤1{s9gYZ  @ -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 -;3 HOL-SMT_ExamplesHOL-SMT_Examples.Boogiedocument/Boogie.tex7zXZִF! ]A-MՋhvG"uIBm5I $׼2\be^HABp~mGqb&BR[+q0ٛ.c v[;ٲ/srjg>0Ҧ8YjLIH0 svF!¦w厈\N%M1)Ś4Tjju}u<ɕet*x08k ]!"W<Y($j0R5ë0UҷE-PspgϨg˅rL0N KK $Cb[Ķ|qw{/a/]9&5؜U"C9W_5/1C@HNvo eT#VL^w;+(#5Pŕχ\xK0trWA~+jY n>!nkIGtZl & 95QVQu863h'$>9'_9aJy};)xejLPM=eo)<8R;/D"F7.m.<xVf d~c.!ÐV Y+Wr=wV`qU]Jo ߙQɰ,C䟸RȳFi7 o6Ƌx-GJ̔39VdÂ@-^.W#;-׮~0d}5Ƶ##4hLnӕ~$Щ i Fn?y ,='|sYܻTz.ԄؘYk@@mӟL;/(b=okp\ }f=dXOox;mW&/%%Z\uʝs(dxJƌĐerkv37W t#u&GJKJ%nQ;Ksl߀%:#JU^gTkzWbPGuD݉mMd!cEpF}`YԖ"b-qJO>SyJ/ <bgYZ.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 (B(Z --/ LHOL-SMT_ExamplesHOL-Library.Worddocument/Word.tex7zXZִF! )^]A-MՋhvG"uIBm5̝:qIKY2്u0Mtdw5Q :pј@/>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<#hqJu 2 -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" -=? 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_ $3(NoV'qNf!8H7~3|]L23/ݦBB-̷r~| E~=ɝ©qDJ.bt% b9X^N/ @(kʩ WN\hfsLfyPտ|hyyݒ%N:04Kr;Aw[qA`NƇ&Q5+XR΅3iq}OpE[]v)㊡¼t$"C}_tjMU-ؽd 53k4n,N0ZPC= 3pP0K.uA:ݷ B?QEjw< tFw||#$Jj0҅,<[cUs9ThH}Hi֝DHkƻmRja:lܳj1- V7?~.RcLQDrE1n#Ơ3lD!V\1x`ЧiGisP评XT#I+6 6:TW_a E90qF@Y/.8qQƁeD7 F1 M rh!A<\:>lqfqĞEڐBKi"3){eż6VkQiLГ+<ϡ[ɷ_g9T5+NAd` {9 U>ǝ;o!eF?LZcD:$"3#rb ^o7룡5hrs~7~(o|a#zٮҷDs;\:|aĴwE"|aŦ b NfI#][j%;Z(op2x3N2K/9䷰X 4귥iK(hڿd$p:(wxIZJw*]!z /@nD}z V^c99>0d $XOw[xT:Ra4@c!QTk"=Q>&j^u[+~:sAqs 4Ƅ;~(yˣ,*niYyyv| G ̓J8ژI6-Ekh *HUQinu[aLx$SYNh%p2-ɔN䷟?-?hʡtLA&[- 4Lt3 lS7448܃8:lRF=PiTqg BʪԶLǦ  nU噿5=ņq+oukO`GVw +o4yFK_r:30Fk׽PeUBY5wf/g}U% 5|j:%`)yl<r*}5cΗnI Ge$l.5nt!ۛԖ7$AH=@ONL1)Dgp0*Ws_޵_A Km qs(Ssmbkd ?N)Ԫx$))s:wvP^ʁW IrcCuY] I8O~0{>DL)YvL{5mwJr8% H5#i'ADbJ-yӁ)FcFF;ɼ}2gsLnhK`ehjj=y$ $%b p`NzY>WIEX7ʺg(@ N& /-^nჰWwZHqà 3\&_ޕË܄Xs&G?ioV+y]&Q]f0Fʀ:ɣ* r^.فzEHu[Q#_ E qr)6=;sB{A>" ۩sz*$s >GP/6̄-ilG[6z fe>wl9F0A4u7X/=R+>N4aEœeG$cZ&iKY4w?^ʰqfY6*x/WrN-IvC8HSAM b=V~+L4qa +`uzf tURoR3s] ^[E={+'G0E{Fm uM}H{9"_+`Pi5PFo_D[#uSqUQZ۰0} #wxuLC_%YE9 r0~G&2|jpR0?>I@XlZ`ͮ85hBD]xҷϬ@ r]PV_tkb2d(7ߣh5Ojԅ|3s2V-$U:PF)Ddΰn'@DQv˩Yf ʄvQU+;{KKeceeܧ)?9(A;_& ՘-}d2&d$Ia~(+$yfiaaĥf|Uybt&d">j33ՎBy!{ȧ X{.Хt&b !Ol.&hY49o}Lj_& 3uyJ\y~ na + allz/6bogN;=/1VxM/3]W'D#KTdF203vj9'74CQk-Ꞡ,6L:q;3NcJw>RFUFyc=X=7c~,I n[!D.fċES+ s_ a!k\bC岃R]zsFFQ@snMXYAlhhSSAyZ+ B<!5]=b Eiix(T_ud O*[9(Q*}- aOwVqʙM*㜙>ՕS7];{*DbyPb\{?J+=h]KݒXɀ^1W"E%؟Z\$(^eAT+/=qV2KsG#ԥA>֨ a䐓f7+{qHHfBv됖*eٟ; VdԹ_FD4syl  e6L% 7^5G ~4rDIcIv`nufݮtUl#m{L5gLk7Y®2$G$T'bSTX2V}D˜I>1pwڐ,^[o%1IC lEZmm޶|d*t<蘥)i̯ҍbw=x$08 hn͵>d|y5Tkda2\¡aȌ? R6UN1ݰPa `^X|_/%y dG_ԔJymm#JM[ N E&T9#_#Mf|I!Fdk3ur9)7FRnx Hrs>5|bKH1TWokp>}>7K- 'V25GEYԇk~|C䦒Ub@w`e1Kt$]I* q|. "H3 Y]B.:·8Pș}w ^el]SM縱IsfK3>糙Vc]yK+Zʶu,/q,\P0 dtO0`@4a> Aߢs{t>^-D?3:tnTޗfJ@v'؟1+'qI\Ԋ=*NEQpog)0?!o%,-D/sWX] Z#mvٟE]`U/\ޙHJ(Ơ)R3M=ud0C`{\?axLM8pU,s9E)ymgEum6ܦ\4H;`Bq"D3tzȄ \Bhƞw1 4:VZ3D·[W*ͨvYy;hլ<=BTG $ruxMZ/BbeMY>36U^.S鴦rx<\4$!CWbPXw,[acϾ%r9zGeI)~qFN -sbrI<3u1Uhm>c=b;uDwH }#K5/x2ﱜN_|1Vrģs<׼3 d JI@ۅuMvڤk3J o o-{t[>}-,Pl ;8jM97o=tI\*z&h5,myݯJ&X)Hu EEcB-C^T;>o'L7'USך7ѯom,@{8XK檝(:4s`rKp18*A`>5?QcVZyn+L9Ud5OHvW" .;r p퇥Rp5&M`qUY*&dq俨^TӚ$goX&XqB0H(M?b&M KnxXL73Z~'ُl gX,=-4j]: +4 nptFPʾ;͔E#OCv)$!7v4L(R%,e2F/ (3`uzc;;J>!Aa'SG= ]-wAenD/cQF*&tO l[j CahȶxK8ޱ2&R& ( di*lE: ssi)i$Ȑ2Rٚb/Kߴ}y,ϺU'Y.A=fE&4wvO&W{w0!۞4Nn<17Z RVPs7'&]hCRQF>Sj#;mU8pk[/خÛ[2S*βq'kmt38ISs/Y|*:( J$dUV@W:ܐu!*69>TCj4H%,RIRE7jbovqI~L1u 'Z\[OmFr;X @]nS-'t詼V륖u&RtiST@8JWS\ O֘Onk-ǤI%{'|%JwԻxR[2}ui< ~IZ_cZ=>̜筙_u8MDzw1aHS)5 Q`M)"briWzJڹZ1q|R7jn>1Z\1VדM؜JU)Gy냮(fuZbyfy>V\)w#W.9K]/bP+b"4뵋9 8~!]5@ a&7!~`LUo~>1'\>ZEvx~ipuԲ+l @#|Z p+9Q_Yr9%g:WeNZ u;p/؜G0\zW.Es~3Jdyy#VP7ڿcD?¦aG=҅F0Y]f\!WY*f mo&0"O /*#Ipղ@!wUSZe03襶.uC:< =α2Ƹ^*"-/5c?rJ֘C|\ƒZh^>(Sɽg($Q^[(._9jMJS#j%*#5L#bi[z1.40b]nը) ǒGyhqgK-frh MPeuqR=(o Xv1uNП]"j7=U2f>8s#lSd _bd+oNv%%A؀?;ڱL*/;TqYכLȀyi4KI/b{qi}ȏwY-! mx{p&|?g64HVD$xFv'T0Ԓ/ƖӇv`A C0֤\X9[!;)[T|3 ǩjN^g0\l7"t (:GķЮ %foq(ɳVKX|VE[%lF'o{5v_A(|r'~g" V%'%X/ғɡX7ѧՏKcGzs}떆Ʀ1Ri}v%(+Xaj7W{FI*6nJ)19,Xb㷐u3)(V<>xEEap)7~4"JDbfpm>ub@5o0ޛ`%%s[ :\/{%K4O`eؓf>~$KIIaiV1*EX/{WͥY cL׼Q"ep َCm5;?bDE#j# unwSG-Hc0VPJQC2v [c꾙p-7P'@80jݐ3y{! c{,۷B@xYޣOml HsiiMZf)H<5.2`rڦ˄!Ж &IʻVSH607 Euڗ&T ƖaUmqFk5V#"uGɱĠ=DdaG%pcE2`:k^s6"^L@2,x/'{D \k?}Y}mɴ-&gyg ZJUs MR5aE;n?+&|!,܇ s=專2*PuI^ҺAMXF`I&e~>mO9a p6 0G>FVT(ʰє1xIBva}O@F`v&j=#GtsY ق*՘\ hV>:{D± ]?=۬^縪U@ߖ&LyjapO 2-uݩ(2Q=o>``6ahJ_{q@–kbcU$+ʐdˬ ZR<g19lR'"^:Ibpu}6C 3E Q$;TRu6-X>2]}9?|) gvϣc-qCcbD 3Y0=װԚ}r#EQ749ɪrMG"b{dvҿ2`:Rn{k#ix,&=SeEx'%OཿέMG/vh1dN“0c@\Cėc2[UwщwykΗ&k9*5QKAGWu+)v_1"tt|" nbQGɺsYGҭScG^j`=m`3ɿ$FŌsI tMm, 8HdZ$U幡!rC(ɸkQP,@pL5Q\B.EIC>gA])O0rB ,ٶ?28 cbzh.{gyl džSߺdieu3Kudcfi5G@%M[B8| ؑ݉)6c s C9)8]K 8kdQ6c)(|oyUܤ_@ྙA@鋮<ΤT2?syE;Gܪ$=ZBrT_a:ܦ?uM1twJlOU>ÇȆ@:Ij6Xp՜DC]z}^C1+}xc"<MN̕+ھe3"Ē<ʼh.oEn2AbE⼔.&PA0'x Z &ڿ0S3h* 9UL^OS}:D ao3|+iPA ajo]'V"o%5+W8\/f[6/DNz^DV(0 ^hԌfM cGyamM6c]J;SmNV7cq_wӅS@^06Bץl E7ϱQ&(͒|tR:U^TƧ/PRh+a-,=8җ~]KJVz0r5E{AZB <0KصXhىl.uymt5Ѥ(;!ӎeoħk0Oɉ0r>?TG{Սe uG?lwh)_ {{!Ŏɟ[:aq r<4SM̮*1 "U$9XR\6i%n僜6~9+[`kJߎz &ہx=Vt(4/8l{H'eq(-z_"0Bi=Ji pӒ]iy>,ot\oX/j6ԈiV}8;ŔTwuu`SH. U71=bکz$AteăUͫ 'p Pl >`wd|fX"B$6X?LVz~S 3h S.u`g: bQfCFg{\F=p =rD2RЋ2JZwD)VKXRx5=n`nA23EMZV&}ݚ&V}g=yS2 ;Ȑqb ڣt7 huPg*&Dªq7~pLi W;4<`5Jbl:U#UkM{lQ#[_lp*/Dܙ'iu dsN$(<(Ф 9i<^uw`bg}ܻfZWvg&f"AR߭HbS &&:'>/pR&,VNu恄JzE^uߝp1?Ԟ߱l9 1xHHV4 YɨQMzZFoMŗw- ƋpΌHg.?W~;ſ;Q7#xʫ{~:.ЫEXJvN׉ ' +_@OΎGw)a`C"F{,OdhuQTWD>!"Qh>3 h^ 솪n]e(S٦UșvA%8bİ1+v>.oˀXShQz!\f )(IXⶦBR8x@SRvc̼YѡļyF]UW=oUO=AWmV| e/xp׾ہL&q{5p N8<4E1k\ -w_ш)r 8-:s!iSuݹq Rz(M=HsHTtDoϫ'7&t xFx< 7}1_/oWoHjtQ^f\/ /~qϖϦ᥾E_M^seFm4ttzt C&-%AO&Dp?N+B+Y*UNil"b$NoXe6b t!H88؟YLt`Jar)lv`0+{ήI@;"pdCRroYѹmK&%X-h1Xvi{kғ)l^w*jQ3x'Uu"CWh;ہ7u_BLc &$9֜vbLB Zzǘqbɭb=@ R%xNG$o5)6+5ЇkDaޭy)&Hƾyr)F淚裰 ⚢e(UWG\TLI\;L8d< _x7o+rl >fphf`(:tH)eY(o=wr 8;W @} lLWKjfvFkhPCߠ9g)!6bؿ6Th؂hב*wPSW@F] MW9KY!qI0=.t5T6d'矏Bt.FxE, H6Kx–kuy!=1|gZ=!<|%C{B,}s6.H.J}50a(#_Qe>u9*EӐ]֬1;7IgZT.C 0vOcYtoTboV'ugTg &w ho;vY wŒRڻyfe%UBE ŗӅn_T!f"H@LB'<~ * Nj?8؋63D}C S_]RcQ`_X&/e8]ޙt6]U|? ׌^"!A,K(t~(q=5p\ܓң_r,caM`Q}Qp넿:J@Ht.[;r;gj:&GŠ4~#]^p/80Cހagn2-cqԈCDo(|A'vxgJM{+vɡG4yPy9s#H`5&.7H>f(]2cD󑌐Mz$(;Sפ>=@׎r`OFc[ zeS G6s}kℿKGJ9BM p zQ4jB'|vflDׯE`A4N('k4ή)z\m9zd&CCWg(lmm/1'P@Uŧ~+QއHa _~jj>6}Påy톸!,{՜2?})WqпZ^j) xĺc=U9 S< @qAEٵg! -H$ 4աS^U D$eСCM,&,7Q/ULO9(/.:tٮq)e};xeG#s:⿡\S6V<?/la7M߳y $'o ~ r )Fkj|QM]8dhƥKlXÑnq,|``(IxK\_nM }55Riz)!cg_s$;܊:g3^"#a M9o7n[Vz)~dlݤ 0o)[B́s\w1FO!p 0N'Vp, ?P\%JbagKvKpaKuVd2a4,;T;6,SY3ʹ,wibQ(^zd+A ֶRDay něK\`=1R 43K~D€va ]Lk  ojhwʃ|:,ZT2^MƨA N5\JUI4v(閱>dԡ|ʦV`$nP џVbQbs(Q,_=bvI2JC[e{]{m([@ ~*}Ȅ>RKHzD'9  7 68k1y]"9~9m)c`[[{W5=i9|}1ȅAyJ#l!R[>B*Xxj'.~dI+&F='̎M kbnW|7Ԙ+)5NO9Ӿ&'Hu.j܉?I9vϚJkZ69b$Q DKz`G\L`Hf: Yy ]\?$nn SvF']$УBkJ>⨲=Qu&)Ǟ+V z,ێJlaeynf*FЫfͮ@@q!n|e vXis'75OAxqu:\ BSW fir# \ c{jylF"ѷpm7sN"~ol${ԍ )q,(xy*1Wi!]` [pDx# YOlОR-a-eij`_v#Qr4ݕBo_(Z l9v\HCLRt. eJQa9I8-d5>PZ-'> cII쒼~G7D4_K\_Z lrm`b4IMyO{7ue./^ƮLiDѓd|eOs'1e X|11gh$'3cN0szl³Usm7-U]ON t-z/nclhkʲc9Dޣ \Vq^ $7jLK_I&詖8QT1{9$3JwSvdGڔnq9m5ܵs/2\)2:0ngNsשZ姩&_,2Ǿv(s0.a?E Br ST[/ ov=I#m ޞxa١DUuO woqե ɧ}UpC >%ӱ$`7AքwY$=H҅MyeٶN7P14Ch fOoGsζFf[^_9GFzt?#E&Qm#'a}Ieᥗ(-WB*MOڧKQDy '#'ޏ2$\*AG;՚-ֱ e@BhY@I#:{ejkBy&dUy3uX&X*2դq/S,=K /{гyI-?0vlTtFm "NzB:(l-L+z3!ӧo|=.M7 se61W|jۭ]@I0 ӡabp7<@.B(N:,^kmxyX3o^+`e\(: 2T>sicPW5|( hӷaxP d(p|0U5l%,)Yyaz69 z%<) .가{Ȅ^z: j>7.lj6=]{/aU0en3oR|= ݍ#EKfA?K;д#.Q K*o&PmS[\&KmΑ!w)`)TS2p>_6oM3 "tuPgiP~FTU?jK^{[UZ0(&w)(k?I#B^( O$T7QKN!B G0V̈́L8Něx=R`|PO9#ci;uN{%Y߽, ˂m6ʞhqi \Z`(RGw`7/!<5l˃<#)KU`RGsSh$Q TH +".@J/°P"J;1'q[JZ!FfhpJD=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íMY-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?KLHsPl@I=̈́wů+-^ #b /aXeD8"+ldCL.WMN`݆WBdF.@5 /&3fl3V9\lbe+@?jew+$H'#N'Kwbn:c8 -1W`iBϰF!padN)_ f9rCI]TR)&p'[5vH־pgD^ CF~7ד[R鸧?4ltiy1A!,L`&,ʬ6P2ec/EӸ&53quKxUG TM%IEZ)=.?;/V P6|~t$˩Wi+uB6:5=MxlPFjcvJi|R}. f2T!q@-#..QAsm t\ 3ЫxV1؎$xؼPEqs#{'wa4/!?$+S+id i"F)sc4QnPlF"j Ʊ*՝dh=sެ/vEհaxBʊYv]~1% zr>$SmufI)c6ZaM'vK_F>C?In9حNilA]Y=RUbB>^aoEUCSDx*QҘJ-`56DAqJDeY%?X; !Cn;^uѮ׈+j}ew!~(BMa+cYNy[X]j]5ϯD7&Pϗޞz ٕӮ>poATZcl9]T6noO;lP/K.|}f!ž.MLֲ7њlY({Y5T[}:G7_26RR3 ?1ߕ#>wcx$%*^U,eܼ׏x"T dkEzX8ik<Ú: %qv>QKQb"g$WʶMrG3=QSxZ >_+`~/y\.QAqMeݖeQ;݁Zx0 GV?f.^l<ǾȖѳ܉R9][Xpߦ >80u(u)4R}$HVNeQ ?pXhb0|69iF+!L47Ʈ.[w~dž3r)[U41Q_Zfwi"b[{!`GPGr,x?Oj pÉ^]!@4NOR[~ '^,}r]l{ilaBr:z20z#x;;ìe-5$.uտ}q~Tcƣ(g A6Qvv2G{9ɀQkܞ+$>WC-k`̚ЖS.=lDfj.hq@W X\<޲\P=gL mÃ52:L+^T MY/u//cL-Cdܱ1=!h@U2[ݙBQV}7a>o3aByvjFuDxEY O9l8Gk͍Anu 59}LEwcuc}|?!TXq(ٮ 䦋~fش<@yxo2v/1 m5$$CI8ca@^DpMĀgϰ̞,wræ-)#PncY$ީ8zݻ;~@!=Ş{[f o-)~4e-#͹,ϲx{%NԬlxo0'vZC8 d`g KMgP5"N=5i3}uFẎxu)4shWt&,2HJ]wNZ\?_amYsc!U %*m庺'&GoE\DΗ[ߚVGy)rЫؿQcٺ;u6x{pd3LbN\Xp v-ab8BI3րKeYD_8jnJw0ʩx8~2@kE u޾rp< cWJF;^ֈ'4b !+PP.(x3Y ~vd\k翘b{Uw.2Kw'!pai;72[LؘAVۜCUZm0MƎޝ&/`rW^l| .=8Erd-b`Oͷu֝ hHQ}w8M˕f ee!mH#ؿB$vF〥vZf#OjVRȺ#pş7/8 {Gq9i$H '2~|GlRX%6߳H BRLrf64F␖/Yt 0]l쵢ϫIFqJ-ٍcHf.l'EDŃn5KkYtYU1O ~Ww(B>ێ,B(?߆5!|9mQZ7 K iȊ}qR4pUsjZ6'XfNV.Z'8kUBf*#+ T"FV.Y>PG [Ƥ;,M$ 4f"ew 9&"Ru*D*h;ܩ NEpgDhU%O\# ֠퉐4[=>2G " ~s&]]Ĭ_&R~>߅i<8|gsDC0f 0pٯ95'*ItIL Vz^1Piˢ%Fף^5m,J\dX}<2zW䀈gYPAA Gf+魶4!$V&#h`UAy|/}6b,hD2q_m!xΞ'2 w\xgYӚ ;lb[^=Y*eHv< \wX'&tMfrR4]GL`Q#fbZK(cRs+SoYq77G2FT^[`ۗnq+꺦tCQ`}XP&5Po@BZ}PK'N!B+¦j'/WBk)Dxy*èV[ }7 ӭ+L18'<ɺ'r^:ZTY6+ӌ9LlDm x6n)N:Wy V00ee׎ _'P~NEN哙- F !*H _Bx!Nϊ."E} $6 i[JQKPպ*=Xp%H윂9K$y֥WxXJ{WL"+Q_Xl2$x|VåU7]*)srqRIijѾ8xI&s.ɽCwd.+?#~0hfu.OD{+,O0/H"F8ߧyPSjt kơNiv1NykkA[׼&A}q ;@t4Զ&:7Ğ@Y̫jlˍTWQQy낲;Xbo&P ?Ы~,:=sY!4ʢD Ψۛ")}<Ɠ>^ vkmWޠo07eXTq?E4n3.G}ٳreZieџ0)Rgzi*4X$ \Se4Rs@/|!A_A#] 8bufn̏ 2.fӬ=CTaY3q-\ۋAq၊g ajcC,y=;>j&0SC$Kl(AHqx$TSGV9ߎp;AW3ޗmNz'L}JT{WI-2/͌pTyc^վ원yQz$ o0bGvG͊e%oHO*L|\ȫc?T}S_!F|O n3<6UYCQ+1`Oz뱇48 @xא<#y'hCtSI!&R1iFͣb:Ub^j ׬-bTU G&D<W;s: mEۓ`' 'YV8-'x oi!$5bP!;h?ZwXf{E"z+5'I_8}A3C-ق>Ԗ#++ߙNj) zFW"t~+ 9.THtL!,bLKw\.(@}zykaT(d<+Hl4tC"2ij.!  9%O^W!Bg}=*0yE)'$y$]|{Lhgմo=]Cڴm++7KMqH$ uo?+l"1-B܋`i 6G+8G[Jj7XPXr'=Bnz MS4/q0,u$x?ewo>?rQN=kN=F\WaWdܼ,h6V;Qզ7r xk}_U. n/Z]oם|H"مhdq!c̍ؕHØa9佃/!u']AJQM?FRoZل㤢rL31P0Yz~\vLprr B5)lh2 *ԍ@uɒHnC)G c,.ܠW8m1d2sZ'!05&^K?XG׾C. -/#Qe@= P7rGla\"'cˈqe%"BsYcnNR܃{8;3ͅM9AY"Rbqܙn),| #nS}t^]8(TH4lZ"ByO82kBW<<lmԢZ0T s Oy]Ɩ'y~|~2nnuG)^=`iM_tJ 1nouZt^~h&нe,0֜wd"92SMrAJ"7ۼ7@>I)*wly}e^熃R--E60@ c|}A7@Q_V?+[%D+l hI?=-6ܝ6o Y#8q!Qjۯc@?bQ 5obԑA<:f0ѦV 'c"֒Qڿ9M5c=k< vd EAY0f>?n!`86fWcF%c@KjJDk[ei= KllC-hMkN&_(=|: >"d'C䑖]QWyGONGx\~|5 y ssëTFHC!49a>(̅OFDN͙oú5*>C+V*H1@_PNd0ڞOqҠ 4hmQ5>[t~yfV6}Тߧ O^3-#'G},zejbD7VǑ^hS:\|Lo3H~S#OW/c('\쎚k)Rm@t+yi™!grWI4JiޤeDRӐ.M<#@.C@odwM9Rut́CiK/AzUSiy<o:'i6^Wa'g1 qSeWb>D߱ +YB;L"m\I&|!֎kRkX L{>ko,;eO7\ң0? #ʞֈB2Zn>qqm-|Pn7L\omWH>i4"ΔЀ ཯#)IhRzY% \5Rr \GS~KHpO*ע#D1n8ww8:REu:}jGdx;[BExC.GM㥓h?Li@9:!z\(j+G&[QO=yb"Q:I9ZG`+UKjy r * k8}oX)VU0P 8, 0ײOOw P$<|ͲZF| 0ğ$m5;RlIXo?];sie!s$0h7Mū}a K(,J|Ю F0]BƁ+ cd^ߗ="Dxu\A9O)~늱Q zO\)r nJ>GDvr/Iӱtd;ТgFtϷNac@> >ef165碣*%8ߒeۑ%8p>>Ne&atʀlRPU 1'(=µVWOgHZH|n<7DA ?h_d1|-.i 8'2=2 6W\#5\uN9 ;MIGoE"kwiKݖ{DbU5L{{[ p\hR!R^aE,*ŒW;j;2 Ԝ CR~\48*TIAGuI|LOߋꄿɘ;g{N*[kIAq }#pEZm>_=31PPh;3.h K^88?{m3a9zK $EeI'm ^aw U·ηnĊA'ǶH2\7ܬ4 | ,>aTPTvx/4 AF:{׷?i/ɩTt=/KqKr[#{WYK`Lxn%΀-M E'AE"#:KCݍLnר20VGluNwZy{azvCVJ)#V4.޳z26b/íFuЫ"8ZJ#"ފ K=+5m%- .L6E iZEI?29Q/ ++LCDzeI4%1 "0. _q+!tݰO|7Tk: K>"ERQD5wQ/"ָ"+(4Fԩj?K㓡OAϗ}.K"+pB*yD)]WtA&ClNM:Ř5fx7d4bB- =ƭk$5zH],C4e{G8QαGfhhI|}(% 4E3mU\)>QZ6LFa,'|XU`z.Q~Qq!"cݍc&VvgI$ THyx3<^ˎ5Z˫\ uC Yߩ=*;^/ g<=J2,aQۖn"60Y۪O&f\mu%{̋U:h0aDsAE{+װQ6DޤP(Fc7B/Pm!7Dqd6fBǘ7WDʤ_,rksˆ=EC8'9Sq]qs$ah渲:8ɨ>/5# DlQ5Elw9_[m8q=c]7OU7':\ђH3N}bϴ{NqRk,{cp2s] >Cck/*9ĺecds ?LbOJx L#fT.6 .{I$ͺTsil4 z2,ip^9SH4>޶9a7_?=Y%E fp{N}p Mgwڱ!iPWq hJ F3OBl((gfi7zbB9a`_q:}@¦;2)>Uga\y8RXDx fx[O[il"Rs`cj\&yYzxhH"}p?YIeS*&H*? %j¼'%äϜ'Kz3M݇neYd5<牐_fd0"ױ-tKx+Ժ@Ė̘`)Z_0cDq ?V&BNqRxJS_ZȒL>Ef>VvmDB' e?E= ZPvmɕE:1—;C(K;nrZ $nJfߺsE/ڮf{> X+@Mhe<E_I. N!~cB}w K[ t;Jǣ*%-Y(K;D[u3HmȌ|77z(cLt^}vGp0 VLd.obHqVpME|`WI_uyKpyǘrOUww^jT 5e—6; NW4>ଳV3xTOS'KѢΝWijŅgiVНy-~1b,I,sL"ʅ.Gı P`y5&@d.BB \UEey:eG2rb}3QFD3iG9ua)=&)i|fSϸIQ{.t# (6tɕ8^?I_X&_nE:%?`BFSo+QVhLp7,J+4%;HQ'?;7RP *SAU}P,)F:To!rsB>OBY`|R^m@g*..1x* Z~? ъ~ld>,6ЪE;W?bD @'Ѧqͱllq~WvdʏE^E XxB)n4OLYߌNbAtѝe6| $[8$ ߚzh,|s0$Ghn[ycQ~ckQC*ZxKߒ+B*l#]F& =Y1۹@T\\*eceGʢPp/-zחkE9++ю3b@tevAliEDvhC;:"Y0@^.5sŇm2ggQGDjHG<\^#Ex=7eu=F C{c@v`lrIK@~K&ՂHHi=$(dIm)%lX[ ain!5Hrmp$1CuW0=M?<^GͫJ:0eNrst?2 _R/~\xRfnS|* .uE a3rjw WteWv$6lsu@h-{{l)\@ž6@E w%fE\e4 ӑрز׉o˖'2:EȃLP$g=j^|!'fjkq Y҇NZVppQI7c9uI5^Zr9zrjy9]ƒu/,)B{oDWZq M/jϋr{ G,)*~i@vu,7>s}R ûO@\mX=^Y#(QR*P> :LYCW9ox{ 6*} ^  q<4+RP&.=ogtNT}4f/fH| Kԅ0+pVugudJȆ4_[p0s<Zh{H%pyږRD#0ihZJ)}M$"Ȯ:H*uL Fv#zsĥϞo# EE}Q6@6z}8W!:l8d(0R);' s-tѦNe*[٬eh)Zx!` XHNkbU(4s_*i> -q(C.잵xeP}סO&4+@˹R$.@6oF+ И4O|xv%!@`u5|<@F=)j-wUTjcnhCyK ;J2Q *ĦKWOqWcA>{i2ò ?GF%n6t=,qb}QxIK3Gԯ%q3TkmG"ieНR:L}1v&^һ_fLזJ#Tvc޲ )`:2XsM*ZqrP ؾs}VKd)P"Ӌbo){ iv 'պ&A4dDRfp5Ƅ,˺ FS64F2XEs]Q=$O_C2^K])ৌ۠X޶UUL~f@IX-؀:W{ 6+ o,mKb: }̞avzCj]{2EI3XI4BSLw n4YN+:!BU%|wK[NA0'j4p;iYb%ŏ5g X}~_%/ZE %hj\K:l =UZq[GUgJŦ@l7C2MaL'wkpc7rH5R՗,qF5O%~־4!1گ=8b1cz6?L\$"עCUtKh+A[oNą̍-NuXcO&bJ|v[X !Y`+On/A 5{9Ugޠ{t>hDU{E;W!7&j@3ؼtV[F×IPLٷ'C&lZ81v_ӘĊ鹏=&8}.B4˱2Z[oe*ůɌtt&MSc!0Zt"jC pX]c.W X@bi%o}qBk^qIuu^9YQ녘" {S⍹mOs%}|^\[K"6B#X0OZmsL<*Tϔxa#c'z D #^n$dŲsx ~Mƺw!a\ǜg;`9CB_ɭ2` Bw,׏4lD-UD@.ِܸLU0-@0ƪN!_*(%_f \;nc\3W%#p6T Ƶ&˻hb;&mDV4LLE> }iFեTG˲Rr0!w~ f( BjlJJ'S#q824@sVK}qvt3°Aմ@aQGs8g˲fdχ# y_"ć wm VpCOGT7ϝ CɴNCuy(2)d`<=Ҏ9LOZuY4QCHMiʋ㨟4Bb0Kb$W.0Xkx =L 5L&*ME0oIisjwV*h$n_y5;H3jUlP K2Ui.!*s>ij'N <% x |/o J[T WVBݭ;- wg( & ,={qv)bj-,Eוl+> oj vgIpg);#`;(Q'7/UPνĖ4U)b\y~`mV Rp%WRڧDK`Û,crU1CHhg_EqA Rz 1Br(7f HJSi?{V y]\<8/4Ze19* i4>CwdHbC)"S[\)uȂo+a` K-kQ .I,NSܚs Z$W(',!af{>@^ Zʹm{AG IyM" Mj5z~V';J\+(o3y>SxS/WԧL<}as^#!m!jb++PgŪRNgzi^`7 VC"I; ѿDXNgYO)8(e jB4chC9^lW=/KsKaV@ΠzS#HL@"A=ͣ{l!q.S֮4 &dXpta)\3n5Oe!4+ox)WcT~1{CX_CJDP) $q&:d)o^# ou;o(1 V?ЗX#d72;XJ,82}G FSӅFCo??i~?`ρ-+|QͿvt~fF 8򱁁ʳg* d%taZCqU"05Xj4' =>z9mb䣅PWwTa5[@:@|5?pvY)EOURGa.nAIa҂ RgBp`H#Ω&՘JB]B-d$kfBxDn ,p+(b'xaʌ8AKC:LVdVz-t8k2~WjB=BD&!5 M><]}JTwmg es[-'{M"#)H XI:vOt>0E8`: S BUۅہ!i~?:1[7"Oz-UP_MS#I/^ ]dҬy^6=K̉W*u=&YZ)vjOƨu=ꬉeg K^v؏pBd` \bdsn.˓AAQ(3:}`7e-`FW}`_I$j@[o|8l{ѫ[*g~j;:,#ݳ1w"b*0 jS.r%MC^fa5,ݟY0"r#ΜS.*^4Dh-)cNZ`%߆%BKUG% ^?@v)F!r5)_VW%H=U s{&8'nM7.#CAl.1#GƱT };9sxpX\QYyťny-}Rp遮m >D5yJ'':Kx yKزn'\\.=A?}22Y-=yֻS =q ,kiQB;T6FOA=5۝ PP1\0!D}on#W)Z? Cٻ5~_fA:/ :!jlx%*?m6`?MVq# ?5Rew(kc׽eGm-4Z!Ne~Gxrځaܷӽ%t~6f"bԑ-&Sˑ WbVi.y)'Zyv[7@)a rzѢn1#X:)\>G;9{n?=Nѹxlpmrm"#΁ \ӽ'wSJCUwqb[x9B:y/V<[ogWXNOeB5?!37W'tJڋݳ'=wz U%A@"H_:;LvlmiE=GyYQϻ  u5OkMfu Ics`=z3d٥uݨ:,þM,8h#="nK@۸4zg[+r֎Er,Ԁ ikC'2yTpRy + !km[գOs.Ȝ>Y"⸶I.ք(0a4m\i5[I\F ,we J%זNzD\~YMI2VAB]Vb$00>B0Cښ4o_n pýb/ ca8J MkG(e6ABvO74M§ U&O"t2.G2pPz+mt04lGԚcq\)"Gwf.iNM1#K{7#do;3͕h!1Tc.[e K %ɔg˭ d`fͺV( ~~0 ]Kv"RB \[}$?= Fݦ&@yAI#{NZQum<# }u24`Ÿv+ ac]nX]a"wW\)s[P+AwS:+ez\˲}&~鏮 ߛ=ҏe ݖFs73utZד}i:+CUե%7Fm}s2n.Z/]́_{-{ ĀeҲ/@78P{Sϰ1@v-id8KWXxȌ$cJ|SbmK1aa\"ufD-a:/G&Mad6IBqخ?_YvE+3rut-l]7w><2Lj'^Lm]1=}ZDh.y9toK= ~ AQ)a*Qc]Ymx'$mҶD~}74=D._`]VVI&~59X5|ogȄѢk'Du>)($\H3|ᓬJ8-+~㧩{We~O6I!l3kegS},^_+EWZZ7+m9 Q[0))x@ږOD.1I% GfoELX_v #G @rěx 0xHH>J_ܐү,uRnP|V0Ukze%qf𼤾-Ȣ,?,:iQ^:s_|WT6{59/S>׭pa>iOR!@ՁYh!)"14ǵ"P tp]}n<OɨwJ6?y*e/AݺM-Xs"6F?06sU;N IcR h}np%gcb9u $(slY(EQAT^ݗ@p3C*7If>rX+jN#2ߟ-:}#eG.vg`R袇֠=am?xuXHmh+>'?R"7{+D6\<-( ٙ@Sje_<̝zX CZ8>REh$nՂ o5١3[rhSIeyqs w?JJxؑ- ,4=bJ2=xbQC-jT\8o˚Yǽ|9T$R-ӡa2Zx4aU>* M1=[(4ӚrP+Ņ?In>]-OėAjuj<&u08qk%hs+"V#(U&5=la{]x>"tf^Jl Cek.Mh6=Fr%ƒN{%BjeZ>%b_By|B; *6 f=ħ GJHԙ.zeMilcrwi\|F D9 \9#mfW2GodA$X&Jg'oխw̛y|g*)Apl1 p`0,D TmE0xU-ŜTJSXX՝3LY`(N"Y6G_;:w=5&V[r˔V 5*hEXtކZ `~A3a0֣zy+;+ DKL_ әa@j:V@\cO&kL+@+j[|N$PzC8VMOLn.Zqoȯ&2gskBKc9^H+S"suǦ`c[~QŎzͤ}>ڼ-oi^AB^2QL/P!$~d2ܨ!6T6KN2sA¬DHz+Gـ*.Tq|OjITki@ ͓:SM^3NA;Ҩk,h,} KXT# IHDPߠUqr Ml^}O;:Mr1FQ3Rr>+4ݰ057<"TJx=s^#-:uW|L,)=,SVk0 va.L.:5k6VKq@H"(L$FE"󾩡".lehGwn3t4%x l >]U U %lU{j4͘HPNJ~X{X, A20~0G^S̯#:=UET`p9Q+ 7>-#xoa6ڛC^TmidZA}*Sl $2d@Mat íCD?.V J6u}І0nhM 5NvXŧQZCb)+73&x=B-%˨Q\nXF 'Jp~th`A8HMS2Ҝ>4>*õ QZ yH[uwj4c lw@ /5V͒+ϡ<_J먕7~TLs\Fjjj6\pNІ&D; FKCVmFZ;Y=Y]uK]hBg4yv$2DhgM]*] ۴.=?nOd(8D`-͞6~8 )&jdՔ8B!ׇeRq/+Z?J/o <- a >SGnO JnHvbC?PX64&A\wZΧ~FD"?[`;H|.hYyƐy?d%J@9}h/\ 5@RPo]/{@RGW (NzlwmHq3y[B,Pj5fM/BcaL#Q^_Mn$ZB.3>vrŇvYp{̆1I5gbju \% ֑xgReA2=oiCAŷ") n樻A F׋gezN_Dxj:}sorL8r0n*xxe yC5bB눳`^Dq)Y`i5URUtz&]@ {v};v\QC%I4/&dSdԡ#%[CAmŒ ImyyΒ|@|UnOXH"8)NLml'Wm e}#Ds3FG||92\96b;dH YU(#ߏ@UljɢmKC#2ݑ1tarVEV].H aiOByfJ@(?\ZYO@@l U{\B%o/;lo"be0}/)Aghl'NT:Sc}bG(GMEP!T*0pLcOؙ<# A1Ps9nۤSE(Y^P-H*Xߋ7F<Ae@44) UGĆJ6%&FS]d$rJ}5..w8,X?lfs#OT)"Ӂ$I=gōW2L9 㼃n>ozEhd*ퟯ:[fU ǰEz#ko.lbƧ%S szu!V>B )?_X1^\SP2ŮqȒ`H\UkXIHx' J] 9.V߭|:|u5+r`WBN3 ѩ< l 3g(bMocBޜjB"g S"> ZZf3ިԩe~GcLߡˠ[WP^B3Y5/oG ut1vg]6Θ%F'si`P~f4 lml ‘ŵ)aEr虞=" {^cv/Kxx2}vMB\)Y4䥍L| aϻ} ib6 5f+ Pf-􀷢AO.~刺  a4&;\.JPfdmC7WGC-U c[G擞?qz9nH1*L7]Z< TF„ r@< AVv`rpWXv0(mlQԅ{ ü=(N]l93rFɪa2d,B>S!&Vף5ᓞp0f0gK7o@^l7ܸ!~!B?0Xm"v5k $*^#ȳ`a}CfL0 "|QGGE穂 ~j=/ aSScLfhtJ ۞O;DvF̼ta^L믮F|~jg]h\kF裷ͅԸwIֆEM5̱Ѿr##N>T OuG?R{#QHK ~.l)AgÁcڶIZ^8eb T|"5a?2.΄fSH#1dtρO9^ ~=7y߸5=(!љk~wRDɛAM%T\V${H_:յM.I=ٌh{^ϫ;U\2:GBVfj_>]čԯy_D&6a^zx5%}D۵ vC?<^pM_HB1(əOkd"%j @^-WhQ*͈;ޒнM&[)]|3/rw p˦YɝZ.Q@yZhcTy`X!b"tތj !ݧ5vܷ % 4b,].;%8Q56WFVS# .iaTikayCU U.>`%xY 4ް{#6MN s%Th֘f^rF? qH%{{A"ȯ׻ΛcH M">>APNiq_P/.=[ *?&EHb,z/ޠE>Y)Qg9 "+ڎ&> rWSpuzRy.66%ב : { ZIm/!St'uXaq Cȼ/W髚5'@yäqU73>;֠4 $WS{̃(mϨ6#|vJ`=)U[ٟQ~#A+Q^cL웸4߼.dm1p*_^!܏WQp_UѼww.?vWa!u& Qg_P`!i/"H{PW0Xev#‹xIx2f]?tv av UCni*ֵ\+Cx/kj&H0{zVfD]|THJݏB_Glͭ8VeBn<lIHb6K Ygw HSt3U9MUX4`R@:MH(8 8A WjTP`xs@۷3cɭK"W%| .TR AR ف/O ZAN1۠!lƱ- h+vJB3m~~GyLR ؿԢΦ;-f$ XLLvysD]/>N۸^d8k!*Dvc.VT dvgƽVAVJ{?5.Yr}:^q8fObp+Nv &އɳUxy )Zz{VkyO'6 J|8Z -\}$`G$QQo٤&*_+x{F¾3$&tQ1EM;(&s G:kY9}N)5Ub~pw1cgK}#9d_s>k0Z8 Kx~a|3VJ+nmwqۆ,AR6j:$`|𜞙_N~rG*6 /jgm@Qv( 4޶:B;긇 #}3quhcUyѠ<#UWw>De kMr0P92hZR!$nCK/ذH+Q))ֺ\ߴw[2?LT5eAkP zr_DfŪ;rAZ`ɼ)EYѿ|S4"l1\Feܷ>: ->=iqO^]h+z98:jkyE$qТ@7 >׀g–Wg=/uwuQ hk({:>a-wh%_=Mݹ%o#?9b{=kfzyv4!~yg0v]`92 vˏ{ؽ-mqfD딩H]R y3F~f[#lavLt$L54 Lrb!F'_mQI8|ppJ vP@6 ȭ-G1hJm\ov0k / OL67]_T$0t96;:gjaڗ7Sptc7m@~2nWi׃-d*egFbl%{OC*^b2LugVsCgBC1U!_7 eҭ>"HfL9m r^#yWߴ.^]G}Њz$4;*eF78+JK"J%lX95nĐHzkG__Lì̬k?kz,_jȉmhtl>QgFG|9^IOX4ױ내)W584)wSE Kܤ^yn]7plm<`D rCذ OaoTim;o IT!}:|t"vf L H/8<ĩ(M Re]dA)7o$Ζ gɵ1E5ZF@<FƼwN3WB-9D",/]KUv@";'zHXm#ou|wryw~^O%.0 -#֧Ysg|xbuk|ϽDj8kINa፳Y-Kq0q)U틋7^_:)7ȼ`jB tYjTj|A oc65Q4 cXr"?vApMwnH~]#ƴu0N3JiAKj٧g {EA4i}9S57"&010Lqbk뙅k+!˱{ϸӖ ^d1?i0)?>Qm&{EOSU: iXr6?Ȝ=J6n$ ' (y4OBz g-]M?a$.v-ho@Ů2Px.X-|Qǯ?K<ǢDt(KhB;L/OSC䁊f"A5{*v"B_I8jp#DeI:CgXjm牱F=oR-Ivtk /m_2WΤjwU_[%wMʤ( ȉKP X&[-0K΁&G/tD-lݻ7/Y D~Ah1u^]QQf Y3GqPfgSz@Ax=%2 'LJ߅nD p<.!RQ+ v6|]>yq#"y͠Ҙ}&j|#|r+(!'ZJa&O528Al{&+Ӹ\p-R|:(&+VOĀ#sAex4 Ő=g\(K3" 6$ Ã̺`KOn@v~F Nd`O1H>?dKgד5]i|F n5rqE_*j/xJ0dˉBLͱh["aeƿOV. 2ǖ+[yU4ƣ9qVO*^ @߮yʷW~{-{f5Ovݙ#{ EG"DCj vS a1n2X$91)&w~&ʮ[ 4, 8T$Ts4 d&Wv(i_X*%_2BDt-(֫)Jx0z?47. ÖgM =*RPES)Omn/uN%NZB`9KĨ^\H0K)Pp?H>{@)ݣcMr׃d]L*hY)htXK#Q~9qf3O+}:xD;e]"NȔrqBL9"먚p CGikprg >}+"^9ӅCY}bީ˞/#4B筹ԋˬl'8[4^9^+RKMڶi/6/4mJ,o/cXdĪ0ag dd"_ݟЯ"÷>v% pT Wx/hwC !ҫ1]66H{̪sY(AA[ 7^hǵTI\dk8{46p^/(7zࢌrCC{@$2WT$ܑncխѨ8ihz)']yX7}*z{%[Ȃcon\xxg6E 6('Kp'$Dŷ[;p7+m>NhL_uƘEKg|5i-4_'XpnC>/:CN p mUa' OqM."L=փhvWui:d %k-LtZ_~&cƋ#|[{'8:zMmZKs@PJ,@X'aw C[ŃF=nNlǫaT8H}#GdvWSɿ%@J׼Zݳd Kz\c`Bevܚt['~B*Տ,n{?P0%>%kI($-ݫ.%|cUrJ!E}Go /ˣ6"Q)T޹ wl$ư}`%4zL< m`QMуhYEGHwЦWujyX~1H[WwgQQp1- Vl yȊ9S_2N!f 2I=n`0x<6nfJܲU1,)Ykŀ&G_}o=_/Mm9?/ k ŦbsZ Bl3}R`7V^\k7[L 6'oc$c6sJpxįrڸ&{C (?|#\Ugs#ЁX -B\ ^,I’؝,T`-W6w7^i03<[o}K!tѼ|%g+-=dcm h6^w=+6,gBrٳϲon8S%owVE}M虌7d|gf] * 1Ns9J]C=:6fGeB~]|/ [D \}_ay4C_рJFbyFH"+3)(C%'.wgtq^&Mmބ >E#M4X:Zޯt}!hsp =2b;:=MNr-Л?HѰ|E1U:@"AflvBTG⾫@RvQ*iܭjсlCK|Ahtk!Bza ;32ǿ 'vΒ)G]QJ&]̧5*8%mh~ZREEesܦ@*FJq8C%8 %/ YQ7zk+SM9o!Z{c2x' ^Sa)n  )GT;rN;Kl31g٫gdO$b^Fks%MShK%5 3jU~{qf[%nRZgבm%0bz@'G&#B P2-pjrI{s9U7dLm[Pa Y<(.9dԪ"tH"A#pvʁ:H(.ɊЭ&$ b)WE$hн"c_)ZV^kQh<7_XR"e|՟+)Arq9 UgXuy,,U#F.\JK+f'/'F+]̸J2'R=孑W_Z>TݓR%rw,ajW4ko{o}*OҍDnjRեi,%+@F 9A;6d#ZKlI\j=\*]e,-`/t\ۯ'3L^`J>\S i1Ŭ{_C[asy5J;؞ͷՂH?OBDkGd"9"_P)9n> M-ih(6 ~m^gk80 /@yZa=.-qM67s_"ITdt^IG9fk^@ER|W\S'rF GN\(H=)7~QBV){ھO+B0{xhr6a:TML ;>*%cv+ۘE28閅jmYJK!xb,~i%+ bSqAѼG <}![­:ݧ.q,q}5c)wܛ9Uڠ7T;P u8S^ 1l/XYNڲtxHEv}a }Cϡ{/1a `>Ht- GI(_jGVGQzX rKK'F*~H9v׷,f8)Uʁ0 w[ֵ] S& |9}Mypgg`;cx 2 Oٹu*5t.z[%xq]^K`K䇹`ϓ2~(flѥFV2AVu>ݽYHI0й[-I2C^vM.7>8󒌺>; %~̩d& kߏ=JqBit%H @4J`p0f ,~Wum%B)ڃӃ9N*Qڅz)MmoЌI{161I.P B*tUdv9 O$C7 yM̖}tIܯ?_9 UҖ9ĿAaq)_t8ECh g%̘ޔtW-di|&3*y_-EM[?o)g0JrO[u ~0wՠ1QeFZpu/In XlB&[0bnSDK#. "a>xHDJGceXv8=ӬBF2u@Z!e =>fbmrVK;ZWܺ4 z *L~9B}elK ܌H#qG!ˑwϳw#a!@7FwHeLjJn4ъ]bn$"ߠ+As5jkMl͞#tXj5GS飍:WVr@:j eҎͯOzrI$$9a^[vmӭ/ Cİi"ǎJ}7e&Fٲ¹LFkyzb1N#ܓ\6 G[F.o w bѕ7nt&(hpEʇF 7wٗ[+Zdd ؂z~[M@7Y&x"T:|ʞ@XWd("<\V}Ư|YP֮t=)Ely3X퀖;g퟊H<}},qh@|&=\qI2x%qIefwQv}b{tW;8``kN+Хyp%s2ͣ]s׳%>}_WJՇQΑ1r2B %k՛$_(;9=: 5}b J~Y"3aVu ZomD.;1umGđJǶQ'oe3}tBƫQ4l#jvh^I*9"$5P0 &EV,GEv"M .(_J6$v2I=zg"ȩcZQeQXR :Ծ ~\ރǴoD"HivɄ5{TvyFbX H) 5.tRhJ~<ÄeR.};nؾ1&FW7uaM=Rz1SabX1Kn"W=X˄As+%}DFo*lŝêЗ”$gAt YH@,X -Ok素uKC^֨BGP*g [V!L-q7ͣY9a*)i#Ѱ.[qpy~%Z#0m[+M-JP}'e8i;ư<=/×z_'ICz.e뻚S)V(Cӄ\# fML4,T*I}~G=2g`v6['Q)~MYgA?jR3bd݃’+OHw<_.g3_uDMrluo:6wP,kir̐hvj){Jm V cpUL>5|LBN=F*f]Ŧq8aƼ*|u#üѾkfla'Fe{J 3 ؆dnhl}Y P<M4GۉUyLL" fz/S%?NN v5ߺ`up\Ifz$]j4l/& of;93Ն#yLHm;7Ցc-[e/kgj!&ؔpG>Qp-tIA:/!P5, D5vE rt?vUt%I@kw@&2}#-K-_W3cфwq6sqw 3Y֐{ųԪ9%|6W+zYY:,oi ki(7"S:\lOK.Rw̔RK)SD|wy&hbxЧ``I< k4fYNk+yêS8g+Ӆ5b9 M-w{LJ{[R n2+xI5{;O:IK;D۱>ei>('ra{S$I7* n7!WKY)l},/VI'ɖnf-z d[FU7}# 2Ȉ Sw(I]/#XAZߒ2FozucoD[|ƔRxբ7wEV'l;$o0}Hel/y բQ,4R #,gk<341`JR=%ې\,G$rDQKk(6L"? }I@>Z.1Drب_L 9#>q}18hYpF 2$&>@> v[U3IӞh|-sαMV)Rf %ۚ}(sޖpmi*|\ƤPm™\y>r>"%1(f~J?$w(4==^~ pa8TI,8-@e7cUDf$]Y (rS2N01x@95I~RG]klMnv΄LFJ=}`-?'k.~-}eZѥEN ]6AR݉rIl=`v>(W3.,.;2& >< ue+$Cps/v.P;J BU8KQ D!l؇Fv=\2.@[NLKB0SFq;w!9h-athmK!+ǘ^¤`KD_YyϜ[]PV%L<*nQ C9OE©W4k&%tNj#/,hvGTmY=<0W7X'cu%uy=!'[QV]>VlI@, s#' 01Xu=W# (i pȒɥHř2Ď9?3ꚤA`+9eSh V57Q'jlȨl|1N9#Qaav Xavۿ( ]rOpL?Kiov{! BG7ƥ)yp!7!jZ/- uxnV?WÖS+0<ߛGsbݧ6k#*J[Q tԭ t.J˶FPzm}:I ,QbT_?/ѷ뢷K*yI-[Yd#>b 1w,osD)PZ_\L?уj5*Uuexx\ N_JQ.VE !78@Y ,8Ǯֶ֛彩x4!spgןNC3E c:; O EJA~ڭ'Ijb}z JE 'P/:^ 28lM@?gP r4۝K&2#z:saJ2yuy:^vӲDsEQu ELO# +9q\e+vj %?$fj~wǠ-%`XO18?? {TӺ @`ed) 4K-_3FN3Iib|rwẖuszЦ *%3Kư-kZNP(!E}DPꖑ"t>U5a6ETsB uB`տ_̑ 8[gƶ_^>vp5xAyd;\܎.Q5w9e߾G&u6TO(y3E\ yEp|6W2hAî)@.:*jw:xbܽsP0%Q{ǛS3%=IV·gF˾ɥ_&jS9/f#_rPNDPW2η4(.m |zmǸJ}(d])8k#7;()!"TE(Enrra:_b_䲯 KY~AW w d[t%-.zh#,R[jȌ[h+8 ^ݸ5VhԫW)r(坽RUmnTrfA {FۜZE$},fVڶB/ (g|' -0;LH%*ʲFE,5֜v(ILgek;X#c-Q"b^TN?IcOq18ë5jI>㰂TvPJjN.f&gƱ7PM]OjjR:7KɷՊRV^4x cF9vu͗UmNRپ y!($zk36T:&1򳦼PU42`ߏ(eIk{-Y|nak$,tG]B?UXyx}+ae]r,[W\Nc:=P1יqFOtP!6 $~dH ى"1E: wpF=N4GOe_FZI8eZFLJ Nʆ=oMQgaY4w~3 b".+̪*YQ Ì#S{TPjjmdSJ,6 +o (M! #Lsb~5͵q7M+9hJ =S[_$9jBYGA?6L'Bj مV_IeXQ}'ƠC|i"e. L3w,rAQіLujm%ЁrjVv?<::H%S(+e 4uJ+n^o|CLPU=J봙;ie0E,vJv/Ohm5Mcܴ[Sh >|b;~uvdVYgwwf "=q]3<}co/DcP`2 xAhRA.쀷!iy>N N[r+=e0|`!RS$[kWX+@ֲ zS Fo}מU[XӞ?(qⲻ B6 NLh7KnBV;?#Bm͆15nWfrzPHPE l4U6 EwptNet-R$4SpJ @Djg?k{4˳si2!%X'<6oj:HyzuьEM-< E殣 ` Ҩ2>ԩ*mė>[DUW̾1FnR>bAiSO4"\{e َYL F.`>Taᝑ"39+Ҁ Z~^L3 u;ؓ۝fxhǵ##ITq*?/mp7l3U&mvR2 ]bd#2ki q˸ JWfDy {|9n -}> ("!_f?T^#9c1,"փxk^ıMhʓG1IIn\F-G1aOV'L#$-}#돯PP 4r[6ɋN`s<_GؕSpWsjg:ikyVsǬt;za_b'w8ԈBg.kaM{^r. S|fr0_Ҙd.c hѬ6"1*M~ÎCK]}0oؘDG0V=;!LcDAvIi﫢:~>sAYyyLaLGșfcf=墈ީ87iIQٷ#a9\J%xJYƭ녛d[6u E#2H{UaW1Z'3B'Cz=74H3GUJ8CWT9:SiԹ,gV@r7wl$16B|p%/cZ+rPx,>4NY?R.TJ5[H\uRc @w̒>ڳ <}W+Nn:dUc` : [Z2čr} uQj@?=,Y|na;UΖRψ"HU_1hXQP^Wy 2Q ܬ#)<;axm橷N?$745ܢ:Ը{n\".:ec$atdHZUo)|JJk*4}mic}`QafZ\SxPݢ2 קhO bEqUO=h,J$kipxI@Qum/:q  1i>_'ЁI&OdV~Flq'«kS"򮆖D1}厔/,^ĩ '%gtgG /l]/LGQKIJ+q5aK&c*/GbuKg.D**[ᨍ[I`vV M~KsZ:MgH2n?b-C_fG}3J%P"pHo7@D ^w z~͛͞#F>9ɩfS2㩜m'Mf,pЈO?(cmN7C7\ǔ=.-7nKy/-LX$F]"qT%s%Т[f%AuahEg@nw#rl*vp$@wQD 1F4bwȘ 2a\l] r|t06lN%2=z~t݈#Q.ȐXhMV٘Pz W-V6VhrP 簉QFfW)?]&۹82Ɛ:ētĝ+[UK>ojgGbyBR2D5/};m1EbǪԙ'Yts hI$*njL 7Yx1!,^{*;R4[">E G΢^=_9@k |OIin]&k`QpdnAdU.sSBWI|TzFX7lINΘީ֔qhcIFsd49*8+a+ٗK/G'vqJH=ԇ 5 :-g mmcb,KP M &lϏuxY%Q ]W\s;% q&n ?`ԫЮeJR⟞SJbH"U8@6sG?$uay;Sr8I[MXzǫ]U0P/ȘIsB|Vn6QdYCMu5ך4k+9n7NfԸ $K*6ϿS $w!I8(⠊С/&p?zFNj"xA̯%qfo5+D jO4ԟ8(,d$ɳ$ѲFUO12&ΔęxPɜN@PX#u( :w-4B~deM DP:mePɞu4T4c+$N&\OeH1JaK@9+{ ]Su'`s#طÄQ R}5 }`t# ΁?v Ֆ^' 84lYbjz[M eCMC~h=UL+Esw\GeO<@&`Zo>A8mC,<ƞGYc8rva@FDtj5|E;d yx5x8nWn#ȭ[wpXsY7ZpK41^S_ 6D1(0yn/vP„'8%4c6RH G|m0Uy \ h+s&N]m]f/bNtFDPURQ5pByQ=!ֈe/t+<0ɵ"YWՓ&hiUg 2j\N"@ݍUS)zt!4RIN(Z@`L-7wHY%ٍN96\(Wuvt$]ĪujÊH,@l+Aw!7j 'tJy]%L>8by5z51tlC Әr@x Ѭ OjZfN}T5c?EHv&tӅ0S75|@#}"{.;^̞ (St_nr`T,ěPcҪ{|#5 }&\rkt4I+zBvb~De"|Q1/k+kVT;߿CKa`c@)B ]1z,m5?k] $_|GlF鷝d]4Mʤ̱kf 5.u6# Uijk8 _y_#L6&fۈ5P*@X4k̕?LdVX&݇6ZӪ[>zfe;ʮN"٥ǻW1`HYB\OW.GP.byoOG i\eM) \:Z@`RXZDZcB-CJ '1iy0q\=2`\|GkƉYC$1pdӇji+w#J/R 7 0:z$ i3gYZ7zXZִF!  Y]ŗXiɟ1˦r8v@Wl"`&Ba+Ք OwxG^`tGV6>q,* 2 #-7VбYi+\)FTDb)Cd4>v=e^s~-zTm86Vf.nSĻ zVYvlѠՈ R'? ڳ0pnq+ɤ|>rՕFn33%FR@žx&}g?2}VR dc[oϊkYbcTy$^q^^VŌ+杺e t7|he_gYZ7zXZִF! a]ŗXi%@!ܦ;Z.[-'x#vqݟG/ er]5[ͱ|ڂOh#HK5 Mt2IBKS$=_$fB=%i3D& ]ʱl8gyݱ1<^Sny<=ٰP~7qa,OscB S2*#ܑlї;꼉l:*,(9~Uz- rPN '{j;hX Hݟu`Ng/dem77t& [f)Ǣ:y3^ҴN@Ϻ]S& rL\1)[c^j-4ۆ8˙ Gg &+fɄ,u*t,ޖ|wC`} ъ"s!}{pEa2c5O0@Qhj{(w'(u Ue@؅w H5;-y/pҗgOuz7Cpn1[@I- HMc6]aO7r*3C|P! ϰى:vޚMy-ycw 0WE_U m>x?ֶbq _@l W&#yc.1vC5&Hp|i=npQ=0yd /+ ^a= Zsp:KRH}}nN'Ra K|lOvGg{QP4zج_X<՘EwBaݒZ AAEuDǷ=pU&tp]R4]WzSlʦ:ȞדQO5%z/8Maeb [xv 2-~kKe *Gx cpl$5'mNo+[(' 'BD+IA̭6܂lL]*SAZWoWԴ9qz\x̗5L&M!+؃(su M?|G~^ǚ (VаU =%`/EK- eq'zm6G^Ni(fa^; B= EdA!P(m8>cxߗ ( &^(|M fc\N,7W^7'J෴KT0wY; #s"bmdy60PѮ1!ʈl?e p-ntz]ǟjbDG#7*dZOVՔR*#I}~ GD։g+@pH9HI.[ ]r>ł!]'F`dߙQZI烂3lJ\?5{"ŵ&"݆ڳFmRSE21.XϯPh1j oUlatDPP$`Y9ƮRAҽrݜmZ- A`0dI8 Ѵ?M蕴,-\^^$Y׈\=㾟"۸C 5Y12PΊd4y]vꣃe&'#/5#m"K;F'*IW,W21O+J: 70U2B\aN VV5bN+{1=ZڌqJU$G"dnhI(hޥEWTYUr….]M;u)t6HRSȉs"yP)DS_*G\xL'v=f \t4(0?Qjrj|9k"jM0tZ@[\5a,u*[׺@I_~8W\qrB8uH@GkbRzHxxL~T%p/mWyH:[>rq N_q=NR}xjUPVQ"_/ᶴkbS'I>V[=|*6ُ66!)ǘ *f*ma&ͽك""mxE>=?/'˓d!Nc0# Ud? dyomy%!ܱW)y Ex7A@.g$3qß#hUDwm"~{d?CWx*)4AFiJ<`\| ,lA?LL#Fj?'[+؃!vD )qC6h])">5f!>Q8zy 5MNyE5"FQUo#T6S_3{Nq -YtI6Z} ܇+p$!ӱzr}c^@Y}Y\HeϕFk^OiUfxMIxDž\B7\U bmw aq,ã`:PnkbhˠŜ"gO8'21l&1"?g&; K3X%aOIzf|<_.!C &kܔggPMJQpoF5Yn:WP۹  򮑓ɿam%4O!z iOx_bUEu5½dO'L5*6Xt#jph3} l<5b4X }nT }륞\4\f\S?L`I1DWR{McdWJ:P.ӀPՉ6Kw5渱:ڸ?M7՛\ %,LDL[VK0슻:qr-*%Ah+(J.XCg$B{P{o7bDmiAv ۞]S+t(|ƥg Y-sU6c6sJ8Bl7Օ T3! eNQ>UkVJ$)nQ(j-iH7IE|o}%c̟ck2o&; @sKr eZQʸ 3 3_Rٿ>`埲 S j ^F.0 niʃ-Oub,~`4-/y Q8v=2g>ݢ;Ljt+ /{i3?7ԨLh2B +k%SbS~hFiren{r{=.:9qBQ0_iy/*\ޘZ>p-֠5kk"aceF:fm#熸k+ftgF%G86l#Iz&'Hw˞.~ s|^`҃d`W6,WhoxV' %$Uk@XtӒ-H (u[U&Y}gA/4ZoBnxLwKeR#N Ϸ^dᓿlWݣ@C`%㈼SJ<N8hhXmP86?h v6V;UD eykRPN\p{F5+B /J|L3Nk|L(9*kn$(KH="y h ! ULXPri7FJUf׫7eu>#=W #ct )ZX;OEE1j]w7diyR\hA/ vbւ0:dL'\@y)}W|&)`T?+!JP/⹩t:L]gC9d<8a*Ґ?T#osC}@0em#FC1n;4`%fz4m <@񰳊YF^7{.nJyÓ$?CP*`?oho"<0l_Oel|cnz-GKxc+0Q67Dj/veB'#5U>_kْibqhһ>*9h+ie\1,Ƃt R$1.)RawBUwj'0_ e nSBXjC:Y5S]KN)[wgYZde32d308840eb22dd7c39fe1c74a8dd1edf5f937a03e89d3fadb53a59cb81066bc63e4eb9b8ee288 067a05d999a76b0907f8fcc12361d7e70ff75dff