SQLite format 3@ A.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ~ `;Gؽ8nt*q* .#lw gh,jl 1rFT,d#,R%dT*KtO6ۊ5aU50_kڀ\4?y^dlߒJ,#0էCB"k>.ހPN\KE-UE5vnc$$k#fZ$n*aYmgg[!0ѫ)8)HFV~ļCtTL^{;LbZoA -]`-0% ^d 0EpeƉ0SXE!SreA   Nominal2 @5% ,Nominal2HOL-Library.Multisetdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`d=<; 9 7 5 0,)$#  y _ N* ] c - 6 "''%Nominal2Nominal2.Eqvtdocument.tex5C%Nominal2HOL-Library.Quotient_Syntaxdocument.tex2=%Nominal2HOL-Library.Phantom_Typedocument.tex2=%Nominal2HOL-Library.Quotient_Setdocument.tex5C%Nominal2HOL-Library.Quotient_Optiondocument.tex6E%Nominal2HOL-Library.Quotient_Productdocument.tex()%Nominal2Nominal2.Atomsdocument.tex2=%Nominal2HOL-Library.Cancellationdocument.tex3?%Nominal2HOL-Library.Quotient_Listdocument.tex 3?%Nominal2HOL-Library.Nat_Bijectiondocument.tex /7%Nominal2HOL-Library.Countabledocument.tex 2=%Nominal2HOL-Library.Infinite_Setdocument.tex 2=%Nominal2HOL-Library.Old_Datatypedocument.tex /7%Nominal2Nominal2.Nominal2_FCBdocument.tex1;%Nominal2HOL-Library.Cardinalitydocument.tex/7%Nominal2Nominal2.Nominal2_Absdocument.tex+/%Nominal2Nominal2.Nominal2document.tex*-%Nominal2HOL-Library.FSetdocument.tex''%Nominal2FinFun.FinFundocument.tex.5%Nominal2HOL-Library.Multisetdocument.tex/9% Nominal2Nominal2.Nominal2_Basedocument.tex-D"rCc r$n@zs4yG hL؅d7qˋu}]:~_8E dkk%a~7eͫU6u 1UO;LsHoyd3s,]Jψ޵ODw jH.Rt X 0Bs^mA aIKi65] N9&FC[l3ፔR-՞Z* T%R DMIf,% e KSL6ͯ $@.u;). koW;l_'Mr@&5]'sϑ}%ѳISb` s좜cl#uiKJCM2M_,IȅO{}gض4 ʪLb7X׹z2-vB(l^O!J fN{l.sE,܊w9fP FZ&DPCQ[|e#Rɕ _Zgݔ>PHo洴>fU;Y'jv2'F^ z ,P[jH%0`ϦH7ύa_) @7|o I 20`Fe_ʢ:n40_C`IC-M4E: [`K(r𞍼\(?~b=j (rNfı:^x[kR@$904tq`nN_ [`pc<(.N [y Y9Ӫ=_*'DkcFsgm:EjKd# L0=~7E`1Qh\6}+YSH|cK9-(pu$EKXBxbf?9^ Ӣko֎vjϋZK0̩S(1Ili ~G:\MOBp߰3.j# 59YJ}hBd=Ks4i<[H:7>пA8J "Յ7+d!Am&n>64dɌn@.ütd,{׳׶)q >NLC4B9M[JJ%HRQxf/Єl^K+Dq鑈?s$<̌ #ۤ*KU摰2,) C(y+XNx*[V8_XAC/0{h9sZ]'bƃg-lgwHXPA5~ӄ|Ĵ%Ozׇ߲СlDiZ4>y'™3u>mфET_IC9e<ؽ<7q!fpw3@hg%8WRruw\Ō]nr<8{ 9=]~2Jf0V1[)czaĖNdw-VN\#MBWҳZ8Tj z_g<OݧΘd`ᙦa_>˼z"vƟL5=57r͈nm %M؊5*1uDcw: 1[`NUG r_ Qk^gpXE#05gUƱٮh>E0G1] 8+13TxQ *b|z쒙y.%YJĢq)ўGY>:қ V>|Uˏ&E0qvÖ/6$Nnv㴊 {<0uĤ46Ÿ ;N]`su#Q6>%j9#(ҽIe,u6:& |ꘙr!JD#;!| =gO \AabC'pՂ&X6i}Ŏ=$юއۻ/z1pG[>BLwo(\Tp~zo5?,1 lL75Q}iU]?,d;p,p()`;ꫨ*#}G#Ja |=hƾC~-Quᩉ0ċ[8D`;=\QEW6e q*՞\bt^$м~Ŷg5Nzd9_ t۱K*cFEY>N l- Nw<HW)gRGc4-l>3TA/r ȧ>kSf9 їo+R~T<4q,N.ͩމqL^AZ٩Y:l\3claRѕ2`~pE*8 МLݺPKbD%0@tEғI_ m؛`n"';1k OP1a^{uzL dI0zM1p@62UoG\ #IdtŐ%ԡ[SΗ ?՗BœgC}YD#&<?ł*IV񒊣tUOfFPzT7(f~FUeėbą%U+muxy:!U)E.<+M͟~0MڞWծq oQ V=1jOfF)L8% }DeƾZl*\I (芖rdzJT8IA5ey3tyZ ZW-5=a_5!AdV40ffui<@G߷ (:9n{g8Nƹ9sWn1+"^Lx=!Cf`t~-  4? Zϳ.-MEKKTVg4[GڐwM9cn<ԣ<%BN07O4,b¥_5& 2Ĉ]%sVLcxjN݆d,o_Q4l>] g ͽ/޶:Zu-a[dzCEb_9N܊V1R֣,^*/>ƹy0ʌY.H}jB߭q$NSD1]lv?2S EaPgoIYSYQ13 kbh9Kmu[2:ϻ1d_[ gy==xV}´QMٻf $ʞ-/ܪgowCn狜ǰ9dXy W$BXy12 As洴P/g I,r}#[^w?jҙ..&iINw} 1hTu70I0D눐Ǒ8XX|3< }Ta1D`FDJ/+]* :f܉l&OuwinzԒH@p_aYsVe|}W/?զ r־O\K9%W nN:7SSf-\>ɔo1$39SEL{OQhNmy~/|8K,bsB'Y"NX۬e;oE@So%z+QXfɸOa`[: JڂS6^PdvlWϾ5x|;vx}\y!ta$$%Iqg\z ҫgyBanEzmNpOts, _o^ H5#vq[)P $Zen 2ڪ3;r( !0!O )>BNfR0H*vTY4[3f_֤( L WyF%v^/bR!_ƫz R _R|F;)UV]q1If,E q 9TO/Jb5rDNKuɀ>rOqY6 p9YdM1=%ZEtXoN 3 <G|OՂ2`3ix/p9?/Ma3zY6.ml<n!* /% +l$i1Wz-+N?@X1Dt b{,W`^JIbg*8&Wj\Ft%Β\U:q6GP໽"HJ^~s-t8UNA0qZ W ATIC4gv_ o w 7(lTd^Hkݡty^0~_cܧ-_N&v K|וi0MrЩK&\.x5an ]$.BJՀ͘ܒIGo)om "eԲԥZq:={vN .c (x}~1r/@E~0*>=e4 pQzD![N^_6= @ k;5+k}ʳe\y'9KeX+,x93jFls t8r;z}CKoD]p2/_9YN r^EvBdmMjE(7 )n}԰kuW"/C|˩}f ε#oDxP)V:㼉91[G[ *FPh`W,S0_kbrQO'X2ȩΩyμ$tAB&Gݛzs )e\X'> ]VbS7qлp[vNxn=80Nds(1g@M1sÔroaS{q fټ(Z%kEESv&17ȿ^ldz_eLdx͘6Ҍ$UQjK 6WO6G "~ҌX+coo#M_Vm̒zF׾C}bD=$T5@vv$(j$Nk ̎>. 3˸keC7aD ͚,G㪁- (ʊL-@s+> j3so0AXp6_kQVh:3<_κCڨnzɽ*?_V{Jͻv4o xTBּ)1<9ܢpI5@!\lz/^S_|me nTd M񤞅fJ iq3|&Txn.NeC,Lt8"0JV ! F5%EC;XBkwWIB@d=b3-u f!*'۩s`*vxd,w_Ē|4iYa_Ƣ&Åa9t(VE%s (x"4% A+İJ Y1%sЋK8w`ZBٲ9E@ImhZb"_f61=jhQvB5x~BHA#v[z3}^=<ҙ5hgi;f@bwۂf싮B7%@PAq~ PZ\PL[@yŔ -4 ,glYG+ߘy0\ep$+T,%o+AtS?Ҡ=`_aJEvx /x y[yL=Y{޲vTˆ/aCPVG  _,vG- 7@ +)D,U IP+Qzg!*[M \',MAzE?VxRg~}pwļZ#U{~Â-sy'4?8+Vls3ǯ\W\;KqI"_<.E, VnVᖰ%D/Ep(٣[Kk%εI'Liy b`, нY:%J뗔P %V 1=msl=Mtv>e7h)cp`Zx1VV-!B 6C}ZMR*%7MUKENMbOx>H|i =K%wڿ:ҦOk\h&aԱUdj Q cf\A^!+@Y[qH_xIj|Ը VM"ůdD3ޟeR=?BZoQo%ԛ*9NcAkR(G,tg@t 8-TdI./rHKZ.UӱP2,XagcÓoԇ/-%3x/ }h^I*К de_+hll;j~P8LfMkYn6{CBFQpCA/BFKm4 (&IUFQf$Dү`_ś :$wʰSE\1ήUy3]:>1`p$-_+h_=˜9F4 {ob|N PTDl8|9:jILD`k#O7 >,\ Os~tS(m-Y[Zm'u`*UQ`÷ "c.m&3)/Q;VFΣ2΍}$Ѥ+πSSC02դ8Y_$Ql>z]k-ALTMQzw6qv#'Y&q'KN \K2 QD9wG $h on,ͥaMKk6ksMRMK7ZjzB\.ZX副Ʊ@GH'Z>3wϳ5̀( nt4Cwz:xܒ wȜύ 2,\'Ĝɞcɽ3d?ݙqo=_#})H{z㽲ju[גZ{tݨ$e :3{!*gY=% NOOucW! zP &WݡKLiQL}E=qO]Yϩ]Kʯ+΅[[;K\w`_ج2Che޲u4' ? ηYߪ#5gn ħS$S77>\:AHHNG)iLs7֩ ɫn'ןUebhv*N(vS5,)[y]2C?Hd!R|Cw.XfU:yYӐYɮ-ۄ/$\`e#S\hY/t޹̑ `g,F Ş'TTBgl\lo|lqv9S)_9ھ9dj&ʼ1$n$چG=D͋ @nhK:Ǡ){.cȪ!Q$&Z<&5v%ZXELm%d+ U׊z=Q]E!:""Q7!pӕlOta*-hf}Nn|MC/=C$sq[8{e6Y#칸U@1_X\ CC{bC!&{SWvRb7`0̍hP@g)"]Θ:o[+OJfuSYZYWznpD 1>Y)m رjmqXx[ O G.,@,Elӡϡ1x`BAw 48mKp#[ޥi XXd>6h>*6sw >[XpyVۚyQF(Y*QhqlE1{mMt`[_]DC$36 4_$K j1(fmmR*kᾴ+MǔT Wjd َ0 HbiwdŎ4AB dUhWi:ݏaB1W^d-Atqt.zRWuc\lHRqW${鬒xsk2;Y jao⭆SR}S qcWvӫZ*lLh:̜ݤF$Fmr^4ҪYdlܧC_C-rmAשgB{:emCL |1Q*83ފqacd Sp;:6e?!t/}ldb\mB&臨Ys~׊c ϸ|,q˝[Ӻ10vŕy=7r=C" WRO%nT5iՈye)U66,(a\vF -N9XỶbfF\ÿ}RbZJ}wsk0p#|;Ͽ;idhwBR@\n8':|22tSӢk\Mkհ@ q(A68`B۰Yqn. /]Ӄ+ }nIA:48XiVH΃fOGd,qƖpv'嘭U ;FC9ӑ[X4g͞BjtqK(YͳqUWMYBUaHyqqmcx{9DTt_r}\fb6 5:,.,n.4.fEiFs:Pz݂\\5XeB FuJJYhsMy3|ES5g;"0f"H^;(wDl,s{{(TS쬹 KpwTUA85rQ#!R#惡pguGdfr>tO'(^]KMhǟH7 @dE\Qs,`*#o'A YKCn,@N<ΰHhRǼTsɜ)jqkCC(0=g3EyL4npH!!LqnvtR] R=(%=zE*sC}W;bVKP 7AbP?ܰˁ~z7?H^Ͷ=@xA: `&3'1@ό6uvvR_IS4JbMb;ն@urc `Tg~^xI(TGֈЅFmZⅣE gPTUaP?("P&A ]z̟w\J?2'<ڦB0B#Z",4グN%:X <63XRpu@  cw2zfkۛ}`^#m8 >C-ݏg:$&˲,KTC$'Mk CY,J1HCؾjBQuE씓̛1< {>_P뽐_yT @j/r y{NE 3gl @޲2Fw=}^VeMLS~=-mfJe` AFLxVB+o5=UFE)iA ϿfYf;O$fJCbxpQ!\"p5.caHU}ExhF\ b׋p4XC"B0sNZ!Em.J&Lk8Wrsh0)[ ,/T+ <~X~Accٷ=O ߕSGf7r诿qܺ=v*iNP1}Œ aU &xx-yf8NIw;+M]}\DH_M6b},B,%{| 49&4;NFo+OUC )+Y ֵEwJr;Q֭0#Gf\ct;P7 YF !n61G6fڠ>8MTf>pK4 a.흃0R k9ñ-eg0b,F&?g^BhN{DeEjÀ_ t{?S57tFAU, V'U ϼ ;Rհ3mٶ 5)ppJ<&Etsl fy|"EGHQ]²$[NVdZsx.Aa! /(s&F|Ol^/}ה}ܟuM_A!v©9~6d| fKPlD.:qzXOHFE]'A}݉t t—8\f`-<$dI/{ڒQΰVkY8q '\k y/̧"91VisS)NXyQ]oXFMl'vևnZP|vͽG+ [䐪kY:KS@`ZA+eϝX631nhd%ĐYz_K+';d\W%)~).^,Ƅ߀o%QŹa8ሐR"!`+U^Hmފ7Ik٨Q P8<] ֓=4%#GQ|7&=piL>7دHU$j7yAYсߧ_q vO O& nN~>OH_ Ƚtُǰߊjtҁ\/$f x?e^Υ\-F0kt%~`=`5Os +}#dY _ T7u S?P5[yseѬ_ N62kц0>1 ()snq߭%-Y5wO̧eA(j1R*3{?2+ED if|4^;!{?3e γ;.I>Π*<4U ] řx؟ڊ蝙d=瓬5I؆RtY%T)+2lbdIU*Bjd#B*+DtȍJDQba_1q'4Q2L9x*g+?S h[<$`k⃿ b_jj/oF!7tFhQjBMU)1qM DiRHD0,H9 BPQ凼.":|T=y,FtGF,9IE]đ25@-cFێٽ;wߴ ۽pҳϯcN$qPH↔ +q* &7DdzPa8FҩqzO8M]K˳rQ&(Amawt%kUD/5A2?e bV &v,d9."7:I&W)6:Tٵ rDwl(TCL tM/Sl"*kj+@+QRNT;ӹfݺ p[`hjTq] ح'5q~.Ð=; G"İ9*Nin{=JH>gZ~7=O=;x_Ц7{iigNCKۻkcKNjl jGeepҹ/Wח͒MGrX` t3*> Mf'R!K)E"` B<3#˯ lI)]H1='36ڏ}ܩYOɽ(B035s+SYTَ5j4P ?B]dϑ(tp|iAEӭ<= .>[0R[+ӄLimUo4`8DhA '9aL=S4̾BMI{@vL?OjE9dpqe/8_{tҺ5<—'O5TÔ o@['iFbn-U}^O)Ͻ(ZAQ53A>&B4s LNbWb- A_!oV!B\ЉnGӒdRQskF9u0.Vڼ Fg{$?>ýi#K%Y-Dt*LO7 4 s[HuoN߯W=,=$ It:u7o8RXku>E>SfH 6P ωXFLa0)$mFDЀwdy8-mLUC iuK/n ڛwތ ߦN"$ ?eNhT@9.uUā 0CX3*ayKB1}: YO1a`dNČs?yք$325 %籜WI\A/m/}gd'*r0ߛ}7ӶA(t8 ZiA- ^S c=y ڋHx.}O. ھmn5b?He!Gp9eDwmưLH@2|_e[6yp*-ZITkVQu&m5p e,ARW2,/ q$$MԭpiU%O]R% 5@\}@Ve2. k,5aK{#[ǀQ^y2*cq <ܸ<ńF, O07C5V[zu%Dɥ.kSd GBlMwlISlPb2j)kAM/&:gk?~9p;v%!mu%$R(5Ii V5f?PZT讻4O)޿=:@%^4I֫HbuoT{,xd|H 'Ur}ֹ@h2"w;Brso̊Ӵ[Y[D庑9OwtNi+R <~[(fcR$(D]Sݪb0YCVM|ŁKp[*]ܵl*sɌT#%(gh-^Ƭ-F"T1mgj;JS0 opb?ST"gRI&BwЦ=$3K ϲz "=" 5@H&}R!1ЫJFߠY /e‹^4-i"˚uNOڭV6+0ޒ# ZY8)1EP7ܙ@.Jor5@Mty ̈Qȓ?Vb`΂"_Fcui|qXO GJ7/z8b❾CF7^4J:eJ?_ sbeڴlpseS/=Ϝ% *4]WV-[D%NtqL k pʢFxHp4(:m.Qf.X$ >,qhH^;.F5s7Cto'X=FZ;iP]^?{LqLŶ_ºEA>ǔS4ڬ9gy|@&[ͫP֜fE=Qߩ?t 6b< j44PkEĐiK h}PX?XWԾST`lN2f&$ljQl^zȕ8_fuԨA+sou<4v'ƮLϦpvԢ]/ R CXfӧ:yVLEte){'k;kʌ:ېX)ZSRw5Pb8ړиiAh7ȯWd3?7h;,1 )Z}5t]V{Zчo` 3dbF:?p5 A殳ŹGmƖusuE}C^eP"T&ev@̫5׀>'&`g |xvP_u7RC^`wJ N;^5CvK|}/0nd8x:O"/=5ϩpNW z`EjVfPyQwYEc?l f^F7,4KM6FhMnwaY0>{%cRƩ!A )'K֨fԍ @(r:P1{,X Hش]6ذ Vruyw6)7{/Y;xGREy+aи ߀ǭxچx"7n9arJ{Y.e2p)U̇cRmL~O`QTጘ6SO 7+"OfVVBΡm2#E%4q#4{5[Y4t;0*1Hsm/x)qAIڪwjD3(FcP ǂ\ĜM `:W*&fgk;cRsR8(PisCUPf֚Sò "Q'[׶CCc r,lguQb ^o t鹍AB`P`,y$v<ƉϽ8B4^rwf D2v#P6ąگ< ^39#©i$<:B% W,+D}%_Tqi^CK0(2 eGbaEPuLUR*VVl1BW^v\­<4Qah>)kL3Xz+ x;g-ӫs~֕}v)[РO[: bD;KqM# _Бp4|{n5ln r-gy/CB E<;n-H:<:?rc 1^~X!" |L=Kntt)mu8FXtfIWYЫyы:e^ܹh zqDt`Pd{½*aCF ]STP`M+(Qx^W!9K–\ys C@~]zMĖCXc*="-^/Za3̀l܀mԾH܀[^ N]@.(c8N|z7︟8V\_ЗyrM7&}S(K$Oo@#-e^#"XPVgp53D+ħs ^{-b'4O?CDq]9M |iL^B/?=])rHwwߦ !4|d/G s)nlo|Νv V~!bw(1FAϏh7ېTik˶@dZڮqը-!Y6Z*TN8/+`s5P?Ŵfʢ d>%;Yӵаg`az9jC*,PyA [СomyJr `xyr> a{lاF9^Q=h#~U.ZٱS"PXE?_F'U>g yw-tH+1<.80oYq;$ H])?^=J{eOLAtsx?qͿ`k&/,|F8SLQN2G5Vժc0,|^(^*(*fM&+F?D-6AjGqj'wRMs'y(f ~ 2-%6]b›5= . Vcv{=ɉTC [knܶ"vkYemmEƙ"YO3ALd3ifps@^מ w5B·5֬u3QrbgKDŽiU{3A9Wsҕp>lp|=zYR cϥRKaש1tOttyxUoZ\LTyZr=V1881-4LL(GKn >.#Mô/׌'rqnbGkJ2>Y%G\NQpJLR뗀b+)9 q"P/d记б/3cFWѨ{Mt ?Ty O:pPXP}hr(Fbz1f$aH|m5vdGu3nV\jjRKk &A^?L`Ct\pwy@}ɕh՜{cTh\P 8CeBl!F,^\GyMI<2B@@#dsv6VߝZ|iq 4=M=6:#0Bbu \1$'SE#_xCem[&!\xvXTgXJT"$7B~A]8'̓_{a6d4$n5MOn%|vo\..{P |][N *Hs;Hл[D*O#ElXK[hBc^`\ql9U"ǬzO<A3Q_rܓ!$dr ő׹;ҍ^#ADTBexp)C騍fX8CFnf=W3Ŀ䍢,Ior쒶 <ۆG"YzkGu*a8>I$_N_ݻOq71ga#gCuPK9-58mOHm鯜\gǣHW4[^b}-7+TdB`U ] 'L1z"1rDaO2n]1a\_CWf%+n afttW)yo?@L*׈W1Bs4XS뼀9ywX,48)zD<=Q5ď m^)LHOmy[l]UP.jyy֊CFkX onMSCtzy,feWu(O:$Egy-y+6Ke[ hwm>i/#ÅWw2&bU/u#~<85Z8j@ꃫ@3_G8yNQTi_8UW:Jb!~;k7ڝ>r(! *FU1p6|zɨP>S%{JQW.g (B=>%Exvܥ} ,|ײU籿z~T"_>z[7.ZG4&"蜟OHP5m>]|.kV[[W~9>&B{ >)&@Vb1([}7rs8fWdk-$ @r7{Ng.Hxyv\dw=^'H|y.wA ܗsx$"=V< {$Шl,1U H6#SeRKviZ>ԧ;-m"9M)j7KV4rz_o !?:[7i p?nwS!˘a M/b -L͢xFunWiH8[bLuWhdabR}:X:k6FO*ZBV服=_ AHe׳۔ׄd|y>[Mt@h|\ p?ңDQٱ}<} Zɠ Wm[1-i}s,Z $x C~`@s6*ؔrOj3â?͓4dY)udH<Ħh;<nj':d UT6e:V5sNp#GQt7,ퟜ+5fk)3ME_%bjW=")hԶ2o39C+:=#8\ԏ1N j M#v⑥#$ `ʢɀ7Nj[efa Q{7/mv 'D]Ҋg}˔wH=ѽ]_4dnshnc~4ԧ!ȫc>IYR]&5վST[ml9P)D?hR08`,zmz|H^?4&R"ՙGgf@Cr ~R)Bzp@;:[ ۑc(S!^SzV,' ,ߴ*GO7Mߚ67.)Tѿ3(8% ':L!դL(aoMRuUPg~kzg~I[G+Pӣ4q/$Z_A|q k ΂ddw!KTNPğd󷣷7)Jֺ8Mwb F(suIߩv(%n<{OMپz*!Lp4"mI߄^ZN16=_o| e> ;`1GUwHR=َ7PUa5JcL LBT%}Lk5'H0I`aMkDG4͠Y%4jdXAi̸ٙcPT̀zb& ݑN4s:9 mt_ ]A0Ls78G% fZW(X?:2[s2\\^QyJQᏩgR&qN_xwrj[Sl%*|9R`ލgvӏ=[n[!b za)~0OW>8 w|޶9D˺C ljNJbXSuxH kj5amsbX7Q2}QrW e(.h˜߶/Hl jq\tn]~)9ld2dNJNyvZJlfl#;h?jq&c/ G^7xk',/ /4# [IJ Y"ղX֭A×"  ny2ínUUZߑS"Tr{‰aGy C\̌UOF-U,lEKHVI0?nrU*4=:T VM=| dYOrS*?QvN=g͌G$# (fEnR=x;{amĬJ}Q Pq&bxH\)?9^x'ZlG 9XXc}'`mC7W<џ{!@$ VkDtY7q`%_a`ڒٿ՝h¶N)U-3.]^d,hOZ˯X|ur=} ,,ƲÎ1iP +@07􅋈 O:; 찜- k>گ@^k(ce1O76܇wj&f5{sb?׫u(Tp_ڿK4 fhB{t thYUZol V=@kFػJڎT srKà@->.z더]+X^Ӛ5iy*$U! b#(+hQYE@ AoSFNȱm_\ O<{xTuReS~PII˩S%޿n F2)M,q2md1]tau9X/ j&=Ng`1='S>P$SE9]OұlH@gWWzXBwˮ'}a<6ψWEGێE00ql5;uGF' n^M|3 Š=Ӎ=E{6[Áa:އ \RpT֊${ݿU3_J $)c&ϟH ?n*{Gk`WCi{Urm8lBb<0J԰ <8" ˼Yځ_`Fʥ!7#4FRӄI8'G˼\:k:+SH-V;'0 Sּoʖ*Rg]9/^$Fn,3WFNIF%gΓT1*jRW4SG.kFW` Vzc}t/+kaĄK/;7wN%`L>uj іeYccԇi*̗҇^-(}Mwb^(}/{NsL(P;جbVmT'ͦ3+Vhʋ˥/l߂UWnxwϦ? mYʇ#F~CK2%hB.TUȝb; VCh.bZфj1[7{S_;-sd:Iۧ+ݠ8_" ?saYWKLọ,D[NSatTF)!;)bB ǤW?-gE3t Ş_{Ux|Yx/)qONu6 ?Z23s@Y[#LrWJy{eGȜ$P.%h`ETq/Zf9dQ.kZZ޶T-,z"$T!@ ̻k.D2wR]ST سJVt;$Ap3AiJ0):f,)vLQSS+'&_h';%aU.d|whO -!7,Py`.ɭW9^ MoUGbAzV\u;bDf;*}uD}\;Ss❦%9](11~JM_K{@ 5IoiŽ=-W @ߣ_#kd}pC^șg2y~ 5ײ}|4'n|R> mĺΑ[{i6<^-qIJGUFD5%7@0(HXW kWXC|8$%o+I ܈otPU0/suWM3b:"^{.lγ2Pkʜ mO0^-R^x0o-r&}0j<*~XxY& `}fv={}G(ݺ̱/-< Ě@3iQhN&uN`c)}r?J?"["*4!ndW!$_=foCͣ4z`vwh26/S5BWx9t&ʫgK‘H/G%"҃g fdzz_''1ޮbІH@@ZݹFT^Vgx5[ !:߹!iGτ[eU׀j*;fn@堓ZhOwh>jqQ}rᙎ }2HvC'Ve*l7)-{&T?Ls1@ K"3d3}s:G*5`<G|byW 70է^BÚ# /9>݂ I~@ksQ/>."q*K3BlP3YWJca8kAg@=Qv# M:B@%^4B,<]9S4!93o<2vQ2ILw'B^ zpq ;P!k6dE!,llF #'@޴0 ֭d%p5c _FB\)\W$x9Pmɚ\t"B?љR7|?LlFT />6- ʨoNx(-&:EGIUkWZNGH{kiX];>c0z7':|E;Kp\8\6J<^R(̎ )r.9g &~K,j~>K r$D/|+uD7UF>,(X8/lɛf[^ZÛ@%0lR:LW$2UF&5P ~~ {#,6#e1inE$~ sf'Pje-;~A[yK愔䡊=Zג;l~ zq*LUn`Z|r4^`]_T7<@D&ȑ%cu%(1qri[$שXA1Y@0_;hß{98{[9>\+RHR,)96Yc 8Sh_ S\S Z&'uavm2oAbf]f_bl RgAY^˘t䦥$Iĺ_X ?n) Bv%w.[7"}ot-_T"; )Llm&\YDh҆gGj;cQC5ۄGm ]!}j}} (9IQ[JƷ9]?-$O8sxLM鰱S :=D@,$.N Sdh.K|ۆ2dψ|Og!?7wvlOy6hm#^r EDQ-bə\J79P|z! ànwj嗣X$!BfT|p~~sf&.*;m,c=ѱ}QErfkҤ5Г~?yP;+NAvOB}$ʓNnZaW>.)bɌ\PFqST=o-Z`%%VGkrЄNw$Bbv椽1DgYTsDu1a7;EFJFEOzڦ9l8gIP3D[{N`D&%OXu ~'?x@c7rҁi8aRTɛe>ӱ/ZY` X84e_s@D5`$z1~ ?+9$.mP)2YDD9?0#['V։YDN q!z>Z84EmSL$yOᡄ0NP*9XIaa^cYbmiU шl3:=:O4$d^{ֆ<:;1FK^-H]4@̴so7D.Uz&#Q7:uí6xf\7Q$m\(!b&א':LTat*QJ+;p(G3ԉ I&G q0J2)4?.˨?6S @ϩ+C=b|-1x/|c4ݯ Xj:){  KR[ _?rAMՇK5Wߔc|aU2CL\Hˤ3Sǫ2Z Y̹ۣ4 QXFnLhbb}KUW1 1>E+XH}yMm}k CȞ}²?m4%[sd1ŢQm\:iRih  0ڰg/\ᥦEް!(p"hXvk{:< #ޮ_}xOy/[B,p%HA DHu7su0x%>v@*rv]TG@Lu` H vɲ8vڂ9ϡ3˷zUCbOT_ [{a7>~\v̄в8>2mt߀ ,eهezΦV'.#o| CB *RYLSgSVdQl0!sjbe7']U8@PI#,zsezAi`=C]6* + z/򭙿Gn(A3Ռ$/R6GkبEWU9-Siw+5RȰZMs{..З;#n R9lU10e@s Ҩc`|AlʘҥuهдG5Eel"a2Y11iR&m}5e~֓fK*rx}.I'"<_b3#;GjfTh֍A Gڜr5ߍmgŋSu3&OBJ+L隼,fTw8;7[` \ñtmN؈B>P~,C*5V 9t'hH!ա@ Ňtąyf>o/tNEfOVԢjm"gLs=!n18ո"k^ɣim6 +ErԹV0rC\4V*mU0K/!tvLPɮiN,tcr?Nܜ?AƑXWZBh}0{oSd7TT0k{"DE]*QC%yooV:ݛf@bN_a&ǁ@QwH  fmD Dbfh*~V2%Ҳ] sf[}'/g9_xzPBwUKnN}vtI+f".v51TOd;җɗ\M괷Lr(lTX:$B('Josw_P(~3Mt9w}EhăK&E<3ϲ ϰ>dL hg-Y%r-  ZF⿤1q*v637yO+H-?L@3֙lC#DB߹/ gTyYs:,kM9Co)p'l2{c#y=?hfLd.!{6R430t V"ղ/]AT Zl]^뭉-HU V.>҆i\Ϸύ--Y_C,ߓ'gmҾj~2 N6S4Aexs ]x%]ɵGz'biYG^HFohWu'qx^s8KM&@Vejjm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJ[05 ū~-A}SAD뷔Mms^41Dw9D0*-kCP vԱ[NNnCHB[Ptkڈ}m;҈F檏2'w,._,96`+Z"4̎enq8f&80z >n[,˽k1L!쌈(Z/$>NHqT*޴M=;?)ÖbZ[ڴcLII4rwxVwod E+3=q` |23*5'DAʪ<ldqʹklDSM*0Q!ՙ^hoY=g۽Rl O$U[{v^ O*z:#qEg ɨ#Q*uE=>y+zD5iMqueDU+ 6F23-VCml!=_!H.F$FZjǟp>N(]P%)8cSxB_!vM{,̦.3jPPG5th}=&nI㞱΃X] +aj\pkvh1qg0&Tv/6k b V]";Msf=2[`a3I.)RuAP ŷHXߍ}ZQ74=⌗05wC*:.QҴk- m؂)ٵ*k/yKt<_S#ug5b3тkV"o*))zt|"秦'Y,je#V{.'kyq'd$q٤B!MfdWE)9QGszzA!c |si?䊷׿%#:#a9Qӕ7;')V:_ՀD'd@˟Ţ4 A='AM\c fݗ\(;NdTMTL)u4)wޘM\ o__@z\]gb]G+:\e(P؄wC& f / A%FJX Ŷ*MY÷E_W7LJDoŸכ)qeK$$=(DȠk5ݓLـ "8{ ʳ#NtECER!߫% ."St>5Q>q(pQ^q$ _`er͑*0L2}|!ɷ ߣ"W2kV &nOS}i7ؽbφvGc,>8ƅy s .Q|خY0:Aϓ_,4a+ 8JSq P m'[V,NJFsmw) !1!M3n\rS$spt]QxKݬ?h ukRoĞ𤏄mO | XARQ8XK) s]`8ú, ϷukCmXd7Rꦅ!M4h#.8:ME.Lcx&\X-g01<,搐6ʊ]]X,)Y' -߭ѕI}Y)@=[cFMmLsן7tjI;8MQeW xєՃͨE E!XrAiUjɊHqAԻLY]I=5fVi*1 N3cR22cg΢^쇜.ZD+Eu7l)66yX! $ a V9wb548.;C # vNh NL#Lg4a78]9LLtof:9_}f\\Dx?BS6eSM6}l#,afǻ[ݨ%PƮ`dsӶB7& *ك- _V5D ,"KTT K9_egDNaI`/< u=)5,3+wF1Uc$FyVht}= o". s@X81.i- N /IiDC%5O4C#|z FO m\}k.[}n!3HؠJ"]H}H7es5L toXqdQģ wnu;M5W`d1.{UФt\<;^4cx~$=8uWXMnb r"[rX9FZ/~L')(HZ3_[6]D bIqk,oS|uɦifiJפ H.RVM,gWLkrcMgu_t 1jܫZ6Iľ@"E.YHp~_׫Ȧ,Ԥ 9 u {ʄ9A[~1FFq\o_ڢ+S2`1>AH* ͖$ ^<+GZsoak_'{$"'k=ͥ1նZ\IɴI%/g}=l*Ij/OMYO͎j.,kZ8uXvP3tP1 HB|B$xwE۵ʓJC^ō{ UG-{P75UFbߩmPENiY `0 # eG:(*:ObOXs,)"j1If7Ȥ䍺%@?57c ʻ[g&JW"}vRFYoX3a5:cM3~Z> $`S83B{uE D%6eڅ|ų5%4k'QE7.R>}gԑRyɳᵈex`!{o4(u8^$* [ %u{O-!m85ozcVg5٬XW SxOM}33En7l r8 䗫 >RΙ,ܢTłlo/Qܵpx9oork/ڦ,INjhLVd&lkX/͕RIl±;-v[濧K" iN 1.+iXg.Bɻ gDL928g|#ugZ gvc}Ob%uWY|NE4o6@"#]䆃j*,10pN-܊}(UE=۵f\Rȋ*Z;Jnl0n?(Tkf'9,Y~:6=3jZr#s8,K?Lāi!fVw mym4<@^#FM nCb /7u#0Gc2#(UuY+Y=G8'r#SIh3 0H_i fΜyʏ0[\A &z>M%UofH[)& uO IܒV Ѐ 54IŖ jȇc%0ewGIã;M+MOpC}dܢ+HDr7 pn\n98/ Vj[0DC@ʜB\Mj/.;6$.v%.{z'sZ]2"_?nR很i\}4 B9{W=I'HI8yzVz:ym{Gsmĉɨ,_|;~`3gBAyGKZ)P餏 IRK˴,߷Z5rC#㴬4!|TZpٞ6g =1yZ^0Ֆ{8z# Uk"M^u=5Bt]3ь\1d7Box" ku5 8}׈U@ ;(h'ѡ9g8ɷ}Yh9jM>s3t !5~ 4&x`>Č&R6S4r$lL PN靬}p~u@+s..sQv/#0%`m|RL7qd{܊ O lRem%.M,嶽H33q.dz ʬʯ1>jR$h&#@ 1!]Vldn= =}*.*S 4|FgpL\KKD`pɬȿۆ]^Ai[tN/" y7\?#{x _jg1qclPr?GGVڈor^%쌩4wD,myeoU;$F_T!SMςWr:n/} ӊ]P:gH\/Ia]sL'Pf螏O8(Ƭgm.()-TM/VcO:֤B`4c`.Y@*7=ݺ+=fW(DJ wE! sh}w֩bb-Sjf`U0Ez2ow[e GfJ.oo̴MWy2:yJc{%=#vH{Wi"R \dN$8qwcq|2o_^MRJ _s@ Xc7ˆ0a ,S@ZO2Il:h'G ? %b +AX;Y߶~7 W#yådp K:8;>y9Yʧ>5)G&x T<}J2/!aF0LŭO癀DChV'ONk.M4MVT.@5v wv"]Q°DrDAJ\[TX'bVN =QР4Q3ׇ0Dv|hY%:Z%D?I}i"}:N }Vؕ$&t-fZ6)|DpTjf4(:/^6-H͓!ٷMmcDCȐr#caɅGu;NL_kDBiG-v8l269kP)51v _Cve a@UȘG}Lo*[$D&_X3z9W0eCHT`(:h-\x^\MV? t/B.)?NF7:qu;6X5EM$<=NqJT*ih0zÇ")VponɰUBFTE%r!ws:X+a@p*m[ Ӊy %En5%8Zv NBgVךJiXbx#}.Ysǂkk]g_ =[W RzkrvƯu3 v/aBԱW'/aA 䯀hοhn`ߣRo#(ix68$,#dž ̙CUM]P-پ&1wרepқʠ#禶)r0phe ly"%Gzn=0XBPKsuӜYMc<}3 %ymD&5i|6Ή>4G|Bk|T.pw͠*=2 +^IZB`+hlYњhC]wX±JZwg/ (ezF1`aσYۖl*B$ca[G0qͳXM8vN0<ͤ+INcXM9/-|r'2è)x-{z\uťiC\eBf~~ڟゥvbnb1!]1.;j+b(䑧s%og@D^rn;wjP>*Xuv@aS(A^+wlk^@$P, qW^^L@1`"I|vq2П tE%eICg.EFC9>P^F>Vj@#Ko|ދscevZJ1iʄXN7 ε +bΞL2[_ȫNL?M}åJftQ"sF%AuG:`Z|Ń`½{m0N!ĠiHqW:Զqd4? %b#ʶM]HGƚ_CPEdݷHNêy PR z@FT]HEfEL0(K"J(֡tHm-M^?d1u-T2QYCaW|gۓ*%z Dp?F2M[A i/,2,B XW}Zh}, "V:/>U̲ؒj\Tq0Zzh1`ш>~"|h䅋?l.¹T{̙ڇ])cU晐([ юo:d~(iM4> Sf/l]܊u ` '}brv{be.$۫@ ϔ: d44 !!lګWU*ro?ȯ 5ssphi㾬az>WlWaLL'Uq]QL"˹KsFxDcpQl{:ѕ% Ԋƶn ͣJY]jkaRʴw>7(;o/ xv$!0?d ;x8[VDo|&m:#c0[+&kY_ZX޺r`,dQb6e8wnlý] $>'jL]T؎\S u`MdKc<Ss"s׋mR/Ρ2vQ%;[>\qݗPɄhнtBѯgӮޮc}BAUP $KJ•siXvRy|UY3c{Y \ya6 "yUB P b 0r }:'L€x9tyjۿ !HNnxdcdwmlLiPJA`v NmHZφ9V,S2H̱Yjgʪ_V.J+T8JU %1ԓx<5TZdl߲ݏZL> ~ f[Xtѝ(z}2UaS6pqTEr0U"hƘcVбtyV"Fukou, ,>GZҩR<ݳf[sUB ,._$^eFvU1wsxْZNݖ{yԱn GJ$ n^%63pɞ]qkc`啕 tz XP@miXc? 8&Nn%,̪g.$y|l JQJw%QZGIfi/RaKhܟ`zG80bS(p?ˈ יxGɅo+pd*ݫxWj[.sz0IƖy@~W O5IwFs~d:s-ÝbqmeϒA g:@~&I-A uC-A2g~J{I~N2F5}qH9WҧƧ=xhs`ˑ Cu.RfPy= )Ȟ-'x1>4;a/S$-M^/}f|pmwݎXm![P(s@^ְ$]wҟ)6G9J#jgOӆ8LdkVĕ0wi_t6OzxThJkMGUL磞0 7]~k);+QS~e)O*͂]/>v#MB"CVdo OTbqdȩYUqNa'pzoӇڵ~)#kN^P*[IN*K۳Sx,T*=y34WG6r Cw̵JÔztFa6_UsXEĘXW "'Z!| g,x|`K:Q\ruk}Ͷ~#הn͏.Xuo$WAtq'Z-kSd$4ľ~H7tS iƷ|?i!rȤ7{ :]XSRa-lAƓ@x|XSgS0&5G80WJ2CO\2Os3 9z3{gpE}:%=*‡Us%ke{.1 7V2an~vmd ^l%d9)z_IuO;m0{⪽%ՠWDIJBr6Y.#Xnܛ^IR6@4q-r}Ph|ҾIY+Y A-?v=4 SFrLv scLIg^s/;)3p8'eNGoubUFXHFxs9(l_N7tN&cF uhp6I* cH\(T +dMCYpnIb,>@/nb2VwB0)\lSDGuT[N2[K$??y ?j?UhRKw'ٴ"e0yy,nƗi6wdeԕ _PyE q?6w4t&/ x: =nI,Ur]U&X~:?Ǡ#xb)Mw(d&*ѿ.F\xKPbذt\owgw+Uw'kY^\zwBe@k25<1´6|rn/[3,nA;o;&в@CO n3mrFBqk3߻nV2p%}Ycud:>fL9Dԙ4rԻRIäw@ Dk歖hc pSN#K 'aV %Tն,駍+ư[8 QgvT7z_>2Bbwa_X\Gf,]x-h5,Z.st7Yl͐f թA-kS C\m2E:SnUoO:A k=g(ԐG䃰AO{^M`r~]9l'.HZL-"25{8i&8u{f^a|@S<@H h*ހf|C>(e=a nVM>r-gta$SS3Ic'rշe/:4'nF ~U(cKI!vv,% g::Dδ:RYJ#ޘDMP78@Hwc8Qj$ ➂aD[z=!S,:lyǤp**Ff}vrFQ (`Yu';@Ф c?1{~(!kw`UYqZS!L؟yZ! b*7 T߿Y"a;jU[/O*(NT u5R<MǑX]4nvo<ÈIAu ;,_8r>hM-YT-.GdkпrjE'ϥ8_HdyGWrfGyG4bIT8. ׌1T٬&}xŹL)7,.6pZ{(6ǖ>0 d&lCRN'F] h 0()v왑 va;ֻkޫNxOnNK ^3(oĤr7@6 0ΐ*&TYT5krBekޏQ q7 zpYlVn\5n^WzW6#{XNR! \GbfPNo%Zsml}Z` ΔUoLh7#\<ᴣIKm~Ai"B_iW Rv:,oعrl4\BTr)~,'H1\ӑյA )@US:ͲUvNdh>mY g`&tHT͚ޔНt4Y] M..-6k"g-mg6 {էj Bǿy {$0)W[3G1Nď *vᥱm`&'Tt2?RQ(J9S}yEEetJ9~^h^iK3"^>pA!IsmcAo쓁/;kBGRB<H݊\ɂbGk4ahhvygƑ_W_rOfq7_!p С5;4" IƳX@t?t ؖ;]@\Cp <*5y)$6WlFř&4՞A4Iܪ+(򿑆C{i"v7C,=zN~e1I"NEyqZDU`wly:?k=; #t._8R<+{i- ?I^ yMíqi[[|ro^6MA)BVM~-he뱮-0`$oQ7c;vtĦ4@ۢ9.7 ibt*Q^#0B7iEM5EDm~]Y+aP#q_X3>ftFþ jmKHV~f@p TYx\Nǘ5*ڬ'q|'[%˱σkxsu)=;IN %E敝:*5='>z#b=_UhRϑxL܂A&n !B [+t._ #Ń>|,lW+V:N, 2"sq^Ξ *%Nw/_.y1l^HMˎk2: TFʧp  8[5 _OA?tШ,Rd</[XrX<mO{юcR~! F@ Tal+>fZGkptm/79Ecb<2Zk%h'5ru-y[NhRi9NQŬ)?ͮH7khVT&"T-_LX_0252PTG(TVuj)C|~ǁhZ-(zΧ]wcȝ]Gpϛ T(6i<9C]4tOJvJLtԌ gOa6DeߋZ1 igHз QH$K]`?ڢ;IfWo]&gH.WBZAѸi\H)KA p)q!xFoG+ F [za gb\ l&Q"H/b$"D֡ˉ2gwG \U. @^fAV6Gbze0#p-Dh>(i_{]ב=d ]~fN1E Xf; Akyq)lôZ} p.%|^M6΀zS\]gDAqpC3z;dRmň7\k:9MmENbVLP\2=å\Efh`(_|šs)w݌[lxkɨXi\ityҾb#EjIx dYiȓQKgpÐ\bs*ݍhdנ@ށҢ`aH7ybl~-2OA? 'G]jl}"xGM]O\b}vmֻꏻNTYW؏^%bLC՚Hf6\z E׏ tY?Pnzn'FW[1N^>&ɒ3g)Ԓ) 3`EFp֞2j PѓA N]˫߈x N v0?ҜYP'\OBb~g$E#fZ?ˋhɞU]oXE eQ=3-U喦 iG`+&CR[yIW[c 6|UEs|7ϫiY~׾C^iʾ:h4+߅n2`=jZTf8rBfk:V晝$q, *\QViYAײwE3szfHôPa R̯-ްD1ժ.WFqwˈD"(?ISš7!>pӆ$bIW,+S~ͼ~n)2ravXB?@jы>.U!hVK"K}F}04TB}a5xS]1z>sR%RthWM'7Gݳ 50js؍\M OP|sP ak2ё/{=ct0Yct GR@-.PAwP켴P%6P!a֣yE[Bg#e3n鲁GW3@M{ 'iUmyx5 nkr 9ż< 0Lp1$Iܥ|UW @Iem~;,s9i,:_ /,__]]yqtdhnBr9OS$szɎ }qԢ5b(ڱ1gMyY 9P͑QsL;S[c +HM$ZYNhxL+sDZh@ DMĬŷn_l3}=-7cΎ\Js@5a{ҙMlWxA'ҹܑkweu'2NKQu7eUӋޔњz&9+ڃonw{&{<)Ꮯ=Z(Ѿұ`X/0Aʙ\VfaD2w n,$eCCP-WC^߅wgW'e o{ԇh?};)n7XT^U7FqqÆi;8G(F#a1S m/|d+hw.Z 2L+|ͯA ,wh?!Ƥp4& L+3 }g1iqO,X~orي{mڗuo}d`' C˾y=adV`ȼ}4 e~ȿծ^b$V)n >nB*{ zbն3 Md%Zf-6f5cEo:$]~G}><&0v +qCc!ʻ:SeO/AF"'g@%9_ u^VIh˶!lz2eituK꟰=Rn]Dȱ%3јǔl3*=Y|y,zGkIŬ \!+.Ms9pRxǷ_qejgSul(}#)}r`Ye\_\E.ȴk{g|L2%"p{ٺk܄m:*8ϣ}c›|]Mw8W41gi ˩v[b ?֩,-?TxU1ĸ\"C02d]Wc]n-īhf*[ ,ߌ(08儻`R 9DsA^^\n _Cb.7Q#9=&O.5x8TKWN< CsU^CH'hdw~%'NNp%r9Cu_"\sB<@Վ2gkm&]泙qP"^6Y8S*,.\&G[=HVn1 6qyY%uWyWbV\_:,mh|i)\yA}zI)ymg%:'Uɠk8r]Z;8֛LxTΣ+!}QP`Qhj.)o iEӓ5iI+ JVȨ4n)o^d_N/wv,8mEQjmNW:^W:Q{]${rOe3" og%UudvLig e4|ї*nHTY;Jo:PTR#3z/V}g!_B߄FL+CqZӍi8 wF]#B$"DAwd^_Rp_yˎeZ_tQG;aF F&xFN pɇ|-YXDM\#OU+eNy4-Y>Um՜0&޿Nvi@kz [opNG `>%7x,DBLBA硷gWT\)Inr ؂8rQqˇMu&>w[ET}$Rw8yAyk&'hZӧ4{iY1( Asڗ6{65%,J@@(dW4xͩMXf}:_ݷ^穢!~>x>whF 4* $g a~|ց!f9sHcQxs0R%̷EDPF{)MVGtz'JGJԠ($`ua*{_Feid˝z-D ;<ڹmXu8rqmОI}x5d >]#]E= G֝ySG^=|[kq5o1_V`]>x.NQaC7 n 9jhV.; c~;CL,%sAUZQW$C2s0Q<=ny:Ȗ䮼vK/}k%4e2S~2ߙÂ)Vb^\3(%\;1r8ðME= z {ʪ3$(Clbi+.Y߁e>Mznֶ%!3m'*3( Wu(;2'S)M:u+>^M/B;$-0鴖DCX#3T1ЫA6'p2c~dsZRNS=sCJB/eH::߀~YLB{4ā )|gٙ,_| FI)|0X!3if KK^ F˧d9!UF#|IJP+l*-#G|Se1a%-_2EN۟8=4/:1pU@>XճZ.3c!ꋇ7XǞ 'nx !V[4gPi&w{+^s׆?yL%.%c+qh"F-ކ`997l"vēy|՞Ry*k =Ʌ|hѨ&\jll&<*JԟL <7abX1V8* ˨TzuJN#a @ ,}Qg~ dfv3 eЖU_4!DDaĽS5A9|3pxhk~{+z"Aa!I:o ގN7p5@ i8^IJQP,w~:uMeP@ P ƌY0}x3j՜M E v݀ų zwL`ӂbo2,;_AK?oosӾ"E¤q2wwSDy_WFS?%Qi :i) ߙTGa} eٕI/h~}1Svȸ j,U"o|P)jLXf,ynGslAuA0:!!:vH 0W`/&",n_7G[ QH?oWxsar:9o WO`d^ |f!ƺLH؎Jh6Yto$m]3aEhٵrm kr )ZLB5APCeJ[UEbnI.rxЀ_0g5Cƕ>b9\u5pY&Ծ)A0vqڹU嚚>"ۼuָF)`!Ewi>1q.:Uꓙ._ܝ1,Wx~T_خɊ 4f HM|hSʛ^[P'$8D"x ajA+@$>$ʭb<`T>ߵJCP1P).qHF&߳ R_\姴Cv` QW `n l-!c#T}'tK f,(é"\^Vys!S̾(-;́!oE,-<~BDrJH,ʺ ҙe  ;]ct+ӶSBlkލJMqog^zȪ_@nT"&ZH'/@iҭk~vIJY?ƂJ-sdX*s;ɚ1xP@<nB%!KXm0rJqBx:؊5Jj@j9}\iyBӤ5(ÈҮJ=mdB (Xa?2"Y2v'\IHKcFNNl˓?h>P!3K|&¸̬:8݊&Ð SAsΉ[ LJMQV$6J.7 d?l\d4UF;詌6k[Z0Oì|1.[U:M(Ϡ-3r&+[/ejYk o*0VHSy߾<ck~-7̜}g׍G›:Oŝbޟ{L.xjĴnh B-m'Ia僐&B жɟXT\ѧ3NgGXnM i17S;,.ÊL0Ë[-i m\#=m\<)1P, zyAvC%~.N:u,vϟ1Eq"R) EHnƍXs_;07K[xhn3/&sBu_.󆅿6 l֎eԸR.yzBFⷙ*mash(d@N FsrM X}Yk 9!T+.,)veaԯ2ծ֨Ҋ7[ `ĂO pI`7 d咍Zˈ[9jJJ\<(sOUϟ(Ӣ] xLsdN}Q,9j{؃`|ɝ"G@SVS!8(O|MʧZ|Գ5k6v2/}0LGf : ވ1ץriVYWJqS`S0u:a"S;ܥĞXnL Ub0\rN6~Q ٤(suX4:wqL+wն"ԣZ[(mmNPdueZ>/Z! kfGz<_ψJ=lFⶈ%+=0HɈڵ]P՘CW!t1QqƎxII7'7IAk\6pkvR,J`K]{8 Y >Z v9K]*Iɴ 9bu_N0Psrҋrw=v~59+Wua8hĪ]-OuǍ^p# cljOW{DŬA_+ƪx˟Q}-y:Fl>tl\Wrzn\=;>A}Q}O'ӿ Nc~%+EicDM2?xX#?jmq H=g)N`@g$YO%-^Рkr${ 4sTR$}( 4 WhȎ[ee:6r_rWӵe2\x/|䦼DFA$^5ȶϧ29?筚FbPO\S^BB&Z7~{|T@QKˣ[jH5D/Ʀ)&5|I^pG5tMAlA2#F0D!a]0ehM'7J!rM.c9:?:oQĄ !> Jp,uSG)}6$Fq?Rk1՟8zʏH0]Γof6=#y7 L1m>K޺&Rig4N]<(q7u{DNs?/&Q(%Qި FDOk%pEt"܌5")~u͹A0uWe3p{(Z4 8\EDu/*$j_JM]F.M+`~Anh)[5 @ӹ̧Ft㆏Mlr fٚ=:J.a,|ãvD>N(Y\E H) v"Q=_;#qv Wb"VlppJuq:Hdp&koM&| 55Q iuC?ؚt sGh=ϰʺu/Z=Fqa9x`ڧI~"u|{Ò̍Ijk"ºcW+ؒ)R%nU[k0xd @ QǍ`tf` 隲|f`A9 frw4',a.wHscO32'k#):ZS`6nbMՌ̠8h/YY`2]STv{"$UhA˕CD2Bܫ]>;髱$V]A_D  m涇=_o<@CxܰT͈hM8kMlq@rl fyKe6%~`~wA O N HqI=zBL2`GN\7 ;Yc\dFխ_4#;-aRf'i%~eUJC$[x%HLr&g\::NKn` trAL83]%4*^ a4&C%"H`%f:Dyjt\07% :1%Ym 8Sue>LcKz _OAo.5 e`,R;IhArSjI '4Q4ɰQ )muW\)w|jXH1 &{Yޖ8ϟ)] AhUn:D[4OjdDTGі:_E-`ԂjoJ!Kht=۫lyώ +)ӗnHpbvy#eM9$xy{Ԫtah(!"ޜW2Qjܾid$\vVUk(րI?f(7|v%2t:Wi5WO0qkrԯ:ؖ] ҢoP- k=ay'L\7K]d2}Q+g[cBtV%[B`u)G5?ґmW%"Hhں>ľrT( kͨRIBPsz{7VTEIM1HbT#U~|Vڦc-),@@ ]zCy )' +K4ˑRoS63.? {Icdr'a`]t,^Ml(ivd2 8H4##Ŀ#'Ct[l٠EBo._pUX&Oujڋl ޹RGopptj4Pv}x%xñ]Io5x TKRi!j8R/rY/G6ʏI?R3#P)xJEN lFjeb _Wſ2-F sGp;fS(Yel0 6i#$fuA8bfHgIRu0OQk~uOSŏe_/aԭz~J7l+fǕC.b1_3 K=-EJ,^KcizQZǗN\=T\~M;K'̍©vj*zQXp>n'Qe&cGH'= l{YwDt )J`{ O3>l 6Fv&e{4hRPg|ĺ)SjBH/mOq0P%T*H&Xe7f=>_x0lp1El89= tj .zShj8M^}slpZŗ>Q!HRjrG/74}]TL{af\և:1YmB+!rYH>սW[H={xٚ~D\|"al4ǢB!µ_/\`*<*Q>=!T.|gAGR9mpFaݪeh4I1NiDHcP/Mx5cj:%][s>fFl ;8fЋLYA ^huGBtO#jv"hb3s3*J0!k-G}lyM+"/5)T.B >y\cy0{S7?{saq%w*Rٹ$@1DHPl|;ⰇAe՟f<$lV53+L\P.\6>$<JWAO(b v%J;6.ѕޔe`Xo1'F=#vCC!"8}:")9/Un r)rg(+iFmAN14X KY;6z˒ uk8j}]B2::>~@58Ox^`aMӍoq$ys܉@>v/Ϭ1iRA]14.|A{aLf11!Op`R~B^,3ݎLބ}>rt1C3۶(>|k5UŬGf~$c7e@7ΰKvf܉g "i=" ,RIUuAP0tEd&gW8x~`mW;lTM<9 QJ*/<S %"SY,wa 91tI(D)%ԕJzYdٰ5 5U<%~;j$@b ;jP_OM˱2s9q=[R;綽zűkz<<=`׋ Y#eCT'?ׇؗ~cNg /QrZ[,]VH>iZ ^w :K *T3T3ǿ夶20񯹟7n !a#9ҸR0OdY 28p@v} Y)eij9ۘr#0$^u uV4V=,a47GU6Co֨x5@,%Ma7;=P*cY@43єO CDEz/䢸*#28ee ")\Inڧ))YiGU*;iEZy3Yꂉs[bUPzQ+ iVw@9?pQe9}=ǐ;N,m1`> x >{k=t?ڌ&~!z) c@#tt6_ӍO;d̙pLTDcͻ),uw\Q?|67HNY'f 1D,E hK(ZuJp| ga9c&vS6mX$#Fia:[rn3un/wJ27Oyxm+<:N !䟇=>71mt᥈=2L(}2ꓦw݂U-3ɵvx-qRQF83ŕaBI$b}H_ u]'$;W Nܑƙ*T\ц8~ԩy*H+c]NU&0grE]~h\ugxC*b}2kkF&KZG~yG|l忒T(E^r*̔)Iq(쯜NU6aѡ39wz4λ:'cYMO +Z$QJX&n?Yq9e~+S3 γ)HaiKUǫ Yef+ ̋|v=K>phN&aXt;&l[x֓RW,|Nӛh)Ɔ:|7)2K_Qwi ?۴>N|% G3؅<.|0=HsoBOe{S Ps{yK7 {d fMPkK@a 1hD^,pp+7d ~_1衴` &gX!tZvccD}gAkr""3=GLYn_TTy-ag`$ Pf!T϶7=:vƽ LQ,Xo."}yY^ (צhyPpB(^StsSg+SHZX;E=h66M('fUf9FlM94 r3mOT9#yC4p#TquOf1d,~ذX,X8#mV1~=P ) rܜ^(GYsXSQ=lX'6,9Ga#) qG`RLX2=4JyRշ o5z7o[LuvX D gUA/RhGSJ$ !#V+.:DHavCQ[MP5WE.',[8*Y_yTHNM[`7S)3P a\]XOS7? r|a,v=#t*?y-⪃POQE 4@$Ra҈z! 3Q3E×QPrR,յ;BQ ӓ4v]XxTCԻӶ^qj(vDq%:xspwt|wY͂D_­A!XG2ޒy8r,s N( =gE8v"xkYgkׂz X (XbȒom&`H|Xu{.};ӳ 9FvA-&/xƎv Q&vR֔5˴Ly8\"^&vN<הaAvWl!W*#OA69TQ rq<w[=tnԒTmz biUG x4D/S<ɾ->Ev0okS 7 K'Rđgw"@RQܸs;#Rȝ{R[SLs*.yvn AX670Ke+^2^,Rr{Evt}wd~U%`OQ?˿@J|Y8oCQ-ix~I<ѽ:PaK\bωۤA4*7hmey䙲Ň&UX9nח^Ή>鯵VK]zvJUw[om 9陗*x) 4?ǥ0@_4X ?%߸7kc_[GE`h4!$ {I=(< )&s"t|F)Zq蔐V7J!᧥KPD|^D^ϻ+/Cw^a2)ZI)\ TM O euЏ V.n2p꯯C즣G` vP0.8$םRn,4/-р`ɑz|qE<]hv6 gwG؏]׽/GxA`34\5׋.,7eJI{k4ae%~Kޮb!.V61^+a\:s gZ8eܳ"'OBs&`a(B` A;>NJ)@p` /E؍*,Cؠ[:z3 s'e͙}m9¶$pK/܄fQT/W"e*kׇiۑ=MlGcElXM1$,Ŕp Oa͟qjz1*a>Co} 0gePiK,y. EPGŚu FƧ[0areѹy%Ǝ Tߕh6^vVij]3MM`̍^- RF&' otB"mW T*9 UGɦwJYlI4pRLC $! gEVPto> 1>:tй}9\O!F3WWi{*1Z@*jA1d4iջSn 9LGyw2q^ 2}dC5Op,c>a25U$axlbTf" NdJthzɇى^]hУ\ xȜ:lhqe?]q%[w5Na,N%*Ɇd,z[p_ϟFǼH`oվ w8N||їES/=sM]3cG1#6e<$!k򈕁5(N :37'_[.pI]C? bAf+#$-0Dž^@+>Ix׼jt jlÔ4K(]I5y+@sɮneOŭ}ؿO=-cO\KBNB$3Ypw]=t/3b;8}oK$7Z$Z!0Pb#A0 r|DH2W9*!D}疸y#l<|[N4'vNؔه>E_@g4?Ō(\RZW0>8 Cg*h+*m6oHl Pmyr&c0NU%Op^K,azH '3TQdiye%KAC 'l4sn,|ug*Ce?5qy(PZ|MxL)b8I*q{;%&5Qhmn s~YళBh RPpTE^#ߤSǶhEӆ)OaCT#13UJ4{LAnm#cPiOor)VQ05il+̈} ju00wl~}TJ Ĕ-50my3D|7E? ]?r۱Ty):0;$v=.\fIs0HX |,A$Qs}hʅyu'/kt9c+ d< 1>``s _!ACtC©?-f\B= ZokfTg/}Xg۠<R^)^NyUa? m]CRNiaZLMU@pu <'.q\_ќ`E_?M?V'ճ-\@eU ˤ0'CXt$Yf\&0,ALh=kEB[%ijא']e!s2@{5:܌`Ern R EH8yD>Q5(d"^S٧.kQϰ *Jj-VmEY|Ayq+ (]GJT,` ޘb^_ s"X YB\!i}܀0Eڂ " b "ʭZҗ[zDTR[R|Ue,mbW1y!5z`d0Mx6d%gڳ [dw/NW+=Gp*_jy548}Xt0h|jH ZwA9-+Kܪns}_-_?$ش}3^3eQ Ca(Qf\(̚mmpt~BhcKZv>vH*d*\Ja7eaw.6jގ5oxn/[5y"5\QBnnڪt11(/ud`hpݡΟAV ኵѦR&vL08S4'HgryUii rk5C鳾w`F>7/Dq=[k-o= 1W<"v|Fz rTWt)R$m#Uno)t4;#/p*e+PZ$Y[\-{\I2Zf8&%Hb$Ecxp)D;cRc ?@ p .ȴ|S1'5~5 tOGܳu>=(~D㦎Rbʻ|0T S##ʌ{ĕT5~*ܧca\K@߄[=T u0>|~6/\:ig2$"$v$`AA|F_2'RPk~WQU 쬯"j00W", TCg;8PjEUȓ9dTux~>q+SO=a}X8{- 8ݤ'v.E?&$sKhB*ƿ fFPV4\͑[S0!՗\d7T,[dfj6{>Zu"&a ]US*NS׺8^۬u?dΘ)_ҽ JV201vVMT* f{zbr=R`sr7a[B0xDN?ܹ{.\'CgARh^n=PKmlO\О _=f,PnR/( G-II/ mʍ^Ί)xz*~DWQM\2% d(\ܧj;GXƕfI!Z~f8OGMc.b>2~FoPN!':Yxv|@#J̈́ߦO@1QG!>6wvདྷXB,Gu/1dj%'SY۰喛M&زz@j ѝ!\\q@w絒Skx״\sih圄Pyyx>fW6Cֽu[;(*:G zòda?<MLKgdI3ssJlu l͖nK?âWTQ#ǴD|>#0^2tWg%6aqMgl452M- ^#+X& urDZmRӂlX3XSlBP88MKT=f:ŧOĵIp}P:<6^,rB@i㭇\^71Q1/'yM%M .,^bLN#Ж \V=;{ ڤXk؜Ey߃&ey7183[P۵ENw[` Z0զb*.y-_A;LPx%l}=L m*g\,?>,q*$O/vVga$iPG'NavK9w9P>%q2(G6)0n~E]`! 9;`x%ĮKdR[n:<=t!nb]kSnֈa߆dVNhd(ù,S΅V_:Ĭ?F`jA[Q)9: ;,\7{OCL=h!>psǛ8Jrau^{y=s}e~;h ,Q$V-P?WFoB3iyȲɃŴeR2JXSeg}naȆsr6ő>L-#a12Y-y?(),kJ5Cff?ZmhjJk> t_*E˹ʍ ۆwf5s%gA [R0e'B|^Q*|)pE6)oy Uo6V+xcB GI(=_U6MPqb'8 '+a}W80Ol*ITFm[0C3׶Ź\,Mܲwsܟ:hS_)}bX u"3Q W*%M]ZRz;3HUBH'9@5ީN {UOa2EiUc%\~؂E:ӑSk6 W@E,)^0St'& q-yMBR zI{j۩ud+9SL 1BN3 Hqw$oPoӅV($5aS~xlݡSRH)RrjGa,CrӸe{U$AwiXh_xb~7:`<~Oz N˸qNwom=hPW^yJ]cہ@;HG~`1h1Vۇ\hzHn1އ00SrMk QBЂoo!Fdnh3\GO4<; kd][zOԠi6u߁o殂qD Ni+h^>0>C"$$dphu$ΧOf |C/ӖQ*"/?۽ |J`sNT7oW,mb컜ߝ[<ϸ%aZgv2bEv"mgglbgąC|Ar~;V=3˪" R?4Vi9%{jX Nk=X[dD`i1ߨ˟ijfȞЋ9AK'g^*va/f~}B;p gxUS^30BBr(QzVt25 9B u| )~cyznIHQZv|I4*Y|L(Q^=::w{m.~>3az7hª<ܳ^kd7%YqǠ2|1{r0'AH5f*JF 6Ǜlq;ek^{-'WK4r~aLSEV߰LㄳB @c':*K&w^}>x F>s{GRvϼFX \/+(# a ){O{jbOXQ P}Q6e>%[tv gl\n!]|@wWw1]\d4Ҷ%W9`Σ޲w0̂U0뙹M];@[?,|<0<$Q$ [ު*B,Gh7tVv[$ޝE^Z"y Ђ>29Agc#ܲB6mw]hcY~kQ8s!4MQ at_gAw F)2-YSօ޿~6&jbӁ/a{?Pܾml7l'?Z-N"> Y{&"\A(ĝTt#tΌ2] 3xT>}:yOΎ ͞B 8:?7kZ.o?MuL,Vh?j2Y!F Õ3dR$7lB7+-A*i`cS6ȷkN>@[*ں|y8YЏT΄|Ue%`|m.ՇJN#Um؅ pzOL 5}eF5~65^o`jKK˄xrq=ay\֢"Qy⫤B߅h)zS4\G-Q6mwʬnjS!omEᏤ9 2Xmq}pGG *O R_O6xs}{|3ɓ90ԑ!:} 1+Cg- Ia8?nL҂D՗2>OH$ gs8܁euDž_/PK@ >)c1R1ׁIW3/3GnfNG TIZ)ߠ ` fo~~PX'n1% [P/MqDSy8֝<.#' ] EB^$5^>[/ i4G#\" bLOF* ek]x[ rʜ2f33Kef ;ꬎKW8zFZK5#_q5r_;hhD 5v uߏJrWh|qGQX [@FF=׾ 9;[ ] gq6d1NTXs{ L<F=h+pI<`V擂]f-u9}m[hG4\-P^.޿!F߭ԢK?]Ewx4?du1RXk\լ;/&Rگ JkJeLswn G5MqV5%6pʉ +LybxX3*1| NRko翾MDItAS1V4cinHαmbI`|Lb64O%Fh4 ){]lkɁY"QuA%Q: :>ᨐkD-iܕe tq='(w9;*HdG~Îq:]Lb4~KH.&3KVı RO>Ghϋ0,=EBX!kujʁjΒۉ|1)j,N rii@ Lbz^avΛ4j/>TE,EЮ tS ؋ 1T `:؁9ߪ`b7\Z.~ò CYXV>{yvKX=='DT_l\}̠7E 5dxNs~wH p暊PvDϡչ(M{=:瓘3-E.8^F^W(h@ ,COd=t66?we[j[__1'Mr d۽MQ\+Xlg@2BEK=DuyҬIF6/@CHo][Q$9q5y/=bV HR =Qdlz\URwK;$m6c/LR >?t{ȶCtŐꊥ},"-=BOnnɨDuCG&b[uM4. 00ľ‡mE"ʕ\/9$G)uKI^wa%?}1rѯe'$'OԸuK1= g)#>ʹ*rW}`]HY)Uyž)" o=3.4:9bMmq$Bb>C~YTvϻ+}֬:-PoC s]銄x^s@OH$meٕ%9,οnçlpYp^ߗpu/t ~/rK2`Q $ڈ3h'xmJTp]lhѼ;-!72^Υ ul␀jY1 6[n]tRR.p>ݩ0- C}@"WCEy&m=IcS2HWU(XUU=h^1ukx׶H0m$~n`)l5 6w-~@us7oJc-jaX\`[X40wFoz͓I6УG>آ &_D6iWd=3lS-2?1*iO z֦?.=C3]2/)/{ )!@|æeRvqL(?{IA|qn%3|!&v+Vyi0e qq+2FakZ??Waj].@]> p8GLlr0k9,88-҅> +; nuw ,KO0 &nG?z奇JRߪ(%V~TDB\o`1=鲊/jݓM~ѵ +Б;Cg?h,ԁoN-Pœrg#CT׸[6\%B&~7n̓WYT/*&~i֍}Z?u5";ʃbqeQfɘԈu օWufdc 1cգX:&\ƄKAgĻXxYEO654m"b'wH58B=xeMY3CG|Xbxf}KRyrCԫ+EFl~Y-U8.dIDrot:nW̼d޷6;7bWxvOl:ԙ3ƴNLz<>5:al?W+yH}if#C˝gLy:k*ŌLٟmH+X/{aQYثؼ` y$+Ff| #bB 9kd/ԕH"Ү𿶲N}Mvΰ&ņk&Z79ܒ`AYD[*QDlA8RE<ŢiSu,BG]%! {KӠN& M#ƨٳexjwC"o&>1֝ʍ_ߍQ ~8!O]yN{vcU t%1?='.ׂ,Q/MQHXǣlv]`l Rکy|!%aMǾwī7wr}rl^59NIB ?S`h內Qų:@zL=0B1/1&Uisʡ%$& Q8md.TX«Po.ˉv{1RE2ŬcڿF!&2Nc]' b8XwXy]`c|ńx/ۂm^iVe 6@C"$r,#JV?o@D) g4c{a<_&>[쿧cO @1,''yh㣬.CJ'+!*4˿@~DiNͬ'Bha$-(_x\_L0x ٬:ڪ3(2BW@NܹցrEyRw!ZXѻ'߼ D gej}S!RNW& ~I 3ȮD iз۔k2pi>N;oѮt4yR&\^}l5N ?އ40|A"l)\?y'2܇3 5+?&-m>: Fkœ^Ӓ `0cǏ  _͠+C)?+\bςL.M\yM欔VأDjQuyHүJi h.Aàj8T@'/}q+{CpД\$W)>u齥~ HQv!Y@y!jt-o躵JvK6Bߞ=i fGߞfʵ'NtY ;qF $! ԭ^Y2M R 5foldnM47,q=2Pb<|S@#}%Br941sB" ̉8db0kےob (TIo%> I#72!:ʧ-{jG $W3{ Ã8l*F)L3ie?*KSK--Зс Ú6xR+^PY ^f}&A6 㭝uP.H'pa{2neܝ(='WV3llzE9 xNFVOS4b|ADHЫw M#V o1} N.fdtk,OU>jCwu]>6Uw֝TU4ݟs6۩)1ٲ+So2wW̤~OVJ❓ 4H*|tP!$E}Oڑ:4~&%vm gBY4 gLA %{Ho y)aY1{`*bvkUKxe~УJH ƶKc\TF;e= O5mvHXjAʂ}-<_4箅>dǂ_ŭtk| O,uFA҆7'KG>WI 2N7$:\ gGcT}~GۚXsڕH ReV:.:#|ɗ j=clT~M+֧J@&!)U߈="%vRǠ go`Z;yFl;e럠/$xV-8jZB$eR+n\OmKcWJUZXJT+7||hŌQdzs8Cyi$([s7EYwn[Gq_R(S$!%n)5f1"&Qy{l[E p v1Ws[ca<^߁W"~00C)& g@޴!~ 5m"+*U0m ´:^$y<)7n@^1z!$:DPO¢#lal@׻-/'a)Ɖv /g" 1=. Y"Gwl9m=1f}EvF|A%2'بX@l%a68_MNj\Luk,5" ~iͧ1l5ȵ)e\(d0 <:-5Khi6R+>0$S~牁4PV3O%/Ϟă1rr}g }Z FPH|dʖ@2R^VvjMGRr*zلg/&x./{ ) 2i (˂L[{[E ɟ @ѝIy+ZY,eqt#c|yzɑ&Lγr-!xu|$PA܎ L^?@zCyX}hO8mC]{FQ'BfᤘW ?cR^R ɩg4pFz k6XիUtщVB?}Me8UjJ̪ wp= Wps.ic-Ѕ|/XN1Bp'9ޛnR)0t~-=k)l@DŽ1q L2 D_S9[v(thw&_Pdqe㲴Rhw<$VKymIA?"M [s֚\=ITȳrvR&_(5 ף L gN6-vl bzv>ز]0)(|`/\˗ABGP=&f줙xw+mv%krdбtYi dw7%,~` [k+ ?(WLH'VЍ۬Y@lqn2NR9y^W(<~?Jpu.^a/t-#˨Fmn|-;AMZB$NTܮ~UGEo卐Ĭ[LQJ's/"]DhS?5b|*4y%y2pJH 14X4r/!RkgFg4nzktv%,#s}H\nihCԫw= aثг4R'*L')kY˸)%fDr mדA=vvQkihzDM0ha) ^coyn;ഔj,MN刈'h︹48# %~%m>x TBx=_[_?U@ةs7dz%9;"@. /ux JW,S Q p9]ŻCuHW3F37Gtd!v.ۅlU5 b96hĶHkeL'iE**IV:~}F?8.)ćcnɊ OzΡ'J )@}~ 7=F$LPEǢl!ĐLj SaʆtkR&mt m.3wHi;Fr v>:J;ԉUL~B^8Ylh8v&0dYW.4Թu%T[Z/ȺzB,V“?b N>m\" *\!T z&)i9'd"3@ķkжVnmPIQg? +2 iblķdly×4aCaCW -1'/ɏ'S.݊ZCD¢iz<Ύ=12D *- 3*[&+{A9ih~<2CM'7Wy9d'wL1l=aI`Z- rH0ĕ"Ogr \^W{mOg\ãl#̀%su-jzt`ݷ*%:€ 6nc"#hGw#u _2_>~61Fω}}8@XSOp*fw8E55z/ÄmٷkЫ^E 9IZ.'>5yS팹 {R1Z]գ-_cLI?15LeR^H ^4I"%teeP՟HRYdCٺXn*dlN1@9?Im1Nij@=pjE5s"K|Bfږ$3ѠdU*Aj5ʕr*} -g:e-S#Õ\+(% 5p s4P™Q9a#alr6ƨУؒh $(tK&>+)f_Kc \5?oi朚[+s7} ]Z[#qz7E6,Sj>FpsN|h:ZUXU2YSqȖ+𑧊^ٲ\oŷa+\(xCH i SlcW LdaJ}15 \Q4><w6nXڋ"=oKeNQ f\C6F:[\zvQlb2d60$sGW8CߚVHGmFE5jR y_Aq_gtf+v&763 !h7/^2iƖwS5nnQADR>xx&ZaE2 {@m}Y ȗ z5 "w}tIylo֮$lj} BkOqൄolU){$UW&O/r=]@]Cp׋B v͹(.F8obBn)QoslVj "v0ڮ ԱoW2=fG$;38L;5?6K:a}3j ?N\o1] 0!&-jYM51Nv=RBc.݃o)ȜS2-ig)+]z PJ6LTAos7q16N|NFS/6tnXٯА-ja6dv1Ik]\VF3Y|[;ﲛ?Y!u D8r؇ oNH˒ Hjv̀r"tmO0 UIU)Zu@L?E*ur5e\ѨChIJ< &c#|ʠWàDIҚ)|R3oZjx? 4@#&le[`\b,߰ -j> $zl 4&wBVCA%~RxjN;cPǢ1Ju fC ,:bhG+wco"pJm=kvIb#u~),ڵ|A1h^`Gęt\&\dvZTG deAm'_>'G0$EkxZ?,o (聮p:΂淆ݜUoaj87α{:bö}<}@q T \뛛.#)rT90oۂ+84a5(޳rxXՍ mlP ٶҩ IEU/K4ߏ9DSpTwa8vĭ.Fn MaB>`V/_:AKȭzD; HlTO4q9w^]Iba⣏OA/T2l1!?4[Ȫ-.irnŶhŎҌxl}mel~ 7fprxFE9gA^j=X *7 X)-/S, ό+tBy \-m @B=kUp܂g\ܫ_@߁I`y؄kkJOFZt]17/yױW@ s>лL߆2feEto8,=4@V$+Uvk=q+uKPSp'e$VWUSaolHe9niqE Ah3?I2:j]ƉJUu|n;/kTD/fK<05!NzN ^E yKj|<  (Ɛٵ~TeFUjRt'\H$R؜xi]W$+4`n7Lq)gč%~gAﰲ.gẘĖnZ]li}?휯l ԫ鿥d9ZX%|7 F4wwd 493'րJv3.aD¤-ձ/\UhxЄyE6Qx dǍ`]SA6 wt(PڏdX({hLC 鹈)ZLo3z"yvJC[5b7/֫t$}1{eR DpL/9AsGL~(D ?*ƍ pbfpt@E,:z_'印R1N %0 ,Μ]\ӁZ!-7OSZ8HŶg@Q;u dvܔ= 3zpXRE?Hx0 ʅxJ'8 a_ iҕw"| DYlϾrŧ2#7!y bN4'`wIiA4>% ;^%.إ мmgI1ExCXۜKgSK 4ٱgYZaX Xއt.몑\ !] #6L]L_!^"r[]wޛ|N/g*$@ sЭ '&V04T%`mgf-uő%WJ)Ԉ]N}'BӞzB~JI!Wfkbc#nOgY>7'nމόa$ |nKf.%v3iOLLqF[Jb+OxEћΓŷ(989i_amh뫝cy<"4^=*9‰C,<<<0a"G!{PhŸV>a\8"륭mS`_, b_Q$c|)>/_9kԑx^dBVߖ;|ESIGgy;b/S{2J0AN{5; /Arux"ܠi{rwX7;z&ǷM<Z^aؚŀIuM**݂̓t m@YAWUT=S?Wk<cDCb]z_ᮞ0MESϧE ~[PnpFeʋnԶkg#x13j .@AV@jhY"%iWn q<=1 >L:z-[~i\V'Gjh0LDr IKX7qԍ3evX=gׅ}jg*6gCʷlɲ+ptU<9A{(d|1-:DК;啴:Rm꾒VCb"㒠pH߼Agߥ&HF^Q&naʱ#[u,l|ġ'"J3]b;K{C,Ȑ{S==>ZBvw~J[Ɨ2˅y ;uB1Apڅmvs xT@i|Nn6ʍF+Oe@arRO;)$j<=O`v'?)(b+X%3Jp$cGJhͺ@ rB'Ì >K8R:Q5Z;e{YpU|OAYd<ғvyWSyhwڃ"'ϊu&6} ujO2MEN[{"y\)-7{*Nؙ#5>lLiiYT#BvgY7J5I 2flqpNT%kj0Җx?Bl4~Hj9/t,@GZ!|L*BW&z)bc4>YKYSGcA; 5YYLro>m߭0R=\yo7T/m^۱ϛz=sG46P@$ ׀ 8%)ƱrLRGI۾C/?io.Q#xE.:d QFA8o?cR5WWe9ہ.,)Eb}ttr!'b;zj 7#h #WMQ*`zVwɀ -z`u^ ܶ/-S3Mo8NƂTAlsKUЁmzX?7,0h<nE'mߗԒi%ԬCjr-8'҅i2;FT\z!.mC^4('۲qqLt<)]Sml y+RGMf#e0aK}EvgT e}>N^No>zcސHKw +-891+PTa'&\LN*%;*[U#4O7jFj] LÿF 6 {.>i-H*ߒԲ5貥6Q!7 eD Vτ0s'Dg:7̞n oN7^f*J UF9D[TACG赻hʼne u(WZC6 c'#=d׭e' #j<2,@Νҝuav_|8{M[>VhU:߶xٖnFH-?؜PF4 5:dDFj-z9Ҥ\$>hG~pw,_Am$|lbqMlI܏?'bժ!3}W[[Zv;Ǭvbܿ+z7, h1a!..%bG lFَi?veͩ5h_,P>:ƦP̂i -,_I1ʉG'skwEJƧ)xcȅl",bkB ga!z8 ſ$\7-НoPSr.7r-y^c t#q]En,NWȎaoN$H:nsQywuPN/ h ]j WzO. {<㱢Sk% ţD`oZ/^屖.}m:I%JkqrC )or0ӑ.beDzbx249Vj@bZS=*g co0Qׄ4 вOk QS΋b ;'ƛPLaSOYOj6ʨQ k hm7VXj%Tn 9(|ߑe-&N sfsjЌ#t $c)'P~ ZڐIKM1E߃8aSyP q1ڭi0|hq]ZKm&-`ɀO&q^0i/j(-QƳOh kVcy.}k)nBXtL\nY]ɜ/>Q/{z' ; P)S4T%wTT>یo-ȑ ޑwaY.7w)*e¢!DhT g"atK\@ŧjH4eτwǢ,d Ade650KBs+2_X0:E)j¶<o.GGA#%P*%mW~1StجX>eS! do 9$7Av6|plBȰ0s&LP=d}۔ޑ$BFda둯IY D mb3;y!KG%w~F>?jX9O孇tЄqaºR3˫&^Ӥ]E3kG:Sc `9o^f !И=j t/Yߨ/Oge87 _Tݏt!.Lt (Wx_wݫF8n-K0~ߋGWb8T5裁,dr#ڶ o.WGl0nMGJt] q &`p-.glXz @K-?,?Big#@ uV5fxػ <ԵCYoi4M_q{P8#^INqs[k c1_\[/tOQ.tq1ߘmiofҥՔ1FdzbOA!e~rBb]gvW'NuZ,*Ԭvو+*fJC8J1 "w>9h,k:bk%5ĸ^<;;WAt(ЊH>UdM+1+mQlYr7m!>(r 0Onlƻ1"Vz-P}IPbP$>`RwsX sA+ zV!ix;%"{?qV262nQgf&^LVJmoc9X;*2K1r:R>fA]4]g"Bb6&Xg(eB.djLE%* xc/.,0bP ҷM}dς$ HbyH/PDK~NFM;h+PA!fA7ɛ6kf7kp˱Mcq+{e+XvU>Ca?3I8<-mA^YFɸBk(9:}lQ~6P)z~$[6NՇr9Y*ynKEPz.(dLk NG9fy 5&^~6+$!ThQPJ=EzG5p[o»Ŧ!@X%% r=K)u'Er>zđ/k==Np0{BdW & jSU(J'!t7?/j0J. ԥLH;5g.QעC7C짷;s|ejoH9|ʇ5ahJn)j'%+&~5Sfzܳ"|Ht$lzuRL =ln46)daPr~PiT|nnT:'"] d?8p@[dZmY7Co|a +/wUΣz8__+,o8v%>t}рbwAKp^68:[|vv~>0sG'ATW#$wP]z^Cר3w)[wDs!8涷GnDTMe_;㐼5Cnp{ln!lŞ*Cָ-Ͼg>/}2Fj ÔsS<:|~X^>zڄdU}zVE2k|Ah. TǪ՞Q{(aײ(LUg)nRu3^d'~j]ef^X: ݷ (n0dd'=aY ;ާKw}ߠ>" x>ѻB|믯|<_!oa㛐sD,c NF ^xφkQ԰l2Ѥs=WBwOD1OWS½6="]l3lnh"IM>6tς\Ωf]_8]IfK))||s런c,Ɣ-5U#V:DIp'>eoz W-:`;.5L\AFwxAD uLC2$C2ӏSfY'_` _I;/2)ǻ$=nI DRvYXRޘi[{dtd4RξZp|\ xư{/Mo3A園 Xt2.ZH.ȣ#gaB EBR-y W,.> bi, 8 qzьzk' u>7#= 1(mﮨ3j8of<ϩFKc&olمIX[yŠlL -NbDL|Ebpzuةv˶+?U*~f?Hs+(2<b-ߜe4iRv.6;>ΓJ,Ğ6 V𣷙НrL:T= [,.έWOnon_R=+.;ԾR@tGv~+T/D 9ZV3MN$IgAg힋f#5rYK$eiwlcٹS G#Ss1rP\0  6b--[]=$v#4Q  ,0#ߢ[ Dߎl䯁ׅiOBb8%{1q Rx?õ O Sҹx}H (GhW=/J'fg e4=a/IV`DZ䬮}glȋ!ZWנ76"A׮ / \88W!&݃A7n3ˢQ^{2 qb3!yhۤcZsUxc-W.h*/`p`OA1zbJv]0yb灡퉐Qm'C,,t wD=ګK wg6@Gt*Ct1ҲgZ(k nϘ/_V)XƵ ]]ԴLN&6ښ4.<@o0ZKӈZ%=8Z Fa$ 2y!?Hn>^1ypN13M@(AݑP=sM9Bc^Rar 2Dp__:[a!Ekfī!ȼmM-f;T/I- 9WiܢB?[@@V|B:.GtI'wv/UJԷZCve_.[̟}ڐݬhܼ5^8HuB$/˦RVt4ءVQΌ^0O.s?K ܸ,<()^4~HtDGyAD4jѡZH 5fT!9Z@xΎ<:FU%4GEt/ӡ4%l >8-E>cdai &IߴaZ);^OjPqBt\f!^4ØA OHpI%c?v#+Sӟ !j'^fޝV9:r9`@ntmjM07+HCY+|8onǠN'Y$f/1X'K8hDc9q.6S]%Yyzr7N~p>)S4`+gv.@1ߖ7>߸Ka0NO9fPh_:фK\' }oԒBάhKvےlLm͵uI@#Ν)`{Lq"|gaW `~=)6޷z*WZ fjᭀ4. :n"$[g ܶ S7Jĺ?F[5~of}|UP#)-6z M[Ъa*dZrkСW_˰ r5TZb@;ocw蓧t3mP.bC+w&wT4Zjޅ:E`Q{;b$UrPKkNDʃ6 ޿޼// їUf ] ݧp. 3Ѷaf͞_fCq<TC4chCtC93y+yF,v2ET;&;2٤_ǔv91#|Uw~ ԺKPFsVBAJȒń^:D9\RݽrZ0ZԨ%TYHvylJ^j((3HHGwSV/!ƽP *5_jZe// vItB&@}pץ') & V{ -5]4k4-@$X٪ + 4_$z97u7o4Z]Hᆝ:diT*+WJ|P8uʔu雿c8"\k8hpPGm*Q?Jמ?yd`g4 h{;*#-kӿ 7˜/$8 )K5*n!t^b"B}u&Ø OԩL?ĠxXD~3{"EeK!5b{PAɥ 4"8n ?tGxu~w81bUKe}D:-+өWIQ;1xJ=~b/՚8Gx;e}s «MC?yL2//Ő#dRlΎrF7Z6O3vB3"Rd6p2uOoxt䩘駏 .)`!.6lnySW" W=K畫P$hŞs(ZM`Ч.e:zfhm xݯŪe(]T91d*c\JTj%aZ>ax-{-K5W(!Dj-_jE ӈX_knG#d"Pb©ɯuMA\b"'6J箌ml}fƇOsaJM+vCb%>&rB'g 3rFi=AuGfFgIRI0 QVrB B>H5i㙯h#ZqN{z@3g~N1hu+Kϒ[@P} n; #ikd.z y| ۅE[VYD ;H`>:4^ʫ%23L~-7tMz6;\- u? -<+ I1j2gW(dz16DS^ˈi1Frb@U..o~hq߻O@HjߣWg-hD|7 C^2ʁOu @f 7irWgH?0DALAh(ї腕SH7k, %55ŻnVIS${Gqݺ@YO s|ZYkh J"Ii 4;֕ ̎.P$&0˖qҢD'.OBW%c@=E|DMO-&L C8ŁmŸ`iq0xX [Ձ_i(&fG[d;MZx{Gm+$ cht[:+X<2;j#!2ʆ%)nS_rsz~%ݏu]m/{ $ƴ.:,1 ba IykTs^ sǴ,2A)xli.Js HS|3[@.ZKx(yKnB/B)ώHZꢒJԞcUl\mMj[ר |i%+X4c8z\DCAژR+J$$IYtYp.,L:gm-Dwzt@TD+ U[S ˡpGV(/ous^p6:)Us%ߧ횎'nh^2˹Ik#]ImB)o`ApKv[9 -d%*Wy`J32w% 6 uVç[T kŠR]t{;&?3[l q Ho"AuuCI!2'bgBsH#^AHH5OA-}!I ,<3 ~:-ulp#v@Oҟⴚx9hBfQwMxJW;5Z@>}Tnm ja;G(_qA*Ѿ+E 4Iɫͮr`CeH'yEmȡBJޱcyš ┏QoMƐOWNGQ  -``4qt|{.(V4Y+ٯ]ٔ􅤰Hr#B q%n}c9T0I~ƅ$ 77&m$td톼Ćٝwe ~擊S4naƙRkYn@IC[tȽ6hQJ): [E8RLۮrrixIQ'Éqֻun2$ېܳ/{Lh)*ɸNB/ Bcqis1 S-)^'5\O_|N\A @ $K &<shw+{v3P!H:"tg@UCzi̺z2N;4e q,~ȸ}u5*S`H:Y`%S޵3a.1LiN%LJ\D zN̅C!W-l VUDK!zba`+l$MBq*jZVR5s S'2'N6_Hkv9qh`\e2( AK>xxM"Ӥ^X=tbea =V=" ܕ)Hh9`>wZ]ۉE~'Uh v+uPBBVΜ-,`B4g=>j-}N5H~cY>jld`&F_bbZj><]ғLmHFr.%2Yޕ,l9Ր2VtT>QvIjXhʑ1Y{">DX/cV)(8C9xzpL@S?Jd,MգHw|h܋w6N i:ᎾI@?:ibGC;V/NWR|BeZ!Vt),@O{4b%k iwRkOSw$@`} UHb`VbFTkw/Wi{:ʋEV_<* Wsjs,'6%1gx BqnP[ΨK]¯0&Odz6ˣ2l` 99e\9`\${Y_D=b1kʍhv̉`J1{ž^~v ƶAayqS أ7M]Ys{Hq%"홥OLA7ZR E|ˣl{錐GJ1ݼN/qO9*h 9}j'5HΔ1G`rUy g:Q|PsIfV%Tx}j KHs$ylժSz%sLi#p(](2]$)T;5{F2iwg[BJGxo?V3\^Wg"7/dqe cUp0ޱ߮"|1i2GI=vq¼|gͳ*pm2UW90 L${zkP>DxN7? ϠxZT_|)[ %LIp~ 6l K$'pYU2UרPu}JUB=)婨]f|U*}m G =&cGԯ((c\"X,HUpʙ+N(c9iS1*8${z Y<@-hāRQ(2CFmGo?kq.c&LD ց?xD|@,=sIXK`(ؙ:ķ-C=nTа-Mt?}]8`>j:'[j A9 3S[M &+7$ދEL ^h&T ҟ!R /X?e$>5xfMvl$+pJdn5?}!gw[c,@쒮n狑E@*  VX4|]}߷Kvi-"!6`LĻS(vebK yŦ'קY*i]]Y;l:}˨;VPz]t0QV|faD@ $Ӽ*B4T.Hyq`RE`KUцXXE{+3v ?wA-)ݔ|[^rKbQmxUzk7kj I26~Y'|SB;`N2/EC] BGW|цصwurSFa}Ց :i2j/I*=~26+{EA42ּH0C@B3̰&lC#Fuqz}7c|8 D1|2-;fX.;eJh3wTĎE]QXbɿIj9 8i\u-͈&cB1<8[ GN" <KS0)Rz8@=xKׁDUzx`I$-| ,n ="آ ßlntNNZElh\}nWXREqC )px?RW׎1w2IA-lsb`͔΃B:;AFf^Gp'HYd|SVwp蠜) Ux$U*XUގEl {Vь9iZ(A}Xo?7:9٥aV}6MSOiâvϸonJ5b{gl"5 rMMv\k3,t!BK 7x qjooŹrEcћ<+2oרN4Ws(/:P;ә$.o 7n c҆'cp#BSΐ0p4](&C J=FhQh8l.aM*1ʍ~( )\9c:v\#j`Fןש$5D~Ob}8XMѮē謢\x: &I=ЎͦБVe烰ʟQ- >:sJs~̧¢]Cܬt^ӧ]@aJ"#*n@FvlwJpoj\뺑H:N&Wwց̀2rEq\C7fԋKݦ~QftvT7 6KPB1{k&\Soi(C86 }U? k P7TalA3!gYiUAo)rއfq\ Uc=z [Dt*!!@{pC=8_55>}C2D#p*EƪSÃ2sXө v@[+Z!b>eAblmlxWΎ;pM7̻"yn@>wɂk M<"IHNj;STG^Q@$||&5d. 3^d%xuլƱE-i ə0B0kovƿ|fٞ6R^<[VS"R!j:463T}N%$qTpal&9og l`&}H158sd gc֡W -vbA띔ű͆{Ž3x0V}A]mo_A+Lv p@o`cA'(ٺ=hVWre#\V+iH!>]ĕ݈S3uSa߅U&!eQ`Ð(ˊ6^r41AE>r:^55~FY|1ZVz*܉.s-S=mѻ`5H)]<GxjABjLcgqsӏ*JgAZT+| -^&d#%, FȨC|8 vr^;z~9ߡ}TT;Eׄ e ^ ٿGʸU0nD5͟]Z5`@N6$_iC$MQbA7SM&A^Nm㷭V7J+12C$]-mmQ,Ϥ`,~xP ջ D(L[Њ'Ѧ:? V Q>C\8Qx&P +Q\7(/l;]J2e.*=9q1wi|wI mSHlߢ頠٪qHQ2-8;]QgOH ۙ{uKы{69/굂¦gf*B: :$9QĈlĹ+t:4ըJ .=&4#;p c",fu{|~j.ڐֶMx]|:, ڐZ~P}۔XB{$ :+_0 Ʒ6J V"}꾻 WGKa.x?ucan94HViz'f DHX|R*$`CF 95 )D[v]rdɅ6 3ke+;x5Vo_7@AlऱF}0mҏ!ttƤkdNy盢0N9G2 k'aiۼs2;VR[KQjӊ:ڮ~w)E݅>.𑸈j'Ƣfeb_KYd)θJ5J(?v^:-S՞YWr镲s‰c+4D(p:_6 8IkK(>8R7+PRk_c{h#JƣƓfo[@Q@,!FevA )lz&S;9xƾx TiͿGE\) {D';QxD&B+Jnuu[[#x53/<"Ȏ6UpL^)Pl̘C cȤ"|HAٵJ7!Ob`02V =ObhoYmfbX0x@N%:kXiHRJ 1 d:"]ğl361Z(`W7[R>̓ޥ:xǫTZ1紤"[svpK:DEWi}JTQ~/ Z9,sB:aj f&i (Cp:zmuqב]>|*Q]ǐO>̮aZFVq}6oA4!36>oQݺaN60ו]z5RKJ|@org;3`BȾ RHؑDzhDkGDb"h naŚy/T3vv?C؎"6@j WRR+%# NՍUΟ ‘|7ǨJ̆/ @4e՗!gL6nƨ _zCrD}S@k4sU / Ȃ}H2Ft,L}j{yr Ir1 ԵSwؿ) 0_jyͻz Ź~ #˨`iʣ~j{jK1+MaX*ʂjoLm}<(=([&|x&1VD*O3>iŨ N N]Yʑ?tm|trCp9ñ )x'ShT0R+Å3 Taz>9Z4CTd ȶD*ٝ2FmQǑB`)vKWZ°Amqw ڼEetgkd;^ƨnF\Ȇq/VIu0I/f uLb*z5.Ԡb+jZ3BDucz"oVdyTZ?c>iʎ5cWUel!'Aҟ ~$ 1|s5F b]c]6/τ [BÉBfEgbd l0G,\HLD/(Wɝ,&?qZ^ʱ CX˻` r[Փ 7۩8/O*fgL"ekXf2P^V8aLHyHZf}RRZ40#[v{gzƻJJ{l=0@RwərDO?'^(+rᷓ#k!5GRMH2jܵG붩m7spS`'鴳'5FIsuʿELR0r)gE#ekoַtڎ+VMs 46fM`3~cUcT\S)T5{Lޏx:-jtx ^{i7 F *fQ;ޓS^6^ Yd}L6<~ioMe I-{OX\3Trbkϼ91NAX~sRSX'd=/"bёq_,@G<ΗH'~1c0Fŷ鼶םrT{ef?IL2L8 j{#4I jy7|h\y\ yuW4 Vu`dM|0jDX) -tL8z]翙uH.|6c++&K4a~%v]aګMCXu% 1c:cC\jx{bREW|*УT@[ E8sV{Z{RY̫63ÔIhILx4tM[~ƣ}x`ރ7S,c/gYZ  5% ,Nominal2HOL-Library.Multisetdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dk! 945`(f }["7a}ҁi~@x²`<ÿx&'x*ni8Qj 0|08,eZ,LC茸9{6d6┃ dZbCD""]55}`1/g[_l)w}|2riiĹqӐ6wӑtMfDsPveVY$%Uo0K?T~&99~Ee57M͌%I'/BB/s5Á&GxgI(S8#l|9(/ƫ2[[Ӄ2P?wwJq\-^Uh#A$&Jw/vPIu) 4PSHrmΠĻ 8s RP%׫JK 1 S e ef%8sh4I:o̓%Nd[F= L r+lHb8 ~JM%-w#iQYn9 >)٤C>U^BD$it g vc6CW|tn:/mV3z~,=W˚k!M/aTywSڨ)vnTL5 ^? tC*(!u&,u \\i*Ygubj">Bp+d0cS?#THB5Ag _auȑ)%v(XbeD2+AIG.'Lj=NQN=gJ\)&Ocv񱀨R3C93Իx `6 ex07@RXmG9AH)8s.f2^C.qQT8-}9P?~_hQ~I֬yԇKO 0=y{ˉtqtF:W*ɢߒ+_lXu:kz8 @ ԖʾDLGn0]9i5 [y.mE(ux5gރaوH~p1kQgn5*6}?/<َN#yڌ&Y"Ec4;]vV&a9$2+o`)IM~mBҒ2:17:\}_3 1XV^:{#.u1-}ygH&"Q33OKZ#\i=berAbBO#w~BcCќG;YPKH !vv6lE"D<ٻ#vcaЭQ/+ S`T -?aZ<KO+IM LLguexh_V:#n] ε2S8~|5XE.U =$t8΂ '(1ٔt3uJTFFɛ5u (YtTa(obF75tqbNQcd[_7  `Vi.#hk+bAkd,]_'VHXLGi|ZG{iu ֧ >fx6kL7 AؿS[!pKP?) :{G1>?2&s9ƎGX?hʡ/ Ѯ7&*.I̍&VL5"YyDba-.7,j ֹTU^qQA$- [)B_6qWŢ%pC] jpLő(K`?h_ږ 5GY+-xGKM~QQZ%2T@FbH2WuW&Hy-v޳ip*xdJƻo;E "S L!6ʟIԸ)Fa,Y4/~b@Bu*z cfjiBCҩh6#4ӐYXip( y$[!)#/-kvLeGvafa!1٧6֤L ᢈDJ'Kـ?\r'}輽ߖgn1`SfJ̯TPfr-ٙ]ث?q !V9%/jZu:w&w摄 Sc^!d'AĦU$C'S$` h>wVfW.=:(Rٷ#U\F!|ٌ^c.ROP|"4s4w6Bi BJӔQȍ]R!YF%=*)۸YQȕv `trDaMWW'iE6~ =+kRy\y؜|U=̬,`؞R m?{z$ZxU7|;|-vKVOS4ANŶA/iLKF:J[&ljf3Qrū5g^!Iqշ7ְ k0;/ҁ9].j%#rudR&]ɔ&$MiPn8>/|i:<ҩ]2{Ol} 棊M\HJ`` 4TQq*pNIiY+ŸuIm[e$.YZ>;iZ<VڊnQ:*¿LeJL _n/%aZR]E)3?T7>?pwؙUhoj ȞpO Vf{ ?, _(@nv3#{p뗼}ew_WANjtҧDVΊ5,F\28ۯ`}o,M>H-?wLhؤS8`W@+!-%U)dv.pGawLwot58K6 9$࣑ h]iVhzUE"?^~wU/BJ ~YJ*p -zu՞ Wu(Vweut-#O_5 9ւuįs %_֧Ys%g$Oܘ3 zʃ%v/+mh\>FWm*2~O;ͺ#Pqx \rgsJYpML .F %d 0=Yn`XMKZZu)˽m1l: ZU\[z Iє.Wd#RSwQx#^F:_#N xr~8Z+ZppG4>Kur+kxR,nr{ 9'H'dS(8fN`)1g30dB6TՉ-O+׊c.C~ jܬđ"cz]^ƙޘqgut_^h#Hn6JTt*ǚgD`]_̽wk?ggGYmȳwN}b2O-u1q?W#ʀW~*O.eEH8s̔;j :i7U&z]54*+ϋx/}P}Zmۯ'_0pكVgR `=b?Q|'@%2D`mgcLj |E\N;Fuʬatwt4[SLo6ɕ?1諃2;Ch7IYE4jsқ')zJ٦- !x!k#7'ׂ1Y-C2:Ew{l1! /LD"aD<Ly.fK8mI{séJlii ;8 YCS ]{4ˆ1{H0AQkMovNr4.[=Y~'ݠkh33͛ imR3cb=e`ʹ7MN[1xzLbZYH9Syˑ0n1T49(cJHJQ919K{94W}Ɉl&HZ\e.c,8 e Ї Is!ip!-wS6\mh*[L)NyܮxX4A`\ZSz(Ɖ|px 2J04%5tռ5MOsږhJe1>tJ$OcPH y<ЇwUX;띪\2QE႖gӉ){!^2T+S2%  u~&l߄:\eã+bK+dk/ 3gɮBT 0 vy "$r@EQ:F\E;- 3$YxpW)?NMԛ \L|d.Z(瀣u[zp!T[з.Gkch )Pa$,3DJ%1=^^j?{~i\ ,; x)W\Ŝ8!i螩tad5cmɘ+B3 G ucxUu2/`9^ѐZ+]$Kk{Wy`wHQ~i6XYB i'`['kk*ӝO.ΰT޿a [dDsoWE ] 'T}4n.{owUE0:sdyOm~,[Mg!5(j2b-q| -jmVI %TOk.[~;2KSx]Qw[8,޴ tIGՃBT q>!^EJ٭':r!H9u㓫yXq7yHPo[tkQY5B6d$҉T./m" yڋ=4Vj6l7Rۣ*-::=kEƮ:I N4OLg.??D/~ Zo'Yrl Exu{' []G)dc񋧾SȠZ|EՕ$ֳҫO""tTJ[R{ۉrY7-e6vҮ]!F>'`8TwYKtuݼ%,_9"Vg!Qki(Q_1 Zw`J$z񤹜էPD49{!?U[x,fرjFt' j$bDl @zg>?a!+|z ,4o50p$J` QZŔ=6?=ȧ̖2NPЭHlA7ɹ__U;Fmu +q uihh%x"6S*sx^9i叩4JD߃`97TJ+9Y @;˦4&B>>ud,tĜEYAjTkPS*}ԣ%oQs;rvD3,7y8^7h䩨X;%,ݴgҿ|鼺VJɅ |WG663[  NH %K/Hd%yFQph:zV,ʐ@f0EǼEi˨)ͧMnplDt2E=w  Mכt_ 4c'1ŇBܠcsOO?tpY}m6Xbw?^bC@|e;|E(wXZ.%1G0)nǵ,R`ƅ[(BO}f5|UHڹ M& C M(ۯ[e{9e@H cz՟ hɭ "j{ӗSNlOxK; "|]5nz YpXf>txM©IW 5BDʠ @Y%̟-tpd{6k{_@5%Un>ͰМz_܀◟,d-GrL+!f]u284b[h6;{% ~9 yz_,Ug)R3i4sNE4:p M;k :dG +!?)Nău@%lPFM`w Qg'|uM2ϊJ1} (PCXg2JÔ9밼!ۇP/2k0ځ`11=Mp4.RPZAcBH.4FmvsM!˪Qׅxm%D~^g0S'{y6@҄V_0BuܗԨ'ݖob1K4MAvԫZ>^JnQG@B&/6DILtml;:{x! iy_EdiA]UJ9ї z>\I{`ΟbG5n~ܣlv3rL_.[CPڐqqb\]j3[4T@Hd~\$\|t]4^ϑUTZ" %L îyN߉tC߱z:xDCJ[h爪8QD&HI#imLH Ig$S7Ya} ]i͆8x9ng()œ1l-„O- Jf Nu0M`6&,)6 ғ[bk oR8p3ol:k^WٲŨ( go;o8ŤJXkD&FAI7БVR^&2~ (t}_f n 8oxPãg-F_#5zޣYe1 : Awz)<_ ? *,brGFX2c=8ݺlCL2>O t̶zD%j|FFex_eϣ&^Ěqu,=ן ڬNłL=m$uԽ兠.,:uت2gRA.gw.=Û+ⷷiep_KWLP4~T,~QHKDq RGvU6I搝#?WM&U~P]~3{R/rÉ9?5g W +-5i<4?Fؽ2k9,mnxm8yC?2 07+*7F;q5Bs,SM-~;$ܘy*GVSJp1 }n B q2(d5repUi]}.%[Y o񮢪mPvt #qX49scPHqįR\w[85TIשA ,W*E_ğ6adAV5isA_xA3IscDQ`!s,IߵNN6h]rCl[I@gJTSpt"`:~8~D("̻ b\Ҕ96\ 'Яjf :v,=UȢPznmsTZEv-qSHwvٝhA2R,GZw)euE 2,8)ԟZ;P2k&&=`ݠ5pp(R ҹ/Z? SSox_6}T0 6p^`C^Dع~fN' asI:bl<(1aZAGNv #MLg\[WF T toUیQf/K񘦪H9~x)+2)q%2B^4 #`'ΪEc^Gk8F\}zVo"$؎0rHg=0ڏDpSvε龌`P O8L^-3ΛwiaDG_ ) r[<*e FCt. CRDžPEt:u=W?co`emdm`hIـ% GDVvFm3!E,jow.1yL(F׻?C]X Vn'Q h2rt@7{b0(~Χ 4 hm w]Ltw& # 1{3u D]thgXڨ'z2(|R)[ZN>bRᥙC0{uvl7GBoӪ"hYo_耕Qkª1&+cSs)Đ*']` \0S𠤡O<lV,z1\[! -59'Yφ^%vhaRR+6_Ѣ$|N6GfjXnx<}ftw!Q&$y*Ia sT#rAve 1W ͨo=M"9Qdpp4~MP|H*oWWI9@>m@6@\Y(^}Wc!ȴe}LPRK48f[1.$ZꅼPp< }.{L5]B9$u_j5f-JȽBu<%߼DU`V|y>RiFx~]o9&a)+(x/(xf `@I;kPUZduSVNJ\,dc ih >NiaMn^]V֫' ޏD9nRamUxԡwL -.(fIF+s@yYUAfb%ԩmO[`; ls+'!}A}>]Kjsb_qnuN7 yX~zRE/?dE E)P{mN1nbQNȇZ1 /`Gq~ k~})lNVkcWLS'<?娭/QQ.z܁u8lMR`{BH%<y^O,gӔN0 NI>q!jTeXiI9HY YWbЛ LHS=ur竧bPHa/d WVeJ\$=z )9_^oI-pw#5& Ŗ}`n7$LUpb 2d-$!/|Е40Z#U,N{ ɢksT׆pEZ1IwY%; =+℩ډz)aF`bNq.J7O*9'.Y".web[Ck V)X 4s V_㹼Z@P7[91X}2PmmFx,ֆ !r%EjTOt:5P4K͕I|p'@emJk!z] pplk&X JF%ʎrpEb}m|#D̏.qK&WkDooȺ*.(;’.?(jN.sQCG0MfqhH]4v/C`X\S<~Sw2uI[ @ L!ʠP6 Xf"|m}X%Y#}3,V"c$Cm*jQNT?Hыhz$9icO0|3w/}U~..ꄎv6`]ɷ6*RwWbaHe{|&=L/|N )V,ǾZ\"/xrKD7ͅy)ZtQ}-m qKo*H:cr}3h;)z?X.1O{1]rj#s9z'Z&<(_ƮYHPnJ˃Z}T)那uj4dشis-d̚»sYFz{1tGtl*L0CNpvz\)Jl.ziuϖcBfj𚡥O"NW!$~IIbfm̬2g*7cI c/[vZ!h(8g< 6L"bWt;Aoz"h'M*ܓ)Nf!z\PĔh E48/3V^Y(stlE+pY7Y_7c1h6Frs:6Q55SBP F[qխèP%s$~^c&']N%nȃ:9|vV><aN2϶VjxKao_6Q͈C-kΈ ƒ(K>֖*]G˒ڒp+HvW7Wjeg32-FcF'4i yAoA12͔ V6 R|q Z]jHoze>F w.Z_L릥~sTz?mCRlg]Lgj{exM'*BZї}aehGBņEX̓Z#ٱɫ ;nzqj@^UO^ݭ^ H-g4e8)Ux\70&ɑaW;KtEn >n82`=k$é ;&@6M8mH-aʛhk榇hNMvvz%1?0˃GD돧%,t>Eڅ.W2-L^. I>' u_tĕpsKh&Bf1/FSSӈ;g0QƓD?jwr`K\X۟J~iك9Cmv]_$Ò6 ߅y5`7NImՐD*a A 0XgMwM{-P'V<&xC]y]u v:(zfd~aޔqF7/G?cuբ$WWLjleXM^ʧxkaBoLgf+J8ujz\NiiPu,e.WV_k!sqʳ41TfCoٜmmnhb9hmq|5Z!#X.RUf kPp_oCZvlU1D1z~RVVY-;%^YQa^74V9^:p>spBgYZ d-% |Nominal2HOL-Library.FSetdocument.tex7zXZִF! _Kw]A-MՋhvG"uIBm5`bd.PqI#SG)io+hW Xg4]Uf'Ϲp,e܍}mXU{7~b]@w9:ɚT-0ݪG;pGMD Yc5[hOR.H!HتܪR NiM{2Z,0[@"IQZ!y9/H{ppifnYbƳUk(H)c\%G ١wV'f89I0ϙ{$ {[)72'&/a8;cTt\.EauUhDKU,!$ [ǾQKͅš *w7vm5*$/RR|w]ɺ˯TV}iq7,tr]f^LDYDi7HzVe滒SN#xn;}aUd)$i춛' N;B;|R(\!h}#x BsyWj98J^?d'9n"\i 0 UlTu5hjNKZȷ"R,˔IEHGN[\dT(ANgZ?}n CTlvS`t@ar'W¨Rճ\ҬT`}}KFmn+>畧fƐ3yN}Q,m'!j@a`]AKaV#Vt|S+NnfW1{,.@(\Vwxe! L6 x%?!sl*tk92l89L74N8C6QdK>X{?ÅF  8uP K!Tmb^s/yȧ[$X {yͮ2Azx[:P=.B*"8 ᦾ]: ~b fӢ D %d 7N&m%>쓎hso75גWD/RS 7r,;8CWg}mzM!kS3Kon05V*  )TXb>- 9^1^+R8P!&Zc.I6O+cd;mUGGΦ1q'IxQ!3 MfA[^A@R8l;&@'@lJK$.r U9x; #C=ʃQ!>}hqEƏh,ֵ?O?37kT{mdn&ZԶŠ,xò3?\M#HzdY}B/JQA)IgLs ZJȜt w<}y%ε W=Z徱%XX!gHjV(< JzG%mb-{J4]Jh3\!ݥGbW{h;C׮K`?Ub9T3LjqW|ށ# )G/'2%ꐯI9YuH֋R.6`(QuI lCD5]fHBX#*ۨզ_6k{b=㼛~^BVV%+P7"o4T pv~7I^%@sYffr, ~b2F~W-azG˗TǨmI)9C@Ig `7O+&|8"PcټD`eo +I ϩ9u]@e;xCק]XH+E~)z NrQ./ Av!ϗPo=l}تx7bc `ڈhϜR>\"q _PF2SUۅmuiד&q3Wd,%ܼ҄k>PņvXP SGo5 b ݧbC*UOI=7A;vgT4g[2KOR+K2~t(N jIv&X 혼DM#wgѭJW`R]>&oaIq ^\e8lf:lBSn(UKl?3U4,l0셼Wr4:VqAIP-vRYa-Tnku[Dp]\0WmV#E~hsQuRITNU.T0eY+ÛG31c9aҧsʮ b07Z ZU1YALr@]wvVa%kT3ͰkoOѣIeDsХaųrwtxa;ɕ^&LU8 14wZ)YglF,RTZ_UB>p r<\M'ƙIJ.`D~Eg7)si3<['R[ev;K!hRzsVX}N)m$/՘NUa.o#Fٛ;"( 8ʈzGzU_ / ovtׂ;D`9]&p䪬[{!"WC0KKrn$;﹀%nm H S7K&)*Qv{ӟ`ٓ\GKq{$`@:l 22 .xԤ$Oa*+#<56mR:Y/fmO A7]&AwRGRggKO+S|rqWؖTJAC5&O0›N`jFzZl-r7m0$9x=/D(/?E4[]^QcX%1J.]EvM@1%)Qy k'Gsa/ǼK!Ϛ62 [/;W]=rn 1b6' L׊;޻?_!ǣފqvug+P0#($ VWcEQ@|ۂK{2UUVT5]0MCV7R$wcV,\?e)-Tg;;`>-*TB"igmYPK·j9ں/Vw`SRVPʜ$Z6gTʼWj.P>ׯǮՆKV1_siF]a|5w@aN:=wc=1VU?A={)%a@en a\GKH/Y#qɕɓѺ2&e#pFX(2GL}ʚ(*b94)I}%X&adV +Y8H'@/0B)z¬š;6M Ťrk-`i޴ $ٷjRX'pˠ?sFR̄~:|SFv!@⻺ӊ󀚤([ZI,ZJB? 1fڶIi|3wqeAX!aF (yQ.D݄Q2VŤWh.P!h-s&D52%{s $<!#ŦinBCY>6C\p$2* P !,A0=d/9 lr#֠+:^Zj0,XQO:Gx舞ث%>N w/HRQWGP6m'ɤM1?y'X[GŮripZd+aS>.rbk+CLUŞE:nǮ!X [uEd1R ܗ㒎POGYm)ߣa&O,2tcD!~S+x#@qaÜޢuf^`(CHcqIY`A[ҥ+#v,3SHCFv?&ua5gj>MWUD#$qVE=q/a5hyi p##uЌsAQryd-RxyxЌ]2s(A|ck{`҉F93秈>V%#(~*w #br%SƻO0%Y\S5ń׿"1ƸQqiS(-L2|Ych0F ìOuhb ?#M$TrͨP"^g>iw6 gBB;BU!)4;!JhX9`RfnEbE 44{HNc!LoCzšf ?B:]W솝hh=*22 { =#\ѿ&+#u\/wusB/ 93+3Kmveaӻ=aC{)meC:/~̜Oh+c]pm2oz,c5wL{2S~L[l[v#[5hҥV[yr2sXۗ!a-g|[2[6zgyJyK|?<ǏŠ6Hje[x~# }l̄pJ,?VBi;*8- %k8fH9GJӋ~#ss|~qGoy-r7(ɟ~) vW1@r^rޏ YnjSA }dI kZw,Ye4( E4焦eCSBgrL!U.IP3B0D`Y@FPT~(0"RF Q5ͽ'?4B ,{No*X30 ,paw6;zh˭F+P(WJ&lCnG *1!S-SWXzF-<_s)[齫X޲ufAۄ UASTjBih"3; p.Iה5kv)}/~w M8F`Zd xucP*?Bu!<.|Gl-U/%hp7Z~ \8d/2 /8y>ϕ@wʚEy#(i,0ZoPȨva [=YMqΩ~6`Q'N>lq~jIHR;M~@G{b~-ց:"#tᒃ_UT_U.{+%f`A{_J(s🫕'Yu|Z -^1SDrmq[3^O]?$7xk8kwvrp`O褈%MU' -otBtףvae~=͐!\=-~8=ںrX:;L;R%GZxpex|E!IzQNJ<<28-+Gq]b_%ub9tw#D,Y5:>9v #d/ aϦ9.[+r{!ltM`3wR֮;&'LgUI ֯q-o Ob~*\a m+i'@v{uɇ*Q监^nMؚuͯ=1_ݺlc7W\/ ==T]gO_xPpGu,e9qXxNg6 {qm*_r6Pg2slAH;bImtTHYC<>p'Os`zSG׃AkPP,fxƵ o>&4/>U M]IZV*'GU/ +UC-KW+V1U䫬~ѫ!Bu0G/c*L,*8S373ɋB! (wJm<ٍL.| )".k"Ѭ1ęD (_3(`84g5ms{s(hن(@&-mN4Cm\ 5Lc[ԡg9%u B?Sgg'?a^x nd]Qp`+qUr2/Va>qIqv8m]3]^KG:ƴXI)]J'4Qi &mgoIyd+:N@(3x`s(fF{ZΖWÐp-\ 0pܘ@P?Gd3 7E>Tϕ"H3!p@se2ˡھE M#ߗsI\ȋ;N~-96'j.jop"8ϥĘTvm/vlGFUjP!C ~LWYtE%pkqsT~df /bx (@!.fp.*\!gҢls?a(/ =hrI' dc@"!ϖhp>V1:fDhyEG_W¢-7s6{QTj9VM gYZ ll/% Fozd WD Jsd@S4fi}I^_5ܯ5],W0G4-Udَ"g;iO.z*CTV˝(?wVE|wWKX&q6 5Ȕ1ëVr~ SfDGr' >Z# fuyzHV f̘7 O0 q6k.q_(5i1me) s TV#ss9dJ?q|\1>BR(Q'pQ; $IÍ`" =CQuÞ*u p [bEoP+#|2v\jNJfR^OIN>%Ď֚ݚʞ[Ӵ눧ܒ2^*!Ql# W/UX΃+܉{#כ&%є $+콰8\:ڌ'}f2yFVh)v4d[tYy ~:;ӭ=YE6~)Ez:ؼШݴwZY ].{PӖ3V5%zɕx*}ļ?9C1I[ݰSΏ83qg(W"ڐ:v&FFU YyPqVeЍOd.팛}ݣ|Ǫ]U >F1Rd!{љ Zᑦ*Hg$H#-ihK,t_?#g~+0a50 >zBHiOaNQcPP *$2, C*TJ.PFɂC@/seZD.VC D49ɴ_*4Cjp <Pzjv<"'ɼˍ84=z%*-4ZALO6'v2\]V]BrJaIaIWuf/M>ؐhqPOke {fy"cA"YPAzg p6~zi BI+yJKl4ݩdS6"0h%t: 6_Ԋq:($߈/-QpU\ʸt Xd-Ǣs}[o];CZJza_FOr>l59\9FOu0b0M7HxxK1=(G\4uM MtWKTFr/k毐ã ɹeX)'%WY}%u.*ECV qV<3c`>QvrtWe3=ԸysLl;Ɋgux$ԐȅUh -Im'd3MJ14ݡǡh 8G&nZLxrlWZӁF>u .^}ƼR9`;i2zTlp'.shBj֢Ha m% , 1$RDpgv1O}"鋥sVnԥNgn9MxiLp;M,3凨(lJvTFsi3ך*.jL#cGQlcX3LTmey2[)Xw4_)PZOmXe'=(;^vvF@?4x5Ig ǐh _d\N1Yl Evyynϼ:eJ BzCﰣ`geAmӣJcVldZXTeUPIoڴ܃$|Xt]# * n8}0n< S{1!{r@zS;QEXrc> 5@9UQ!y RDnoD\ MM$TϱcwZ䰑4{UU^2al-c'.;͸lצ3[~4*bk_rectc5!|3q-g;߈j'CY&Mu^^ȤUKfdn?O&Z_&[ԥ/GeeПcAh$*G&.??e_U%/x T,[תID&F |IdHf_Db/>7/K2iL+*n҅@ Z|MF^Y6n+1\jt/ASv:^/Hx}0CvxY>`0H8(vŵxMZ23`0\hv۹oA%l˯F~@ 7/¸=ƚµ!cD;4.2*mīg^B0Jv>|I~^5DH !؉2f# 8mOk(k)/H^zJI6+ Ø$9^~n)ȧA`\7s{?WB(@SU[ ZpERs=3x8؍fyS{(} fK'-2Ӿ$TJ=N ŵ$nW}I TaQ[Ur'$gBØ\ƕVs**P;ܪ4môjW1OtQw ,?'wڭ 0ˢ3T?8T.Nk!%/lsưh0qK4#/1FseHxBN"JP/ aj[gz aI u7gD[+4hg` N(>, ]$_&h(VͻL=YsDaKM&B{2p̏]:k?⅐#$=Nx#ſYoA9Ou߱gte+L7  4 E+]`祢pþoa773n+:Rc,?q֝*р0K*0W۫q!GdG[liMˤ⾨jsZ+Smv:c^)'U]| e!V]~j`Ҭ-5x9Ri#$WUTA|n'gZJmfт0Q㈂d]}Is^Zri3qǏ2$y@Y؋שʶ?RTh bLw(o &_Q<ء ;;2Ph?SbG[=Y`Dŷk3xd+claAH=.c{I4jN,I:_hwo(O̿S2>,65etک8jĐ3Q un_ IsPk3epO C|'s5X Ί GJ+N]֮^Ky dEˠQبBPZ2#U0Id90.:"[cQC2xz+}r5 &sWgjxߡm_͗xQGB"+up,0ǡSm%3)!mxTrHY[IؗO`n%%GDSol[ꊂj&CePK}~kK1s?XCݬғj}yV7V߼r!|t 503=m_I{%Mʑ%o<حn$4ZGI%+RQBRZ&U tolP ڥ_ ^wűZ' BⶤV!d M]Ij tR(ڍx| dU7Y(%a8M0mN2G4̈Î8]jh/m`" :[~=W"dTfLZc #fud0P 6Շ`e6NCO䀖B:&3#h":@R޻;X2әրn,q5b@Yac南j=m2a[oG7յly I\U,3K,7'7u\ձ QB~3Wx_dpۊ} vi)\&?^Uzd K'D6$4?vn[V.vn9M2dzUWIs`Hnĸx31<dGق3ڹa5]aJAQ@h.biHu Tte|C&a[u~>XȫCߧhТvjPJN{6l)[˄K-yoWQÿr䒜w0KW:}/] [xJr*X[qfӠ#bF *p0Tfz̻niy"wyJк&=&X ]@~ʳrIr5ry`)^ꙟbɾݐucU4k giyM|zb}8.bc!0{ĭc3$FhџC Qse)گYPL '5e\??-5ьޝGQ4`<ص fJ29r]d<~@ܾd "V5M)D\FZbLH/嵜\Vwپ:KeEI7!C0 r%~ʓ_ 5nhe"?U}!6JΞ>v_O/ѭۈ`J+PV>aNpiRG, 7d2nYCDZB<[L0u2q9#R7#<>|%f&O9t23xC: #5T{/AaJ:!{.'̋^)+Ӓ!j*񿔻KʉuU~ʎi`KpjC]>B.攣8CLZ:s=3鐧ztر.irޥŗl|xWǧq{8T>ǻ]bl:/W !H Io=2toPWd_{ QIΒ+ hRgjg\ ac˞TB~fߘ3/q$3UX@3vmhD&}JE@En/LW)k!_l ]դH*şHWUս4H8G[|fc{{cN/jPFoK4oHf%HsCcC^y+9+a$%aZ׋pQ淪2Ԭe`ъHS٫ţB \do(GЧ^*Eeџh53◵z5"Oݴ(_=)k<~/ɢ*'x@5q9Qy5^sVGhVZ74??8 v2S'r;GⴱN$u!QaYb \QYG- K2:7 NhvUb'R>j -pV8T+yfDbύLVmG1lT3|cBvڸ#"L9qeOY$nxNVM+!&y;W'Ȣ.d(/aU÷ϚXf⣾wŤCe!vWqQmYZ3Kv& I}/'0PB:f$!@ĹD:ɭf˗*Mlr_hA睺*EٛO"NK2dN`L}8p47/+;B}ˀ5]DxWTד-> Q|i7S:"Eyu@/S;ɗ %Of ζ=}rwՓIS8E$uzYIc:΁to jxӍTAp[84m\F"27=TN H͜ Ť6*hu@07`tINA ?\Zw6PD'ӢXSicH@!y<7OrUB=|' {_5ރ3y@@k90PMZoAz3DoSTz26.l;XRG$ݞtδn£U(pa"R9!uxıv(3KU^Pt>$ΛLcLʘhcN8Ec! -l9λg|䰫ؾ pp]Z/OINYC:_[yc@q?8.SG.t.kz/Ǩ:ץʩ3o96(ivxS){ $w~lt7 a^=d~}k+<09>Wv]ˎikv 㩌+a (e>`Mͼ`^K Hø#C0ڪ-SP7VZ 8İ 5HC̋ P{'r>A"";v 4[\Jwk30Ψ=1@as`,B鈻/syFRoՌN9 x4FPN>|/ߧGK#A ;0D6C#$ᒶyk;.P:#Ozz d_xSFkag^́gV|Gl#Bp9jjl^'zI|i f2njPorեW=sˍDOo"Qe6'@*sVTLϝXc-`gOʼnP˿i߹p 4=_e}\N+g.W#)"~6qoǚ: ns-ǤΙQ?nd|}޲L)Wv.>lP&jSW5VVQ+<_J4 ^*""ksN8PfqsA?/)/`Ͻ`y!Ys'tEBxi%z#x 2q&c+*%~R|?k8o ̤ee iLMM6UGS$Ȯ/7g xT,#t"dHVo5e,fH\P4GW2sc%EKN %ln4hP"ˈKs&E_硎Tѷ'u ?mñL(}xmלC9ᒒ)v&qc'ZPߺa.{U2)P_t9$yJl(G.&%'޴n&~of 3-2&Yw\XhϿ,Di8tRC ? hSRzu{<[|+_Cڇ r΅oۓ4UobVERz*DiV+V| ԇ9͈2F?l7A %UwR8[XҔ) 9Aq-О&Z'~Yd LuԼ)}wg#m48=ܔ9^U 9MnL6>5vJ>Ńq'[%|Pd[_`OVjdVR/_>)3dA=wC] ] ")X8h ~:$%k=jGߺ}I]{:G(P^6"tAiO_l7R 'dzBG}]% LPGTq*k8,(y}̉W>I E u] as^Tu0G3b {()7lJt dkc qu {{J8hFjVfF8R5wܗї2DmM He7w G>9v\Fgj5a:Ue3$!dsˇM?C7N>*m4Fy u0%1RpoቫZ׋l)i[ .@<]o/+v3UPeo鵛I;~ӱKfWvx7n^t~v>ªDo9Id2u mjAvtCHͤT)_Z$Y,;yh3ixsǶ$ߵd53olSZ7,g 3 T(MyŴtf5Ř&'aC~3s| A[a3⡪wiM~sȔ:G]p||NT/ m⪔ao~Q #N@b٬aýrn1JUųr4 .ߢZ"&wI9/m,kO j.A;<ʋ/L &%'^d OSӚ ܽ)Zm&j9%;Yxbr)7JKy#J01nju+ej4xl˃H,4W;i ?#6#jqꄋ╎Oyx^0‱F[OHZն޴. s#!Yz°>BTDx`WM+Mr*Uzŝ^ڂ{76A6iY`zsFC.yoR6x b5Ctz{*lOPve_);wJR i?4FZHzߏdB`!ts֧_}*~ыqj~'"C3 kZk 2cYbV[@V4MR=o`zY~\_кZ.a##"(R5$q!ީ r98D6JC";k޷db3|dn2>4{5%h%v}F i"u}83Rl¿ۼQ8i) 0wngf ̕APA^o^ x Ĝ`A9+9lH?;?A>B0+Z+~T.BU Zm`XʘT`=oRa\h t=vOXGOQ:XBF3ڍTB]P|;Zy>~S#byn'z7[ᱝeC$1PuU.shʗܢ:>$4Ь{<^zZqdRiL3c?9zU'FDj-1.KDձ.cB2'I?RѬ,i8gk2._+vn'%p#mz緜)sq8.? O+`NudcfN8uY#mPUf_PŽI8&V~m.z+9ek^|a{wJH1|mlU'G%+V%KED@\Y0xzzPCLMCyD}`A{ ?Mv5M~SF$ oTlt(9m?g ZکF+Qu˖1(wkT8 I|P9ijm8ֹ1nv{{G:̊uMȒ- r8egJ8}9٭!%<ڔR_>ЕI}!6D= lE?RZ/uUQrfMGWQiSBtLIW`Uߓ6a7KWa {R ,+A#9) ̘eM{x#vYJЎ$; o yТILe3 vҶMKJtvaR|0v:9Qbi^>j|vxݲ>c2O[q/Pt3 bMHC<@dQC!+r;ϔC4HbZ=%E*͆YCh[S޴,Iy-yJJtL}kiL[B/p;hkXjp!L9$hZ(,[41Η%Gc\zE*KՆDug:(֠?r~8hf<2mk gQ]08zanIR56/#jo+&G?ՀW9O#iНTϘf^;Ud@3Dp*\ kN(gYZ  H7% 憾ǛhlL] C_/l63S.ye= 8"jDf AipԱ$[ _\c$<܅VvPl$MOWfS[n$l #Ҹ83T~v5>I|zo,ph: \U頏&IFOZ_lY& A (([3*_;9{_ +ӈf9kh1=PK`\0l[NVʟME㫈ŧY hu;s>&H;Ap$W&£+ȗZ>('ԹK^uR )`g;va63[5Ye'-(i@_df\=;\GVv,LAf[68_fX#aH5|ukx]ɘGFa !vΤZdpq͞I1] (*Vۘg%aٖ;(FP!yU 'WbZo&Hu .S"(:lZƆ'ً1-wf[Ip5 Ýp\N3;% DNominal2HOL-Library.Cardinalitydocument.tex7zXZִF! "]A-MՋhvG"uIBm5 *:)HԠt,a82g%&ܱ@[g gp;u Hߕ9?tȠ-zb ,Eo(i' ڞn I.P7 T?~.B F+][d݀Ife0@xuW+1_VY)|)B!WWʦEzVqP_I&NYv/*nWh^fK4?u@^^J[1Qaߖ( 9ˎR}]"v$+}*~po7#4I  g=hIKi"ñkyN?׼km5b2KU_=z}j]ȖABk{ws6]3vgD)pq8rj3Wz-Á$vh84m3}5E=$-N"2i~~ Y 157% Nominal2Nominal2.Nominal2_Absdocument.tex7zXZִF! Em5]A-MՋhvG"uIBm5ĸȌo8~N}e6_蘴 DrѭufU2s Mۜs-h.nY[V׷7H,]ҨTf^ӄyňEEkarC`]Te k =ͮ /rgF#1kUr97r'u1(ԷW%Pri&A*Ip5]PGkp󕹊NTZ{_jXS Z%9jt +xa(R GT#WN*a-%z/ݟn#R/ sigwdU_wEMvd'}3ȎXK!߭wc*c G^܋1cb&N*ZW$M8AvyU@džKR"`X]^?$M{(5Ni VmB!܍]ބrq(ٗm[չli5)97f^:Ȟ3*%2Vxg3l#Jn|5OlL+pFͩwWQuu^5a-Xg-ox~ R|h5 s$ʇilMd[MhC:,eG %^=H-BYa5 A`^wne7c{Npz1I1ٹn{Dp` uz"E_~!:@ Lsb˩W ;PY,zޚ KzvgR#j'b˝,wL`QO=[%^ ,7Lt)FW^Nj1'#졇U]O<9V/F`xAᙴQirD?aqL}\MHCՊ O-2TPxf^ -<+'`D5JwQm +9Z_ Q6i ~1֏F({+|@g7wۗVJ A^½?=[xNcx6tNU]=-dJypQD 얂.1`#mKQ2TRrҦ`xŦ./j!O(z@soy_MCI@>oY| ĵPLBA0gysׂ%VKi9VPHz6xV'T]D+h}g6pA9s΁M:Kact8*X447¸Rx9W2QZ%o^G6TTC*c9DG:h4X]nRr4v3 *v@m ~{ქ;bV>ȡ->"M T r%z\5n fiISF+=i]L|NJH %]UfwSvKkǬUCk`b.e9'==^P^0A\pNnmʥ~=O aDBE=o%L~D.Z>?+yJNb< WvĬj)3v S)Jnsхce7 [#(Gr@?9 5R%vFHjTn) Ž.2T;%,JܭCVB_O6#.yc0A,*g#*Z\Mn(dͧ~RmVy\5 p)]RF+\RrP<١41X"0H ,U_ch}X …u0OR }Kd Z~ "O!>ZmTͯZ <Пr3GjwS R:8@p-3VcV@dsgAx1F'д ЬE_`l Ա>o(i~Yb)]mwEɭof; RP"TYfϱ{j# -!we ״빜"PS2f9>FÇC푳ZA9Ŷ?1Ӷ)Ѓ_w Ҿ@YNLjk=lJҏ/LYP' ƌ1Ӳq)քk!ZЉ|n<?T 68a뤷oiWxbPu3cRW5zrh3 ;6=fqzirEk]y8y1(hU,2@X€xr&C3ҽRuh1=fQ]"pR_zh6~XGeٗXhԋWWm8. |?^8p>1$U d %e&8hirujS5k"f&fhF*[0x홅40J풤v"qSPړhQ\x ε:-#6!H QUt/#+1 አU;ol|S>\$dw}^AV4{QK q|Y| 1ΏS rFǟb-F56;P]HO jsilR+t l9&qsSpъe 3bց |6&|k)nFn^k|'х[l݁sgBlz/in8fA?d^N3i$5׎(*R9lݐ}fM"nC|$f#8P)3jqkZ:I7ځ]4Bm]kG]}a>KJ&͝;_KȺUp,WHy V<`ۯe5}M-D%WX} N|Oڹ 7em0` I9Jƾ׃nEYRsoc;4J(FɧI.I8&uk&Fџsn.C~&$>-KAuN~2M9a hl08MAt4uOJYcZ}rZU+/;-}Sb/2ϟ>1dђJnhM@PO7%9cjU ?N{֔Md[e;&,aY XTےzu5w=`܌ccفќT.c$r[c\Rh1=[*jY6WWd7n{*>x taϺ eƗgc4c/ DdHÜ~TP"L_ ED V!҄y/1kmDȕ${X d(ص[yJ?(r3߷,DOC()Z^~AeB)5\Fn45[%^b fps%!v&UG}&Q>\_%h[i XZ>oW\ޠje@Jxɚ{NËf^5(?=2W#fC?; )~᧾`nsiO&"AdE p;P|M9qM{XAtcl1QBNHW `a .j@cp ܄C^1Iz,)ے<im5w(bKP;wguMb?[c8*nBF>9_x,0m#ު,h_WP5.vO)z`K#"9CrgW c䢷a,ZV3Z>۴LҢF[>] #&*F_ǜ^^7 K ~mm(:l pME5'{ybR5"qhܴRAς..Գzn MiKvL[}[0dhԾD?7opJJ3i PM)PWXvmrq])z57 ydQ-?;lKX%sֈ Y@bD ~v z)w{ٓ"=s5\F\!jnW{{6PJņ"M{m%V_V @ĤPŠpoUd5ƊS #% K"Elw^'SHvJx$1Evy'S*a&$^ҋ8YJ aT4"*CR)Nn.满ͱ,|ك>g.\+7IO E㕾{Rt,t !cY7Gc+c a]򅈰1cZ?:2DE^H}q7y1܌( <˺=;WAn2ͱ5((j gKj_?tc!wLrwՊ8]S쨢Qx:}H ڽYW %)2yNّzU1ObHBp'WUo4j_ڌb#N+ ?m090f?},1DX` 1LhϞѬE/1~DSm<2#>t$ّwF(s};@u KR)/h"`. mӬKΉwp!ZpN4nf(إN6U2Qn ]FMZPjn?Y=|MoT 5fr,#i#Ԭrv8QhN7-iQf"&f^Od)ȸEso@!jvPSYZ@9A8liLTCfֆ_d̵JlK`O|%&< 0Vt d}zQpx}v<"uE A-ˀ lK(p+~2_I(*c-wwq9+R]FܹOV"T|fھ?o#~uʕy@Oj).6g57.}-ҁ rܪķ0D蚬$=5Q&6]&RLݟor 1^HI=%M螇cRV* 7(\۲@~ۗy٘fQ19,{tZ'p.Κ/}G $6x"VL[nԋD_t0GlTTE[iu" $moϊ?5_X¡|__Jl -OL#V~wgW7e NQQo *Rm#"bTw{{scJ9P>7v?BDY]0⚍hv5:SH/hV24MAP|1apgƍvl l4)L4beܹ%U+"3܇`X-4lwKMDrċYfm`!ǥZ`nfOD#;&dj8_UC4 7$5Kר{kds5(ژξ£m"^+߼j-Ɔ*uNoYy<MI}Q"*Ԯߙq~B箳L]_=짇8H:dxrsalv־p{A/eu.0M`4EF9 Hzvk98۠ c#p-ٖZF~ݞ.|\ڈ\SR< ,-:▲^FtŽ-Ym`vwZWgܫ`A}H%1n'7awha[h0i(R%5K~CC!wyy*,/ ҂,DJ= ujFh*φZ!Q\q5KŃI>1Y@P& (4X&_l/g,'\,|jOO?kW&q3bI⾟6#wȫcvP_mdea9)nxwxaH!*cS=FimFʎQ/; V?vy(XQjZ/0!.0ּ %4rX @8݁5uÞqjJFl&lQ8oה"N?lVT:<.mWpOL55mPbo~ljer J19]>UϸGR۲+WQ#@t1jTׅq>n3xʓg u5.9w& O|{%B\D6V>bL_"@R7wͯ$lnu tU3W9HD]t5dxz[8ؿZsb_¡e%HMszBKj\?e9<6xU"ry5U3|sF@5t!{ɇO?)阮8XkVYLou.jaF)f:nbC-!ʺD*T ?S,RWܑ1Z:Z 7.I@*gs+EY~2>YK2YTxt0o<**XG\Zu!Bs3GTf}!k$޽̭ܗ1QpR5#pQZ`󈖦NTυh{k3Y GqL;ivTrjO\_e=u9]X#Mu.;YNsTڿQR vaa;*|X j!el݂Hd*B!/ xv-fWM ۮ5G̤PD4FQÇ]Cj~WOwRXad# : Rf;;r4l$§QSXܼwDs"Ե\>&(( ޸wLz:#@p#E+|BE8%D͑!]<1K3vQd|ms H^bjԥ6}b0sYO06WTgƐIQY݇ 5bY{<JieBbd:TުЅGe*zi2>ʴ2ԯ._m& UEĖ=ulھ#P(8őo}I~=I7P Bfn4h54]/~ 6`jQnsIrTQ[QU3;3'؈!KFO< aB/5c?{ %>3Oh֎4$q~dLE?8d }?hs=T$A4| /p/ў;x{w![Sshx%H䉨 / 'qjVr![mKw~)7Kp%伱㒺עznx|ww(zt_.h}"bxDYǾgYZ,48](GRd׸}YC}Ftd {X44zdbSR@a:k/l8nRjD ͬ5IẀ҉ah3vD}>E2w p% qXCЇbFnDӓ!$DFvfA) ?Ζ5k]{~!]\Ѫ'ʮהhhtkPpc xG_v%٪£.ϛmǝ649(;u.,(zZ3ɾ1N UYgJaYHzUz!42*Bcm[^Y,)ڽD_Mf\ EryM@cު[>jAI<ιMK?јuP XcM%`3cb^L!gLK@,H ew/wu/<Q@obgH G>- JetG蒁{F&&,^IT~q,1|b%:Z sZ$CXc#E6q.ca2K7"wKqS0ƔQ;OC{6GTJ?#~HuY%@͋`T_;me|~[GJl8q2N#},DkY`zyn:x^B$V!I)ش{"CATaJ2O`^{^)!u`Kmʙ;IBG$YCizOŰ^%ˤ9A$:f"65c gFD5R-G"Y( JA 3 .":̨+]oKպmSvq+I$OgI)USa#W}TyI*t@?nfk?$ ;a4^dx1Zyj4Xkw ᰲ jx#W~/alK_Fl9;#:gq>ve't5;_7y~Pނk?'qͦ7SqlҪNAu}5;0ܱnwxx_Tc*}:BqU̺hmBO趬*5Ғt<7@2Z:3mˣB6ɒ2]8I6}VnJ hJWU>ޭ{ ?6q|>FEpe󚿵..693Aa ?\ gg'"}S}ׯUd% <#q1lXbnVw+E]N} ruU_i.Lp"*pFow/C?⎕g%㖀pO4GO6rfxgMڥƕ0ɖ<FD g&ȈCXZ E笪*@ 5~3O>k"Rsj9%Scʄ1NHm;8H$,RĞ2ibS*o~.$]`>糥Wm>DoS%Ӓ qN-U3@T5k#рLgdF 3YSd֧R]C%zѨF{3K+(u0b},#BN|L|0*GE8BD|Pk{nPո('5̠qzKLQoGbΫI/g7B^A% H_їQI)IΞ:ęH(6$S^Wԭɛ '7炫 D zJ t=zbAL Pf2J|pL)1uIc5z$ؤf]`LohU3PuEs.i}닢xgoqRfQ$DaزGLid(OBMHE}d¦vՆ<{9/rw:RJBzZJW5 #/%1[)/۳"-'>clZBI*3Ji{'{F xx͛sz GwI#LhWdjzGE-ñA_ ੅{ &ǖ@RS-ݽ; ]nPh(b8/hYFg@m5BjBE6~fdze:(j:Fuv{=+4t͸Vv%3<s&a|΃M诗>gpgۅd;힕<7xJV4 /u^s{0 EeZM n/Fvmw{DO5AA" bdpg{ޔpFRSSrǻ6"WH?!seA7>GAJJȄ)±gYZ,Meֲ| _D$7^́,WDҧW@-R*Rv N`3 ʵb1/towgNȄ1S`}`E H, I*^"/ 4SZ[2!{"wLm8"q2-ـdN/c-8 2huw&:Ez>KEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa~7ˆUb"H  }.+}_,~C+2̑•ETZ]@z- =}>ﳜxQM[E)_6R]eY^t)KH7Lq[^,]SӕF]V@N2ژqvA[p!}}{Y؃eoM_ݫ#V^2/O@آY7-. +1RTg6m/0 eRh?ŲZyqUbRDPR y m>Kؗo8O>2!OxXȖ;4zPyyV$ƕDj?Lr|2Щҙn(MܛcX_qAG^D>J l+ 7ts\bk>?By7e`yiS] 6Tdj^JAc<#,5T&NřN8K"9{ut kAA v!!'pM#); &> Jւa2hJ<>_g@=5`/`@%V~׿]9\N:3i*=vi[  cn)\E J&G91ek7УY^7صtW-܏ Ȩl:Mє밊Dk`>6K|&J>N?})ŋDgn[wk=o ~1m'% S=E#hG#xIobj0(О l{y}7yWcX> bN }h{-1eȨb π8MEUg,@豕ݢ@* ]gt!'clrnz l0rö TˬmxjDH @tZ'Ƨt a=.'SvǾ2<כּȃRVx⫰aI(,\ n_4J6* 6K όE`՞/K}iL@=wޫv@RKBK[t,;Ul Xe|D?AHTXKRHnlj u KP;܏oU KxUar^Xlb/1@v6\jqyGz|څlQ[h (lL4Ƌvh B ]7QȼgYZ 7 =% Nominal2HOL-Library.Old_Datatypedocument.tex7zXZִF! z ]A-MՋhvG"uIBm5ŀ9"*'d>huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c54j#Հ m/. Xҳd<0&/[o< ѹij3=29Ac&5~N@ =H'T:.(tBT[pdž- YznJ1:X6 ߧp-Fl])n ¤+ѴAjeHJa{ٕ'Xd>DKa AܺPˈϨTxoL$@E̩ux~8-Վ81" lW3ܫk5?a`b]&kSurٷYtd+|U6R)^Ew;eap'+{ն@QE) Dd(x'mUFh+@w05 tAS+͝LlWKc%щBp2|o \NL, N " .w s}"I^/x]e+8`z*d ]2%C{^܉ލś@&k[1Dhk%~\f6~'aaNgS+0(k8zLAiXWK4*L1"GO>H֚:X뾗mH3zIp̠26 4 !b*ĝOmf9 \B(iX2+Z4^"cmeRdJrѨ81#X@B%-ȆNHh嶓,dWe:vV"f O&*},m:%6p<涉{_Ҋm*ZZXl՛TQ=/;P[%P?R0Ӻ2Cx"snZȂ^#G! %B3OSmU]pzy5< L3LDu e)'}<N\ eeE"oLw`hepgVgZ|w%# "i&n̈T8Uh7I`~Xv-a/O42*J/% өbWu m&*.q@$8띶bge ܁6Tlvsn'hT=8hME?B -ds8`]0燔b m/g!DZtD3G9Ȥ(9kWʭ$y8 P 5n{9={Y _{ wO"2@mBmՙ^Q ~xv6E-4bM'҅VKl,I?uV~XL¸OچHwypNT4 J&ч@MQX8"w.*[Chp>[boӶl6wSY!2`f h.Q 5M}g0& ћ,~IRʼnBn_6Χ \6/)WHbDj)6tb^OY:'6$\KU%(şCpV+H*ML&!pmzò SPwxiPyv hl|敁űW34u1a"=N \ۋ/#X8~pKsB;,u_1oF&M?9BvOQǒYswԥXNoY**pҊZ+#뉵ʄ\+Hmd^K:!kȷ*V YQ}/F(ǺO@M4e۽U+μ]N0lz ?(Vڼ Ф\{C;pE_0q1ߚ_:3XGIˢ; cTƪ`@bζfzmY5@$-5SWuz8kG|,1 cބMF_u{O$?F]7X Dnt ̷s3${cd6/EEL| Arn7f/$%1%eHLK>,OJ:ŨH};TnڕB'qAX\m gzx*o;jL@PmzI`7zt)dz  긋M|x7)I Ml)uw%9N(-txیTßy{}%+n j H^ܘ[GcVq}T0 dUf_Riy(`vm&uT&퀍PK%]TTBj2XZ;w('J;#ҟE:Ɨ$a)IA'\,lU}9VMMw\&Xj$lꋉt ^0rg^T)@"<ś6ɇl y蕶`*IH}f^IE/*9Gj.Ҵ0=ErQAWFN4=58c Q7W6g0>/(t7>>S6ai*-4Cq$7Aony4Hk4/J=@*N6 q9+!c|/Dwc=ڑ^Ald;7 =k.q4[ GgL[KF)]7SXfx` Dw@˟,zEz하0zXg/dz=X(e<\]eΒ7WV Ln?9PٌdC9$nI=dXB7 ,IB^"Qp;'5Fש_gYZ  =% \Nominal2HOL-Library.Infinite_Setdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5ɰ8-'hH]^T3{9 26{3(fFbluDݎ[ٴHYHO)uDߥ ?|O~,ge78 ?UJG1+vsfk~(5ZN~p'Y51K.C ǽ# IG< t7$!pغլ+Yb.GA<Q~euL[LDB te!<vbt~c'¿?Z5؅s#Ls&{%ŝiOytXu?֥S߯_9ч'wIk#w;2n2 FK:EP.,% p{ κ"{UIT|PƎG3G`.%5;"E4 {b.G i?~aT箫CXt =%hZ qtkLv·.HV+b9r::]!9q*|qV۞k+j"~٣agY2ߖiՏ@F‚he$o(oiX> -nxRM.lU0̻d 6<+ GE-u x6 UHGJl1I)/V G'ZhKq3d p ݂Xճ/e &+3[7twj9l|9e̛>mlV':{0s"NÚO܁bwgkPhb~B5Q= 9EqM(0nyY&s8˴DPI_aH# }f5C{K3a|֭[Ʈ>(V>~H^ /9B 5'%Ց &/fuxJ&)',@c:Y͛z˹FN&֤&.plzw޸0wdC'?צ#||>VLӒMdYH v(kdo?BW&p.m}XkJy89 aIh/ܹH~H1aDhO| ^~$ڼݴPHH3@ݣIj͏6'ߤEs*5\/4P,QV-- )3\]2Ʒ(ټo8q #+hcu+^IEZ(Ȁ* )/-ޞ\YUMJ]"p]< p=Z#jxy?u-X1n K:̃]v%o}SQULO w ry/5%M  =i0jɜ7^pُ8 W.Y҆Bs0̣m(/ѭȨcM$k¦i[D=.fT/ક"Zq%9ٕbq>-eWz~6pF2wVR5 6iP7ysӛcpBUfS'Bō2|F?zR;ځG$LŸH|Nh PBFo#{ZJJB m#>^#KyJJ7c*7P1I-]D4;)kzp?\eHs\6jHӄGbG\2_TfQI{'i&CwHeפj߾}?v/-} -jdec~(1ޤŕGHo64,lvSl4^łMtF*JYFC I'gF9^S&è`я`CAZsh(A iS[$]]-MH"y0n3,-`{cU7kBɇy Me~ӄr=F[V巍}Cvq|Fw< }Yug)uEyH#6j;FĒ?2gSAF8zW~ŭ|(X4)]x A\\ԆP\N>+j[TLK1HbOv ̝l[}&YGcu#5y m+S.E#J-BfZź3筢0;ہ@[kBKڛ^ ${)7enو€V3+QS1?ߗW#i:(4+\kc,3PmHLI:ZIB%j߼}ye c YmwHHw8pКE륀pZFd{~\%|5f͞bᒑ&_{aG#zF#U_7rǀ%Z80섶;Qm/vYғ8&(pÑO>CWF#\SuCЂ 4w"} a4 {eeߔi%.kxYi ap&^ng<87"c9 /,_Nj}^#π=2: wSw)8 X4vREΣ]#o$)L p.֤>0e=pg1% P-3,c^2Zh xk:ZAi<("D h 3BvqܒGz> jR% K}M8{w˓MA+ҘZ4˿n>sRknlxRb=Aӡ,6bez|XUF!pZO;۷r1yQyė4Ed*. C1wA8Ok0bƇޱ}; ؏?dfɮC12DD"mZ@*J,z&۵- EWdȧ3$"2z\e` 56TCEj% y|46f6a;.ke3D'~9Q?esu@C.Ey)%|e 'd8Tx" f6HqbOXD8q7 s g;ÿm7mP͹X֨5Ͳ F㡏Bܔs8$`KvJgd ''CWԃWr[O<U#疉8X-K鑶;Pպ}<_H>Z'7|+9f@槄fJcRFW 3 3$/A'*{Jiis6B2;|)SʈJ#ئ &'7lU61swQ5MȽ3P(3J @cwA >|KKlL6tV4y.[zB\W}z .Ԍ_:GRǍRB;\&xJiQefQS#"5@@z3tiC P 0+XR)R% PvG/:</{t2!JU6k.cbu)ay0XÏ|?=,.i{_ZUs\:dDdm§:ߧ%M1 b/Ř-ݵnWձU si{# 6U5wB_[YqzgMhƲRs\G;UA.jWE!>I *'baɧj>5߳6eez\D+8 4jk-e7snحDTqg1$AfvzŎmk&QGVCa gNJn9=$0'6]&+F`dvNv&}0:{6‚m `6(ͤ9hӯqi:rZt?3uGrT(_Z]y9qQ~8O`\EZ:|BR[>}Q~4Ar= 7+Q-ƅt,Bbxb\0zߨp=dϿv*{Qֆ~Qp}0pɈajX[BF±f  #x]iQR3S` tIo7]e.G v  9F5)|XujEkm@J.իG#? aaTEꂝ=Ewv1xm1@Bh; )O5䞜83>0GhI.L1!\Lsk퇱ZK ԮOP"cs5†cHۀFO)ʋNWlAs@#[=!=mU]i@ S&e6 tYH  zn~qxɣL?>Ρ: vg{`< !qLƤ#D y W+/اeWG - -l0= N0e@6{J;cԕoyb;Q3ʩr(z^)=/wWc5Lk)]nuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tlo\fRLgu{Ho^<3EpT:mQf" W5W+h1a,{Ozw| nC5 WZr, !b+gZZy6pWY8ʣĵO(”G~.h1kEE0_ _l)әp#lFcx2ԢD@} Ɇ&:WZolP`d8 ]+l#VY^wuφq"03x>mn:)۶iVN\"Z]8etlc"{\!aQ53wG~Tl"}ϖbEB*ޡS !fc(Ͻ8cJyf0p}-Ø?nR  V&(xoM}s_Sctv4$"p= U#URB3#&k%WTs2pF-8!Gq{ŵ75bjLg+'V햶DHî`%"sO̸EBڟHi!ՀGs:sglPY.`_A#Wq#FÅo.L@Q \@F2:!*L>b1vD=&hʸ="}gemVa2ϱdМ[qtrIVBtC9qz(E#<p[4tL-zn;:p 7% Nominal2HOL-Library.Countabledocument.tex7zXZִF! ]A-MՋhvG"uIBm5`''bN\7eg>|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3tRQֱ{xK1h PvYQ:: +amƎz@.]n}'?nNcqך~ƧdtMFe~1Ua9t[ўNLhH8'r Ɍ `_KyۚJj~ I V8dGNtҙZgٿhlӄZWA6U&<]nl/$ .&-1kNՈtbE/5.'gAtuky 2!N xdO+8NF撽}yldfE6w7>27|ZK=u6i)B6d6`XH2kϨ =%xxTw@:<`KPX('b cibX-SqtX"wY ;|~FNo0a[5-Gs%Qʧ*PĈAdQnqxnޡMA m6gؗ=6MoP\XiBb;j1"Yn8%nLL_8+f\ْ)a),ꃒ2aAMk=F3|gGqGI?x'dC%K5kVe3w^%vdPԯՕS,%_x}#SDn31yڍ^2Tq&{;wgzԌrnVWQ瑅@؏> ,hzYBwF-閲1ۼw[GS=m : CBؗ__;6VӃ8A/Ok7MG-^!sP.s<1)*T)҈ZqCҖJDgרO\WW_LxU}FpeAl(P‡]Xp-: k!t/'Y:{/Խc#lZ%` :}ޫ㙳M eWv 97a[-ʅP8-<0{u +"[D&+R"N6 0+[)_f(ty >H"<HBᵻ -9;b3ڙJVcTa؄7o>9#JzD ߌ6=-[}<5̲Ϯq2Oo I*Vm<:0 H9+~E"g͊K2?9ŴAږɊlQ:G 2+Sc.k[-DZ:&N}_ jGM6|ɋ>iT.ԁ8o]By$+iʁ!>@xLhUνu-bItlGΉ'֥Uc֗)qND~")@)hv1 8S|RG.@.s\D%[JUq9W {U'˻Fޫ.lf *Gap6HslKCwKC 4bq2.%;jBݸ-[LarsPףU 2ZI\0$#qM&l`"' kɉq=ČHM5&uŃvgVЖ}G'FFENѧ9J(io k8 VVh~ ,=>X'pbsvd'Nދыl55žt1 qI݃{=&`bTqϿC\9׋潉90/QYXNRF<fp>DZ ;k?R!sQЉՈX"w&t4z- -,2 (|݂sEaSm&mԞAg# X_>BMJ- PbZ+Z rTk"d\9*x3~cHƅ~oW&[wzzd1jpm:6O;^ yw}FTQl50@#}4PhX{G[ꆃ /! u`-:$pD`6@7g9u:0Iz>+f`ĕ`lqPЙ#9Q,%&o+7|gb8pc^#S0)kŃv35G.ىeޤ&pE+ z63.) 2ƩWj ͒8::m(c4ò¨~ku/ݳp)'C|r"Bd6=>h`w_t'P3.cHh9ZcH32'HHGP5i?TIeߴ𔙉{ ˔ Xx4;|X=F.6^eWΊwad;¸BrӸ7弢kX:j)6?)F0~0)n<x/1:?!GI@d%dg: ;ӥg{ͺ52S} JSYn ;շE)TďGe?;J BA}#q^^y+V)'N矬=\JAXCH;1&4f9&>zhT?ʑCh.o+%ay7RJWyi>w%dZI jvϯ&[l\jao]o5.֩lPIq^ԗ`+\\ێo*E#_Yc,EiG gsw9=+ [5PXnϝ ʝp j؉eN2,61Ru0MF aNf*NKUKa5 lnEnq;e R+JU(,G'v.'/d R]Nj;вHG-]? : W^"i1::vIdk_wPΫGϬ@ 8BgvIvH|c߃IBf(}|em.?$ݻI@3*`ٍjk±-p ʓKnZt?'+Djrw mi TEs_;]۾ #RH9b_ȑݨnѬ2b1E:-C@pvBdª7_ P36x&@Sc^/8BTx.h}υrFgh{ 9FJ"Z!a!꿜?,ij#?d*7.H18[SLwUJry3Fg!ja;%:Bۃ,$ĿU'KnϭPKpuld)LZ@ r>Ԃ *ޝg|>@ 4GiP BB+8L]]1/ϩ r,rP:TXZnP6DMgy V&(S*5S>,V*8趲] @ 3zW0OqDuP;Sy khL,r-`3Ӗ)?w{{&~#UWv)\ xg@}i1,* öYųb+߹58>̕m}PY+M7|B3yh,CdU""p[z]3 g+d?i)U\ovo1Ht+/Kڋ/a @ ~yv~Rv}Hm7R1fw ?'KRnҰ7RoL@2e+O(NKHf= }6Nտ`\i^։Rlp$~»_+_x}LPso4mڥFr)1 :fG}juD = 8e@^ލd͑+v1Kw>y3_. c.&ʭޢ~%t~l _2w<+}]4/`r)h#'gYZ ZZ#=% lNominal2HOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngcK@/z@Q0Fo0B[! v} DADfw9Sm!;bK9a$K)`8"kp%3WƟniw!ԊqE0_D_rfPaéF C@Eݮx; $r:+,_6 /ā}%$f6)ؖʎi9z!%< 0K)BRW"kOc38!C0}(Va?pg( FkP H3ƵRr/ [[hڈSV>%9T $>-;L ( D.c*Ph`t" 3ӛPS@Th4IG-ƒ㭞)Lj{xZ*}!lsId^Ob39Zf|%q e|0u.tᢚQȦܣXڟgYZ U)% dNominal2Nominal2.Atomsdocument.tex7zXZִF! u9 ]A-MՋhvG"uIBm5P:4ɝ~t9 ƃR<(!W"0WJEꐝdl+č)G v=Ntlcmo|qH2!q榣+vן /EkmMnEV4we;EYZUrhj0^ H&  -vTI?̑ Ұ Y)D+Sᱏ~ C>8w,e0HZŭ*B h2|21ө{򝞷^>:?JI.oUܨ`ʋ|sϚpdcZulIllFN4GJ#2}kGfo+BU4-nO-*1ꅰ$}i}2׎_^#8,{-1k{Vzk8C}I@ö*.CP0K"9jJ`(ȹ5N@ #2OIE>JIIЗPi]„TIJT&l6مE 'YORw 8=GĚQ&wL1a\_؇qYN7!zK/! _[V|~DsC7d3',Iܣ?}?y`.j|hU߆ШX]̅3,r|;{8h>J+( ,' 鏇-fb43y K]Qj(L 7o7z-<Vϊ[jՔY˩^GOͦWf{cux0 AOFvl,l*C'IZD]h߈ey m]˂8j* MO0GzN^=PtUP[5OX4W\yѤ(}w pY0J(I@TLoDEeYRN}XX~((}mL)㐫kfP<U7gp}(C_7.wiP#!R)|He?Fy@]ԝO(hPő/Jb0',2Xnc]yPS~Vlt>.錇` c1gv&{xg*L kݱZ 5:B4O7a%t{ lg> Qz4ѭbĭȐ6s\të4 W!~W?ga@TS0Ssٳ\YIB 9p%Su," ]nVPlworb`k$BY8S @4+rk F0=ZDFmY} 1DK(+)ea]#@O~PcFf1u0+* 4O=ঐA,XܝZ~ȓ z}JY._? ` i%t9GS~XέBpDp7`%a8Y+_HZYH_Ə' Ɣ0jd+؏ PJ]3hQ!QG[N{Q72Qk_ Q 9\[Jw@@shDLA0:)`b8!YvҪP`,:Zq@'lHhJ,?K_Ɲ&</"A>w뉑ޡ G~,I]y6l%u xY3cxKtu$-{D#d +Ӽ@D9H@ lj 5O u @4+Z~0F0 U6dP:RUQu-8"E[|}uYG`INx^3q9^UjŃU=.>Ry9p77Z}Q? iYM'Uv(K0 D=B yF͔3Ysm-te>MA((4oAelY iG  XBDx+\],Ӵ"N8fWW?2Sso\@m!A8ϕGketyi֦/_>&bŗB[Y+c3yoWQYA"#cF_}y:vu6Qq鰨Ca{_pzeD4XFHs|avN:h1?Bl.h3-"`jA|_=(A ;PjvMTSgrN2~/ o%I D9X] 6a.A#q'y/?TsDr[BKLKۃ7uZ7܂&U߻a4Pk,se"! |g-Yh? \hgYZ AA"C% dNominal2HOL-Library.Quotient_Optiondocument.tex7zXZִF! 5 +]A-MՋhvG"uIBm5ޙAvcia&zs-j/Y dhE[ٌ^"A'*֒%=yƤv ᛯqFO;ąoUTDy`YŸ HE8O?_/,MLtY0 a\D7^Tj\'Z\oPi< =0i*˕DG *O/~:*ӡ7*[Є9iF?(9[D 0q_GWmP[s(si}_%` H!\IB)}%HN oov@ n3}av@u|6^i]ZT]5F y<4O)ϙNuWԏ ]z %u*ƥ9"ǁ j 'U,]R!1.SZ IݼMQDgqEεk[bDؿ/CL.,K!fh{DcܓeɾZ}glֿ Z?ĻF2k,u: 7EI:_ -3`=+m]]\5VȤL}z+ZE[Ti:.Lif-uk;|8wCmRP aeYTrvݓ}w(RA$[Rk:3 t=b>bO@I4"ү:[btv6hwg8!6(LjBetve+tW@2Ikmn$`@ʴ2˔O D|)X`J  Zrmj۳3ŜGGcxMAq6G{o QNHuxjFgTK>pI9CWSgeP0;ٞFN#owBdF$Q 8ByP5 >a0 3kL~~PnZ#bEPqP{{F,(sOyazl` rAhKIXoYZ+ϊ.f0vj TU \wY@Z{g,Gt+~=229@jqߺ0v,>}~#A9&ʺh68T6]ƣ +pQ^-O98ǎji53eE EpZa/k mFL#ɊW䘙 Cx:vJUJc)'ܬx/ bne`0ő429jݯzrnVǺSbm)JblfMZxFbOVf_2-?\U2d85DjW^Wu? fBA jF'ߺgYZE% LNominal2HOL-Library.Quotient_Productdocument.tex7zXZִF! `V]A-MՋhvG"uIBm5ޙAvcia&zs.کgų/=7(F Ֆ1B;)hgQnѠv?y-3m[ 3""hZ(@ͤ{[v}1%fY:v:IRm6'6TqL4>F8>aw+'$/|"kf u3odu5V ]\EP!j0|rx$ZC[(6\"ciCԔƮaT Ф("b4[`a%L)BQ:sIUTt$38+k֐;*km6s"گQڽfVy-1 K"TnL\Ӓ(`Y,Ę {~^gTbIɥ;^NG+`2\t?o-<|&=o<}&չ=hFg1f4{w8-ؔCS=d#t/+D΂dMk[ v:>jwA>EE9C\DTUjc:W>vl_`ѢWMȮo}\K4+ dɼL-Iw@}EDكdz=g+kCn!<=0~s+{T9-VXG6Ҙ.#$x*%c5bbgg轧yQ`GW*;3vhpn f1],ep;yI%hV%I2hFHQ#$(b a_G%-`Pf %7-Ѓl$Uu8Eo(fܐx釓݋Q:?=o6b :w=n:}WBL:B!̗K-Ba ꮾ*r0L cdNx .x&j3F]ҠȵWh[ ceۦr-rnsכR1W?΀5#ϦRZ)V!^qBC=UT*CܸVȩ-5se ,=#rb?7_/w{*bSu8mY6 f;>t?x]ZIXټB$;,Ў~G9N~hypo!0.3oOc: .WC?gdY/SNeߎ3@(t>JTJŐ[WSZa*ўB!:ADZ|MFL?Ų';s%ͷD1 %{n QPWH-6%3䥘M>qZP)ۂ):mߨ;{2t1S$l+ L0 B5ώq;=dvbLVc}bvtV&~,ِzOXߪPV겫Iin%JP{`li`x9jF@o$#"T dDJb=|Ҩ!:=xJzaq΄ n}˹/4ѐM^['ø3!Nݎf7HDAJ~o$ILV&gK?sG6@o*ĀE[?aT`praq m)ۊdoFQl4eUeU@RkGHyVUU?gYZ TTS=% LNominal2HOL-Library.Phantom_Typedocument.tex7zXZִF! ]A-MՋhvG"uIBm5GJ&עDrڟ>s;4ypK 9N?&36/5=eo=@+ҫX>Q&j̓"^up~ v\ B13ӼC{O30|Vmυ='jՂ(vnzB5ALLh\LDOjr9Q)FŚ1V@rIaQF D_}QQݯf]& ( NRv8E}ɾ)i} xrg |0Γm\4ca!&aSC,5pp|HTBХD88]Ϟd&`)0zn c&ZVI'Z tI|g۶>CƯ_l7:28lB _ ~jn1E&q(MO 5 mR:ol\@.Xw7 @r{-"hol94Vc,o 0d,嘡fDiqEַ12b<TNV˦p$I !d &s.嘣C]/M*sTp~CZ.w2k2yIIGm-ObWaq*?at&׼5 *5*p.a-; o2xQOsEwcSMZGo(\nvokE|Gcƽ$s3:rh-& -8HuIfIC@#JP6OZ|La">?ןJ oaK` Wڍ 3=IYѸB1}/xкFs%/Isb P &.% `(cST|!UUpxpJ(R܊)vaWҶӽ5PηuKX/ W2:Wwyh{HP81j&۠^)lag5GSlNQaz+|f<sj_'G9{{a7?P N/IsS"n(c2J)&cH~k*xRmM 4LgYZS=% LNominal2HOL-Library.Quotient_Setdocument.tex7zXZִF! Wx]A-MՋhvG"uIBm5ޙAvcia&zs3lh7e 1nn;5vy[/fLfx' #y` h?GM5!%!K. Gx'\s{Pf3֒ QNyT3/ ArRMZ]2[JM=dQP+*bڡ$V` l#Q[ëp44=nގ60&T̒uUZַ&f H`0jt]1SM_ ]|\E:ƨriqoR`b0>Ź$^7,~]d֩^ɣc 8XG w[^[|㨬2aA,\H֣uhxi>L{.!A)}䜈vcprS>.q|Ha@XLQVgon3 n:rm,*r&c6C!HŽ9^q  ^,C^nؐ7.S! pQ\<͎g2q؟ލs`=0Jڑ֧gG)tϠeE!|7(e4!.D :H4b2,, 7PqfoD[Y{Jf~WJxpcisTh!qa:'GPs'2@$c?9?Ջ"HHat.Ҵ 7o|NBϺH<_u\YZ.AP~p8C?I>IY6.MT-M $(:6a8$$̫Od%Oj1X+"qӳ ,rW-1<B_v4kaT…R#}/ B81 f倇% Kwމ2tڱbΉ}֓aǫ$i  m~Ll=m#`r:s R/mՃ -W-ff'yn(7;XMV%U䋯7a!Vew5ƐD>@Oߎp/sXAar`yȒÉ3mo8N wf+z#twjT}>`V2 Ժ$[W6#nh2jxOTC}z2Kx ?"!ẌJEBN_릠E /%ކ))w1O=T"!;j7;=YځSsT1t>C?On^`)z3Yso{͏)? U10.q< $4i~w񂤷`(`#Rwe @ZpRP|JE 1,`O""=7n,%;KA`cَb R,@uW{ [*"qݠ,&kcS"|r >:L_tÍ9;|-΂t3qD>{lBR/a'8WlC_=TY }ḴYnuET`4 FyV m'k- ;9Jۭ}pUڔSTfܺQiQxA ]Q bKJJwCbON/F'2Wbcx)p$fÌj#}l ~ЮCn-x-+y8TZ%y%FA/ơj5Bͨ2J9ǻ[?5c ,.S(ݣ|'DFLV ~Vly~qb;4;+?״m"2j"?, E6~~3<>2}..:Vx[T?ҖJ M?ܟ D4Ob`fHAr^UJ* ]U9+7f EŨ)ũnڦJ`:%@1D",~3y-?e+u ;u|qC< ,M VM?X~eE ҟ: -Pҁ1[>Lt `r|XυjCݍ0o[mЌ"B`|kK'v\߬IW}%S͐TKV@~ ѣW?YRv[u(GƿJQs^5)\s3 RMw4t4Z/!mJw`_nE8yZ>|Jn O}\eBQ,X,2IGH͔ Օ 92 2S>EN3 Q߬Ǜ+ ([~\!ORx/}ZɓQ8Hóq?Ŕ&ոlOKfq$ւH! bh=?8[]x? Y3x0]P9@ 0JqGl ӽ])(6֞s" }B gk]~JNO[.4?U'ISe/gg1mc+K L _ޒ 1ᅆz 3z bG1#odg %I!#m0PP/Q(R6?XMy!d߅=9!|u;wzԎku)A_R b#v̼ >BٮWs˽!pλpH47/Ɠz+ aD'hi]Ψv`X v1ױgYZ,@lBu7HuS?wahhmc^SWP8+sw[ i.R-#¼ΗRLJL@WM/U$ƿW{(R_<\HbZ5yn:iŅtRl@YeW]^?*sBSit{UfBA3/rKx,uIm(9a3Y-S1cX["5D,59Pb -|m/ҼƤ%d,!wFG;3LQ*"xUA\>\s1|znm|9?PFJ6-~K~tuD,|8H0tbI%.6s7:mIeCe7GJ'=oأ޸ne(ێR"qԚ'p`u+@@f cv"{- 4e+{j{=@>PQAvVbz| m* f)3Z0) 2"11풄P 7zD;YR#^mo4ճE-)O}ŏ+ KIX腀}uQ˚KöM 7VjgA&ٱgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14LvQ<'H B:wgYZ7zXZִF! ! ]ŗXi%;Bޥ@R~EUմžP!fdCf؂a w(¶S6AUov\E0o|pqZ4}s6DV(~ CkTelРΒ|{*@=7I3QW jb *jizǬ'{㏔In:IA>q,QB!A5} CwNx4 ͱ4B:߉gbhܗSjh,ӽ3R%eȮ0}˲\2n՟{KLjE 7@VD7%OB}*y{Ƚ*rSVKGJMF*c˰M3bBQ>dt?݆n?rai2 ԀeHQB[V7g&B%dLVn}?ZgEISW7ry;5"#ﲔ@KU$ o/6tXHbIBܚ|BO.XUWEto /UKK⢅ỈT{ ?,HL7pA "ĦrU-vBMmXq^*,sX 8|kxP ;.:sV!!qٸ`"500P`WZs]@LYo*xCl&Ɂ{kڙEfN\9x4]Iu,gectĭH9SIb<5(w)+&( WC _ $z% oD\YxulHT?08rK%ED+jM/KɌ!fqPl,' : E.%WV@!y#*eTQO u'3\J퓴kYh$*lӜo.\exW plh" .M8E8`#H^!J':x=?;\$3Еd >9ލ(#܍! -FobUSX[#Va -j~ľ`TqV-kUh{OnRe2C:Q]5x鐆t0qVoyD_X#BRT&ڕ7|u;cj3`et[8X2E,=hkLp-/7oH2RC,Uoɨnrʺ R_W&T(tا؂x&Mvy`*=hcf9G7T~?p2L:|MuZ婳fYzr׭je;WC4V r#[jw6*M+{ kcuD[-~=&Kz4 aM9NGroTVML %HT`vq8o:0XXBvDU!.*$!nS5E+&wZ:! WiZ^XDROJzMv}PFX<ƩvWg3*#o gp?w$7 󇆲G>>%8>s 25:H*֭12Nx<]ܷb)d*:D\]i qs_zՙToZ'|.mLǒOGC޶B)HG2Z(p]~hydDQq936K$)6<"%~y* ƪFT#o,U4i6(kK67Svydv3~8)!| FMo Bp?F"Ϻҏx]䌔cZ-xi'ٵ9`G4v7UJdنzY%k>{'vOHQsنhڤ*A1{'Z4/JkAr(h`>s8d%%XgvKR|ts6shJR ZF $~pQMDlZpPfp{6mԨƧA3VHqκR揮7)b|QcJǶ|,.6#"}=!ĤQ[e-Ҧ˒~ŵ!q„7u?Dd^MEӏ[f*N?-p@uC[J$F'IoT U%ygYZa167c58615829854a9bc196c1f93f729687aaeca36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c 6af7e1fb310f20123ed31ee9fc4502422cd6933fe1bc3e3c003b5c7c7c9e7755dd2784d58ec6dff0