SQLite format 3@ K.  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 YY/,<< ]S]HOL-Number_Theory:threads=2elapsed=122.656cpu=215.164gc=14.824factor=1.757zXZִF! }U ]ŗXf1-q恈D='-/w)ߎzK4VǸWJH|rzQR1'$YQחcwqcR x"gYBjN^̻?cEm#yQ;1oSaq>L&PJ _D3 C66 ~e]%cnJ=и,Mа H/8-°梅@tD9k$pb'`7!`2˪yV,׌t8䗽ϵ͢GQG\ªzcX8ܚ~k070cS6a"-DBӢ027`gu6%aȨzX0Ɗ;Mw[b 9yq)nΪ+Jĩ1=glbI+d&챈.2oDh ͹DņHjK-cWt" OG6ͽ豫5RG"|zn;_#gz]I1mO,;oLY2b$-ܦ暠 &3UǹdLJq'5n62Taz\vD/,:J? }3GDc $85,t~}ŚhƇ)1pR'O:Tl^)ẖvTA8F' |Z۔O6 ,r'HZF 1ǒdAA)4Td + eHZs1I5WGE@E,BiMLjep7q|]oE1"WR U0]OmW BQㅥ䳧XLdm<]pB۬~'Y"e f |$m<b9 1C%D3ߑROEϯA-N%3K H{M#.ƨl/!NɎ!sm>%IĢ>!J0)SP? K&| \L4gs/糠G"DV}=b7_<kdсz >:+Y#QhQÃ4-ȳ#XsR2W(P9%ב98EɎMb(DN[R_9H \D%<9AN>JE¼Bʰ9ub&1EP ?-ձP˂䯅*&Ո;/*-4D ok̊Ͱ'q7E4&ϴv ' wD]L'A?sȫ GMX 2cAUKdLZq{!s ^F|g2Ve[`C@/ (ڈ_7I -{vԌo>[F+Q1|kC[(G,BKp7 ̡k HLZ V 4#rC6jε[{`$YJ;e}tQZ{"Hwx.X34abC2A;*I8X5̢rW q-kqbIDNkt3?&d Գr}ҊaDn Yo_@srRLkN\Y:Eu ה^57K| \}>ݢАln$+6;4AXT>A,EF93AU_CݘԄэ # R&u6ٻbze_w[њ*&f&vlVqa<5ߧ首`pCjݸOEaA fQVF8*|}W&%ոaYsYb}tI?y0mc1wìc>@%'9I3Y*]zj60DڲW'sy,?n壁'YW񥢦v^4r. Di FC{omB6uyQDJ'#;]PqTh-Hx{ @["B!cxɂ" ̗'qpz&[%s|r󕊂SenDBHIzV ݭm ^X[#Yڵ*SDRV =J5N:@i1wmx#C? '%S2654f7$#\,*^{o IsM%Mp DK{&ry̽AY 'U&-,x~eQS?inE"LB J=ٓgBGF0Ϸi8@լVe]v5C'l;~*MV\hJ / HOL-Number_TheoryIA/5% HOL-Number_TheoryHOL-Algebra.UnivPolydocument.tex7zXZִF! /e]A-MՋhvG"uIBm59sBDDg һj[ü\lofnf] owq'W}^e ;Гq+P8SKfkB42 ]5汚ByQGxsqs|5H^sc&WJg.@@{*h6}Ձ(0ɘuYjhͰWVٸ|cmβ[ZD~)vj@|TYlss"e!'q?saOM.ûIj?~2Kӵ 5TD:_L%P,S {Iu7XatJ]iT$*zh5h*=}?kOU KmC~i .eLk]yoRrի2>Fv Z'A{579BzCb jR^H'*n5^>4>BigxKEM,4I9m F8?Lk[.j;.>gk8H'@_ӧ !gtnh+yy9'kW½{BaXCiC͘ sXӝ&w߭K5mhRůGd=!_H6P@Vs8`ׄCzU/=Q(dR1*g7P?N@Ƈm Os1bX3Ks7J5)|t* ZjPYIedxmH"7m]a"a6V VOh'n wyaq`!E b#C{CByƙVxޠ QA;Be IJ:ze1t //% DHOL-Number_TheoryHOL-Algebra.Groupdocument.tex7zXZִF! ݽP]A-MՋhvG"uIBm59o'7| )(S 5ZO6XBO_*~p 6 S.%yԣEw/=)HwQf oVxZ;rCm~p1woT _raA$^JTʀM S~'Q#/5s*v=[Qhu r40=މ1O8wZPk~k)7i$; O{"eqάoHJ>0GFDB@>:5. + $  (  _ K8  R (m  V _  6/3%HOL-Number_TheoryHOL-Algebra.RingHomdocument.texB/K%HOL-Number_TheoryHOL-Number_Theory.Number_Theorydocument.texD/O%HOL-Number_TheoryHOL-Number_Theory.Euler_Criteriondocument.tex5/1%HOL-Number_TheoryHOL-Algebra.Moduledocument.tex8/7%HOL-Number_TheoryHOL-Number_Theory.Fibdocument.tex:/;%HOL-Number_TheoryHOL-Number_Theory.Gaussdocument.tex=/A%HOL-Number_TheoryHOL-Number_Theory.Residuesdocument.texA/I%HOL-Number_TheoryHOL-Number_Theory.Eratosthenesdocument.tex9/9%HOL-Number_TheoryHOL-Algebra.Congruencedocument.tex</?%HOL-Number_TheoryHOL-Algebra.FiniteProductdocument.texJ/[%HOL-Number_TheoryHOL-Number_Theory.Quadratic_Reciprocitydocument.tex</?%HOL-Number_TheoryHOL-Number_Theory.Totientdocument.texA/I%HOL-Number_TheoryHOL-Number_Theory.Prime_Powersdocument.tex 4//%HOL-Number_TheoryHOL-Algebra.Orderdocument.tex 6/3%HOL-Number_TheoryHOL-Algebra.Latticedocument.tex 8/7%HOL-Number_TheoryHOL-Algebra.AbelCosetdocument.tex @/G%HOL-Number_TheoryHOL-Number_Theory.Pocklingtondocument.tex 4//%HOL-Number_TheoryHOL-Algebra.Idealdocument.tex9/9%HOL-Number_TheoryHOL-Number_Theory.Congdocument.tex3/-%HOL-Number_TheoryHOL-Algebra.Ringdocument.texC/M%HOL-Number_TheoryHOL-Algebra.Multiplicative_Groupdocument.tex?/E%HOL-Number_TheoryHOL-Algebra.Complete_Latticedocument.tex4//%HOL-Number_TheoryHOL-Algebra.Cosetdocument.tex7/5%HOL-Number_TheoryHOL-Algebra.UnivPolydocument.tex3//% HOL-Number_TheoryHOL-Algebra.Groupdocument.texw4Gc;Q60Ʈ*^ =YW>rJĒa2ƶIĭX}:124z=lTm5])dqN3H+/5a /B akK% b:`ze#mC"s>y?1ԭa~+#BԎ\zٞ[Z!g4t9(?h/ cGt>RGf7|:?~쥸ZOݡ&][WQ)o9?#e⠎tU=GG:kNu 7Vzzvou\P 4EAI?ǯd- дH6c ˎA YETa5NY 0ꃛۃ-+>aG$"-E^!$$0 Qq8?fS*Dd.3W?OIQ9ׅv0+ܠž!۬F+q\3sɐ!\;!ɈMI`>4l3 rb!r\D1Y8p7*฾- /pV5SWN>@٪b! 6z(eşGJ+3E=@Lvu4hy_w9!L*1WbvI]֣h~9yH$t~ tc ,5]Mt=tӸĆo:߹QM0hŝ--ԍtyv ᜶Ě Ac}-5Ա=Cq_? $:ҥgYBz {8fʾF«_VpF]&ܹObٯo{`ؼ^#$ږgRbUaxlQ/플{?|uJ/%Ca! ą- R6Ŧ ]}x+q߹=$mQ&C"įPu]'@ÛK3Do lY⦸ɷAMd|\<~z8yvKt uWE}wiԘys\][{~θZKYn$mo a}bWE9`vƢN/_7 ؐ'xYW(p$UI,9؆VM!ֵSO`&).;@oBEЁDUtޣ;ہ"y|GBXsbd;YJFĪmQ5^!OE/;xoDFXT@3MjE(LSgKrˢ,)sc@{YYp5/݀kJV%SǯEK BGH}`KVX]:0ٛ ڽ +“U`7z`A~r*(֡;J?- ޺i=/@cFul+U\єHx q#Pa-lN/is8ƀخ{$Fr{V}fV)K:{"t,eprT_Q-WG?g2kli23)6^Eyul7𾿣-{z?hsZ4vi@>\FJgN ǷCᨓ۾6G&\vUi+TDC79lL0I$Ξg)<9mtԁvx҈ <=u[O(rUy|曏S筴P໤iR|;z@4@EmnHԑ|#P6'l3IM)ي4 pW;1 _lF=b*:)詽3jT>ӄ h^[ <ɡ|pkۄv5 >?^b0\p$9{so~Ϭ~D=G/Bw*܏=]7;asL%Wq;Xr^:$2Fˁ-ͩÙKSHlanM/_43|~u˻?'˂89P`@̄Cwt.3$zH _A̞ܩAC-\.$xǙKdbщY;|đE {`u~U7lxNqBy: r^2쵩gAZ;-&\&@TI XyTV깎g?*( hGZFWE-V[`y.ֻ4 |vHE*lȞ ۝G:U.h\AN SEӱ,.&zT}m ը_Øy,y:ͷ.ڞzX<7Z9B:Tv~GȍG>;$JU/Z}w(QzOD{XSq?ޫGh6Ȣ'S nhCo[F8rJoAEsaL;Ҙv5v\$%yCwɛ6zU]lV7cw؊ЯbM:񌋄uɥ%o3ZN.%N1? (`a| JpcRrH&\;?s2q(=F/w;N$PH癷Q+ L`ʚv~&K7Xh(5+Q;!<^.MxOQNΈժ}S .2;`m^_:N۔Ol2X%Ӗm/-aO}nXm,d&˪Cdhomm$:j-:TӱrW{.KtIWSAT~փO6iV6TObGQR^-qw[4tPKQ & wlsM*60T+iT5.Y#prStPºoV>Rk}.I},q3]8]ö]@H;b# Gnq?_6^qu Cp~G葕Έ[i ,&R! ^/y$!">& *X„<$sFTX_3%,Ú;ήhqIUqe q%P, Li~;-.`IfKZF:5^uKsdG'u4g1-àt0L|J<,ļ9"b&tۊ/t UW9l*~N&I/ki9.:5mO6V62 F38@ g2^!*x#π"t,W6 pB/tH*y1tvlkW?ú0C`-J2̬)HV2%uѨ1r%8}+Q΍F^1)Jb놗/8 /7Vhl# Eb1,%EWNǰ7"GH-!iy39cUtНu2ˢXD 3&^ҖA}2ZoXݤCV}ƣ: TC%U3ka6DLݮt ᒇEQ`:0^ӥۣYGEDU^!J\ă_B&bIQ2Z{AbB2dl[o&pvShkį١=j Z͊6Zy4CtѶb~4V#~iM2 ߳'9 Jۯ.Țrv*.w~(ӈVAڻ/h" ƅn`swq;vA1ା^tA]KvfAN |9 A5u:3Hzu[pɽSW8 Nxމ9E]tB"E9bUDO7NF(Eع pشYt1:x FmAa+PgT^}g=&ԺՐ,rf#2bs九W\J0I 5KOi\G׶cC"8$p8i_-6HY,a<d=ʻKPgZwGPYhi`R0.? ⒄˟A E])'n҈L+r u7@5i5qm~d6c.tJJ@Ӑ'buw&\&: At}F+VJmCKIk [ "*hJ1OW̪>E6\pA/@H2 ZAlkAEg?ax }he0+0!;앗W/<tMh0rWVyͶK/2LᾼZrJL2UfDV faѭhj{Х6_^a61I\uE;:.>}g՟_ǿҪ{Js4~sEGH)q#P8l8X{XhA V)j-H4cQ&;#bSpIּuN^,Q ܪBn nJ9S`d;16q@vFJ'aE/ `,rbٮaDh[ھ%3+;k*C-HCg! TRhg_HmMb$&{V[Cߞ~E*ԳΑ*?6/fGeㅕf*n-{#>OJ <.bzh42n@dP^$vEt/ڀ\AzӬL$**U$q9CuRhЇ8CZ@^gR`4ە^VnVY_ 7h);[<4I$!Ṣn])faїK */AW."ID ^ԅR V["juQC[ҵ&ؐ q1WZR2mbIdkc"lbUU12RfR/a>a [xlE̼9@_ dVIM1k[9-֢Kq? K#h1aGf$ad{jDO3xC=a7S P'bz*83 mDއbU_cBgW ~^Tz }!AEnВ%7pN6/?dK:U sajƻ\Q M J幈c-7Èʱ@zڋO;V%WJݢ#H 5W.Nl8ݘTkL3,p9WS|B6wqsMpU#6CD*ja}k'XJ):f VDv~[rp4nE&(;p\ox]_n|Nڛ3qDY^`9O)6KAHe>~|cPvBsj3}EiE:vI bfih\1GG)92 6u@`ȞSaRsBI5.>,HenDk qcu4ŹW>j#(ǯeMm´[fLbSՈwMk3 UPq9/-Ev 5:+/ȷ[. °9^ATo@nhAdߊs5˼(֘-&aqi2*HFwFc4m_7󃃐lHָrsbŒza: l[q3/U%iԋqXS+,4.?7U (hMot/ۊAiUҕҲxa//0U, Y}yx HZIiB426ZoD,-8{݇#YCYfO,H)QBtLw; sju^@=&CXՠSKjY\Z+ԩkr 5UA]v{mt r"6o\Ż,irc茤7Q+fuqO_.@B1f>(^?,d< j>7L yW;V؍6?Q̘nmR,K9L˿E#z"m Feot4<8ǨxM=-L4e>԰N k7e>s_g) Y ^V0x\O ǜt{WO861ge 78Ѷɍnr=Pq=VԯבԞ? NY U}M1e3!H3FS.xU%](qj5}1ṪtEѰ9|WᢖXZ+&'j ?zy/9p]uUMw~+knH};b1 B8[7%у Иjݢ'xO^S* c5bJerD[&DV_6!  R}JfJ&GߠC#Q37GO"ьF%w <Luoy񄱀&̆2aePL=RpAi3OF/?`sREaH%uUs>]xd#Ab]2 qbl5􈉪.kN8‰V5b6q(fb@ }۵+>dV1Sc-^Rn:-f*]Z]O }&M'/﬍HUlUP &rj6Cunu.n3?ӝgq>wy,ÄN.6$c,ZHHsp\r{,0U ԰Jr+>D.@l]oT"K{x.re(m14T&4A6yi7}^R bLAl[;Tl Iqަ7ά\Uǐ,O*qb{Fw,%~tINa -ܙUy^tE#>~^G I VXTdA|1tN;#hvn'Xugr2WG]Wlf#MHg~5=а ABTkط?†H|[uG5JU'wI}T)%Cڼ|>"`8N`vnA\2Z:R'R$Yj̑eu[^xrgQc 1܍?7n5V`` "oM"8θYF>)%Hc^ck>R6_Iw<7̣d<Ȁkr d.@qheXr;Ơ;&C:]7fߧT O!EOQMUղ٫ ZEB)?+XD^ IcD*YOȷ,-|c1;_njbГa\L%}^g[E {ݫӘƒİTfT+츙2/]g8G mw.Y*H_5ߨWw(a# MGRT|ÆfEGe+E(l/8BGX'QKA;B*Om $\< bH-Vt7p=Mp^'~mJ$tx已=M ˉp#՚fu(1a%>a7_ITO ]І zZ3hWZ5q "9Dx[h릃-Y ٰ!z3dVMyZunwP]^ky) Twb"=yoKK +0$"G^5,}`)z Is,'7qd'I:P üB]]ɷ8e*öAs<ݬ7??`úq); y(:,oOn/DrgR(W] 뙸~jl7fTZ7驿>vFp95?I07Yp'aw*SL8 C1dVB ˅&px;;%69\/-k| K1WƼDQ,QYLfr0Y[,ge,ZNA1apvEgJ$ !_5 !`Srh}$2(@p;c?CJR}DEqXml$ aAlϬ cǾͶ#s"gb/W&R}?Hj=ȷ9CR\8^[p9ַԥL1[]/X -My,9Y}83RYq~aZ3BPb3~3; ]cS)rXQh;(*++Ox~68/՘z Qށk3@ły&sݽ5U1:0?Yl_5X?wBt'Q/k}]{(5f1\4ƹ7Id 9LfTc(@<Uƞ?>!hӹ; CϠ4"24j%083+!5Y섻4w1#"_/Z383!J]HsN )B kƓ:I,g1KteP"a}aޣ":b]ڠӯ48P.s{ ;¥1(x/1$)V(,pZ7&ܤ0<+hVW*HX%VkAlT:(L0 E\EEɖhkJdc!~k2! IiBqI3o\'30&QTBW9@ON2qU)tho|\[Gha t,4Cp?L \ܤNGHyMwT&aMJuCÊ^kaPM'Uu;Ymtmg:7<'gtBcBP'Cyb'l9)mҊ6/nHU'L~`7^৲V㨢~#2Jx>E kA="A>?aN`#ݾ(>dgv+ꃎ (Aٵe97arGY ^j.pr׋.\סŚ6(ʢtr"EZE#]GÕQmX`H~MEoؾ@soas^7{t#EW%h4:96ΛDA!8"YJH?]^Z,;J4+H ܍mW秓 XAO_uKTlͯkR{ݎB,NG]A<`I-φcA_(*(IA9"Ej@˜?i]j b]d6N7wVD6-281Tw/jZThKxpAb^/#M@ua^ϟlc&eiԌ9@z@o A;0޸9n Zg٬N1uUoj ĪsC9);TuzCwEI=4izCyP0P- W/%?NH2ɴL{@ĦX3íB_zOK!\KOV#9 fw#M@rö`1*O5Jts+-Z.Ѱ\~T3Gp{0pa> sɴoR5%-c Ù2BE::N*̂ >zQMcSvWI^_2`Q",݂{ 94q?t褽1PRK)8OHCڼcwM}V^^ߪޚ]= y"31K.nyr' KQGrGb-5t7LbQK ьL/Lf}sL Co,}d۶ja1sͱ :csdRa8 IJhu46c(BIGlR+q07: wGEcoqek!WJ9G+<," \`!Syn(*ʞ42 `KFx:J9jh5ZZ&&W@tvt/tvBňl¶`X_wbHHrBK^ck%Ǩ.GNiz|]1a4$n=0oc[͝^k ":iF>zaۍ2X_\'pFTL 륷+z#kjxj:`!b B5 Hi\.̟ =bZ. T vH|F U[0 ea]lI+VA` w&۱@@pKV;"%^$]aވs#c2]׾"?\⍙%c.<̥7CtJj0<-\mLk= pa$,R؟yNڲp/bWtSCXH3s:!NQU##wH9E*A\>xXC`is?q? IcZެX!ܔ` =}Rƒ'uM< Ek|?x{J SWl:IV\h3#ԔdZv ٔW*g||QER A1^ˎ t䃾_eoF|t7.d^gB״!4~8Z+K%.  9bdXvL;OT`}ʳjvL@=/BKYDoog )\lPXuF#z5so8USLs,wW轷v&g40ס1 1zsIҍz[WX{%:>LoosrX0"O(F~\tfNSOg)s[o x/pm@IUKqk6#]l kZb MJ0G3̇3; ?7»8٫/NHH9ݨO9 ݩ{C_,VK7MJFXH&.NK0<1I=sSt3Oz $5nCNî%C(iQσTcoPm7xeoh1>BRvL| H-T56a6g{罫u>Hܚo˗Nj.$h=O[,9=/ʩrk$f߁u,B$nK\a M.7?@RyՅq 4mX,_lN$2|yA)G)ꋿ?F׳"ZO+*k4jDw8!GI$:ef8V:է5uU~ k%eOR3N2(HV@uRq}g֠[慦btD!c?$*je΂veG" gǎE y2?{XMPD-0}U.8!eC&fJ!{.*/+*fdGObc;QVG0Nhto: ds6Uuh"ܻ@SZ -#^o r&8 (%=Ez}KIG6+O6PEk\aQ _6@ ?|gc1609xP)ؗ[ mᬟ6P`%Fؤ>d-2](خhgfқ{a0Ǝi^d8R>y$!zZy)Bh24p P8$so LݑDl^6mGprXnZLxo.s֞|L`<Jۏ( +H>8m,i[F&k% /Eѻ|1Kz)x: =Fo쓷_ P܅*2 IpO˰h],޶`.R7@$b ~K:M_=A J>V >NtҚ~L%ֱʌ,Eo-&ɤE#ᑷ.N{{jT*jraD=ýimI>ǚՙI!59٫G(5;>;Cvz⯨>ޗ풜R]Sg{t0=yKlEzlKm5] ےinMMݎEM{&=@aJ3j-AH$F^}DʔwRۡ3A8 x iFsL~`I?īKO[nww?PgG`ez~&A5]c =/v\(h\'y0%VYYhOzp]aЫG0iG#8f^C헲eyiZҳ F1](> XTת}"Cݓp$b&8Y1I7xS|Zt^y!-k"|鼮< [U]<+"we>(5\tg6&Э84hM0<0x^(Jқoj2&Gg_.٧AæPao4쌽 2sݧ \b fvzej!Lf<, j_ t?|I] |(ь>KEA {pS5o%$gC>_6ʇ#B ÌYU1q, m/ea_EӼCtk+)z2t#~Pk-!$b=X:n%f! }tz&J"n6P7cec#.  ʁ]+P1HCflnhfLZjPDRvw; `3}&~̃MCQΩBFlw'" AO LФ9p,RuNH=6S_O]v4x#aOs?&C'aľܡHTbv\qsWh>ݬLWnž0"Al7  Durfl-ja!@_jeqlj'*^+wj #[d9-MFLɣMCɼ&Dq̠9KL K;F|LMڂh-b[/\c}c~Žp;սB[+<ښ RAc E(+KC@^nj JC2S*Ħ[>Z2,@D^V]fPƷvnӈ)lhå*x}h%=L!Ldrz o"  -D@ہgC#J7IJ*~F5V2IA]@d_oh-_WZ^R tYE=f4m)pM~;,C=hd^/YDoݯm=m(:X~\PE.F E\8u}HKXbobZ-9A4H5 m\c<4w0W"=R>b0gYZ Jb_lw&<:[ -ZNBx#Ӿ2 9jH{ ˰rIm,tRzTdJseNIj'Jņ IFmakfa}+aO\bUڎ録dT;HNUJLQ8ŤH X؍?"Gp¶n>?b1pϤSdN2$%wBƙ~ȕpj7t K_`UAk Mj{p_qzS?]SH{N;P3C| j;rF蟣r rGʷ`9C!RҺ9 !d-ϘFbz.ppsx; yb-OH6&nD[)4+n9)-9vf>9%Y#9AVEДec$^< N-{6k7gnw"QhU('z;F8i@a~%x9+HxE hS^˧-WOبunmV=)4<=GŇ|{MKvsF;iɒӵ@P`ytFej_7v0(nEʪHVA*P[wE^޻&sP7'Qb(.Yo̟R/޿Ƃ`UlJ+YfR~ ~N] Oty/fJ]lc ^9f$qO:F&bOrV[ ^nc*jTu}̻IxZb&9Ur!tGԝu,X .ҭ3W)qnym)U ;m6ᴉٔiNyʏHq)2 C |G(_#`WgRPTikM>U9׋XL²\oi?4O'n\r9n,P3YQ< k`PG£tHٕ;S:{[i}5K5m+OoBPS; =Yd |;Ql$~?{N&@d 4Y˫bK@\K2A%v]9>j®!oM#dre2෡ljp*Ntly&(}փhPMea(%*>0h!UI]%qi(Y:9@A(Fwcy diՓ%S'Q0YBsy@w.Pu._r^0(f5DSZؒ0S2farmB4-Kmscvgܻ37Lst,`&baKtY(*ދ=Ɲ>\DOryV"bY8`V^/2*o J `!ot׊\GEirZhDC9wi^HlY0SF74ڰhlK~?>x7aq8,WE,. oX+0t)),ְ`HS%!#_wJY.%Isgs$24&m)bxʬ2̰Ljrʭ} g$]J bQ dc*dOD δ>LH}]mnpԛ ?Fήb 4I\9zH|K8p衕 O>|Qױ'+E/ 9GQ$ʇ%`x7r\KK`KLT;![H^jYE\k0,{4g&aA-!GXv㾞k"OQQ̀Nmhذ-ORzl[ (g ~]|oI;De"R*FweD Qxܻ&Ijzꙑq?b$-1ɉS^IZpN {@v| S&l3 S:@{ h&De^M1r6ȝ̂RfH w\eJfIoiEhkmO>#n[LU(hLɅU-L]w @GoF-WwwA3/is :EVs+] =a_{# C!jmQnַ͑B҈g!-ܨhlEܨrjEHj*೶DQ30֧Z-l¯ymdK$iuAen~$!U-A"p+?%x) W1C4k^՟^+yFVOJ +ΩZIJ^3-@ ɫ5~54[ 2$K>,w`VNm+/:J7wrhy5%=r S ѕ,ol0*f&Om tƐtPn?d]S>7 8ms1nϡ'.Cq϶1G|jbpk8j}})Mbҟt#"/ƓC%hEuViyYko#,y!ٽ?| pJ,TƱ.ؐbNJ Uc4όX͞c# D:rݜwq [AmCy}_ ` ~q+UtOC܁u.nY+Ljۂٙgo pk@7k2r+Ь9['Ő)1ܛLkˏ a|c uujE$GZ!1qRpuh nr /uAC7}(QT€Jlv &Zcgʽ\,-0Bt޺F/%;'ZJz r !cdkp\eN-ń d 0q A'O˙t7_yPS걍7{\8~ Ԅ^΅f `wDCef60Lvcd3m(G4P,,p~b,WoC2 sA6;W[L3CmV"`3h4MI\hd)gVPqѬc {RwW@m"r=UC@5o㞽hSi uHuse'!{ ҟD2Rb<2bj B27=jdxsjّOn*ȉ=,3h"hDu &H,fr=y ETo&RF"ȰC@`axwY+pAq澯B)2٪hxhti ~џGpNId+a ކn8".WoC@j0㋴P0bk lfOYi_B{UX bEd¶fJlI@*!AqrgZHZ/dzxaDLKmBV e*-[}oX2IWp8%)rax;Z6oENfP'Ƌv3̹#[ s .݉a_ & ~!F%=6ӆsz6jn%/3U=8W)p}C SVI}m~feOp]6;*y\l{zK;s)~xL:l3yq ` sHcI|fG.RSRABp Ӿ'>b7 WֆpUԩtb]BZY(%q!ާ- "E$q|\@owx 0s#FxidVlحi!czJ#r.of[w#]T3}むH3\  SMu_ Q%J?!'# ?&15TP%_^|;1 :=/49;\[&f۫A@L CrjГ pѹ/ rp+y )>Otj=u+ߘ>^2~?փ,z@XV(yެ^bZf{DDdL6)w8Z([&(^ȓzѩܶJO/T?X 4W{Q<EG V6׮E5EY[_e(sxU,{mC^{3_ vz4gTJ -R1LU3ɗ_wՠOigM;K" D+>J7s`RՌ< y]CflD+ oKbqs5Áa]XrvI$:R@LÐmv(bǧڵ #9^Y)=W]@ U^,wGReA &eFGpDxj -238,QO!E^u`'KhX*u {;y$ٞĔD$g=)l_$P~sMǴÓ ` Y*0ц ܀A.%gV~ kcw**wWYx(?nd»SE?ghi ްsǯuU Z8<Kd΍"OYҐg"lSXˆ %+ƌFAqK.@Z>מFs|zbU-w ۄ3y!JUDGKKG fD#jEvrrb UP޳ͧJ(x@wu3GġiN##4O-!bmpxvU1X8[ʝ3^ueż1SN*<'l/LʟloMg*x\>rƑq8bwf2U|W7i`1_!>뛈ܑ>hEz9@S>|9MW8dG8"kl*{4sry;؛UyZZ(N^ieS+R $Ž'<:qQB@*bwɵ-4 wwjnPgTܝଳe_=LDAA?XNnswEp䑞Hhi` {aW6xp{[XkyNeﻛڡJ Dzvp7H +vdN .^}0C'>ҎQH2Rŏlc֘[Ƥ}Oۏ&Z4y{Sq>{. ̺` U~B f"Wk[!{EaYPaֱM|lT}4Q<`@Yu`7G0j-0]FEB"upӾkBei 9IlnXdDG0_zEBbvxL U?<4Ac7VԩOP 2An1QshζN셽EJ PSc,J.X^TCۋ)^h#4 4㝄SY7Wjfibg돶4P͜UCQ&Қ%U ;eI?i*>~v.T[䃖``(~'u4^Nl#PAFdrw)Uף7(Ʌf e$E<De–=U:4"m욹v̝Q1zihF2sL, fOI=^?04zF>eh؀J S,;(uudr Wfs5\)liϩ/2Qw, @Tʌ=vUbtND-NO䘇6xb?x5tb}8(W:hn%ӡ@xJMSW%R `ڃyXs%?Bu8n.'m(;3G/^@}1[yۊ+F}cOWKjDI7fx 49 $A^BڤpWVOGsR/ͼlSeg-X1оͥ9j[S3V4OC]#ݥϿT)? ƅ>s\,l4|{Ҷ `Yl9&~W!!WWXeLJ 3%Ii|8 ͒#B6d*1r; > cski>߳R[f#S/)6fTYsvʻŐrke ajپ!Cc.jMtܔm@ni*Y"wҝh,{&O$3?fJ":DbƦiġgZ[M>u1!2d k䖆d96"89ۡGiMEDMI%PЭH#(#`'Wۓ%X#Q,ce°̡g~0]ݜ(kn%0Uy=yHoU-[=8upėaInESd=45ǯXie3Տ5D!}ѸouB|Sh Nn͐6*rK A9ȗ] bo!x>mvLpK~ x*}]\7p)Igak蠟.h Ǔ7^Le;R>\ТPeXXYƂ>?)JZBvLgڳ 5FnУtwv aX]tBx'AS2'(%`ˏ=,-tҡ Q`m>sGWDRݒ/  -Et՝K0 Ex%1Ofb?t، {FmU dUlq9A -M; e|0."=H|3WE)- 4Uk}zR$^ܩ;j =Yg 2~ Ŋ?ӼLJƍ/Ƿ NJI6:GVdhz4J0Pk7  lRrfǃqײ$u%s{h?nޑR[q 2gex(1t͢Ph4CEJ+|g`aNXUk^',ix}"}r<21=mIELIvWU&=O'>9~r+BJ_팟 1l^fB]yƖ"EU_N>^_|~ކoDM \fEK sUb U g62tL6ׅ5mkڑ@, #\IJ.Kwe%wv С]SDY`#$PΎ<7"VG e1Q3 0 Z0/.J@2}y;)E<9BdcII{'4/mă3>2uR!ͷ[A~ ߩGQ5P? Boj T%r0#n`Ӗ¶v#n&*"cؿ{@jtSgLg01vy ֡t|'1nQ 4Tmo60;nJOkl=Id52 3)!L, WDC߿E(l1 !)$ SKkimd{{j83Wʞz0;\倫F "cJ;)3^6"|Ǫ7+Պu<"+&f0~TQ,0#a[(3ǚvv-=ܤApE83_נC3i $zS~8N'85| 3]IχczN:&`hBY %#*wFWU&f`%QPm 3mc2w*\>100a >gix 7)8+ GRؗ,X{k:zt@ڤY"oX[%qv!CjH:`}g*,Zu dQ7p eV;mK܍j_-˭J  S=Y@AFgwİ$N~dإS5!xr8iN 7h6^pdu0&}@ol.[[%_onSEa0oC۪u!'H|ϼawKp{MmY+rGUewHOڃ DQK0N E])7rhM Ga5GI^4#I_SU"Hj؝Q bꙃ]ˆ>=:mߘxe%Aq(6 ]n8 Y vI,1ý5Z[tsNIh9u7K-3* s1;ۚQ8)M)z<%"ܝ]ٓһ~n,D$ )ܹA=^d/J5~Oʐ<7c+IhdA'y_;MnpQLJC1BbZq:+Rh A0`zdIP_)}2+G .# -jw]e.UiO2R)>1errUwgviV-ie5L>1fᆊH XQEt#H`4)NT Lzd(>H۪uI *Jt6*H):%o cĿ1Pb:I0Q'O=AVmCXg.{9 4ש x=a"^d RYu}'R!ޛҌ,ZDzߔkJ%PY8uQ\ӇF= Q/S?k`淫y;R ۋXAuT̳,}J6NF=m& mo.dmSt؁obc>HQWZg/mz֬|,䚓m4!h?z:?YZgڃ73S^&$;xIHn&v >0K5{U,kвW ڪQcΫ3*;-%y~6 ۵QZ#E$^AN}EM.{Lf Gˌ SdYPA 2 @bl*]cPdQ6Q|q|šmڗդ:$vOx!`@v%xzKXݥel@ժ?g3MbQE.S]d73#u+/:|&`t&$<%֣ ΗL3],pqA$q<(ww& tmF%j,64&FjzU s ƃ*VKlfCaJۺK ɕyܯШFiBŏ9λ @q)"LB Q@k% bNUsYŴ5q>ELml&82"f\%r]fCe$cրtpj|F67ZAgtk՗ #yCA2Hzi Cƛ?lf)盍D,2TB{tB?F:lyd Ij} 54S.(GXBT/v]Ȟ U 3 qG_?wZ4'J0@1|wr9=%boUqGӷp"ꊪ]@H8HO2:7 fʮ"m%wh}}2 v\ͳ4WD#Z#{ɂ9|߹"dK#}[Vߢ9@,P$&ݾ6U釪Q9 :P[1 <)_ ڹ?%{~ &_ ݱlkNgzT( $6Z}4aϩ٭HVϸ5e1)(WC ͝dOLDk@{hHr$@◫g?ͧ"pp|*[WΟB omq "In@_qn5C\0~Y2%}`d}͐5Po딱"706Uܬ 7Tc*!YrR+tz@H(G} J0wmW r;KH'#L-%c2Z:_$K2Fڜ`x%sk(.ߥH L:M}hjZ3gW ٖxMN5@Q`tY<.] ̪\bPM6容 ӻA.nl\b 'Hb= ;㋇~1N?Ce|Y"#>{i":~^w(DwRv GR U<bk235/_ϯuDRs9ygQzŧ6 5B4t=YV?9y~ oi[Ю9/\+e\OF !v )iFKEe#Ǘw~){d(xVC.Zl/#z?> \\ur+dZk0aCU+|'}<K't"dv pM$Fɢֻs6[~.zR"H HBKL'~j%r}АUUm;AFnu*w;GXe4Lw7%zz>i3knjV /<UX$ z^K:^o#%x:3e*Xv_%Ȥ tm*`b';WMȻcZﶸځZ/GF @IWH_OcvIޡ]=D½+su hS݈J ïbF#oz-٬1'zLQL9hiSרPlcR:́!A0\}#%7_S45=03Ỵ:Xl0l.gN++܉OU(U tjŷ9le(^Иb: 4? GľM{?3e2P%"ģ5cIes c1|.Fڱ)! ,|_ ҧBEThX__pGƗwg{D!01`Mo՛ (@]e"@Ӻu+t7ƪIuarXA:&j`zLvxtt/%ԇ%UO2”X N,0$ᆐdϖ@jP6{HZBV9Bnh혬 yJqYזbӝYg O#\D5J%/'H_G>?Dg8,$~R]5*zA_pKQ3l$u {~Q}^o-:Wk\R%ĵ>LJ 70ޡ50 Ml):Pr.z3T0}_^2%kn'1=trtOvihLZ7b/&'J-X|& D}Q<~_]V٥nn7+'L?'Kd3, ~'П[;o4VGlVo#MM}pHKD ҫx1 Mtk3r;1u\ʥɐOvE%FTe \,"!KJ]`iCKPB6,zLC'Q$L RKl[e|7v>V62~Tf0j8͝F|!ŘPo(wJ9l D9?"B>ڃq` @xN0eE.m֯6?sev8*$2nUuݠeM+*^|i*Vܦ] y+ã1!H}dEN‚65}([7^rK%2W?U+}&9hBYco(޵M>'tw3=(е:")KL=Tue@QT5$ x"qo78"Fxej(Y%6UR-3d"L[BLӥX2˿495WbB(`2^i/Muovl0#;Ox0aAQS!dRq?rJZ`)ſfR(C*X=B+5P<1YCI>ZR-攥H pegT*wlSl %}Xg;"실GǐP19L|cw|0Xd}"x/lhB(BgOR"QT=)A*&Ɠ⊚OR3'-1ȕGת{ePe=zp.uvT=&JZ^p~><*fѱ 6 7 B[808O0ܝwŊ^lHk'̀~H~;wg]q6I6j xzz$U:=F}J){0UeӸD5!bymYz鋍h5?f}2'VyIw;GQՅJ׬ k< 2؝mj hMI; 9 +{|Oh ._ݚ?Nq$ wgNuA"B]n#|2{V37DJƣ?i tgyf?fR{kVqçi0DvYiEg[1B6E:fOC{,yX‡ZlF q5+L95Nk`rO . h/ aLWFk+}X4Eu|GM]W68Qr?(FZ HwMcOדPO eє4@x¿p&$byJ$}s+91 L{HISM7d|wJz x\e"ɨKb`& )+{ M+fBȁ)>;Z7rBPjLH0v;LSÚoDB=EMhwt/LOcM! oZh }g\~UY?krMPMO!t(sta0Yaio D"bMx{~g(ʓyȢ7fW; W|>ِĘ>l?YZ5Ҽ@C<'PKԗRU_({^wСiJWF sy| D^ZxzdӔkfg9ԗu.P8W$tJ`Q)| 2vaez/B,aI6bM'0꟠d.,KH¼g;46 +cb"{Y'!fhXB&6̟]W/B;n"/8$j3*dx8H5lܝZ*e9R;]uD)qgKnsɈV.>- #]jك&3r) c!6 Y@e>)]FZXYs›qlߣf|Iaz6#`sgȡ&bRg1qyW ˞hBZ#{D[/|~t)UqaH\(?^,pهF(: o//KzXif4> :EhGƀlѲ9"Wc=a^~pȪ%Mn%4c+jt쾘^]ý7pb:3rE;Tqwe7$rCwL^+}sU KgRT6B (y2\#]"IwUIʋ+F2&7܁Œ'ewA9 ǟӑ#bL]V.X%z#0+̐]w:&>FE8؍<1͖,Ftq̡aAlL_MLaE~\)w82*B1^ Vi|+hxHmWE*i"2VhEBB/Čߩ5˃JXՅaڤQvi律윂ѓlY=r%]CNOy9!#ӞjD`t6@ CXUbIolMqśZF|~fIoЦ%Vg[BQk\'+*aD"RQZ``sB#M2J.ޑrD!QlyuRڹvV)b\Dq%hX'"ƪwIeq fyANWW=^M}tn)S.ek|h)@?;/4 . .Հ^vob/0 Bc6GK'`E&eQ9)wM4V.V7U۩@]dOaQ)>JV@?:U@&xܿ[Qh(~XR{*zwlM2_XjN #[-)W.awOH $`WޤLv ^u&4u/^[Ҏ>h͒a x/R&C \Dvy-mGx>$T|V dm{ P D#?RaڄnCާ1pՒDyf]5(Jo IE N@J(˶*+T+\Cvul2,,tU!iL.hNZFJr墈2uM\?>`:Y8ܾE0/|FC3{E.Ѥk tr2&Ǎm½p ]=7%vhyD6q8[7 eLz! ef&A#zТkoVG^C4rRmy4g*C"> 4[a9 _{ 4 |DՀM7 l1Ը*1NѢF\vCpȀ#KlQ$sͭem6RۖKJ]w4E_4_l[hΪ[bBc̀rưVl)]>n/ EPKtp D7xUvgCp`,Jۏ~/(媱{M|#ÿb_v1j?aBkq'ŃP x(6*~Rr wh1UV޽w[^yn!:Y JFPzbtkc/ *֠$l7g[ ]m21i|!?幚ݑ8\NT /Yfo # Am^N|8p>6PfOGw[m@iN#W#}dYnBnL\1gg4ˠ9/u \ J;Oo qY;A|ks:1&t1:ҢoSAoy4'07Խ'xalbldcͷ47a| l |`HTH'kFU*Cso}R-;nN 5v tɜ0u." c*К!.1?k2ԇ:/R9M'ԯ]~#/O4]pz!SOq%=߂^ :A;3בtxjN~D5,h2˴ߋ]hTrq~F*u'd xXr+c(׺3G}M@82eWˉ5)C12)9WM4~ H0~.kY hc;XMp'=9;tψ?l;g1p)W&Gg'PKr?K> SmΌHy8_fQvf;ƒh3zb m bO!'ė#2Õgo Ca] &Z:%Љ3>8B7{ tSO 8Y+ $K,Gm! m^ɿ"/xL鍚 7V/vqޠ_&d/y؉uWnWG[DsB[fTZƶ9 @avҴsrD>S{{]+yx`$1y_uHE0E>82 G.Ȃdބ냘=ۺ(+Hc@>AZ.MC L w.Ǻr"sG?9`٪O"{晧x:5ά*!\3 zBxpU0C!IB ZH CrNh].jPedn C@>%Rt*JӍ Ԧ 83X2^?S +F;ɳv`޸@ijW7}Wh\ћ% ?2{)-OJa>L8tߙW^Tۤ`#g9@)}mbʥm+M`áN=]YB O%J?7ҿzՏ5GSn V8FTpn |Tjq0=øH/sR"kIJRf:/ 9 .L&bPăƂYS-o?{hK&6x>mPؔe+5m ~!/|߆"/`5^A{AltoSvPq(ձq;uG"Htqz ;I*Jt[ [[cJlkk ޲lqbV]rE*D]΅)WȺvG3 ZSW@K\h*xF& ,&0MLD6|GPޔ8xk"8FuREfQ"(mkb pb:zJv8`*d.iq?=.(0]'j5V ) ہ}yP8&iTY&Mn%Lm^Uߘ̓+M4jn9a(͐S(Gf/*IE# Nh΍3guO5SțҌI4xgP=cd$žnhi2H-H#7RBwT~bQxg@u;ȥoe4t3'Րq$'`pMjvNJWd9,?1ād(# a |ύS3 0L=Ǟ^CR]وYa~"YC4josv8_םPۑf>їwjy-y !Q%+֪ހ(l4T_ASznqU ?XƲ)2Cbf^)ZzanLQYuqO%E9wj8jyALSK>׃$K|#EC._Ԕ2^0C٣_qgi,^-(0c#6IB|V:+m7t,VMq _!_Rde9dtoG)8JQBQ&2HnVҖL}kk4"#o2b;]ӂX@ԘB֦zHž r=<1`{Kk!jKXqPI3 PNF* S ~Pn .J3GMI}xBI'L=Mhm'8 x {kM,!\_hG-ʴjǯ^pw[*6u3 2K&S;xA,& KF[j:0ck_z> O({{-# 7'~(@pĬuҎ4&\R<TUg蘰N_r^Ӫ\H<]ȻeM!܋@r)6 ͙勁aW![s:SroLPڢ7Sڕ*$ <7g ~0)9w=1vOC6jCs'Gwi9BcpIޮHT ܽ򗠊# ~&ْIHgakhJ\̕wfuלEGa,uEnMJA(D20;dOCh`MAI6]ڷ١͠y1mvg^\8{ |ggoN_V}A*"+l6nbkR( )^eQHFlIIif𗁓-bhm3rIt(srʬe!;*w#[f M=s -^) sW3(IY) nm:I({WZ#?".!Ϻg3H˨]qAj4jͫ;c :[1vs:A?ㄓ<@z !ep]/B|XLmR V* d6|~MX r&2?mDŽs}nŖ*/3i] r.Vo΁~fzX{jsDUW<,lx"i55mQ`7,Wōjfx`k1q(-T^[}zR?Ӎ;~:eo{3e۴Wx4Le,(-ZowLzDXJ Q׾4'<<$jθaz7_P|U!Iq:\ıyݙy#im3;W4DZun^S AP$ie֏b5|ĔQԓ[%1KWf?cdKQ(uvv痭TPH =$g~R.V޸baUXG_a+R^ <{.T>ؕVOR@Ś(0v"%İ3~gcs-Yje:`Kũѽk_(\O =;]ƪSf} /JP .`myTTT^t@ `}sN-EׁF'/[jXmbsD$Ke1(سC-Og{6񫂻Fsu t\#c쑸$c5zS|&vLX,_#A͊Ľpn`~mwz|} Yȭ*/|kC )hG7`VR/G"d}>32wԟVj%(!@%wp];C9IZ`{%f cO_䝾?ty?r5c7~g/3<qحօVO܁]09,MX L{`1M{49[A˵u 'Oӈl7 H-A,|<_y=q gkY5ْn6L62 <|oj 4EV\U_,UԦ  +Y6ߘAԴO8ŠkMy.x'yi<CH4Fc#|}\s2ծ3}z{bJcʾɤ\3+eXHyz}wk mEn`=^snBpsRij0 LJ)sfoE GjAfO.~3$+.roY6uRxګ.AFgh46P=)lvXH5}.׺Js%BV:LeC? /$xF?}Gg,1 p`'2 mo͙/k Ɇ 4KmD'W:8Sǖu6@4Yo7c9.4Jh+hHIO[7_%R4r@%eQ e*',b]/]P-2HsR=Gd  A~U1!rȻ@BH=͜r@|!ihA5IL-ݣS}ex_bXHq70J[j qVD"[<'|r8FA=+MquZ}iƋAT@l( ̃ZS,gP} k61d;g-c^Uj(?s|4\KX4&9p+XRsli&ǁ/t'_3lّI݁)T ,gി2'j05nhP堰dˋRۓ5y1cU܈Szg5U&":I6 JnTS2֗(7ӄYIkoTT:TB$Q O(F䟖Iĝ<]B926y_.thܨX9, wVסV7ԍ+w)/ gd'+nzý$XW&l#ZU6X7%`Z}kC,g2 iPzj-ri3O'k 5"XUsӝ%HI tIklSi)6; Cyis<67.6I HJ5#Gq7ۀi]&ZPBIR]vXmu;)GJ`7D8;ה kc ,+<y?d4Timg?\)E,#faڒvRa} >t= ιQG Xcp{*[UBŢ J'z77L$5oedDu$2-E/hP9ĤCwwe#^>+t a" Ml TE_7#"6Y;[66#}4Y3<4'cKDzw͊p\\WV--EV4#~1ddte sJԑsd)p唐}L߃e\A JM~B-K cy!\Tkxƫ;q ]q& 2m$ TA7IBM{OJ}tYh l-P[ۥ_*ܼ,p:co|? 8u5Q`HQSZ[V07zU@=hN-s~16yfLP"9]=w >Ԁ|c!Aܠ=4 ~QM[EM {"]_hdae﷐{/cC1ty[)H.bH !Q0 戲>6 yB +:&w5t˭&m`CҜ" a-h^\W:d>o;{F,W "b$eS*~TjD76Mc u?7\8BFrx?')2^*meUH'ÂecN޷Sj%c gHþe,(, Pn^[ر屝 $>+69U]M UyJx ;p!3IA)t%aF v `Smd f<`zZ]_W>Iٖ׍W5 ┥~ nFs\3+Ui 5l"7o71TU]gۉޛݕш%.yĔj<0IwGc,fS0>@Vaܔ?Ě[uBG>EʲrbItSPVL|$^]"v NӰEGk  6@Gc4'QT}: ŗOwc<7/㦸Vlu_PrFJ| #踅S^)~Tj̶BxE:h$, UϛnjT~jfv{.3|t(D S6k-z(Uop[9謃|bb,ˬbq3i-Ud(̻&g.Ng>7\bwn U\8%(}c!z*,3-(166Uhx+I3CcrONj!]:HYPffW vʉd'w0`8lTf΢J6^ Jk>V70zԵ}ag5;Sx3^F/ixVfibcY0vҳ4Aj2-<Ӝ 31Sfq@U8H78ĦhY:CR#u37'+ɰgtB/p47yGӏN``lTjLRwn>CZ4st%Nd.@ 8ؒQ5Z&&#.N܇-6ıH2,,7EH bK1p| pxG%}51{'[^.Lke88Ϣ]t1[\d>jc}DYJ)mJ6%"I, ]f) Wѧ\_Z+z7L8Zncd :7-HK؝ GJ=/7>w^J HN+>KE>dQ[ 45c5kR1H)V.Ut VAlEr .!5ON-HۚVW/4{[۸^`*Iܱ ]T aYw@MYyOdVTd6wEG<8Wc\Av#ߨ6@vo(OuLﬠ$߉-ȂP@H1g^Se\Ԣ%&`5j@2GfrZ9y@ ϯ7M!$\Ra_o/ɺņqpgn-{ +{CZjVՑ mLz̀GF6ӕċWPIdf5|0j1[n+D#ؿƽabQ-1n&IJD%& Юf-p@`#>ѹ-g4lut9]r{ǹ]]~H!dN]-a<%,tYѺ)QE"B" qt:nY9ju͐t b"SvS 7R4Z2 *|>c9>Z \Tĉ@DQ`HyUklV$e32MQ7"MUv/bfa0&CX&`qz÷Z;12q$tz>]vmU4?z:]DV4P= ލ9.ߏÍQS)7TvwUVZp"܏+,XA9b .qp/ш!K`9I^!Z3@@C $19 6犪MU&αlcE~v(d@CRo8x{!8P?]m$3>@N92<jEwP0yHiyVBɰXk/ ^=ȵ>mb5fQf}OhC,4'IWLZ X Eln/Ԏ$OϵG:o ҎzRV0 *~ rH Qϋ,>a=p%}9⽎g +҅댥@>\V= ?,ҊkQAVzbk[ 9`?̾1v=J=W5Dɝ*(IkjDHy\hV!GK:}G,wdz/b[Ѻ{0 s`R{ :Ԇ3Scp=Z]m[bܟ7bl}r<|kgh_@'@c'0xYS"isIַ&+2eLE]H6Bm-E|g*\EV/ BnЍłQ]Ԙ&}rzm FD,b{yvN͆_-DxR6}.+FâY6sidq"Nm] K&<ǚ_ܞR#B LS䧁Kqkt  R3*;!CPae@&UFy|]7􈧗٨q6&Sr Icd+q%ZMN|CGyQPiԱ1kgW5#wcTϏCئy+=IZX]iSTJ7%yo[DhMSd'vޏϒO{wfZ@.DӵjQ\l<$QT/@@XJfJZd7##``𮎭= ݪ\1#QLp}}|1}P 5^(Q ?5(8*٨e0M@CRZI "}H므gd´]h[$x)_#̯.p#V^蓼׾3 )7 N19C_ԽswDتCdքfb^G™ M1 9rjH+&$t87p$voe爮צ$agщs؋ raOٌys*9u#!KqnG N+bƒR0o[]5sf h;KQtm-q\])} ]V[b םV9 #EjEAUReL"AT(&$a>Nl?YnYMgpyi Yx,'@ax,Τv4>^҇5W* }&I6&>Pu|Q"l $RdzF. 'lG7]}׋ǜ]wJ8avK(#v5cPR!;r_\']kxvˎGH} n_^=}BS>8އ4ibnZIHpf ө |t:IR`L,X, {6Z>g}+댈]ƨJɎ$&KgYZ A/5% HOL-Number_TheoryHOL-Algebra.UnivPolydocument.tex7zXZִF! /e]A-MՋhvG"uIBm59sBDDg һj[ü\lofnf] owq'W}^e ;Гq+P8SKfkB42 ]5汚ByQGxsqs|5H^sc&WJg.@@{*h6}Ձ(0ɘuYjhͰWVٸ|cmβ[ZD~)vj@|TYlss"e!'q?saOM.ûIj?~2Kӵ 5TD:_L%P,S {Iu7XatJ]iT$*zh5h*=}?kOU KmC~i .eLk]yoRrի2>Fv Z'A{579BzCb jR^H'*n5^>4>BigxKEM,4I9m F8?Lk[.j;.>gk8H'@_ӧ !gtnh+yy9'kW½{BaXCiC͘ sXӝ&w߭K5mhRůGd=!_H6P@Vs8`ׄCzU/=Q(dR1*g7P?N@Ƈm Os1bX3Ks7J5)|t* ZjPYIedxmH"7m]a"a6V VOh'n wyaq`!E b#C{CByƙVxޠ QA;Be IJ:ze1t //% DHOL-Number_TheoryHOL-Algebra.Groupdocument.tex7zXZִF! ݽP]A-MՋhvG"uIBm59o'7| )(S 5ZO6XBO_*~p 6 S.%yԣEw/=)HwQf oVxZ;rCm~p1woT _raA$^JTʀM S~'Q#/5s*v=[Qhu r40=މ1O8wZPk~k)7i$; O{"eqάoHJ>0}5}eh yc|tW01DE(zA=H}xSu5yK0 J//% 4HOL-Number_TheoryHOL-Algebra.Cosetdocument.tex7zXZִF! 7MK]A-MՋhvG"uIBm5|]v0?U96ύ:r:JpSX˜7/Ӳ3*V&5@ `#Gk0L^&[_KIe*Ů;&p9S)C]?AUF-+nj9~I]f϶mY=ũ:AQT_'!K߇S!4J2ZW~h>\9b$Z@98t_:gޤ01N3هI15gG-T?Uǖ$u<1zZ2<M  A_VHsw1gdmGso/-("-T' ` wX|Ĺ=VOz!0%WN4Yv_o!( y*o-v痜{KxX'ŋ)t[_G(,FoSۅ}IvP&3S1>`MBA;gך]FEӊWCMW8nYp㷐2ߕƞ%4ޝƐi "` 4U$W31JPWk+MX,mCP(??z^Y\D#d"2y-}\s:A?qf/l0?#yS pdd" *U ȫXa4:~3Q0$Q|1: b^Xgf^eN)anS+.`]Xp@Mǖ^ =J3WPJa-Ղlu! |?6@XO g6wt ֆ-G, YفEXŮ :DҨNAawm{nHl=vM}ZW-*jS9BImrAօUSJ:Hr0㸆Dd՘-ҙ߬(#az/*ٞҫл;<@Rëa-#ZƷ0MS# Aݬ!?QESfPLn/-c0\F=ՁyG5re O3q\# wf*DوU'Gt:M8]֫2{Sh7x#w]NQ+(_ԛ'()s`|P?i8P/SY d`3W1 J퐐&gT4*bo+4Y#^ bx~6GOc>#uMU߬RﭶZkJl0 Ӓpnnj-l/c<qG ;d]TBZ<6b+ %MzB,PL{?}{mR|Kwg_ڂ♳jEW||4VJvP21>~@zj~x!yMHE )ԽEviB*ow_+XĊԍ!=Lq.0nm)' )hqڍO߬OKLu@@g3,tVw.)qD;3@3t9A rȿ^1E^Id~ )!z֨Z97΢Cvѳ4(\|p7moP `25q EO+z@M ,uBt.-}Z``7k\"Kw;ڭ;x++sTL r%}u!IyoTqU\O,Cp?%}e9I#Hgf^ꜙYf*̸8\EҎm^H҉ex D*'_~2£%?u6[ܛH^BYFjD[2T[uP,en=g8ׁW?aT,?d(%{LGN,1)>|ILLq# b {;^QRѵ{N/G!?s@;om6z;O )mfړ\+!bfϧღlVh-U\,tP% W`2t*CT 37cvnx U)P=&}@C sS ">̧d8(ET$h\6-`Lj cE2bE84$3}TI-`$I7ʰF! _:pC`6bKu9z$|a]#t<~54p*ēHXJ* HOM h(݆R6.>%22P`n%,=t3o[ưU (ǚ*0 MW-Ц3 ]+`>$%6idG7ܲj본eJxJL )čv(?Қ,sd`=7 < (c7U,pu]]I=KH΄ËP1sH}4Y90/=850iIVD-[DϨTvl$F3{.P>^Pr9 H8e"Ԗq/$?[ϟa`YS,mdgiѱ TDhno|U[bԾCM5R qK [̯DLO:-bQ@kIX1;&ujQ="Z, &REb~[n/!W!_Wb .W4"NCsƑren/dS #|*t# S4 ZJ L|\1{JRp*Bm_Ӎ>te!@F><{N]vDș5d*+W[Xe\WHKhq`:'Lw~O͡5lѼI@eQ^{jFߙz\.sɫBlRuTz\%;x[F%(`k9.!x$ۃNֲ5Saֽ?wBD#J+sKR2E-8hP(M6@k2ː*-d=ИVӍ&Q~R`ǁ~u~n5-[pT;p{` !B88*R' a#Alυ^P.*pR[7~&4(ñp=ä8Tvc䤦jt%cE+E QvV$d+T"f硤YWe6D͎0Jy[p`fVIŒo~@ڠ:=l/j׊18]I`${ywtX:V%gNBv=yqMLbOԡu_&0~˟E%W+3}8 O:铸P^d9Mq]q8'5Cs;j x(h2Ϝvk(5,0(՛pDdKIF k=PuE)J|}L jxap;!'7A׎Tg*[qb5Y;7g̘,]bkƻ ha ]C rwG9Ŏ)ܬKi#Qcdi.h^qFj8Q?ecxS.z"hC:eW ɥеZ@$"M-IiE9s6QaͶi.7p,~ьsYe3WBK3a1=2Q"oPoC-wIƨ2SZΌ(4WtQ|̞y c9s1Cq>7$3 KXp klm[vl!%tG1i=@(26og( DoZ%di-th>|=7S!/?J{jq9: /B N|Bbpp|wф+xp:;gFz= 40Hu1#)glY١(QjNK .ʱ#+t"(R\}# Bj7 ^h'q?rw]Mgܖm,o|R4hwkWI"}]hM'ڠuֈ{d;O?}oO<ٰp5@ h$5Fx"c8T|>Bm*>2Uh 0 5YlyILەM!ߺv\g-}[mq߭s@FoLѱeуIKaJ8a>Y7T59Kv /~^4$Ff)lj*ve< WŔ%4C߸byXw 8qX6.rYvzED:AđB K&D!wl(jz@fZpxf_n^ϕ!ct kx[qJWg|gY50q}ia(KkY-츪hzӢ{z{*KMvmkk1 Qj;g#EIJsRI0h.K7nV)jĢ?Sۿ>`ն+9k[Zc9L¸K׬ȱ 'LOAUwZ7U ʭ8ĸyphN\z{kLq}3$_k-btU&F+{Ew+cadԤEʈF""ćmh,hg,!=ķ*['ӹvCQW/[g~kLm~ۦٔ5?O'0.q*KŸS߼ wH_Aگ2Ej…"N!^?G `$yp0*eDyb=qVf Ի٘8j{HbӈQM~"vΆr,h: ]6c^O9rG5B\-.Il}'o8{Qdy<(X-b\P(Ep̀;OU1hDuR`iD詩mY𱶟۴颥ȉh,TXCIjqZP>&xF+{Łw\b;AR8ҟ$vA92V.*9RGV;]+` h%/.X#`tBzvPPif@DxBWaG jz_l< (7-V|.">z=,OXl~Yɹ ԼЎ{|Mx7)@FX'U5hh="5vu6 Xo} 50;svw^jr FZWUyԚ ޟkOmJ[%v|; #bX6CW҆}[ 3k]r 9y}##9E:"Q^q[7&*CƛMd/qڍBFŊbIv[joE]/""wPk*AvdTA(:,Q nOF ןG &ωA\yRi?z:v0Wrrd3N8DzƲE9&fK JctöywKߑz>#lbm@ Lv/mw߽7Hz| mL*^ Tn~v(A*Gl8T\la`Hr9m-' i*ٷM~F41$3 6úİGdTJ&L*/iE=}=sUp[63VX]\z4zz/ TYӭnΉ!LHX(" M6/|M'@sv\MMK@HK*<=϶1G> Yw[NlO Coak;t8)6(z9ye Y㘑y\>W/3_xA{<"|Ʀm՗o/=$^AZe? `I|~ @"4bF5iEp^&/ߒU'qFh4 hU1NOl Nke:6w1!%2@h+*o@ D@ɕC4UeoMsO;ySS!$F0Ȍ\D,u9U>6s{wMG{UHj'v s'f$c3tj}ޥ;? WS'3Z mv٢5@w=0OY\M/bM4[R@kna^*hT^<$m!*?EgF5ݨFx<úCR+0t$Na.N+ 7 >`6=M%h$Y)¥}qE7hsP;I<+QP QOtp QCh^sB'enJ \Swr]aj=An@8S./FY|F9 _b b\654vlzE~lBO"؂VFo~/ s+0h_t'}hr7O-R2k7C(_*sxi= 8WurƽDXA]Xz5nuUxx$1t#ODwx x譇h9¦ѓ+p|U+< dPp˺F̩GPsbƇ:D& Z\@{O.N̝?]P uLtJ@B^?S}n˯aQXY_*Rڳ>2q:g:сnqC=dމ=aG;t Յr2hUQ d+lu'{#ƟuXt~kcDrzgg6Q&Pr`j&:_\ DT vq|wI9郤%\uBi3)h\Ef`۱grcqgvϠ(hq#==Z$:|;&`$YaWz@֜)g5[pN˪j"fɊJTvVi8ʆK]?oZeT˞=Rv ['f+G(۶`~kUN8ƹCoB4+ (ݾ,23lq7gd,a_H3?6n󔺌ZKgA9y7A-jOuyK@sp?="4Qʓs=kE)Spy>\qShi\=:\xtRWW;抽7T(|AeH)] p4˗1T~ A Ot&*&XeLW5dE,Ԍ۠/ի7͹o &zZSݐ!6#ZgK!!*P2T7Nt*Asn i&:Ą- BP3_%8t7DX!y](5Cێ5dQ7ZFCv,ll8EB;|D:cbS„FeAv29mi•ĉ\0[I !%lB }=r@mz[RQ0;)yW@uRF#Q?/W>E6iWvM8W'?h`{!+aZ\QsG]ʸM~*3 5EHRgf^Vx ;V`VSYns vupWKq ¢->|s6&qYeXm2-f#@@3N+7>V*e󝳹fqTwrt=RJTKz~^aq1RvEI.Oi B̦'W@]lysW;@d8 m*HՃfVrʭܝ ? VEw  ? Naa ˸o[:?&aY ?2Vfg'Xұ}\sETw{<?uo/N]Beo䋁yN""HylNmZ3-NJ Y.gAc25p1#ȉ5zD flם?2BmLx!wפqƓ؄V{,^ۺB"> gAĥdCWէB2`(ie$z&5Q b&\ĴD8WEDwC 'a1X\T,@E] ʿ.6Q ae~T97a~KlNx] B3[\Z0o5/#}khQ834M`0s ~+;"u`=84 e)Ls ܇#{?U Ss sְq NLsu;4'NJ2(đ>0ԛG6w ?=_,VXm|3Z2H-.y#]q3I:峫_Ng@iH!i=W w@poU YH#Zsz\]"-DgТE6{0.Vɯt/IC@\G_68j%^;YwjH85ًǎg#Se< 4^@2 ~.OjM|li;*μLboZrp፣A\oIkӄ`?C)PkY^njp2 K`Q1*~%DQig5Ea ;T' {X|o;w-xwi8Y)*>[ԺCWBuڠCsfm%Nl/@ VpY{1Ź<usj !yLS)k?YB 6F3Ӎm;8[imF^B_:z޽⢘K~~PT‡[C{:W68~Kż\`EB9v- L TaD)쿼qBqz% d˳J DO]DfPʗ_'}  5«s%ջ"oVkWCˊ9F:y~gO_@oSJ[ -J,ӊ[L P{mA [UqC3qF`nCCAU$X]'s .I1(ѳ TU4t@FLM eK([^glpLTP^8㏞mҕ^'D xe={ʓ6^k 7;?aU26P&?e\u!nXƍL b%<ߟu,fP:[mDαR@S9xeN⊘3)|2>;8da~dnfqqa!gYZ ?Y/-% THOL-Number_TheoryHOL-Algebra.Ringdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5/sj!?"CI;F6gtqCˡ#L`jY6Hm7︓%!ک#o/ $jjrEAk@p2ts+ V/b,}֌FfD&g4?el= `22ccsP-?y)_􈚳 ʛ8nY)p5Y_*<;6oMF*!xuT{ +JV<` 6iO!<jltk$FMeb^N+,\!U0N^GLj *4EsTH]9Y ?Xv.NHR D.%'1!,#Ro<=%< \yg[s0|xB&cJв7֛Q'Ao0EW~cE:4J:GPQK$T]/M% -xgs~@S>"4IW'd c-sK7(ft#p~D.ֹxYĶݑТe5;BTVx]ϳj3LcҨW,XQ$|M!Pk-( Yt$um%D_dqdSHmr+okzu#=⟼w)IB(G{E™A2a֋*o{QT$p)8hZ@~ȭstWyLgX8 O5P%*W()ux5s' {bjBD9gࣸ>zUfDeo2}9wd3ϗ|mItOA@P^<\m~8. s/YH Wo*H|^9/E% |HOL-Number_TheoryHOL-Algebra.Complete_Latticedocument.tex7zXZִF! n8]A-MՋhvG"uIBm5XKjFщ*1WBx#.~kلt1 ;"-J; 2U4#k+irW'},*,C0 H\ׯ^BcL" omt$DW99Ͳ(C+2ڍS{$Hv~9JqY4:tt-ŀ`BR_g [,{PSK(vֹjć*6@"^ܰ![ "XGKzT-BWV$rq/)ұ~R<#v -Kü& m!ՇP7'MW8fYX{( ІC1mS ɝ!pw&4biCQ*I"Έ5G7jfzP7 x7:= нs0٦ya+]lUDHZb햅.,=l3Tk|`kfAZZ'SFav72pL8h*KvOI u{[QJUrpE~=)9ƴ[@ Las-͝B jڂn]Bh\'8spt>%)TOª);T ȯ7x:td,Jh5*`iy?GzC-Pݕ"bp3;Ti Ⱥ7ъdo;(^B1~iD,?Aւ׶OBewPz]y uLeYp}5(i> {&\"͚I8:NpdY_=,)EO nt~BY`j[SHN+6>SyyԜǰ&p9YPrMOҝ1C<2>b|1@?f1^ĕCVomB$=K5/VQss2tۥ@/ս0de#?'uS6tHN2ԡiaL:!F>T}ϊ?~U齱+fXy)t IO@ޤVKQaoR q&iG W doqV {cGO)YT]p\<5X(Z~֔&!wIeLyPHIZaK,;9ϮMMDgaOǝv윺쒵/7N(G/cb0|L "6Mbx`|scMg5-΄ / S,> XE2?]6.l:7O&Kz=AP8 rhExF xX姰F2P6M&}JHpmQK~lU˿{2N`\W+ 8xCk3Xnw#Wi){X[: Dm5)mqg<Y':hiQFYN@Ͳgq3]։lt4tʄv{*T0:, eH3õ k`gs}rbC21wuѮ#rgEdmKbN䌇,h|}͢ e5&sw9ځTHu@c'G-9ЕَT$rSRIROͥ}܇WO6çANlY0ďih?৖NtڛiI`zN2NG8 z^Д/5}|Oj}vGIZZK޻3Mh?a/ey%[)bscv y~{}E1@-|Fꂿ~DM :*,U/qGP!W~5SJ=*r04j 7=5h=w!|qEDNMSzwԿBثEzV@u4 @O)1\6*4>FWIav8tC?5`&dlJ}~Q5or2J9Cڲ/N2ZST!YvuO|5BmTcVB~]+iMxUX=Rc6r(t16Ӱ^/sI¹&׃x j 1<9o77z(M8^_7}6R; H5T6A^!(%ᛎHVbeSdɻ`˭(1ΐ/] `c;h؛BR왷_ cp3QTbtNK'/G{y?-.qCNboޜ&;G9p6o,8Q>$uƿ5(v& (F4Hg=j/EEѥs9|(*75!RsL~Ql땂S*0Lq美`"vǮ򨉡y95UQF0EE)|C4#_𥒑zz=ؑvyp7! PCs $%uLq:ʬs:?9T 4 e)bp2quxKT#VNShG9h:'6٬F`sXe ]'?Ĵl&[a/85WAvz4jMח,H<0IwR[S)E1  sV1z 0=_Z>}; &a/M1T)j+(*j}'f )@JLH2]5V)Y|.kzXB/AM$qf gjE,kdI?pt{OA#ޯYTZNŠOԤcT9{gWٽYWʩ^cwzn"_T &h FR/p`Cg 3>T0j$i0=.Mm^QbTk].?MEvU64;pSވ PӀH&r TLf_gUiq'k Kݘ'efS5JgsR5X&[+vI lRˁb)j6{:'H<.e_|{Ak5&935yC23={!I^"yY3Ql"f'`yn5Qtհ Z?;{搩O'>w"SUeFzE2 ߖv{rڅ⛉؆iMX Q*X xivdͤշ1fX8x~1VJ%UYs^4UX>\0zU/dZG5~ FH`ìD,yEݖNRE/sVNlWY!sd|2'&!?|Bu2`ȿW~_n:l1O^dv`t6Ӎ$Ͽq5!ե d#/j(9 kx@";3ǡ}ca=th2-Q]o[ ౰sxt[%Tɹzux0D5uoRvZ{YQDc' K: E?sU^eTT2\g=#.E`+ ~FȥÝ;E"P]lr͢(m k[vɃ,c-YLA< Λ< z>y4{4ອh:dq*UQ3|=v3 jT4RM,d:r I<5=Wdd.LgbbJN* *RjwHpDzrɠYz#V B~wRm*dƙZ14ӣhbq3Mjh},`^[WN+qHh(:o-1_iQ\R S yq1vr*dt[ 1?𝭰jP\Cr3@1d;$]QnѦl_ad~ʰQ W7WC]*|N#oޙC؆DGɩ[Ju™㐧/o]$Ì+D;oEM XnfD2rF6bRWnۖ7Lߍ@W|}/Aʴso(arI %]ʹ33Zjvd#H1lpPz<!Ijڼr߰vh:kڼX ziwפbdжbr6hǴa B^tj;cÿN{=IoFB>8Th_)g&/Ղ찢K|"V.*bx/OUR2HLxi/Gn$%DMl7֛0Fr sX|J1w:ZU'n9w`YfcץuPH83f˞Cyw=/]jzzc|#~+RfЍv}N' i_Y]!Î3k% 3; wɕjR!,$ U!.ofۘjL_6ܯ6d+aBG' u54/Bv5hD["5cD> 4 }iiϯ ?”|k. EF" =̆o8+*pdemUaј"l)l^Gv]=jK#dz;@ mrl93s=ǖKаqA3E O޺eRy^I6{y8(IrdgVI \صͦܯܯ1AK v'},yşeӋB2AzTk2`#Xb\WɑO R4) 6HvC]y M :~d%PY_v$F~F)'ng /:Oޔ5qČZОEHoqNܔ* Mȁ2»0֗O㻊fR;=wG^ RD޽d;s$E;;a]oUiWYWspɼ|x˒lRK!fsjq?/fc ؑ<8͜-7"Yû L| hݾfժNIF9\J_B%IQ_O{ɬ!@^)ƝwL6oSXmQfz(2pZ.i3`נ>d;~kwbrZ"fVj_l2"ă@3B!O &VF7 #>zK`ydm\KVSٿ^{h2H9!(JfľYm$M QhNws& ZP[9j뉖K'APjO7 `{z{t-8TQ o/izW}ZJù_c* lc0"7A[ҧ%ETk)]Qߞ>#3/,;nkmheoYRRZ"/B/܊R)U7L?i~..6$jo%]iˡR:{(fAj4d=@ǎaaGP(قx1 xR^,>liP_gh6KV-UR>;qSV  -,eR]P.nUO d?JwR# g|NPݸ9=%7tńW36=>Њy?E/rH2r!= p%4_\.'äzkq Bt\= kAjdqM*yiu}ׇv'8 mqo'˝{Hw }h1l߂tK`o2d:h g8ފ\a_H"F*8i41M%yiRssf .c<Zޟ (74-RsOU΀8$~-d/p|Be)/KFm`sη@I`Ԫnp[3 Ô c1w浓  REGR0?m~){J|q[= (-YFž ~th?hWzs,?oPU:F*RMw at'0K}D ej^H}%+ /aQG|Mj<Fݱ m;snYNu&97"[4>HAɤǷI[p7yE  uu q(ytN}Gp;9|:Jh-s Ev N`E@t_ưs;J"mF'H(MJٞp]z{µ)zCUR:z/ţB/Th۶Q4ﳺaBvBR]^@ EÉupǘٗ`G?!H$(3|%AgГ%Om"๻}AvV||&P<)"{uz+0M1AgR ѐ3QY8N#/lyvOaj:'=M&|RY9H݀;X\_^ai_{(idg "?|)cG&jo<K0w#AԨflE<6!U&ruSW38yH$j>x\ KR;'0è[3k0i *<۠s=C[/ ,>c:xK1͗?&`K@ت2̌T0*Q%zg^!A8bV|~R) rliqm#EΧ4{?nX;$v?ȚhY)X@pt8WU?M-'u`0OjX1'Xpywb!׌m-{rOf37e: (O(dy[y{OT0 VjJhJ˰EA^~'063pYݘZT&WxThjyg{05 l>:dBbW+}NKыld 7E6?#۹`fVJЀL H}m*QLӾƕ޲q4Ѯ~+ɀpVX^-M*+'!닸َ1xa[7n"XҸo<P*՚MC [-3%s[Lr%Chy1ʷ@^Td G레6r?CΛ 7K٪F:b(Aj$3{RR}j;Q+CYŝ vOPdUG5EKDF), d@Mw,H /֘Ř JUVoWe c8siϞR# HI~n\ăID|%[auWt291aH_L RY(u h?yS.pr'F^6K*J^v͇ ndGH$eQ7(~aKRa{nQ_t9$ĂZzG+F$v06E#E<(Pkbm"uFU 鏌7?BhϸgʬGm &_w j˧WZR}4R()goKk IֆfFP"!:#5 ) ^Qjp7Rky/@s\zrbl$&ӫ~UÂ8v3x)Wipe2WG*If jos$}0An&&Aw_XBneSdO BeeHo\d& E -0IR`J6 J76jpvSX[S~zB-{*BME ,nMKl$q{'s{41Ѣ:і^|Wڀ>3ìGŏ~~*M/*sLG#d/˷,g:Tu!M=t' Dp'~']L<"W.Av/GÛq Z<'`Ι zXiqk,/Ki-3@ebEFH7>I_>:} A)%s-U UñȊSj^J1(,Qz1Y7xĆ4;SUݪT \j_ȔPȤ1Sho d˂=[0yhk$ތW8׫ ]=O TiOr=#4E{9 PC?)@( C*nF֑C6-k$YoG2Y;Xr_G688pPicI f LUh%?+-ًl7E26<*!) gv ť.C!)Y-WkH:ik#QoFx?Fh"<2fl \[^fn u pf&G>';'GjWpB_2jFiuV:SWkA" =VSR7t2F<nqnc"xtbڔ @BlAWWkR7 ttAvҾZk!ysti'Q`~\EOHf}Տը5sT:ůJi]ǘ{AيV#|e_8.®C @Kp^Tp➌OʃE-OXh1=T\h6,|3컧T*XZHk:cz&X>84oDjw`my؝$~4Md~Hs?sϬĺ0Pk&W":bfjej{f I5V'@T }~VQP`QLЕ",S]ǡ X$g,ns `R 6BZJ`5Hive"9(yYѠ7r3*,;_|&.YjƉ\ݹL1nzYHVvI6p30=ɒљ Ft6̶\FHlrbPvK1>?hDCH׃*^/GZ. kh:$+wYpޗ &3 ڽ%!y]blbK83.f3zm3zET s`D#2IY^9Jf`g\nKw_3 SO48<.wSqB3}v,c!f {Aȑ_R?69Tbib&岂geܵ'#Q&XPQVV_ G'49>t廡Y\¯] /鎃2=4Iօ\fo%\M ؖxO약QbجY2yT%G| 4ʓRv[e˰98*~,PuMi &'2+m(8JW(^ov8>#J.e(9: [$anx|G_b{RU1܋A4x䚒bZS_ =lPHЀypm.b,Z `p2. fR EL$qfWw&MFU%DL5^CQ2jy셯Qaxot_GMI2OASO9p!&~qM鹸 2ØjEhe}vNR۱|mF>im!T[ݬD9,ٳg[4"̫%5ײ)B̾/^_yT4,&}BW7<`(tgʂ8CgF%t\Yi,eKAJ>u?17rR?L^h(Rޜz1D̜?H!Mb83r$WN7 ~%Q R(N&O)}q& @D$ mOihRW2y?ι6tNxdBW;гdPg|5f}\m|"۸F*mfԕΕȔᗡD,E6U>yP_:\&'"\yx[6^a)P>xȌS1>:Gj9FAgzz$;y=pauٻ/1^ru:^72rckK"Y6B-Ѐd)50Nr>cDw|?Pê}Nډ"z`\;R/ 4A[k0Gϴ8Sx{M76sh\/x6Ǚ";Z NeXJfa8I?ЋjƶiD< ]_101~ tzC]u;ue@0Ux{}(Xڨ܂^2$,'עGk;Ό39)_p.2r@а"hsX@şmN - Q -+MJQ)/KR$ہYfpt::K55M(!֑L`F1c-\!JNΉ_nQ MptbwUvpt-2$vݧ\WԺ7Ch:s3sC Vu+nk?qz8;슝RT|%cͼcpӖ$Rz5i;,yǰF ^)&̨B@,4=8wls'(y@xm7#5ispSBΈ1 # ۧ(vi`H[)?)BM{:"/VU#Sy}Լ9>LV~91)V$Gþanړ94G+N&Xj$(rDH؇}.SV>͔ M#t%TJPgҲHYߝt"שCJAl=t}IlW\HS!gX"YX[+\߶{c]Nm;*+VL4¥ElQ[ "B}1f,9nWG˹nV]h&7 ֛u|Uv~A:^ƴ7sg5N u3p[hbԀA`N:a/8&I[5 Hm>`,%L-g)w;z^0FPQ+QhEZd U|Mu׽,,m}Tup<*F Yg)l2nQ0s~NH@&}U|Y. % n:v X8KyRWlgCQ$?ASn[ika}785x~%{ y!Wwh΅.binV:G*ij095ݶs/쓠ye%بu:GAKs*y .P3NNW R94甆~_RW*l 爇!ML-\(tŦكgGWj((BKK &i?s@!֏:Mk^0<%9X+/~(Fxp&pi},5b865ǰQEC l [ddzT %1p@2sJt-@j01=O-c X1J/'¤.T%W"εJbd:1?"O QnMl!f#R<ձeTʖ·ۏR ]i~s+k"\;|h`P>?LyITFo[\;&7,q_򁵁Ѓ^Y1=?KQ@3tK-;~3ց4ԯs`SI$ʭgCT^(aWN1˵X每a9.uc{E'I:>ͦ$F{i|h.VkF lGךPb0+b ](v\COj.N^@#ɮZ|Ql1Tf zZK0FHشA[ࡀZ TnKVUMx~"5rb{]cW^%WuXcJR=LX_Ihpi.xLKBSP.̰D#]xs;̺GT]zRK`JaC =D稱H _|p2Yњ#wu.$:[Wr'ohSOklcbJBg vLSY):g&$% 'x_w#%v }L^ :답v_p8DZUKʋtt f+sjS ` ;s EƱ.2eo sKYfy^.OHR1^MLWٴN'JmSC-;i-Qz^(y>0H"gGE%ό1{_nWН>Xl,R9T#PVԿ;\ ib9 ڟK`\0kw[i.gjf@SW"ճB/qb<(~MIc_d`La&ǻ^9 >Kڥ(PPPUFBNJWJT/RWQq-E j@4Ii@ڌnjzt<[ ;]UIāWƇ埇:qQJ0XK#vDM5uS5,;{v(]5Z pDŽGP1eSG Cx:pq&sL^ g*V<V Qlv)6 T*АAtJA:r 6Tdú<ͺ9~i"~>[Ã`5f_Ic62 fbj S()D0:!0cir;SrB2ޅafc}[ğE;iזVL8.RRS=%2o4!,FVDý;+ͱ=6?O U<()3C1cۧHGjd.9CΔZnV4o!]\Q~b&&FH͑g焍e{*ɞdzzpiZ<ڱqHXko#qj% WnLU>wR¶ dS^vjsb`hԭyyz..;rKF>~}3ѼƖؿЈU-vL."|?cY-;p0@`Eb":aJsEd]ks >.O+^Ǜf][)5Wau $+U0k#'tc'c_bc!0t`<4uRW w|.N찿їUk/0yN@'w,7/l3ĥyޞ" \7>vv!9ZEΠf«zrMrLHPA[% T|D]uE~ߔ4Cު(X{u3 s֑j({`i 9M5F [~ s6S>=WY^m_A|pwQ&P ɪp1(? {?eE|Ώ~]|Gazed 3ZݫUH/Ld \4orjuȻ^U W1c02J6FkÕODQb(G |7 KzzZ*jqSe6FNλ VqdTETӠ:j|mjG0TEO@.Bkމ #nlKp(2,u83$ + 4tDžְXyO|fV^4F§p~`-2o-ti^LH a0iGeB!kߩDԩ5E!$Utw2cȥݫ&#ed=l+:0xMTiׁ`HL's*|a_&!:P0LI۵}lTJx>ʷ-^Ef/ɿ?6@eqpQCb,$CI 咿@n*ˤxpFgm.g3ܹ=~2CĀW;{N~^'s>K%fLtK7T`tN߭NW>gY= 7h78A>7E7jE* ςٜCN{78]9bņ<;R޹W/#D$&^1a?HtU\$yԬM}nW#!45P;aFiƂ%kT6ï0SԠg<@%p&S 1J+A+~Lv#F=|>Ȁ-]pn%B:P߻*idlG|#>bI<|;*LHAa-9$\{/dJo95pI)WV"?eF*/h2q:ʀoHVjƫk5OwkWf$wj!vGbp6E"mEk I"KQRm.>1X?B. ;#-J*0p#~ A@譯P)ڡ{FTaq/ %ɥ-wd LxOj,3C@yۉL^}Zʑ Xv@kE ETg 4JA eh[yTVnK.&:]H'w,;r0B^9߲966J8&?#M:Nb=hWݣ<{t^Es# !>4m2̌q_yL!@b_r; Z}w;3ME "{FN!BLXdR2;7رd-(p>3a` cyȀOl3pm% ;4 @;"xuZ%YXH.,WҐ RʠU5վRx!G-!A玒 #^΃Sq:N?ᏻKGVKco?Q y-(eV q5AGj: NʳM‰:\y# J)uҢ,l@Q" Aqbd`J} #aF7f ˱gYZ tV,;!6,I'Q28@)mV]K\yeQ[ \[ ȊD{HCA !$X]:g{ض, n5%?9\dTrHW,`fdno 3)}dk%t$i2i^/yI6jGFE,,{AwdllMm[= /e>+k}jxN"–l%1T$bUCc`|1~㷬HFiŽ*FybOH3|`p%$&'%x$Qj^ x"NewZ4X?)xC9y`ե%#N7) 5\*f@ۋ&} (ab}ԝ l zCt)J_qE_0P 0Q 1CI7 _&g"%$=1FCY=j?ӮC6b/ޫq&a-JdŌ&BY;P](hcwfYiw\u E@.WpEHjDnDvMuݏX*aϲ2On}ۓsd9Lrt ̒~TV>V2o*~JR93u wB0C71X\ T߳5cR"Q$rz.N9T0=s|I~۝Am帤U֯ CTu(Z$ܣe4:pܻ(uUwuZ+l"ĞyЧhH@fgT1uqEd1 $* ;B^Kz3TXNUx{ b*r ^Qn&'KVȨs^㙂Rb5xխmCuֹBv:gXUp1BS0#Txð$ʝf~作R ="j֫fe4\Jp|VLyyTGX/ V+`plZaۚ党쳙-y%A(.oay^ٱoJ)>\ӤRס&CA,+WJe(EJFeI M81%%BC,s/^ kz[,2 +V~yn§4_;vkSm;y OԘ}^\qR]ի/N-jƛ/aS,I~\>0g2j{Jezr]Hrw,2}<riksH֧V^oE%fHw^Uc,i*f}5 p : =nX^ ߲0ĘTJN.2%/m~iuؗoSMjuWCEĎbP0G;֙˺&W#r~`VCjZ2mɪbEKa >Pi Go_pgY~Wh<y2%B~Ms5p0βѸ_3r|tfƑ/.ZlzR_Moȗcũj8m Ȼa'oVġ6^Y"\D绯Cqt5Ɨ8 Kb nYRH#cW"C< 3Lbz l9]kI[pBAH`'^8l1ʧW ~3=Ws#yqbٵiA%׮Uƾ-sW-L'$w>D{ {,+\"nZ<& IK J8+1ao$1sե\}žfvQ5U'y©> %hvpڹhW rh7ȭ@w?U}o8l~ջ"W  xG5 tji3AH-Vx!=bd9p E, 3W& O: m=Ԃ_ǩ)i3} ȗ*ԋ*mDcPע-5]uPbzoE?dH[N;'ܔcT\ܗHRK&=yus̔h\T5[-,Nu֓w& lfeMh;n7tC D!ߌ.^ 92:< Az EmC6ME\{& lvi(x©=/2 Z 'z6bW+]HЖ.**CR\Vfsʝowr>O-XKE10R̯6[L)g>sYld.| }EV(@u3m45 d1K>DDB {/\>mm#3$`Q8K"-rqdhĠ>bdOvzs&L.Iv%|6I#<C|n5`+!H~m hƖ̄Gw؝)K *K("AaO~aqi8U>chN,lִ~GgyD ;b͘x)0; Ll@d=7VkVK>ƺDwTd,, /4s\],9E2C 2* mHZq0JeWQ$P6B&QF"9Ri˩^~>i f-P.v1Bn>jiL]yM QNx;+eX^8jX8-ךAk0j3a4n@@vBd.e`<OA ur 01@Fva) Q*.&&vdai =6U$XG(41H=}<e(M BqYu"@{XY"UoG;_NX8,K$@g4L8 M {E:϶IEבb8 2dlAw)՟&cy&&]&VR$bDi&\3_f]kծa"{PN m?Hd_"? -ng;l'y-( lDZѩEƴ'yt)LշȌpTv\@i ŗܰ|4NLmyӳň+aC~#o;\+I[Pڃn^tp<-Sg{c]7q`qpm͖lFok+hdS0,/ %mP<Ǽ97:H̥a$<) #^-Б t2)wNUhyVE?].b~ b(đxp;) ^AP`VA4>baz,,Bu$2V:&,(*f XR +?LLX֡Bq/$t"ξfϑl|p꤅ nR /⵴ٹ5[ޯ Vm\ T«1 A^ST%=hb>MζΓk`4vl[W*F$+U-aŕJѭEawHb6 x Ӭ\]YzO PIK9`hg)u[;6 ok !=C9nfn`SSqҪ_t]y裒i.:=_(3-LoVļ^Yx ފr[9}TQDg/31F|nsmoNYL LQi(.:бTvrygwn_U=#njġO$laߡ<Ȇ 6Oig8B6 [ky61 Ԡ_.+eDqJ<&r=(RǭH?T~$[@sp~fmR-=^2}WEs.hK4+8e9TU1kf1<j(M/|'Ȫ'd~4<>0B٦f+nEDp'[A0&`&}(N3G,{{xTO̪Cݽ!(XG P۹sfŽI=4mF0]-[L^fJ8 %sA Z|G_ N)Ⰹ/7aDm2Ct񩐹  }0Z_6)$}d&PwAqmGPՉeK\LNᦫ }7 ! ZeU˳AzQ HXj\h Eu:LHt-$b@_J 3P+BǝCMƏAZʖ&NTZOU$f>DA^!LKV҈䮸?mDbxLy@20 j"f0G{uBL x`";i3],o}Hҙ gnR>8[ eL0PϕJScγ"ccqER!w @vRt:kmD>B\gyi0*%9);rdp9i@{凎m5)IGeTmvczaJX?ZD!-Y{EX5!Y]yA&8x` L+pѬSdYk!JOpcT Ű&2g/ <Σ!դ_ϼn6fjĹG&s'H 3vQ̮/&(9\`?:cms.V3C-1Wk>N6>a sPXy OhIj]L&Gƨt,,}k6l`Z Uebiⴅa0;Q M;l,22Ǟ/USDîqq g~,ad q'V{O_w鱫@r (jr/gie[pD%aRqp66wƩ6ȟ:#fH*x!]5>oHr=v&(m;"oR@DPvaPRNѡ3tnQ; oL}aMCYb*4X]Û)S\81q<^#+G=VUZKfe8cn)? SyS-vl^/bJ`;y |cܸ5@]4ݚ; PN-]^XI2-ċj]w*zlO6y6Q@­s:l@v#!ҰQ&7D#]N=3y:?&[ՌJ!>G&m=dNC㥯Ӹ򕮀2HLp׸Ն y!(k`eQ(kryV~v!eEMQݯܧAEyiL&mXZ t0#Ԃ638H}TDQԐ%!--dT=WiMbL$1Q))>7aR@TRO֓ɸ&c Su:]+ЮwUU=tKYQI0+u`SiyT6Pu3pX6U@7k61BP#q xѤjlĿkXV1D:KY ڲu`rˆKTuڦDJ .1Y ~o 5Fr^{3¦8B8,Rӣ-;e=2lŶ 7'bO\k/$ț@ݮKmM_ SG1 vp#kjrAmVլ|߻^ 3fy*/ZP1xy-$S +dR kEj!‰bAi3CGnzjA.+#֩U.Ꮸ^vPB4,v^C3-uOS h9HIF@ \dS"?“ě$h2=A{^nFE,ڎ ꁒ״ܳE4G9NB*:pSc4S}ZN)XsXx4̥w=9B;Ae13qExkhc* iw'HGM҅Oӟr=uo]T/{DR ce>f£R3GA]yO]8s#nf$rTT)GX'oKQ3jm$|j-hNuRpAz,yO ZXO!"xr=@f64qu Bwq5+$RU:0cBܐkΰ" ;zuR˃R|S+ cK'bq jܟj.۔bwLϑx񖤈Rq|`'6UZRi8ܳ~>Tyg鞋Q5\. N1qLz]@ۚZSץ>mU<9d;lՊݹiN'Ԟ=sG=C-BMTX/d|tuL7-_O#1Y?SleZ3/m0_M'_9o* J5xaՍKtfC!ۂl4 Bf׆ۨ {®}_4(`_PlD7 СuGZ ;!/}D驡hQz}xeZaECUOH}5fW[/} 'B\d)Г(w\71<*"+>@60(<" SH5,TMAMƴsE&,SRN*$+Q/h!VDY` !g<6ƐdN5/Nlx XljI94MgxRs":ta_lgŠi1gǐ075iWz\9^O|i֫M] 4i'dZ\N$$ !Y@~n,Hx܅%s x6-h#͞M6B魯E#5yDZW[)DPcK-(ͻYn8 :֙$h<Ș.&WE\?|? Zʾʢq]ۦ҂$m-3!qFkz3" !M X{W*g̓f aPR!ࡖ _2Rd{gոGI)d;}NnڨqJ4?F- QiaIAvL-q|:uS f7Z"6m7},2(3-??bct6t;hRE|XoʼH˕YNY tXjq@B\4p /ij]= ,Rj zG)榉._]HH_q]^Lg,9,jRX;'̱GH C榳VuXe/6Azvd *UgYZ#-8Lc_RQJ-IA0_e4ƛ\;*AXA~4K×[z_BE4օG&#կ*Kg.ZjPFz,ֽkQ@CB~gŎ ԼH!e۴d ZxJCP!p`8}:RU*Xz}-֛wtv8ٴx]k"B\H6gB2݂<6=YbuNߞn~Ӈ2rA4Ze$ ŰP.s-BqWOY%/VPt ?=ef# u2?H}029'|刵%|Ü~z47wL|:|O>V P,r +% c>\ܖ| Ā@+J(5$5hVQU`3Bc_fx314`7cA#3 q3 #^QDH(jJOUFni5z9'Z^IC1:ժglrv ޠ3p\XWۮ>\(C=`kCKOR<Ʋ;6NbĆʔ zgM5P]>v8mH*H/ 2fGVk<=м:|bTp]iSc4v6Os9s  r$ $шsLnM埏F.P}cʔP4Vm"4!_~Xpz{l)r*`$H-gsŌ?O LǛ._#0/'r{Q=x56za^x&rKxTcs힓Z3FR1^n,+g/kw[kk5w;[-h-lVhd iDb_eqy$kVOek8CB<ڗ*m5=eh}늤5;çmaֻr#%)nr(卋P!tdO>!^vK@Ģ7}&K`~|,0]n#5' nEΞ$M<ɼ=r~ً,r< P Ys 52R &b^X!beTR41&0, W13ؠA6VStJEtyLLQ1PQogwktG^/ZR@)~Xebe./I9A؋8k{n"!U3aI}%T,/*wX0,JJS-:ZtDOG.jXA8~ 7 <54{2IeeyW@?-О}d-Tr 6o jqx!F?1m=S*갟 rnm ϶؅v*IB>x+_)1iK ^PmT!w=yV9I32ʆo`j7wA-X3BCcOri#n^kH},>tz?= ֳO PW>\+U4d@~L36=aeWGjyV"sTҴOXd= ynHJ4XSH>fxKMճQ:KUr[KncC`w7qekI$0ErT>T U71zE*Qշ~ƁV9V*6^8NuCyNifm$w5CW VJEPƆ (W"◨oOexۊƚUo,Z_ݐǦ:Xdis ѻ6vd͗g2od\^{u3n7- ~~6^qpb5۔Ghbué~NHE=j_ո6k7GD{+r6 3[\_%?0:o9mbFؖX>w:sO7ۛ H7U܋~iWK꧴>K!*P6w<\CHA`nj0*I">6XL FjCb?. Ux`wȩT{`8TdxK| T*IkcP`Cu㣎EmUm\!ok'R,ىkѤwgJq()?K T?<Ŵ/^D<=T1ٶԁki2d:1 na Q Gzκ ^d/cReq&d+UcB-x{oOTZjIg@fFck)D , MEJYl_cRG0 ;-\H=tdjO {Hk 8 .ﺅydܪT;mGH^c~>rL{iA6?GHԪF-' ]+{KZJiZ#%%%$ks jroƘop憳J' ^f ?P:+TXȳsyiTs]{)t?T.jvYߋ<yS⼵Ň`CrBwTS9VneB!;`p D1'#2Q)oC1p$D}x.sepS! X2 #^ &J0=u" t+nG~!xkSΎx ~i\ qt BUoML %m 5-ބ%fW6"n?E 1 :#/58ghiʛTY ̦a1lָk~`1 :NI3~xMu$Ť+5ҧ[0P?@8IW!IcÙ<;]$挷b$!bAW/<.bO&pL}gd "^!̢ PCk,NW(\ SM0ZZ&T59z^"qj'Xxۮ%aFs!$T"%?Ft!](AG>8 v9VTq2Uk j~૏gQ2E>Yq3ZHrC2Nu k=^*˯yZ{8L* : ~ ؿ5qwVN8 he,f^ʞ2B[Vǹm ;X (I*,&M0:Xȡ3q]eTQK+U ׎H=RD]5> dB)QQdcD*7?~F69+&\mC/]3]lww:!qK ànz=qy_j G],X^_,S7TQ(*OK';Us/00\.]쯦L9$葟WèT8,קEeM"RV9:pZ.Ъ#[O"*s^A+ b bbM&Pa%x&1JT7K.m#S]ک*'k {0YY$ۍc}˅ DA'h ZkuK؆EzڇYxj|v >,@ z'o(U7XgN[ugb)@"Zy~9_M R3rx Eb "?~S [ i <ģ*jpg(D P:,@ 88y.F8RBVGysYlBph^q 78}Ϣ:MkSPCļrqiY[6z>G~P,l@D}f {K=vz^d;wGIX/liL,eq5?[P-Vdw [ 0F$i ^\j|0[fl)s:a`*-TeGħDRzZq&,Fs D2/^O罧~B-#EYGDfCm'o,W}ϒHfB[B;.TA .Dd/FgN}Bψ7y'GJ?^ڃ!̩ t /iVT1ؐð4U=Ɋ"#TB$ ̐ ĖuVΚ)2V?#v7O>7xN7MGJYY8 [b Ya яZVVHQ7o-sV.wZ 7}îUmT I"U %W-n'MؕJN/R-)̐ K{S;`pd*lMh~KD[vGsm'of,QN+":`=~mVBb|Ya-Uq}׶N@2Zy3Ĭjo۷De̩V]6Ew޷~[czvB mo&ʦBٌ љ&NT֦dzUW: Mn`2A^܌"2K=\e?(xsp]es \лZ+> dx2bYC&Lؼ6ki1iF<ˤA)9*bmLe~BG7{`k+{%*ca*f7Y܋] _:ƱՀg#D_<,wjKp'_+菛nCo ޢ$Wr¶)a`GJ%!:InA T/n_Aȑim36ȧ7`&}ԪUޖw*ҦQ7 2P0E4x[o\L<5/q6ʩ9vOЕMv'5H;Vg9 |ذr$E9B~F0FU4%Lqƒ7ONYC$cjwˋ@W;0BK [GE0i [¿$ t67לN:"{yfA,`ƬΨl$YY~nuU&yt$":%]uN!"@yّ\E{%Ƈs[S&nbPc]{jlң s-?^qV WK[̭R}9Kdyu'bچht8JBrw:e7Ly{GIA4fTdEYW⇣mNYNI.K%i|pHdAڡ-ʛV` e.3zX@u|HX]ok7c/}#۪Y1T\|AFhD#aKWNU/I鑩<%xl3;AJ~EsZ'qqL(#bNq`v9|gF\s3/tiv7VVH${ sxNsx!09 ycHd[72r푸΄U lf&Ӈh!{ PI_{_w,Jm zCHC rxDfBvBbN_4joS⌡ w+@[TB \v1n"p=9᱒yې~cI uC!D-{z=iQ>2XqLAP{Dj;(ܢ/KSL'톌b]#Ab^2&:JKbI5БX>iiur~_b uYu#}e?5CI:o,\eœӤh ٻR*}Q]1 =_\I]2Zbp F]vjE&&׍^ߤ]mp[_SSZmNsWʧp,>4@)\?P;n'\7s6,c;giIhpJߚ8)Tژj 4 , К"ފ4]*?ͳ&“Us!׋?CeF0LR)LgjAfʮDW~\ْE`O*+dqsQLXdW "5,ԑi8XdO4{B'l:;pic!ڌȣQ`.pfP=AƊpq Ŵ~)j83͞L-s]A6%lzSQ#1%:ji+gI&=DŽ4ʌ# @Qg93e3L[De R+|#AiGV%W.v茴%.agf oTAG bHA ]j@8kY_PX.}A +I4[Aye@k7Ts ;Ќff U+,t qNH0|֬I9:5'6c譳.^.*Nj; ?忾$41Ƒ|5UgXII A TsS=kr*WUETQ0 _YuI=-徔sڹRĐ9+cfʰheD?P.bd6z7ϻ/P :Nnq]lëo䤉lqKOIb@ۜW=0P_l $S[Gp-BZ6<`mTI:0Kž~" Sڈ^s84g /K WF ]3[r=Eh6z*n|`])kbUj}Fs ͉tgRtPf r(*ō嵩$;`ìQ .e.3{xt֬Ġ&$y5R`k/- ۪$/п-HeOQucO#U߃N ~ikm4u Фjf1gB?~dc.N"Jy IzЬJlʓHݢUÖ$&!2x{viJZm,a MZ;Šlw/31sX]5&Lt>;OBWQ"L'r7 Ro`B{H?_+^ BZnG 1ʣ6Hm$C CTi*\\n37XRNk~G +U<xtI9 eZMtN0hqKC+i [S ~`9L3Q:ܪtU!ŗdTsHoiymoo\6&FƝ;BɚX̙ SY0qd[o>V:ɐ C,oʚZ̻@J4'@*SA]&%ќK4yV2OoQ8沊6/nRCOm&eEWƵvKp,0F ֳ@<{'9Q+炕u\e蛟ڸ˶R,1wH"^LLG3(`FOď%Y2b)fI8GN; \65ғvwVݑA/2"*nq:/=VwIZyJV)ԮJϰ> O3C9dl{^֐;B%4΍vpsMgm~j[FA YS6]9DM旃"&:y 54Bj~BS^绖]L\pE'1oEn4G<*@ 9Х"4lsgrdqSF'll0ܞLxhiɝDx@q΃pǣ)v3]-*➑}ܯ.{/={ev;yRyRӤy׎ʈ;71]p_a IB=]"L3IOn`ݡd(.Sba“4 V\TVbP(&1oVL?!E@8Vnտac^낽wuVAf*4v5kdGN{AgcfM2̓؂NMͯ1 Z_D\<"(~7I@%ܒ'"F2F kP ۧACyB`EE7-{`ho TG.Oog.)"}4FiY9[+5r;# d+՞>kr\|jnxIebht <4yqAze5Nߙ`)iNsw$8LwOTr{U뵱F^K[2RK&~g.-$gw/[ل6;{WH}\v}*ҍ pak13୮qgyH\sů5x&9KB@Kn0զ],Az`jj 42' mQV$-CkqS EӵFo.voHL~cy!YW)ӟ$-.#XIF8}[ ݫٖk`׸*;#-aboR 5AKT?Jq]_6͕}1SC 1~? t\X2,_]|.|NimcUU WoC-tsV  >Y\0iTmEvcJ }W'Vhs^m ?pTj ǥ^ odwh; hrPۃGHQ ScbxWn8B7oB/1&ZSac^C8mޥ)2*>cu)ALlsZI`ut2?%CqƎϒ$c}L7`^}"ȳYqōP">&_@><+A(([g1p'NK7$q1%.* uq;G{]xE;C8 )7%6i<%-ZhL~d//bO %ŠFK9iv0Uڦi߲*r@g gh\X_~ˀK fW^6]FⳄp|`74k94JpJ[ˊ*Ju`N81F<*$[m%pHrc6ܓr2T~ n{ 2c]E*M}/. X=[dzBݵ$a!^B&a>Sb\>*Y Yq: ^?6 5b G}OuQ + 2"۬}(7DyO^: 3"(^&7l˴pYo7GBdtHI!2[Y?K{_CF?&9~GwkL hip@EssbN[3OM|d">$~ α !JG&dbwU;R=R@kIEZg0"_ ya>I+cX zX|VrZ[^\Uw~lKKeiF!Wq.T7Ȍ9+98,D*fy:Л"&/ouwg$?+*YFW<&0׾Y"=us@b !Xmu>k.g]ptN& 3HsD5`jBYfH\p`A` |p 9z|ߓ,0XW[VRF^zsh(᭨azK#3ȩj9%4keM~Z3ޞlb0$?K3[Fc+~xH<&mޢ{;?+|t:Vb;0kr#,k7!=k9n)0Fw Lq>r2QNI!=_bL<[O:ͅb!$gd`}{ (Iu 7ȿ̄鄮5*/1d&vS1*'X+ ,tp=ND[r"m*):aݩZIR!h\ :"^JES3VjHgwbpk sWXEDyUu9ه*?D)'A(x>Xj9qOWr)6uyVK?uAmp}/ t}KsJ48Q <3pEZ]x7[>WC<?P: KU3OjkDH6ͫ1!Ax([Z"EYBNf\7L0 _Qh8i"ӣ8UorR[ٓl/OWS?7Тش֖JǎT¸vRl~aO xM׃1@gyd0ia}o3)C֤ij:Q8#Q5H3H492g3f)dȼ!,_p1dy 1}:wkئ4.N~:CWϡ_*hӚYߥ=نҰ7WXhyd/pg/N@i'|bH 8DfJ9i\G+ `8@WCL R3^7,D) C֠{dd'-DS_t©qVa,C2陑p?+^PSHWK7I|>Oa}kČ(ϟKzL&ð6?Ӝ=?G1;YJfޖo 5`H5yznH~ Z xN/C1HeVfO]bX'vh9Q`A|kuݝg;rD"/´IʷT|EM;;uBfuG1y~q&z_H6unĿxvK, V`'gw$ yW/&\sF|T%?QfjoPU>]?V|a8Hqh*NVULoV z~],o//m"]Wh׺@ӥQ@qZ(KnsZΟWFt_yNg\`8&*$ k5R`^ʧMwnwnƵ!^8k<* !OF 0$wh ]6yk ,//rPOJQv,#0߈SUw"iܻv, ׄ97TLK}2"O-lX(hn1"uҹȷR29ly!En9W${SYߎJ5Ű.bt*|8Ev+mpoR6%5%Ha9R2. (|/:J8h|Ɨ`P@u" 2Q <e cjο i 'ph^٬m.$&M?1OG|~U[Ab-#F`H 8z.y(u@n lLhkUa)(Č`Oߌ\+2am9 \P3! *1H^f2ڗU9]rF ,Y&(QعA7~$s Vm~M$CDNEe)[0sTo83L}iν KO-ĺFQ}XyoY`/׹6J<nEV`TҶ!NX&wW!k 1WY:Qu@֎"L4h/QYҗKfH&nݠdaݨ)ߗγij[9Mz| tifSXk3sM3@z{u h)U3@s]<,h ] ѩao\^^}p];nZ_kM[T",yAqPEBTQ}?槽FHϼ"D]nuF%T^"C_pZ 2]| 6ߠq^z:5 fK^ /Ti~1f9 vϒ,)(qNضH?61I: 4nlbq7BN P_“ t TzSd&%!'%ۡu$kd6y=`,+YWVPws U6!#^ׯ*Xv1IwQ-NHʼnQ/d+@qy]d,MRghN$"{anb̎9YEěd5^J#Nhhh:^;ښҜfI< 91t=uϠ3o+,c*ˠ(]6x8VdfF_ޏ` _6:¨t1l`x鬠-NA@l<LfQ+ zT.*4p28b~,׽Vz exZtXJSF>f׊>9=߇{{>]p_ʶ͙gtmܾS|e nȃ>/뜳2[)?)|Yi<)cC{rF|ߐd ;HInmZG;lϪ4Vu!nܴcAۙ!p렴7V@jDɾ ИFX@nH1N 2֠`j<+{s/%'DWsX/V$-`a1uOۗ&^{-/bI\skF[VdB%HMz/L>0!U@Mb^LsVןW y&zo~_j)8p/Cy5%-;{vV > >.q "LC#k.Q,-9`X<}$g YpDq!I28myʭ%k d1[qlc| ?dё:jʰJI] }K(;q΅ Fu%:43G20 63xVodm_ s9Һ w+o!rΗN' CoysDyI4ujѨ`N_,L}0&^N &er[QùOBAE\_èAD@ QQ˞C Yχk4̜5UP\ݖ<9@Bؠ`#5_'m]ȇF)wL2=oLX}GRvlŖ |7C6OQ&-c9<.dTƵc}`F݊vl AΧb xxԹ+WXօe`L0ㄒV罜N{DaO|=mg(YݹUVJjBM7KP՚zlmi,Ax@uZ>Yգ)H9D{7DqaÎ8viK X6{ڹsfH˧5܄V@X~Ef{hLL;џ#s[ p{*嬂/f@_uS M'9w6M*:|sFi M!7ujQ,q{%Pgay͑%yBJZ6ugz;/:6zx:Nv }lHp^kunG&';\zilMY6]LH<̨7-zk޾gs]IaI˷DvU(Vb# ЭbT_%κE#F"{A-N(i2[;AIˬhI|a}&@Qyem?"$>ZmWqtH?ư_lo\^h%eZ7!@ T# ; -PM7 5<.8 -~ <0 438lB9P>oTμa19@*r 4 S@c+;Լ"/ :rr~J Yh0WJwD0%z$)?F]r(;j6fx}d3.fm0Nz*՝=^ #'`O u dH{y[#' ݎ!\Q}݈Md::}gSZӛBr=/-"e̺]y.(8aOClMdz&S|D>wtAȡJrY]ɕ2 ?-`ʪU58,U;ZO)l>1nO OTATG,BChQ:d=R>,ТK*ȹ97`m@哶@R5|qqٮ.eS3nk8H ly|xЯqqg~nw40]?f3M?%LfDClM3BCߨ3}ɉD&t%ҍp=xdcT?Ju4e:S.TX4e,u5㬤rȌѓHj^5eh/qƤAms&ֽhw!%U%kIh ZRԚ,9WYv$qX@ Q-D~P0sSv+45:Ot?}qR[H:/>kD߆hLxCCB1=MO][ :S]\Ad 8M05-og.v5j&X'vuۅЙ4)Nu2V80]6eQ6GmM؆+gDXD^h9~QN8GVʒ}5?r1B&vo1pABP< Ⱥ_ZʯK%J&0,ACi0ez*.Cf{g"i'<^}>H2K4]\S>TXPU%X !S: za˸˭q{甖(}Q.B)("cGV; mzcK F#Ic; XQD!ؚHJ$OA3F):\GD2Љ*/wb]j\^`6 T*4,"l¯i垙C̲ur7!.s$ޯi?? 4bH3es&1,&)O)7xl9`n`ZW{I\3gŃ){oh]/Lm"zZY\~ldּHݏA\>D0;-? JF I5c(K(JI DnQC/$ H2۾BqFPPEQ๶ݢ_q[ wW\5R?;3,6'愾7toW˷#bX^! Of禗c{f;&"٪ר*qN4^R^BowA0U6߽Nu-Gi<{1`G_Û:)](AWtoJwe_Rܒ/_,I\` 3o>%D*Ľx^6{[3=`3c0j"#ru[-l)~@wN@Iy}ś& ^am WeX%ޮЍYefdL^! W{w9&@+}-I` g+Q%KEJ]@z $IŢMU9dYlѾVTB~O{Y0ɝYFq|!KrJ0 W z¦ 6fd~^c52`\#v9/ .Ltj"} b`ju1=7D$x.ܮf'{kjAcO-ry϶C6\pG>Az 0kCDMwöM Kp^M#l(q5K)7 4k@SZ.ITDX( G ɔW \,gylsʧ6o"\&f\QסTkvNqI%[mٟQA40u1YTˆ*x~ .Ggxk%C.؀͒Y_',r&2B^6 GoXY8;c|e\*Z_my|yHL8f'_1qLqy FfwT+޺SeG֯>J=Ν4ͫo \M}=-1Uwd 4 dn氺W]ՇMa6hOq+5*P;Q: +_isxF`e88VEnmq_yԘ*l 8_*u=}= U{k:IIF8&hyY_K:718^bX"tLi@Ծ<4zF(ajw 7i071v"i |`#"k Hr2X*\v5LUD1>y z KnqiKKr-/4ajgxå=C!%+ ͹yIHG>a P|e?%=w,LQIFSqeE  k5AdI4G˸q]3rdFYJN/F9q/QKkAVH|~h[Ɖ9}ZtwNCWFPds攍u#|`4,{hOX2N4->;n6F!٩+nvA^KЛ/,0A7RY g@YL7uBYx,]%j>AyL6"7 4])k~n"avuj$mid/(T]AAjfif}J]3_}Cd6$ب۟!Ibnq 'c6W/79#%f#.rR1ri w%um wU|̔Y뗵`1Xc PvΙr~yCL$GAz4FӒ}AIt-rx8R21 nnEƪWZJ-Ťz㍷>j$$ul1F'glE;mtXi*;Ot9 /7ܶDL&.<؊\XhJ~_ >ZAn׭ -ŀ~S&OI1(ΔvqwaqɩɦBCHڤQ+`N{1 R1&՝Nq܈P5Qէ1YNcU-5+֪{cZ f)b+,'MY}k(xZP uNFC4 ^)fs|R7 ,IxÇ|~.roE~崧ûX{gUM]Z*JQ^Щa}7YPSN|OʙSSgy*YJ]E߂31۲  jy_D3`fBkPo%r1e _3.v k-oJdgJwXWOfqbUԣ(Eo;,M pp}:;Y7L^:rh3CMSkSV hqqo@|&b<5._3gao}M,0Ry^mhK 6@I-&ѥxi`n#o' uʣ+ T,=!O7 f̐|:cHAMu#G0&R b*ȚLC+ AoPB\PHCCL(6[Dz6VGoi=V-"Q2=Vsg_co YwI "]{"x[7O>~M@}\Km`ZrM;bhvoӱVO;"7Aީ>rE`ӴN>9yx9^ cX%xjHQJΨ)#J YTcjBhP,Q8#Eylc9T_A]_UA/k΀}lrsEv(w_B^.'k (]#Zs{$_4$i'9E򄂣.'VɔF-wIPl|-fd4daԟe 0jM_fZ_á<cN]l8Ho@ou5E.=A.^5N"^Ґ_.ΌQT^q2VlBgŹx⒛=˨H)A)`G(O }2&5F%xpkdigt__LK[󠀶CLub!\5> e.&Gd:bŋu9ʣR}$=V я֜OI8-vܺ苨*&grRw.ыlԎvʚ  ׫8Az##f9d."ɶw$)=ȗ:E|3u).-9TUV+u2907[ a]f&j7YݹSe-Jp(v~h[n4F`dZ )TpP-wʃ0^¢K0HݧOvm'2S$؂WI_JݱIC&IuB JWd>?خG)\JŦB+J!|1q܈16a$֠QzF\ʎ}8^3֟/Ct>5?KS J $/Mv;Q|>o` V#4[e(pFavB˷(8Q\1;R*a^YoZלy !ZpN{Ɔ p He>ߠDaq eP'G)MQw{*YƠ:BV)F"E8|ϜTLg5_z4#rQP3"@~l3T;^fT"9H߈dk"=tg ZSv$td#oI]c¦*j<(WhF:[k^L\@9  5P}#2P^·ǯᐳݬCݻH:1SŊӽ@YE8hOD;R_fV ׌keLiLRXrx1HZI`x>pz K>H\>|nLS00;Ыa$X U/*(6/Qsoc^}fBSH;[JR/@>m_j5fQO&khUt&Ss!`m ߂̯q8Rn#4eŧ(,M$OzdՊ`R3HSG}4̛`ŷw)#_-̸ǮB}S͜\e=-?4b~Me :Fm7t"bJ(O{I!h9t2<:z3r;HR#|Sh!#fR;I/أ1 |.nt `BU܃YUGyҠtˍJCoe&|x'Pv@@L[̄CTt,qol&2˅b ; ŋ//,ID(bOTabnRbl0P4Zq(s^ ^6J2v?NfL';4(IeuL}%SÑ+2i\k!#əpV&0]El \ yS+Ka1^,8ܼCJ \2?|A? Nbba?)k6&JrT5ڲO.5P 0o{!?<frXhao:v y_"Ņˊ@ab+gľZ_kp C =nr=ʀ 8DI|ˆ'8\GTFj+y@ӗ5q|q-1hUR*~\`aZ}GdCVCoj)Yj2i$61\}$n3n[f)bշ"ARdxEpDD'Ia@hZ/)onϹʝgNss\ɶʆbwWE8v7ҭ4|׭- e$GU7<(T2?CKīKMQD_h{keG4=0\QߟBt%E=,)G%ţۢX >ng d *U`R=NcC/\8seHH B9uJpVyyZ${^IA}K e Cݚ5/ \WjoSS+φl7tlx:'-Vx{C|)tCcI|B~Ɩ55=%B{x2!%v9`f{`|A_;1E#/XygDWl^ilKW$J\B莐iͳ,5)~blU/{v'$ӷ`@앻}}m5_ vSliT.$ɔ$``jV ?=v2ŧy訌p<`W)ۅJM<2AhSh8QdHi[%G~uDtwU)!p:521BΌxȴ̟kN;;hx+.08Pw*Sce. x .;;F[7.fK1m!Q.;_{\\}vAVTRZE6hO V"!~랧_)ՖkGޣ<,[Q2KWl${DpF|7Z𱶔 mB<>E8TX`+^&VGRG. 2)P6Ύ(sL^?V9|[BUľym)g% Wt!5]Pr<00b5MWFW.ڧ vG[ mT-# ̚"WȰ0S8_m+KJt,6\7tj/Ȼhz3@rU-`.iM=;,~<ԝ>zω\ZoRlD,%^WJ>og jc S ~eR\[@[\[#)js":ǟ;"= ["(/X{$|HR#D+W*!jP?hA"cMv.psTHfJܥsRvʧtz٬o1SDǧ.XW xxBk`u#<Fӿd l. 3t̯49coGhG{MU)Jڠ75CQSD("bS-Wq4s6@rN`{H󩝉7]ig# KP QƧ bqGvPj$ݕMw7P$ J㥧#aqrro@,wGu:S0"_)6Ltu.!J,o<<58x U"k4$7c9u[e}ɑ+8y~9J^/{dn(MsEikyp. xIb%؀"}2Y  O8DeHkΌ<]S`^5\SQ:?DF<zR2hpI8% kc S)ym$ cTy j^8FAlo# ]zcћ;Qe`A>t%-yYf7s1(l='f&֘39D'Of 2/4o@Bȫ)mݩx|1lpw c>MZKCK3"qLXr 3Bhr79vHGŢA[gEE>xܾ V23pv-)5 pM0q6 ;ÇHr-  Fq"[9=L-bT6'Q)IvJ7@lf-#4[LDrsͅ Y&SogYZ J /G% HOL-Number_TheoryHOL-Number_Theory.Pocklingtondocument.tex7zXZִF! 9]A-MՋhvG"uIBm5K]0 (d,ZY3X ԰Rese랊78_ƁS6pL{i5Rր^`j;%ߴ?NRHqy+dI uOxʷBsJ(ci37TPRѺZpA'\8-(:n .Q5i)Y<}mYez Ue)\uSoߧt] u Ro`! $7ko?Xȶު0wxɬ$xV%wu fg|N p(*apPsrn{ HCt#7M{|-'on.9xuC vB b=WE]Sg1O3#dg!Ta¶ % UO2=*1e~ 2#",3ILzj>#96RHjwjvB1i7Cv;t& vHH19wӴX?/N몘LQg{Ebh E~17ťW9k!MNTrCt/R#k2qq.S^rV!eɸoa:?ehUƦi$ eo.|D̀cK'PBONxrRVD-|2F΢ʣ4KּA7 ;K򿄦0ǧVTD$»Zxt wdZ+{]_N!=J9Ͽ|Rwż ]!w/XA#|pR\ ?#c 8rbtݍ0RwŸRGJ2hj&`Qz5'w;c^"(>va,`M {ɍ%WxuhU(fHՇ-jNbdDxt9讶9$:;JZ15b3fXLeOrӵ`(ުRJBLo+魔rbsG9]x#̇5mENcx>H)ia+t8H/*2v6fx;G^I%C%_>lI;MBf=r6_~&C2-ECLdY8fe5Kr?+ k &3ic0z M1W$% iDè*-4< !:XAtk9ZrO68Rҧ?HQɿ/u0$uYąh'/ۓ|5 c=Բ :F*Kuيrq'gݏÝ_fcdqe팭.m6/P]7(w4Wec{cfm-Esck8dOUO;j37 ݙ5'>шPn-A\'a킶|DZl[3{)m~\pXwǸKv5\&B~z=ᗅz.b 6оIoL&tD|}{ڐJ!@u}t9b0ؚ>2fRS74 svǎ7"G ?$ZCFs\%@6.qL~~yl 1|ASiKv6߰szrEu_WL(-N~),Cc-msX|^EFj*Q\'D&ƐlOþb . @_IHvac2yR@DVMRk`|ci+E3X* dy E ֺ׵ #}nzX:4aSf(8轛OB }_C:0#c3RR {Dx2S*c~{hq\8NZ'~ENP KʧsLwG&NN / BgG2ɏ g@ ^W t]?xDӥ 2n,-]Pʊj Y B8\v/7vp8l?UP7XXdby@V,#ޛ<ʮ:8n]#E9 @Z ƀGf0Ma2 Ws8B,n k5-xv辭EЛ!o(^Xu{X4\oy|ɠAȾ?c$~8p\ 9rLK}T\g">oCZ0Gpfqp@N,@?lW#(׷0b ǧmbC ei;ʩ(9BJj/gwӼ^8=Ҡ,W"VG JiV@ _.JI(_gOz>gPf}ٓr=o$95܀ Oww֜9D-SLb {%[{ HH "d aFl[Tַ!.LTT>Bp%FB"*:裘_"jMMF pzaf*BνQ\;OxШ5p c~L8+UR5VÅg䇏 0ub0(28K;fG ^L_4n(#ro0ol3@&cE]qP e_fwNL{ So` M`Kp_:@fF"z=B.%9W'A0j/CAZ3mg@0A컰d j ]s!VpSz]r+*^:o%(/o4,Zbh34^[`EE,:-2 /Di[@57u1'*F ?~ҍtnAm>RFN[_'ҡ }ԭ1NDOLڶ 67kO t,eq4RBzz[߆&i-o|ROCՋcTnGѧMosyd7aLd=դg$C4-hc2F*!(DW;(2ej03*m<>kIjn<05k~ #"5CtQ,~G#b)~Jxn4Kv|a4&z۹eTVv@"LAwaQ(DV H0Er2Kxʢ%Ch4`L`9,oݶn"&Yj.7q# Gk' &c1{2-<NƍE?ʆ4L2xq -Rs%G׏?FSmy 8W$mdWVJ *! ,=0mUxOSav8KǷj+q%'ώ֛vp\7HJ}.st"Ǎ_Q#0iՓ Q|2Z2~1GX T_[Se9*v*tOdfV8Rv"B_ vAvRΧ0$TQPq}%B"V'[p^.\Ϟw8ꇶJ nOj(.U;߸=UpJՂ.#,6zZju)B]g]-Ӱ:ńǑ's0;DW9[\}/+wJaCokl׮IiVst/ZQi[ 8Ăt=1qF4K+5^-hox<h< 3}.~cB75Zo_е3"V.{B{^L?@#^bn*N E lSJ.ߐ*ڡxmC.HF˹0n88lLnMBT޸j {_F`Jؗp!5P1̀T=6lAEaGP~k8.[:i"^z:/һ' C UwF곃MG`D"MQ cBA~/j7uKAZ LJي2,!:&g*2-w޶kKqZ$+tαsfvGS9/dj4ҀQ>:LqmB@9۝ 8insz"ַB(zNbts(vD7t\ZxIK}|'S6~{)ֽBziJ%rTdyڲ^Έ_x@_ʀ! H o:1\8@1馾#f:r̃=`w3&.$+,ȟL>nj{@4]Dp%"\8Bf5MΣF%6˛ V|MW2F*K}Pg\DUgLV6xets֦ksEdD'rSV cdQgbب} W$Z!KGGL"ʿЄ/k t\˵.Ng:"Ih"b ᲼A{d]nj:)]r.#\"Ņz[r@ 0pOEv1*rW7LR!d2# u(jߞ51`Ph [mPaǫ^b>kR>é"o79H1@xtXM!Ad<sI"9|7NG#W355GzItoԟ_VE|,-]l1tOP!2鴩PrU)wU/c_'g3Z&]3J\,ZkP7 ':Uڦa8}W0LS 84d 4{r-i?8tw d[fZWDe1+r'v1oki3VP&l׾^'ގkn5H:r4SZYq1qeP10MEY}|+$*i}B* UxcYYuɍXX?H8 ˦{.C.o*F*sp1A(f\ ,E2'f>Uv AxkLdRQ!?uU6M Grc DdhJN.jO^A@M* 597Ek SHUlv_^}PFM}LޒӉo1mwa5HNRZlQXg g=J/툝>QPo`K7բ?x TP+;A ~J8Mj N|z HWY9j$[1ERv t!_"% DsED&*d{iN$|/qvl L8\1+Rn# D.BIy I=.8۵O`ܢ@KRAa}NbQgP>Dl6vN&)ф5ǦQri^}5„*cp F-WN='SmLP;ÑXFRM+3YG2TETyʻ Q*^//lҖ@*B#YL0'4 IXb1}iJAWǎ:{&^WVf;i䵆,n~*8BMEe'7D{QiHJ~1u׹|t@rO+9-yD. ht2=4Y`|jT*@!_jɆP\_s~Hv_儠t1h`l|:s_^78yҸa[H-۬:o%c2/PX2 z'Sر bɝ11h$4`Oe[Lzg(e*<Z`-䴰Ӏ\V&K L7R7›)KO@C.QuKTȝ{ws4JM` :5-n[x'Ah~OfUIOsSϷ}Vè_a >mu'B0ns~7fsډi4.񫽣 h}uBCD{tXMM kie^ٰ`VjrY3kꔏ_~L,!э~ Ewb%5R+upQ/g2L 4@V_k"m5(!ū@Po!waQowr?75 ,`y)krFK)d*_?CMv83Zߪ{P8.g=j9q;ox~Hͣ ^$;y۝zJPůU 4ҽZ4iD6NspՓ˘N>POQ217ePvdzإGzq]ɳ*"-\%d Vǵ\31n(%n3~hi&f¹Puĥ AAu[)QhcΑq 5"OAe̽yٴׁ 縥}DWJ7kqA%>T'd7h?n=Z ["8(*dxi .,=ٯ N@,l&wi2pNV-w^`d<)чЃ?uapBU$&{oхb/eY2KCǧ] I m'wC,sJan)31uA+e `~=ٗK-`Nx@^2>iI N#o- (x_AJ%;~M4lD]$ ⿵a9WQ09Dz#0B6}MXa'T-.E#{wO8F9 ?! yvnwJGxG! 2:v=N  gYZ T'DTz //% HOL-Number_TheoryHOL-Algebra.Orderdocument.tex7zXZִF! !]A-MՋhvG"uIBm5Ń!7!lP_Bur7s#yZ   7#^7_ϳeUx5-Gj4GוaL(@ >7i ]tu%ʲtyB⿭5HSP8# #ElX|Go4&[k"XT:DÊ}z^ 2[*tIyȸ{EW$A&D}􏉚)r}ѠϲFؠ<]6ځ@y%|*]^fh+N76`bgvV4ZFZ[7&my?Hi,SWXXCc&|@{*&$vG }AhJbUz,4^ms5y̔9S#R= _(UI}~n K@IL5)P>` HF '\l$ -LX|O:7w&7gVhI4PVYdФ@yz}*qkeGiok U1OE,_=qߞݦI)]s⏅2KL{.&HL/$Nm,O Ww/mU s7!3vW.ԁ!^fuh_nucW7![o v+u9wī_LGtЫbfG iDT={j= r*\tEwO5˗;fE@A *Ÿ%AΧqj{MOVxul01u/Y]qq_j`DCn&cpβx^^o+ZMgඌLBiiHzm} a(\NxKxϜD̆fی5Pـ*| IZ`D CGVRMͅC5U*~Xڞk:>MEX%D&-q)ᣡCǜp6`D^ӓ_knh2J 1݉dg< ~|- Nb4H'HGPHq+J +C7 [HȒoAp-+`oe#6RȻ kE{N]uDo@̬pLPlgF.^r*OEGA+hx*T(Jsذ#xO7.W/J /7% ,HOL-Number_TheoryHOL-Algebra.AbelCosetdocument.tex7zXZִF! N|'O]A-MՋhvG"uIBm5Ē7hĸ3sl-do{XPٸwrRBXc<B_c p  ;܂-[[qڨJ#Raihvnb ǫ%sY ``^ϡ8ZtNjcN lw,;xVp䯨(9YC ZV c)5ڧ˓KuV5lNzp*t.4\b؊tSձHT*15d ]`o8o#) P ˴3?%%k6y}fkox ҉n{uR+etYAnhc.f~d;R&x`:Zn|aL&6V33 -K0w˯:R/li^+: Vza9v ҏ!:z<6*tz%'bZV~#fJ T0ߓYUA0?gǒi,tFZp @l(n*K%PZe:fȎۯR|̻+k0B/zŒGV)7eGP i .uܘs`|glؠYSTl4=%Zŀf R z6z4E|7~D(_:Ć ?|L6h\/w<4-i!t \]OF 'T.U @[7GZbBo.A+#UĮ&UW?T2&`RHkLto#nyEv.₥#eXEttM"ҹ6 f:hAt'ܭ%^^DhI+ЛnA쒎}FK*%FBnN{k#A;\)|).7;KBsc%P& iQk [ f}h>Kp/op 6?uצDHº3=dXqQc΋'YFqГ /c (gP`*l70z22ɕߑNXOTBᚫ`E{6wHRp>aZm)P}trm Dc7< 8Ax;8RiSC˪J"U#2Q&1ޒQ*VvBַIfp"-IBi4IF/7J|SlNS ! l*p?4g)jJ|,7}U[\d6kW)m1(45v@+/eHΛ ij.>Ʌ b7[EmV.-!W.K#yH{.Fb:lŁ#uu)Ϡ+}xG-%dyԡ$NCGֿ$̏| L:[B:Gc%tBHx+߼吵h>@*?ul/ SJ"i8$ j&9+Ut _@<=$_xpPH{/H6X䥨J ?蔼OG^@o4(lBwϭ&Sɺ 0zESY/ӝ́Lb Q]MfCҏWA䊭9躷eZ"~"81' 7n< X@xe9\J-TK^7l:$9繜S&)bM# w;*?' ߓ |SqѮ ΞAfY PKZhh!]T}T:tat c>Ix: j5K~84 zVV>cd6`XY(B\A0Pfq|z?qA+-/I 8&x}藕fx0W$0אLo0 ՍߊC^ޝv\ g+Dn3gjngNG񦴯2u'䟰~G̬Xb$XE)V1EwN ~kWǣ9 `0z,ω ' *i3ב~+$pWM DǼ/[0Lm v/upL0JQS_༩c11ʇU1I02*Ꜭ~Jm(PQl-f@k!8nqh7x YBldFq1Hb^#39uf# k{t 2G-EM?L(K_ 0Ⱦ]_N!BjbIPe8-B7~PQ`m遑i(neۻqsV%["/3e<}[[ym'L8[` mTIls}SE\d$QJn  *}"0pSdR5g#>WTȼ#hyN2"ؖGQKg\B_L;IZbpR4wc"8l[Ayr ȤzPvCM>/>5mZq {/ V2ZJpD܀Y݊e7;&ăc_X X>u)xsZs25-<%KI?Ha߶,y)KL{.N^g:%ſy(,HQ/N]M%3:-] ;B_n/,(Amr^'9Gk&h#NסJT+lE~k#t=3B+>W9ʺV%  uFiZf"l_`:ss!C}oKya&:CnUiW`M?+EcE]* 4hY2k8[#k^nz q_CVDq`j%cQc3W .|V/ѨLf>Dam\_ }*ga7G4'3؜*Z-.HȃE)W$hٯ <j}꦳mr 7Q,#/ {KED@4ބʊ4"^耐RNpur_` OP`{HӜ%4M6yz<>ؼ ;f4aOT%im(.oz|cקZN(+;O| oO [rzNuWHAy.LAWB {فVB렼ǎz9=\_\E#ʡHL(zN \jˆ-di%Uʸ.G> YJ2>VTw`K2C*oI! FAΙ߼Q }}A./*/{6oCdWzZt^O'VLwp"}H+(jru bkcLyrt^T9+R \ |ǩ0Q<Ƨyζ4?HO7H Sn "'ylo}2!~,4vN:ؒ٭Ɠ'Vy;KF_T>܊u zBB& c R߸_f(C[Rwu؆i ILKIo,?`~ɧH(NQk倌7e1ElVqY@b7f%IR*{51R1 ODܲLcA^?=k0Urb"I0?YgEf|"+&Xt*BfV\2ު[HنUv{l!|28$^1!Rr^6ukGźG~!9_,2i|2/5`8Rt~ֆdrNp)e$ݸd]AeF,Oۡo֕0á1%9#ٳցʅОWYSK4-mzU,[]QNQ*y58ƄGj|hsjvOm(^A ^-(sXS)BBéܚG (j*g _6ƌa5EoF57\M,q.n$'°3,ޜ!t-$dzodNII1'3CIEm{L&*EZCSREΎudhu?\A7fS'IuxqPs %$@7ιfu%s[_#q,80ha\5+e/5! -.vh'lVUs4D_2yo(uڳI!. [{VXsΨ$)0E0-J!š!-W኷Ϡ1<'A?Gbi3';(6M/æVӋes u?1_ a6Aҏ8Lxc†~dj/g^Bm}~)~^Bw:Ƙbว,|5h8LͰs.=f٧= h'C5І:~b#hcM*H; vdҵ!J3ǿ ]\ WhSI0vz <:w3H:d/L2Qrx@~hsyrWywHEwKf}|(xùA z]^QkJver_`1ov G 3- Sʤ 4\&79Y2f .H, pSTQIx>_G"],PʚhJp qȣmy2"ϻ؆!`t[EXĶ˵;-+ rt56Ʀ>-aĺ#41/N~>g,Nᠠ2~07A kƕ3m`/{z|v,8P8?yf\܀멷@\z(PecLx87&O;еkHV<2Npmc+28!dVlp@@  % _7FD2ҒZA$(WL]}BQϐ?ViM1VxzZNQB d6iQM1 D&?M%O $'L1Po8kS8[5dGe$["Hۮ9]B,G(Ȥ~4beM&/'&^bLWddzEݾՌum乛UDA| G|heI`;azb 1KɅr"; hvx`'Qݼza&#)^l" =& p;A[@f )h=BM'Pݷty4}lc0u&/q4 ˱%y{n{c){@]մ_5~M9N^.^|hVu(w@n]]dP$@ {Ą_A׬j@+8DD zT8>5 ?%G9s"`w|Sm(19eśٿ0w3z& W[YyZ6ƨ߼h>*75td̼#;8A.őfWD`ѡ û nx< (.@2~;Ŏ2V-*La%6@yj FRS?(9/Bf=bZpƜWȩ=E 5TT)ؖ sep}V׷8WM)w 299 -cH+KAD3vbip"W$_&`=yv\ kϪe "KńǢKEzNbGLBGIc(ACS~6tsQiW5>D]YK}tK C]BS-t/ ~C.<ׁajqP$&pX WT\S,:J$;C jģ_2- cȁ^$K>4`k. :?&~ZϱSAQ:}}RKKuUXMl^,+ذ,,0gHO sRIlNG8{DTH-o6MPT+H.,C]js& 2SQ)^0Ao*, gy!?qaCHǨ1 C)' K"NiR۴#,㐛;Afyѷ,Hn[[O\Й+ [C Q92$~G2^#Vqss[KXj0,.D@Zt$c,\ďw6aj&VTbp2w e:hX$oMl.X:t]_e؂J :QgYZ2?vAX+p(]i93%u3EfQy\"mA3'xKUﭶE1S}dW'-Nm6YBhJl#uOIZ]d㺫ӺM&O)|xƛȎ]oY{ZKȬd Qh40bS+^QԬ (1OE5 0:+mc-1)" :|"~sZH+9"3:"$D*QNgݫEN nP5XOgEW9#ܛp~1 #& g/ !D s 8t`Õ'^i\]!*F/T ⌯c86rlz)rF(/2v:& ń隷 wI~CӋr/A54.)XR`δuDOǓܫÉV) z0j"n ~P{8La@$Ua0| ;5j1L؞ ޸8:bbtcC2y(QXWyL PX곊OYNxmHXjCYڼ mᴀXceCKPImkM+F|`bLgy^]AS'Z=3}~h׀JEzM{Q:K.Fg Snb ,@|ebE .ZKHrc~Br`}—Lr+c4_)|`Z^L61Ccj[>̲&EQ@8l\CpOϠDϒkQ)_P'fsߩiQ2wSKŧ, 5wG?^S4|n:LX2Xv;_l}́ޠ5_ F.vuUBٱ</vy\~D?ش9K.]p}}z6w;'mV7TɊO#pө]^M}z %Gc%MUL7^̴(윾lpȬhG@b#z` sPv;HD?mրn^KِNc@~MĿzzGv/&Ads=UmGu8kp f.^ ƿJ`Ylr'6 D7+Z)#7pƘ!{KHP#ؖTgk@o; &"~[Lnر$j3ؓG9Y|PK46<@J9g.pzyho>z$r4 (RF#yM~h&>2L/]c̅%w޷dF$Px2-~ y7v~iF!W̴M³"96j׭y} i֫O"m9^dPo׼sU ׉(;NPՇR}P2R| hu_䂴Q77t ėorKaǻBL@/4m͢)=6Zδ;e#1+Х |:<~=;;VLB^a}Ȳ_ĜhLx>2~v^d)I+@;CȃH)Dn|ÐMD`;U/X"3^?S/393okI,Qc5jS@ on3 9n"C,8qymax)|DisgciAV%k%W/\\Xid֪g_.ۜo`L;IK`TK|rZ sdal֫q i9+/#aߚDP3H)L%2JPx#y$ =cY5EexʀZ=lY@(M{t`G!Smoq U 찰6M "YCԨ̍4B?ĬSUVcM'4S0qؽu]B8Sr漴Wʔp2>I{k ^z%>DKvç)-|k˞95E㭡G&N׬FtӭפDiTɚWRosFa ;bv}c^oo8CjNRȫ|8N+I l;sDTS]4:oʥ-yb1G|%\{ngQ;cmcAv_nnebוhn Q/K K6e2IӚ{WEo#Cvwϱdw#΃##Q8衦L DBW9n61o3Ċ9T`$ȁ}$=A$ 9 QU ׭ wa37OѺ E]xC_5qj}2,ŅsbV.;C6_LO\ˣx*eصJRL}1'v ~e]kI/!mrynss6C~;ݱ +}rgXԧ}?,q36Rܹ #UI9کnH>=po:< c9P6r~!e4z ')F)w[oG'cJ_`s`uGɩ6P52vs"|y*?NDo^rjՇDq{7cJ|8+/?ACiF@?YG I? si#(aT։vr}ŌU幙{{LI<iHljLXW8½ǰTBoD5-0.󂰩8vBϩnL ~#~P!9qb.8.W91N|VeAx:wgLl~OWJ}Z:#'I+5XEr AVkxAs@GOq?;ih8`Ji g9[6RI7;QāH@'Hڙ.Ф3*;܇~ KW:A_fX=ؒ ~H^.e}bal Y90uN?)<$ %~ U!,P' r;fէZoןemSMJւo6RH߿**/$K?)afBP@F }bH ڿz<=.ZOȵaT-Ga tKĖoedOd'"k߸'`(ʾy|?dY4/m~LWD-1JYvEMh6#J1:˔f2n0tN(7m53$R9vkyV,(ќ@#c.AJyt8To;0HqFZVp6awkZN+,DK@* 2CqCT@'Pf!LꋾܱcX&YۨdzVQ~,vdv]gӡQl̠Y](]@^P-d^"#l)/WΕ7ղL@6޻ݝs:{Įu<].l "gu1qkI?sd4֊X;1AW׃_ɊUsK%W`V`E1 _.}Nwk< f><(8O(Z">;Β1v 4 Uc$3:{o/!yGbA+HNjT0H(?4h>j36.|60DG5-n$CAX*VB"+(F`sS׬U@qGj)zUҤ L^##l 6{l >|Wf>a"+IB1w{e%L!dmٖ^W0[ɾr[_S_d3~GDJY3,%bGs| B?+hxge覕|3ڍ>bNR*3zGށf@ B7b )Sءs{ P v-@k ~dsܚ_@ }JX(@wP-I _űfivp 47 U,GUNh\d|)J$UKkMC㱛 ٱn>껾g8gg/q`iִڧ~qOijmB+3#Dmsn^8i_)tm~|R+F}I% #m?76.Iez\<$4EKK9:d+c cx~1݊78{qHX QQ#7)_;P:j]m;4嬑:㼻p=DbQeh!|CK8Ʀ6(D=j*\1C$<ȳ㝘h1ʙP7$n ?3kdY?rZXSxE{~cz6T<ifSIN(b1Wȁpu6Y˯dx*4Z! ,6AJVuiJ%}1Y C|ҘӸwt|X G)In-Qj#S> ^;1 &aF]AK`jYɤ = d"%B#8wՄdܦW:@)V.^~xk5$F5XKZ=с7c|_*632|R+m}YL.3.)"HV);}In?Eˢ W׸rѢ,+3oW_nJ'|Xͫҗf ^M=y9`) cF5CUa'FX1vvR>Ez7d) _1CGO!xq={M5q{i{I@SWɫ! }oc:S']!Z҉.d͆,?*#F?bEyZ|)ֹL ӟ}L?2Z1ZϯP뾚 Y{1* 584{Ng{M[$55w}2" "YzTOcQQqBqڶUSJ!ۢ)Q'9+8G?ZB b1P=q?lzR t&]óuW|02C gaQUlGn6g%K紥3aW!]|WS,`J iks^?~D 7bH59t:aOVt<w%X/ 0 /tP-Fw!<@~eTAo# W!SRCoiϭ(PrkN@q.!Y \Ѿb7VF~֙"eٓA|jFRuю8OKɐQy:#צt -;s{"gp3!zKxH͙]iYynK~|멐#"4 ;Jk/ȶPk/C3^bnE0'u>{ZMϜxSXPKp6La&kbn#vC%ITI;L^ue&r XPL! sO7l8 ,PYFv'P:;08RĵkN=-dWZܜ~{%b6'D%! 6C'ɫKqKp83WOŖTYr_dmme(@`ʁ F=-G;]t!G95 'p z_ݥ($(r)ǟM7g_y&螖x꣩q=B`sլR1]Xzɟ}˒v$>|$+`~5ѮaK}pmT!ę%c۱`.Y Xg~A{|0kw7\JuaT'8 `f 8Pك٩pi)۞(XHb YFZg`NIEDׯ}! 15l턬F b0 Ph7o2exݏK~KAJ|OCZ\窽W 9XWQO,a6dtRQ{HOO1g!hs]?Z1EMZBcdGJÕ2Ϗ O>y8LfoM`#6zr$l󌱣,z3%z`ɐ״]fSJk(!Zm1 iST pP~PQ5qb=cm$Dea\9vv6;礕OH3 #fO?4ܛ?Ir(튋dg.sdVA k}m%cj q_xCP t *fQ Uh)yS1l" ӻ%jńcc]!sl,h(4uq8(_Tc2#?SsKn>Mf{sQωi kgge!S7Vx'-ԞfS5t=)jyGnRwk,5݆ CM/ _ rS'^ϫ>;))`X>[|a`2H2J{`Qq^;74iIߓ>^&8C^/W.9-Ew0KܤY| jRu^ACdaM+kb܀~T>'pV7lt^Ƅ=ը/F'8>nQ$ pb "/+Pq~"tZkR1e^n>'/YN . Qsdq.buXֵOҫ"(/@hy ?¬V?J9k@ qа9Fb8T0Ctr)°P$[=shڵMriQ>c[Я 7U AT=X xkGﳫG6-IAf24m4KpʚoXȈo' z90t^== QfD0i\-fƀLf>577i0HFmʺ|'Hb0i`1F̠pK؇U U(}0C=ZS7{IJd"cj+W[N=Q^%U?Y%"~8I@F .[s -(d͢v>Ȯ6ATB"2E`S}$SSA{| X^ܽ2_4u@zOL[|Ӵ5_y ևa (?9tZXij)|BB7DLd&z+&yD-DP2X3[-W=bWZؤ {X5Ͱs劫9fV$_Ǔ kQUY <ns7nh%3`"_ohPfn|FPi0%"")=@VIBttyh9ceZdqqXr ך> ۍq6wY? :Ԁ7m\(ICޔS!Djѿ+۱`8 O!`L|S FA~؆=rxP+Rbz!2[x_By$F7U083rF^ϳauRz$S@qF:g8S& [^nd?(MJQT%G&rt@*bL6/oE;ee ~kD50 خfSDcrV>aY(5XXnZ1xnkҒO$G B [~z*K]cӿdyA℁y BvcIrGYEקg/:JCb֤~P40ޘPuB[ .1Iv?_6.&2$rs5Q&sE w<4f^s= vS֫>YB vm]Zar_1:=5xoKS=-&WU8?47j!<lF;Tud_ D mJAZ~bjll{,D KVݕ~{Wram~.m@vN&(GYKӢKbM ^})o NbэN BZn){+kbV;鮝Y؁J<1ڂQG|aN} %:V0'U6پeAE6<6PqX{L: W!?:gR3u@&ɥ5l'^?Z2ܜ3:d{)nzJ4F槖2`Y4<]Jh:/]X3)lncwf3n09yAʔnՖ'DIU[<6V=J_B g /v7 ' To ;Yw]bJIkCa܃H>CCn_Pl;m*kk!+Zt꟭|]SfN2,&Nt Q.Д}ft6Gb5E9n+mqfjX9^~P/8$: o`DӰĈKk&xU&tfh\EPP@T+B~\TܑGь8 '6!% J4d*%Vro▢ΑHqr'mGehw gJ+ly">z ^W~f]tOБoϕG};N? d9n<%V͕OhHx.?qwY[璂1(V}WҶ25t6\.y_g逸F*G-=z¼:,/1wI,xXh:]ǘNG59_q4Mx1vr`p?9ScH$ M?(jߕޜ\3TUt{#ZKz>yHqPpi=QVy8~M䢖*%@yQxp^WL3-9bkYHQDNڳ1%pΦYnk-iBLVj*Z)miEIaՃMEN&+Rn-5c>؁EKsܴK4Os]}6sOe`8'OlXhD^"}kQRlm"%F.Ke^7HFĶ=(v}@(e ٸGiLraER?Di}I;x6*r2Fͅ:4U|`> ؖs7+Tݰ.㑁l҄-A**&9~QUn1N,=w G"{"PH}4AzBEs 9@6f UZJD> WΥHXt<$dA 'ɤ FZ>WRpe21.'.Iz.Sr7v]T\ڱ W2S,KxUpdYȍ%߫j:yC~#e D -7O}ci΅w:LE=%NR2ֆ,x]KQY3Xm~iYG?N6zNMIȧс~ASl_S*QB?k;(f!R=&Db'f_WTu;x%`CpK70|ڿ454|Kn/v$cкj #5*⡊y=c~ a X5gi Qk, ߘfGɣ9XHJץ#d\KGTrgqV0l+s1A@|o+~M* Wmb 1WfyדNY]E3iQh-%+@1 dߝ,PcESR*!RE93'|tr' V <ᕮ!p#{_GE!u袐2$nyf Q5 _M5["nʉ$W-/ȃ5‘n\]^ϙbK |1ӟ[C#^iɍBV7IP@戱/˞,ɵnĵWjjMD -ڒ)NWmLA9?Z,HP\P?Lr@:B-63lHN1 `(G0:8[V̮7LYƔE`ZRCk}ֶETgJ_eۉǻp5Бe]<$+U^<ʜJ)?g[[[֟埡%mHCڠO 8qA󝇫C6N3e *ˀ)b@ U =y{J,#W(UlHye>NN.VΝ'&(*;BA|wv!]cF茊za<t;Ba2ez!cIFgP= rށ2Գ+,dX1zzLI3r_S]p"wGmh~PhK.¢qгum`VJ)!gYZ ! R!"/?% THOL-Number_TheoryHOL-Number_Theory.Totientdocument.tex7zXZִF! h']A-MՋhvG"uIBm5pT$U9"+7n"?6nEͯ:Rϡp-u e{L~ b,[rsr={( :_ȣv5o/'jsh` j E(CNIV3 /)x)X!"^M.8t\(z=i 2o'EAiL =Chc c/Dg#/Rqm5RcгF#0i $ 7]5xĹL=k&hcIEGk=౵87 aSgozf)̼Ldj|%6Uqk(˷::no[ΛT"KNJcIkfGs$w VғLޯ '@0>j @K*$5'L_[gfr.o3 #~+f >Cpz45~#+$,&97HF ;~<^⛣aˈ[򜔚S+{=w_KPEZR˗Y,!*Gej0]gdʒo+q/H5~{~~mV-Mb]+g*-uZA/L!J}KfjB;3m/Nf]{gZ2cbak %8Ϩֽ:3h t̰ɿydxj^QZ~쑏=.UhwZdKR3VS赬r@0?Ab 9eCZ1f1 g8ks9vp|_Y:TA_O^f,l="a>.b~Hf"*dɉgeh_ju-.Wq)yX=L$vT5p/Eη@ͩt`rE0lkI"'B>.SF31ulI4ǪP::+gg@q6bP)L%\զ!n.T%qYxևщ. qT8ƴ$ 78%|Y>[S"Y\o#:c% Iw]@R+kixfF_vX(`r+·KY9昫 ,S5pͅڏI9:o%qXQ`@.Ba 1`VE^_/ΜJ瓍A4Eurxh[/*ސɜ(qnkX9o\3h4*S_'~|y?Sz[YDѹ݀:f*HYچ ʨyKgZUlY' 2fjbZ .qLm aOЁJ=$j4k}i^Íf#O'5eh/0 w8V> @.|BF_ӊҦ%#]-UB-+dX/zGۏp:/+ 6r\.r6 /I% DHOL-Number_TheoryHOL-Number_Theory.Prime_Powersdocument.tex7zXZִF! %]A-MՋhvG"uIBm5L' D\L.[IيyL x~ !-\929'%SN.vEI3G?`&6g4U^v_vCY8OV_U'pEW9*>AA41։d d1ZjŹVo r^Sr#i wIHXbXk#3,yցo鍍t@@a nuEYLI+m?$Rbv ׏fkԜI'VxƉM%N-],:6zT(LV'\8 Umq4 ;5U$D'Lpj!i?ݎ}`O̞ڼ8i~.hw}^DB/Nf&N bcV}X'~7+M/7D37^P="D*W~WA{+X(Brc*trOi)/qa~@6WÍf1m,zd%1l95/fXLc8YuMaa-svW4(Dɹ87BeY7nt|j>o#yȊʥ`>3_pI\F7yf*,nT{&鷿Ypky6!̗S\eU",y3Q=m E  мHQBߎE ~CRKB}AnE;=M)Z314ߜa"uQl&6 0:\$хPb a;$N:B=_0C/b yHv ™$ z4",rN<%\pVje7ý0k{ TtXI"m錚!KRBew$8S Mi JڦWfni3.  5x36%H?>fn[=_jk:(yye+K:j[ht}luW0c)hMz&qpSP6RG J}AP zaX ([EQO'NꬶT`F}mlo2kԁH+35Ȉ(GF8ةOr6϶1s:[TTp#%AȣMq51T^>fohy P8BlQb3g5!Vl1nKBP)~58I~ n ~ /yքvL)?>V"z:*IQ)c)DŲ u;\$3iuK'Mrh'TAw nl_421b奟a[!R4JX{v j?f@p.яc(Ytֳ,Q|ZJן.yJ6ܱiK_ʹZ\ChKx^`dזPV\5(E/+u|gITonܽe[/M\@DKl!4 G]/H>( aCK k(8Dpmld Uf4 D'Iũ\2eƾ9.d=CX5[[1^⧁ |uH։N̴M+RB Π(p̚8@%1Zl#Qˈk^ d&-Dkq~Mf8ǒ%KqTB`>е Cwf;XOeJGS-mCwiDPO<֐0찓ǔS1*vz:ټxec,OQ |&@aGmU}PϘ^.$3 VX*eK䩚IR˄X,'U^%1Xɰ_-\'uM+_ bR6q~\⇽b*4!>sM;Um Iυ&C}.z7]yo޼=5UHIn*A+] \ɌPitE: ԙ~$| po):~ᔶ&3FD Dabi~ꗿc(:3|c} lfV|~o| &BJ`ʮey-ŋM~}Xhs ʑ"hBdy}/C)ސʟl7D7< li^2{(p])_gӰ!MX;S` ^O|yb/%kv~96 + Xc4H=71WKs?i)LpѶhָH[Ho{0rOͨٔwka$ x3"G*J> $nSVCX 0Ufv{ }4u|9oy|$ťW==p3%s( `OAn,G~fknT j/*7ΥjB_Ou56ߡKZԄt;q˽Kc#-X*.Y8/?\&:& 4;). |j`UYeNױ^y4iɼx`Vnh֜trYEeڴjsk; x kDc\hv]#5q`neN[A)a;kFAp%߉ `'t: :VJNU#$_ 1Qs*PI-*2KUaVrt ZӖ:,\[$Sctsnngo^E42fOrN!' iA] lʽ BRaOn6(Ǵ9d/K &FrC>PF Kk֌I -1}} s4+b.z~Fވ "g~J q eSzyfcVx bB,Lfw(GC]IaEDAbhvZ,\ iȒȅJQsUjjQvq1P.wܩ5v`w4'Ck+;Y0t9ׅxLzVҗq0 M2?*=IPl MJ/\_ĽB69 Rd.n-t};ݪCʐ EO[mV0FXǞ 8 QKsa Fx&]{s``0):,t=}; M '#5AYE|ԒCl+ɷ~xG>JbUHt 2^hF\|D9v!aljjN]oQҢb4O7f书H$-C1{XV}P*]Z^YwMt 7I2CGj"cW4xa>+6 k(_X;4td\o @K,8 H IhT::d}N\lS'y 8mkN?A`w$h *AT՝d< 'ǴtC)fMIv)eҚ&Hޯ,HxcnJiweu;Sn s~%ɶ.6"RH`WO81W-FvLn$P;?iҮ]$F nת.ѴoTJb ף3UI{я\: D:{JAYZ z gl?pZ! 0/Bxiۙ l.%C t)f Հk#H#Z=K%"?t ]Z]:МԚr5Ȭ:̦7n[rD^cFb+a[xrJЏ#UGPCfru1];+3{h-&;A S| h!UƛKާxPϫJ AyRnў[u}4 hE~q:O Q8O,Nurٙ7$~tRn>yFkc5]Mt?F ?Ityk͞eb?b\Tcx}PJhκPL>yݎ0v khlX|5\hZn6E]ԙiwrbpV}^TsDV'{㉪闟ׂCEW۞?N94{@J0WzoO~,MQ;U6#v/tueSB'KX̖B3o|$.=!XOKkQbaX8=͔eYZqn?ۜ Zu9؀}4aCͼ$qsJ Z,;ktMtUITQ6v;)Tb7^:-knD,˼(.]Ul]W \(o.O~qsQ6 ,[Ӡ'ӻ'z5 O(JCb3^t BY+#ľ@j'I LkuF}:*O7tB<|׎.ҏn!GI~n9x(y6[Q3RD{Idm*{5\XH<_/[üH %ie~|P5RXܺo'|cyTvk:, }Y~us327ZK|z;|SjМ@:[pϛ(WЅx%!›%Cӛ'%Q. L9_]fUE-?Sf +7rkRcydZrs;o[m[šu $cc)B ۬ $`dŒIJdnO85G%"Kt<.%~+mleJ{^u~wx^5@ljYohrH=')[ w*04E*:'rK[/@mp\z] |YZ XTGx6M/aI@&S'zU@&5؀M4 rlM~[JgU{{)㔛#h<P53h\p9l~T fuXK0!dZZ9<#L-XFuĜ}+J-niv&uBT(^K pR) m|=ZZGpj\}J2_q.Oţq]|e%u%1̜/γf&'M|᷉(a{Kw$3d#3(~ːm%t%Y{;aXؓR=fDi2G#~ {ך;q8$Md;7:HƗJW-3%Y{ՃΝ: .66A.?)Jf/>/+0j^2事+0G!ڻ| l_)us{  bKl@7dΪl84 n/ 7`_ɷ,|[(^SBTd_RMWawp0G@/0_g*: K9Y=+Y ,f;BR' A^ͼiZw/'zB^ cGP̲18XmȜo6m(';\fjx5Z]/fčrzf$aT '_{4}  [_P٠:G%jجBTWAidpOl@[ˑP6wp*/352֗XN.pI0^o`q·|k䤉iCW\XwCPѣ@~ƪQ#50 ݬ/e&P`?p8\SY "Dh)Lc9s8SGV=^+Zcxm Iav!yUNKa^WKkv}9+NmM%XM&:PvKIPL;Ġuh{( COn,w@|y^qҴ -]Z NX ٰD5(@{$jDfaإI(f\4yh7i}34 "ެ4utf_S¯z⨍۽*y)OmW'H^ŀn2t?/+ -”[tBPPm,q}LH_\zx(vȽ㤇C 8ΘuG 4LU:Dc>C^"Cԥ7t}f[R)b!jBd_b=%(6?&Y˷~IuJR/"ŝ'?PvRRpVV;b rgnsiWCȑTY<D~74aц~Y[ 1$9;VR`ˁU7>թ5{eO_vZ(@b8S(ԨKiڎ!4OY,Yc_mt֘7i95%9qt%DZC/2;ʲ\z@^{ʾ8(6ˌ$`10amQ,V_tP2~i 3$$2-(s3SoTw<7y9=(rwt)/@n5Sz箑Qa>'<rCr $=Up ȕw#fdu,9E+huCe%pv[.s7t"->ՃB3q'[7G=j,|4\~V0 '}gט$^4eLBsf*iь-vݟ'RnW& !^B6KD*yƺy?)"8ZN9IgN:"5zh>.[a?UƺPOR˜ AAq%6 ،E/QEQ2rs?X9u77V?7|Y]v4*n&.;@ |U EXdHTouɏmnHM`bt;5٩x s9/<]+sDudx$pPlz8MlJ&d, }Ɯ%8 ɺh{0]QZAET ?R# D(p\mwH&Lp[ ڀ1`oq 窄ӌJ=P.*һAn0H%SưĶ-BT6K>G?[vI T:158ڂCQ-XwN(-vOERvޢ¿ZkA?JLhgxmZc1 NV$d3mقI3Àq(Z'؛j9mPS!. 8nV6:AH{LQ΅^IXcGI%Ǘ[bbnԯ(SKLiV>m]vXH7*}u"SBWHP&#٢~CABigOF$]PY߉QPFSQM@FLΰβފ ?8'nk &#&AZSB6'D꫄yДrȢr,KLSm]]yQDV:.[Cm5;`КDςH<vde]zrQ[V;=D@9Fp+ vw.C7񺩈},;e^{<`j!"NJ+ m1мI[0^pE$~ӤVuuW%ӸeV~ώ pIL#^;W`΄!= )0f3;Ge+{Cr0ǥjڿK  &[{RΟ q&USN˯70'}zW::%!73/^oZY^R97)Hi]Jx3, |+;/xMQ"n$΅sݖf%2D]KzٮPoj`HSD|r:")@\Aĺ8~nQ rǺྻSFf>_0њp(^"'"8+ Dg1O J<2!T}A{W d^rr=Em8S[0ݞg={f]7.3_B?gEpDsrѹ1<扰Cfڵh ++/?s1#Dz`MO!r&1Ѧdc*A8r&zV%Zd;,*;y:^UNG9"(m l\/y *At 6m6f=Bpx[ғHoFh1G6S_!.M; ژߘ^SIZ ]ujaa`*j}Q O'b0S_% !hJspQ?_8{Cne4[#\ћzLKz $Be=k6C(ӵ"+?Ym(ajY3x`ڥ,t-J]j]lAsJN1Y˨~Z_-*XUHӯk&j*e}&JPlF!9 @_kkP9 Mt{% CpPhLm(~:)X pE]HMlhFM[br #71Ҫji.LIrf'j_I4 ^jPҔ n-zjޮ6UB­̆nj\h|~K+MZk!Zi6R9lRJ_2Yl?BiiEe&&n4.(8x>C0Wl-z=uZ8 Mtknj&Z$.g$ 3(p!J⥯^8L ]#?B0Ȝ=&7/=9LM}IYFUԧ|r5%v 'Lj}i-w8 O'Ibg;mwQ"qޓ\'O >[Yg tؕS6Xyh/ yfvFI͎PJ̚ߪr2UB*B1CQ& Rrkya0 QEE֠59W y#8&)b>{Ɛ`;)n#c|ި?,J0[Z% 1Y? $Xp7 5Է5_jeԐ#Ɖ'ځԤ~iU"^omuh5amd xm1r&: kp;˞m,wXk2g/5U;F;JXݞ|Wfr<>91hl4:i^:(Ugm%*Jul ]r11"vǕ.:~ˣrҜQ([I:0=S:{di' "G>^/Hm9npdztǴr`m"OB/nѧ${l[C~6]S5<@'{2MiX_0mjXvinG S'g=NZDU M{'"DA_ez\PZU"gmK?s* VH=f!7az%(JAN/pw8>qsb=zlycK})3a M!BfD,{Aj_UjXr#E\xz@9kP`3[L/d)Ng$|G!SxNv*pa ǒKOICbiV%R0Hu0k|i;ʥ%HAh T䋪qIJ40cGo:A"*/%{`gז/,e1~};>dW+DdIpɮ~kE<#+B:A{ڢ9":mn#{J UE|Xg%v7X֫!MzLgSfuod.k؁O6؏*_@~9Kh@>3;EpJk8焀̡Zb8KJm: 8j0UA4}kM-!kվ}FMJi\ALv3~.h9؛+T b}K=LCcAT}z;5ahp G11)E)qyN1i pfTƚsu'} wQOw*'JΌHfvc*S$in't͖K % ?SO\,2@jT8kA[HI8syOۡxIQ#CoN Ҹ,gH (h"mtCVe/|kl8*lf9Msq)PNZ"qS*[\ vA* )BU t`NfMAέvc;=2A^^֪?p9 oxpcu +BXى7.ޛylJ'A IV~@9{ekevi['=x}(~Q&o>L|0Y]aD@%{ _{,#&$8n iIbb>]Ȩ^|{6KA}'U*\xP)K;_{LY{:nHE7#oJ. Jw1D!!Bm1{ɠYorMd쿁zNtJ#c\yv&9`Yȵ?Wt #(Hmf4i߳2D=<ϗvpG:Kʱ4- $V=`/wHzH9wqt991 N8( tmG?vYy ,Ó*SAo8P:w(`I22S-LC%|8+n͖y஠"&ށT; C= nʼX]`Dp6F|aqLRuOw 7u(\Q)r8䫀YfPJ5hgp?c0,#75_.xǐ9Yrl ן!<v 8F2VK7iFc`xp/HɆ{ ٹy\T;-9bޜ8|d1<8Rq k K[N z1/8WOq5vEQ$q= "1 Sq_(ߝ`4S1L["e}{ۣD` ϶OۦP]2u訍;+1mn*Pw9^6bGj<՜:eҴ(kT52C7@ IN9e3Yy]ċ~ \ j<Ǝ-oiʁ33^\HU&08$83XDf/;3(^W3GO[ 4_o ށܤDcѤ3赝N 9ۖt627JkIQ- }InY@@;&֖dp폡N(Evhf?k,1wⳋM!\9P =E2"_w0^kSMj2@H@KoVlQmQucLXFp<_l^ u#dm+ᝣ0G,?GB Žf PCݯ$&gYZ  f/?% \HOL-Number_TheoryHOL-Algebra.FiniteProductdocument.tex7zXZִF! "h]A-MՋhvG"uIBm54h l@zgѥv#j"tG%r`^AkMn;@)b]ys& hko/|V gmr8ҦgGVbd+fdkI8CʋZA;dCC-tC s}ł҄h|E<9 hkg%.V7T &h}rA.\}ƾ7J*LKS[ZluT0VӔc_ZO6<3B^`(eى`7nә+ico'f1LCRc#iq_[E+:>Bs/^:*4_xǾ5;L/[% HOL-Number_TheoryHOL-Number_Theory.Quadratic_Reciprocitydocument.tex7zXZִF! !]A-MՋhvG"uIBm5堚uI3-0| kuiŤ-բd3{Қh; cZ'ORokxNIpƧETͻ8d1+DUէ/Lc  }sNr7Q:EᕡW(A$kstG$'on hS`;SeaιQt[W BdO!NE-!S Aw瑎78ŵaiZ-X7*';p-36Gc9lCAZ ,1QoL6BrChYzC#sqE )`ot ['@:z3Yt%NZ܈ .T;oy&&@fϮ-;cNsHH$ ˲S/@Vvܮ'_T%p?EPʀ8ޟyRr|{8<}1ڊCuF&;ngY8"TuGk@13L9kV@<Sߏu Ǘ>"*ލN D A[P+r\ bՇWK)Po"tc>8u2Æd1t@Fn %bsxӋhrQGxdE (х| b%2jʚOdAbD`ҤBq/Z5Quyqsy9$@on cn~KykڭyҜ&̍K.$n߯Yv(T1`%Fv.>ypmF݄1.CͿip;tA?b0nI}ݳ0h#g&S"B}&GBVWLT`X6V})VMMMBLgLr.!h~M'\Jd``[L=iUyz,$w^zUS0B=nH3Mk2,X0~fzknC2eF]&VTπt}6U_ǭbM:D*.qE"#ǸZL4vV -'7Y->A]~!&N0BUC,.vw}FrGY! OuUZLmGJ [xS@(O3 vE\ ~wN4tq!~8ڈg=~Ɏ{ĢJ*CP 8 %yK9dtyh\R×-[k|.<=pQáXB'Oyqzaԣj@sP;+%>/sSp&DZYDG?pݹzf/ݔE["JV {#F)ȿւe\#U`y!cUOnGťl#Jnahj*Y QwuSG/ۙDJmĂ6hJ6p\=+r+ 'i-m]0`Ōbx: \-B}+T"pxR*Ut1ɠ[\"g5,N#i&mrwq]oMi<hIv_!g~pZB(#Se5*D]șG!XDR Hޡl*]| x~B,f;H~l,VdmYi´Rӄߤฉ!f,=.ٜ|YjRgY t^[1<7l4YI?ΥN| 0=ݨpfuEQsz)OGm"|ĤZ:~V r|щx4s/ѩ=d@޳ȯ00"z?e#W2 1X,I^9NLoj )rY\$-ƞ^/bםֽ uOJ8кqjha%GK-p8L&z!& ) #Md+D[<7ƶant{ևH8JeJ% t ڢ rDŽOmP<1(r.}RT4#7_/ ,\͊"KC/j]pqD^9ȴ^3[tD3[SQ$uUրHRD9JRJnv%ϝ}AJZOIXvv1nƀZ;I9f!vSR-݊*t߇ϼՋSq\ $TS)Xy=nLz[򧮐šGjdlSq8'޴9l.fGBe#/ +ESh\Ƈ? 71(NJNk(=&J\R [7?`00_﫽Mh- 9'I3W@xPWg`anHG%p85*#`>pUNMEwyu4v!V5$[6⚼E'%{KZR`Kŋ#L#A_R]fe?jWQOi!ęiOo,pjZ&Gd]6>E;pw86MlQ*ߛD??>(~C\#]2|IC,ɞ,Oo>phUQD۱ʏ"R!gv>~DV,Ǯ_qL,. oI)v J/ৈoL$}_HR{RdV3/hK@EލEGy0"Š~n¢*$1+7afT8 90 :$2l$0.Y*:u  hm+$c٫-$Eiَ-H)RnXTހs1G?&|^XOٝ"XIK lIF Ҿ6d"M<]Z)2ɲ(6>%ۜVn ʖ6;㺡au  ʺ1&D7=!3}PTdzA#O$NTEHLh W#*kֵrv?[Jߨl? ROymX~aG(m,g^O_開qٍ@ C&R-AQ|"8R%w",,$3N_ԩw>BS_?bTVV H){LpN-"tn9ionFG%NرlIaJpFrM>F9<>,W׋qoE '[KJx%@k:i <_oc@x(e4LVOR =qXY[2\97 /4TxUJ =94Iq]J$C|y҈sε83ҥoD?r}+̟EW$ (uj`@GJu'2+\D .D34F / g0,V|ґm3KLVҌB)r7ٖ9`O"dѢ.Q=,Rj%V8Av3闊\8(_ u]㎷/~"Eɰl[i S[bҤy(MXeאָ3-CW>ZfČ~qiN(of)`Œ%W(>/DR^׌ǒ+ZZoںeNDnN ̀wA7$vMun s9r>,6~ "J=L4BNC8kخ[| Ǿ s0IFmwa)ed%bEˌ"퐌E iix0IO\{ }MlBĝK=(`[WƎ)[g&әe|F#nJY_&Fu߻$" oꜞ4#8gtc?:_s*?x)5J?'" ֛Cl@wU @_0r]avD~BYD+%Oa־bƈqspµOS6Γ]>}Bz4)4cF?"nٛ;aӹY ƯgpPtX(eϗq4dq6mKcyLۤTr(eqYJk&E* ݇<|)`t'_wB+ޫ&-ʰ  4JZF#PKXʠ6ʷ(0J]ds.م%8ͫU sڱ.ǧHp uᄂ[K4BRn*\jR5TfMUy`ubG{^4ʃvM&4l렆)q"oͦɐᑔD~&AȟS:ئZ?|>EiNەB):REu2}`/>djz:޳Nai0@etѫCtJrnhDԢ?|i[O7pUaTp̖`iuZ0OOxE~GЩrErv)#n…ƣ:#N:6yO SD1*1\eLSp ;GgwYpe1te~z^|GM)bRV?UԣFv+/@@_ ?T%du._§͜Uf_uC*m+u\ϡQ!ÔdޠeO[d&$2LNX 䟵fS'7kTp'R:a8a)HaQA {[V |(xfrf˖saLSj$p\/٢4%B(P>1f?z^h*k0!{+h;Zǟo0@UPfBIy(8x&^8"R#W\h[&`3Z̼RM҆v?Ք g\%1J|oQ&n } qAFlYnkt.<U-iX!,_˱qa-зaf~{pگ/@XOXUi9Cj|V]"nw縟sk+W2DzDJ`5%+v6kv/bL` LTܾ%>љN[.,:kvhq"Pw|@'@(cxN5t' Jx^!Z}w:EWx g{.ķI agP 2KÓ8* wF(x#[E[G/6԰;z5i\mR$`u }!aEVc { Ad(ƿQ^5_@I[x!Ϟּ#aظ1j4YG>{MJ/2r(߻DY+wd%nVgI Kxyp ?;"oVO%XA{9͡.ڹMo?v/`?.p3+68BvB'.H~[כ3^0FEnŶz1C;2g>"MC̿q Mp^ML@߲? v2(1O["nxS86 {dRډE ȁB67Ƴ *xLzF"~E?`Ϸ!t]3'C\jOFz?̤o=8QÆRG@Vt\geKIKQd貀`=^JH]V61杺9qآc גat m W4 7B^jU!M˕.3ʧ&UK>c#a+b;rn!YzsUq~< R unȖxu ã}VI'bxy!)S+_S1-\%@sz2 ಂ|’?A ݜK]۟_ j*Q|~aHCct:ӊjl0;.C+|ͶgU- DƏs-AoHV_y"@FNe޵}>_z)f#0C5mT$Bk$6|2?5Kf/DH-Vbߟ+ڹf+ RjՌ*ket9W21xl89ezp5ՃEW(M֭.`kJ4(_S}κ@$FV ЇWEҰdW ?+{GfV#TϕNb&|Z.[?yA]-aS1TLXZw[`T=c 0҃= \@/ w5T w;1ŏx⟖RMzEAF&ZE&ҜKȚ=%=$g1j[pzԞy+_GvC,h̚dq@2lx*,KYRۦH\ٯZb!B0(X.=GY  `c7/&F+P%<<@mصo+*ŗ |ڔA%W>en5e8ߑ9e  } Oip휎*y%$HcD>#mX>ˡ&Z@:QD/ \"H^;`6RѸ#.`_2_P+k \2,78{h/ <51ބ)%\EE+]u@9ӵvLhYuWjPcz{2E zgYZw>c7v(6Er> N9xfpd;]y͕yXJұs(8rX8 Lb6k—* $ Hi)`O!1hH \>J8T]=!V?Bߧ$K\얳.LLSuٞVCy. 7HB/mU3Q_r2f6|L:LnbTYۏ mRZ[4x PiJf-]ҷOoLõ'\dann(Pc^~!PSSW]s/x4;{Cp[w<"٩xX4ku'\U jrA/XF_* K frP*S"Ns; vZJ ]unXki[³8.i)HQz1t v|D)%q틟pI4ƮD+G ^9hu'}`4$*NX#9PUw=eL#mk)ͺ&Vll3y4mQ1J? K).NWPl(T|jP^.ο'Ȟܩjk%` u76Le2o@ ^,)L8+Ŝ#g%5ޭե*}pyh i-n>DLٛ˜nG>lzF)/ֹ2 k)k`n~WaJGg IE̠>pp-3^CLJg|cAEdj[XϚ .T7PkN[ 3So]h?V{y:@Ei{6ng r&!)غBUv}P)n:u03nJV%{t@Dݰ-.BPJÖXDhZIa[¬nC}V.+DmW%F\gnXf%aSt8\_Oڵ*?ЯQ+ %v(qp9|wt"K;/9E"dyOmB /\pu3eUIk;UU%s$ouS}d#m 1&7 *6н$CI| uh\_uFu: JG1(#${V&ֵ LP[,ULóSхWQU#Id!20`iM ?ʆ4R8Mc3(ܤN~.MU =onHg8lB3Ē1I U{@=~?^ b4At@ ;Ad7LV>"_=) z$xQ%jY0qqKVE fc԰ѥk:mG4ascsJ*+T60}\F'=j&4i֕J {N;#YHXƗ\= "?GZtݐyqbVpt<WԦN}FEFW:+h {dSxF򷸼+kڢsYci"dZ~c5\"J z&ۏWA $~WAȟ>!/.gsFq(z캐7TU_]wI'T(Ϣeݡ`ϵ3{A$P,ѱ|,P<+Ga`}}Lk{f"2rs{rS@*{Mamvp#?RM"vߦV[(EctPix)вP IiV,R5-z^V :a'8ޘ7g!rNsc'9!k"@ɞ+Z \|?L,޾gڄjXH'F01&9k)mٶ~jy(3$1Ų ֽ?5ǖ985(j1=碫h9AbhJzXw;;>`yyP+;&ZM$8*!Io6xw(٬t#?O? Ɨ R{ާkb 堯DU)J{N)AOP`A:J )qh5ڋ L'JU --l, LxA iwyYz C>O E{JE< R3UdpEJWM)ӄ4"mF6w'w3uev*0,UkN<֊8S`X!VmF"׈+ .JQM`eB 7f{ҏj*jD]klUoKy#lnMٲ3Λ|Mh^x#yw\Wy{7tJVV.@C68$6n@Yu2:~zMe\F(Jt򁦖|?=D_ԐX&z}1&_ä@z[l({3t@u)\5`̱̚e+GLc7?t9&"TT[A[:ϵ-B@6ᠰUoC+@Г`T[9s;S,θ~5݊9{utQs'˹am ^ke ;?ySS;`ޚ zd@Eqr1%g䶠Y ëKx2JɃ}r0W=VL8 sg+ȟݤ^fyuހEMLnHK/]`C+<|`.yVYC;g"I:6<-|] 4pz6L\9Z (SҒpNSGdx O)JJU{߬{{A r^ ^tDPe'7l QmNJV1{৊@ѽn}9utyzLfTڻk<`Zm,1baEe50ELwW. @5cڝgYZ "/9% \HOL-Number_TheoryHOL-Algebra.Congruencedocument.tex7zXZִF! n]A-MՋhvG"uIBm5T҅JR`)<qW/ZUb ?b|v%SX0߆)cl[zH]'&Cu}C!'Q4-Jf/t \F!^O9ѬwPX֔o.#ZbUxBmS ֭кW2\o4,dMɀ ͹fI{Tg5+A0@L'liK&'o{?j&Q_)p]6].{bG/(:76XԪIEm[ug1''Vw ABE-r ŭYs:6o#[LRuMHo-z#sz۟jYeq.NJRۭ?$r/x\'>BVN]6~]s&ٟ{$6C ;~74zN6Zp F5BO$}@ J*c4%:>ocOKYsÚ:yo^vËbj`!̳8@>|qxq۵ޔb:iɄ+ٸ%#R O$`c78YzdYܡiH^11cj{sς=!6Eߗg$^g`{+E2Qặ23YɅN9Y_UNwlĠ>Sq5{0L"S]hi뀚lGD{W=JB 0V*G8 >G4Zt* epMKJZ-~afIWC X;oHP\+xItŻXV|H^&Bf3 6tȸz$/ڸƒRI\{ HNs 8o{;f_G bDܠƨװ!O\׽5BIRKO Y=`rdkRy`[Yr1m/Ǧ)zk 6WPBDO7E'VxZR ڀڃ|F׻Ye1q\(pB$V/2i]-x%Xq? %= CQ/%KGTL("@"+v|G3,YУz+ 9#M\/r js=TdׇȤ#bWD€EHQ3˛ 6= H^C!9mQR-Eptj~}M\fתna.Gxùxa \zgQz_`Z5xx'X7NN8ms,T(X%Mbk}9{L`Ri+:?Ƕ:EX iKrA[UE5@A+?xL!ܗvdi$-qJʒ!*Gի!<` ͛wVƞBxK̉Ziz=Y3SˮczSeЩBu =(+þ݈EqGXԖTKr0O'SÉWLCAk|-h"w>2qR{. eu9N8c\1U&;|+c W88í控?c';1ew}LE 4^CsK记ԗW=DbǤ~Sn·6L^jyK{B2vُF/awS й?:Eɣc#{9reD#oY3=66IB ;tؾ' ~ .())0ųzP|2ѻ B2ūC4XrBl(HvFY$TzY8'V4XOAUԀvlcy1[B=A%Vע7,^_y7p9c=D&M@MO"<4- X9pkἮ %$Z7{`(D$ZN$$z@~_d4zbç9%CeiK5)Vī,='c`P*KYګKtXZasnzWKHrhFV ^ 9YbV`y!::I2q/lIN1f% `Sr[dWۓPEbU !?Y'omSc*%0(WGfkRݰS3mp|-]7><!۳-ՎeR|kg#/za9պzR}.'SB&_<0H 駅kO}ıb6!-ffdj/̯tBq'AC/-)+P:F}3ѝ:8 3!(I\/:ˤy4WVNc=I`nR9׈G8@T{17wڧ2cm#!sB0\93n.ݺq"|-\z{s97foI-ul*$w2/Lb|/<`y5[8oO*1^̗Z7.V􃋫Dx(9͞XPœyf#c>hv?}?U{ 7E6[#9V[n}LG=NK'Sf|;B48"-Ck+YU)FjN3 `ICkTѽ0 zN9Rʌh(O-@ H,s~{ۑ-31"82|鷒VVD?(&|#to| ^H _/oh5G嚸Ƞh/0yp kMPM~bX9'`V<7JH1ɿ<-)f1@IM7S25:^"&ש9at nG',_8I&㉌;6L5_unA$yZC~avz/ qp hDeCm833I4)ޠXGHȧfy'Rd]O+[fSLbc-7f / 㖯P̟1LV lu+=fnpR플ųƵkiYWno o_as@ϓJ`CVK1SqU=AXhp9z gӍ+8-Ddd]V83nm'ĘMyZ I1W1#!-3 mf`kžd?Fqi l BA#m1g?e瘮XF3+aHS-^BvevDžUOCwHil17*'H"~ ʛYI_~]n?J#qR"Dc*P-iR`h<^LǺ[AHR LR("ϪӅd $}!*فQgABG\.7[(yjZnMϞRBr`3zXIOf얟nhM3prvpAps]jRBW`2*,)dfObU6_0,㋥p$6]iQrV0@mjx*T.Hѭw+]rk蛏! Kmw,,l⹩[?K45dvZ^3ԝ"g6Ccow!w9ګ6?@DP= ڬއAWE/嘬^ OnU DS2IKIP;Ĺ ܾQN$EX&&V x WWWHh&^Y4YiYT~ƎZ`ګ:J:1+zam5\гm  r!ϛٙfؐG)Y wh7I !rBa 0zKSJq 2vn PsCݘ[ZX9܋ z륔5#  rϱ:(*H  jgY%4ɴîklAa ɽ:X{W\ } s2ùfy'዁[߹Omue*3z"[VRs2c %(ʀ3M,v,ӓAV;4HF#8fFd- ߗR?HVj`2=͛&Cq/^k+VwG~iq@*CCPI~/TLtJ^IS`rv8qڅau"kSAMqHT W)d~ 7c)OSh!Iit|P >RL?a<6B>;! $1 M%F^P0Yxg@9N Alͅy}%(}|h0~^fcS,[䈊12PJjҏarHa-%M t+O-RsLR 9EyBT^Vj<:wh;qE>"t2cPJ!ZxU=R/ɎveⴀBm}TeT/(JYeX%* sN<5%E0vw}P6RaZ> De]%olJI}z)-I6`^]Y7޴${:Wa^Kbd+f:QeXF2~k _1ejuuT\7sh_g_vYcc8zD [@ͭCMgB鼁:?Dm1mg8DzGKMN Jms"؊(giʰZV/>Ua= $tLp>:;2XSJC7XgGŞjZ2;" 68/$K &:u_?p̠$v<^|$ ?JHvM c}-̊u;嫂{j8rN0^&ZYvx&&^RPIYOZ7mեq`b6YM; ՂlFQx\#_=7XޱgYZ  /I% HOL-Number_TheoryHOL-Number_Theory.Eratosthenesdocument.tex7zXZִF! 4 ]A-MՋhvG"uIBm5p(rBjh4)K\wnhp5EFIvLMաQ!BL/y4^)Kc1qpmIm;Yh_B_ZqU Q~ֲ#dACK[eE3a+[8_*SJ aJߚ`$W;:Je# [xs(W׳% ۧc .Leu=|j>K&RtwH*+Pd7DgeA5y9A2*,!9@ڪ5O)0tg֍VᏖh2w7VWmQVMjU˙gH1g.U,iyyuk-!ӾH#mSXc|XXn˚\{tU ȗJ$Ď$ʦtw< vl4AӰq'ZYЇiDUD:! M/&s 1b@Ѧ Ɇp?llE84xvSRHsp"RްD:6-2wgel\ޚawsi,$k@e-JpΎ^.*;y\0[ ^Xy{L"BgN2A!s {@z_YNA07Šqe]lڢIJLxy#LkQ-CmBCۿpSMUf.@' c+wvpFP9giQ೮iVF>N<{Se}A3DU`e-GyνR!A5Hk 8;la:@м<.9Jl.?HL^.Y/hLyc01_~0<K:!b3_bc"Ҹ[ݿ_A_jGZJlKGH-(RV0J{Ö5k5iQ*"U(*R;ʹöbWnC-nfa]k]7]J^4 * m} f[)͡_ 缕Y.y']c%@-dy6j36rJ@/WN^ت9+]XתR90[FI_c6P ClA'mBceC1U,#R^ShxV2T/'k ;h#hF7z&18qqF S`M9"t_Sl[\f$C> 1Y`ߟVz1Idaj hd5ի[^ R,pǚ%Pr.^dC8fw(OsP1z]W f'.|hl`+caF#J㮟<{̹'u/#k=<Ò5&&HϷϾuyyH\d vGIjZwEg@)]Dh,D= BO٧ zx. |OPQ_mR2#lLqQbXq/3h JF6b|C咟ػԴ/2z 2eO6@Cҳ:.U?<[5>dZ50_F)w!ˆp?xjS?҅5םc]x2,q0rF8uA_XA-ߨ|ajR`Slb\Yض6@ B4z3Z1*q, (ʳ<Ɇ KrMy)Z7r|-T̋o[eX[D f>ϕzɐЪJSeNAD ?L5:7뱚qPɀ8hʐ.r;"ݸObqa> u+Ws玥HT~MB&yQV>.y ){!QZb<%El#(p˕} T5zUԼѺ^抬_}IN(3g/+-_^t'F4?M.FE\4v3X讯g |6Z}l)1τ#:iCzK=j À[ QC5 mB܋ĭoRj`"]n~ `53rW:^ȣLN2@h ߐgQyy7.ce;eW%]ae7F#3e&0 ^`lע$ vzǁXs+`.A4 k0xGBe:t.B]NKY{ b|,pbYWB A)#cpwuˎPΫpB*0xo@/Wp8@.\$pDpW_RV[ޅah*< U:ZF`En1-U⳯TABfI ü x'cFrD~"9.4ԥI'ɤg{wdmG3͎Ud pO6~j#Q28WZ*x˴?"J x'}3*5G<}Å ܺ0LѹW^b.2iEc'5"4}epezɟ?E5,xWWHjQq>c%8)'_s'cO:`5IB:^Ѷx Lnz% J/ *LW 6oa?2&.]%H&#NKS`?ѝ)=<\J {5эح(22́zOH.O D6&A+Єl 5#5W9li.0~DJ}NiBί& bz+JGIC޿Ў}slSloG)Yx$xBl@,p)$e L|cxJUQz,B7/Fs=ѽqlA2yfsrp5:DvÀKˉ , ~-tsd7D%F^CULgЄv-!4bc^UB>ƣK'ٟX*II z$\$ES;I\.muc%T;Mx&H`4̷'u!d=Aʧ?w88Z\xRNLan]K^Ǜjw4|MIv!;s0Jh"X yAK-`ʬHMm-BnfA^=ҩI)&IF)rY2ӿj" $g5' @(0p `(L8b[CqZP`^p}bk &ޱh(i艀1f/*^p|+ [D5Qb8?IzBXoCy j-p31H/P@*RھjlP ?4r?тyV'Ʃ밓JAvO^kȉQeJ5׷Ud^V&PP]166l2%5 o5(K8O@"<–r]0BqrΕ\?0 1'XV9wPζH}8-pn)+8hKGI !'`30u^B%a!6Vϟh\T= ";ҽC=A>@.o= \[bF׏ z7@Sqp6W2t0;揦1RM ب*Wy4V`m`ا+De=X.W65:hk~ra!׎5e;>>A^baP2qX$ A9FE6RC>=qO5{ cW5\v5cjTT1MMLye5%U q T6\8H}Z_SZ퐳p٩,S}-wB7=]kI/>BȢ⠴#<̭ #U5K;.:$\,ɪ\L^'a?. >ᑍ̀w#Z<VSqWˆHoiKǤrYJ+$RUI8JsG]z{1@3hI% :#8``kmEdq}.xw!Dlz5sPilIg %Wrv4%$v"(5kQZ\pq|g'/☭G0o06Nd5tm}) )#g)I{s|/˺~ ] W[,~WPod7 E>!wkPm BHVn61Vig&HK#+Oq9sk.ѩl?H]BgbQǏq]xg"~=$ܑ^8+P‰?0\@ƐT]NVD7;e6VO?ԯ҃pIJ/X KOir xX\m`|!oOaZ [+EVmJ.GjɒU)my,@f`ä! p7-QκT$Sf?$0<`*F {/}K,$E`~Uf6zqNҬp!At`},2c+ og~)7K1n0dlmӲ~SSy[): vz.Ƴp`]U`Ăj]~80=X55m͸=ѯ,,j_wڢ0<]v.1DKth}uE8Z(Qo2-Z-]f26^4K%<`ifdj&C ĦNVUɌmrF)#e:gzBfq^i}L4*'Д\K$RM*J}fUZLSz{6sY7P P״U pϗ5-fQ]] Jh (]b$D$Ucν!.] $F0|Nƈ?,WXT(Vb&ܿW%-gߵѓ>7cê@\¬0[}'4 ?HK#+ P;q!)#(ۃ 4[e:nXlU+F~gR$i[5Y  ^m:[Tr5NbTH]D0ۨB+z| "=CdU^`ɄJC&@7tgAHrنeɁbS]+V,=:u{{gYZ ''N/A% ,HOL-Number_TheoryHOL-Number_Theory.Residuesdocument.tex7zXZִF! MO]A-MՋhvG"uIBm5ߨ32G#dw nΡsڼ`kpěE9֍gR5v_BN) jwg`Q;eR"ET[;FqY &s6N\PiĚ< FѸC-)V:\F#hCB0nqa 0>5K:KERaOV#\[pߣAsLa)T+Kyֳ|ah>G!Ȍ*k4ȼBڟrn"t]:3;LuL7?!1׊ď |8/HLٴ-ߔB0@!ň0$ɏ}f|A@g"8֕H <)f$,Bd8 9VKD]Z D$0>^uz"nO6U[\2 q1pHG+}tQ* (Z9rܭڌ!$è<񤿷Oqx0XBۿ§e=h`؁qh!HLIfHe)ȱU \AkM;\ Fi26TX|h!Q_4z,ՓNވZ_HzOׂSxXlVU ;e hF Q41 Lꙟ -XGCkJOl캀'<%'{Y%&CR1W=ӂLa#<4+Z3J䡰FbBmפ]RL rfOQt1Kzr݊wVhXCa)ppy^Lj N gSnzlmtRB욣2CK\eW/Bs#57e9^;ѕᆍQ=jKd쐲KP[vc27зG+4x7CHF|hj-Ny@C0ikZ}7`4e&:ShՑgn2&NaN'1jmqץdQ)=x>;P#5.ğ)dynlI-JV-N`b ^Jxr+ wX/!G"ȃe—Od^=\sv

=Eΰm'|>QjW 9gNy)`y X(Z _8Y҃ av,~U%y'!3aJ j</;<ΏL![a9& II.BH@TRu^L@PAhN"5Sd=@EiN~l QN!KfS ֓}q=j Slymme`ήZNGDU{ɌQO]DλYoM=}r>OZ92!Xc/9-B*"ȔRoʵX{`OWdK\kkA̘HZ)Rv'#>RCaU9q5eJFVKƠu[n)Dw4"]ůbсeRZh CBֽ&iwaeeRބ?jLte\9'}7$#v;ą4d`6䋓?.7kߺjB$eeڿ~fj1 1@lX.ajx“;n<5Xoxo藯`S l!+hX6'5,)M~Im,!FYMu$dCW&/YMr李GJK|e-95)@4mɽ?!sVXPϛx-K# s ^N zVtw:;1%qh7 s/ C*odvoh!o4/98{i }&]9}=ф9q^t J OpJRi߸Fxī[?sFax2Ct)^z7.o AI1!Aӳ,`%XF9MA/HxqklB=c ZLC}hv+=cqεϝ{P $mrc#r%? *Q>Za'ˤ>e 37|?'#5l)81Ү R;R:>츗Cmc{3,A]vuqr1  F$ݿ?1<IPy93j[Bc4TPMXa\/tz6B`'{\C6?ns\,!O[Kr  Fjd:Pڽj̣^~mzNj*#5wIxfv~MKA2l9V.!bJ'ʱI}{ ? /R@l:6*2wyc452&09?$6&wBYgsOo?%6-`>۳\8l ٿ \nHY(AKLM0S/}i012ԁ }rk9K$Uo0ŀ)b#rņFnK`nZ":k*%6(`3o A4r=L'>tcHzhMoRl#_/vATۄMc᪷/-HGߊPs7 dixUZZu^ھ=(rk^A3 3S_\ǻ2叱f„@vGy  ЉaE(\ѧI #+̮%hhӅF(A~StIUbZcBD@A,;o>8׏|i/8"#G|4dA^Hmͮ,v5cQsؐKM`﮽_%F~o* TFe~)G? #].L-MtA+aIfq\Ln @QYm$ 2^.2Ə' '65bv#S1$}f!A2M?٭^Ⱥ]a[I$בj j\<N1xLO eL(iGs]=M: ðijai[ٳ_eGZ7C ݄6s=Ow,rgH@sy7ݸU`w: oq/ׇwxEы=yxfzD{9uU{f֣7shes)wğEKSpܞ,58 HS*lqTJɒ]^E܉a]FCG{L t7u i"]R:0(|Sa=K9] !54O)5r4}mN 4A"6%DdUjzba fInuBP 3y0lޏ s & lg:քmC$Y+4z1(6C} 3"Wi/7upeS@O"r/5+_<n;- nq5cy(0΄Z{*ƅ[4 gGS *OkOV 㖐#r)5&-)J.J,I.5 Joqʝ3j˳ j3l3~4i_yJ(eJPHuoFy,?2H~[\/$-4sx N Nr IB~YNjxͺۃDx$!X~Ͻ}oɂW<;R9z;h{:7b\+]JC 'αSPE!Qufr|==@CUHcJT+39O/'NEM~F-dq rG6'7oL"Z BvJi>i&j*^Ol3Lfc6tfWp{M[qN%&p\IM #omye/< FY @LDƈ_r/c`iy! _` !q=0`ޱ3>~7Ш1y`yB؅&Mv)oW ԙB= [H^+ 4փ(Om4N}v{E)Ah8e^;_,i|8v?pS=m1Txj|p`7,l%9gk}F3bV?O~ye״ɾPڞO1asYȁL֙oAK?X棝*=3meYՇ:ytmCؕmR`C;ɇb+g!UzNqLU"3X@p-"M:қ{d҅ y[aEmJJ2sU ^{fc\hjǻ6gΧg5y*'Ɨ]}tZ|~!+/5 ; t)RF%)Լg4r&©H)R5o>Czmyh99~{&Zu; .ƣ0R8Y,BH|/>KwP |3,1( F>MAzBS= ӗ܌qw [K}_Ybwr0"YL֧̲IVXrn+c_k@KW[Jn0izhCHɇ>Ȫ yx4$1+5y@W/Z5,8m9;j0 3] 5EU2sF[ڷEN*)-CK9«dy_xRG¦|d8ㄔ9VPgk(ӏR-#&@@I2| ܨxq -@Fb`-qܵj>X0B2A_x'%">ƚ pٻ+c[yBR̝"^'hKokuvs]H) hGB%bT[TgY7ʜ‹5Nx=78Hp OcD"7C6"i@v7zy˘2=^x!0׈ R4 ]=Io$ұ-I_ĮkWRFy0q'-O1iF|wɦx~ ( |d#fYwQ5T¸2MaraG44(: z ñQb@i]x46tpʐ$vT<4W0T-2Ru -C /;x+CsxO1 1^P} SCdCk4lNۤV8a¤B睎TI@j{k(hD2Q.}%?ÃlNxډ, 7w.#:OU_zy)od^Yt?L~a6,,}#x+2f0z0럕t"6w52 5I^:|XEtZrSwP {;@ʹd-b&ShE(wt{Esp:>"Zd^ م5a I&ˬ"FlJ12Kz]1:澻|W(fSN+zQXG8>{fRBnV8XZ?V˔ jJg7c ̵ka*wY!"/eX5@ .fԋI< vCK'$:)+: 3jR)/z=bEXeA56"攝I s.{\>SLofkNtCɕ.PL5S %].{Q}F $Sm XK6/zJt;.^QfImǻ=S.0'H.j+dGOm:bs7 bރAu&ƠL=0P'n ?._*m#ASuaG4J*[uS=1?PדS;(8p&~IL ˈ^|e`N[R GvzE{ֵ}!Gܑ۰͔D Gs{Ѫ=wlx>?HXo4y:JauވiEݛ Ad9Ds|aVTL0)mzy*uvթ#ԷQw@Go;V,6l5"%j0K$"\PR=[# r;ǵk™ Pc{Y0^& 8߬Ŷa+޸ f5N9LFp@Ir5M)V 4%n)v8Uva@9Bm9NJy[W\> XRgTiN܅:wķ"~,nTX_DG0Omv}<+F< w"r#\BoF@R%Z1S߶>r5a/Δ}Zׁ,.=CzE-l g\B8 -ߜ{y]y)9s DgDdM4 ța U af<\ شNR(؜Sq^%eSdA{6\vo" N k>{(VQd`#p w#$%K@R$>t洽϶_-΅o _ ކE pݽ$ S d9 o-|C[$IG^PKg}G@6Kg4ys>I ,6 <O| zqAřysM@B@unyoJޜ/gU(\h3QʋjzwlȰǠr>6(K};| {[b:GVS&uO 6M n7ylO|bOS^tR}E\8uKJcCCؒM!q|{yF}1rKwOibꆂ:%kLDS:S͞bLeYмK0z `~Oe'You^?FbdA(7{Ly,oeۭ1\B҅YC9 !r[@0M۠t*%_ޫ=KysΧ.߄WMF b|j[WKPJ,%-weĵ[xb Mrr"43{{dHfnh&ցX>OPl'44V'HPN d R8-LT2S0-EtD҄ bQ a9POTjx[^ A5/Y|+H%`l&je$ΆFhYv]Ct 47ƊŏeL|Gcmn=,|UݫEm]4o%g/Laq7I;hV s _[]g.~ q nЈ<w[#99 ^o^F&r*% ym.nw!>,dv GyBs)g,@L.=73ݸJjILFEd#JwFDkPUQ.:P .H8sp5h<2&46#uTjWU*v*T]\)uG -͕ 1@8x Z[tFGA[8+je[>oWն^)ڏoeϩWD_idyˉkP$r>?Py-XOS= ~y&+jy+ #S4؆my Xݒ#=[`d/Naub^Bfp=װ\)xZy8.X:};9d`9KTy-B}?JMA:bGGV9C(ȻU9SQz-/%kp9]-h#%T(W5#|kWL*0 O1OE J=y@ICe)W71&5\iݼ?`Q]<>ͬѲ}CWi_9rvj:Yx9"(\~h{tΦJ~ܣ-SCvtt'+q#0Js8;Bn28ٍ-Y f]pjˊ4 t6+ zG Z? .nwI ijU&OEU.#EQI€AY m,ʽ.q4)X+}O@#CQK&ҏpSLljq2`?c:-0k$ªbL4>; IV^qmyV(НZ_ņX% ZvHL t,諷N;56R`=ʠg*puZ9ԧv:KnV CRӲiW8-2h(/:"km=&7C3j>]U N k]L"glW/K"DdzVvuŤ]0앒m&/7EWuPM16z@<.]#^ UE}*wBQq<)KJHМǜk'^x7\ğ5TrRkH80AW% ȡ|v7*J'l2fWsy.ʩw?a'lH6A.;`$*=v s@@5gqh5=j @X pQ8:iWGѯ2taFbyVY ytʜPv̞8}nLdu(|~UJ+I<_ϕ*[x͜ضJPACID`# GXCK'/d+פ4J,l]OlJc@ۭ_d*QN"!:a4?:9nFӢ ; Hs\4 ]Ly0޵2gYZ xx}/7% HOL-Number_TheoryHOL-Number_Theory.Fibdocument.tex7zXZִF! ]A-MՋhvG"uIBm5k4ٟܲœ[Hʓ n<ǥ(ܮEʸ-AȝH1f}xKזtvťq6]ވRsikEP'?9~>;@?E1LY?8z`}P@ߵai;9zG$֑߽ShMAebx1]I1JH,9}&q0SAB 8^q}ؘՄ~Uk2[o)ɀFmm̊8!']w ըhP6 ~-VY:8ihS*M3ǥՃn996R^~Aܒh&Čh|?*2+ZzoU{Nm yll7poEl 'xWF^+OFTW1'zVeFaZ+,+Q^bzٜ &".ΧkI}|y Lh.W|YdMC:O/u8ZܸZƭr]d&Q+L7쓼-\Joy*muiW~SCp5'gh6Sk۽ncÜ+^Q7N{FT-J)=ֱsl,VsAGn>鎕r2ۑxph/tD$ԈEO6_+lmy꺼\)͖׃YY]$xiṞz 9/=-i0?˞ՒOS|js38G3m&wDq_?<E%f{PD:?K'-6%w{q[?[ߋfo{e1@&k\MZ(|QcꎪR| hP+>B`'I(%JQDCbI\)2/.&LQI&k! ,_Io )kJQ*Om5Aj01q'PChHtZK!#85 fnei\;ⵌEL~5'c`R^V3mCa,DT,|Q0A P1kzJ.lhśnp",2Ҍ1/w#]ҵ@ a@G#ʌPg&NJ3挨=i&VeMfꤨT;|nkQlQգ⢜7xd3i8Yk( |C'H^Kb}K=2&Y2^8 %Bb`NeMz Mó Jl.Ǡc3$łMYNbʶK<0Ԩ\"@^" EJeU ق;@޷%:])`7/ێķyQERު9'E /K% HOL-Number_TheoryHOL-Number_Theory.Number_Theorydocument.tex7zXZִF! yz]A-MՋhvG"uIBm5Ļێ*e .>V9ZoɢR ׹>r@:pDMuܼ&XDDt c;ŽKQ'0{Lq7d-SaQ&FMqoP_-x:G'{]~7V"BFS. bh";W5ik{0_Gٝ9>dU"qVW7cY- b&wKSf2/VNqKnB4gcE Ļy3X\VvP8w yE~l׽aWq(Le"ќgYZ)/O% THOL-Number_TheoryHOL-Number_Theory.Euler_Criteriondocument.tex7zXZִF! ;$]A-MՋhvG"uIBm5,:YFPcnYӕ3+Jot G Ji'p6}9d)#ظoKV<EƾL O wJ߷GS_mXX`_/oq/+m[ř~2&laF:c $ftB O1۩{HJTi8/y}]3HOb~}vŴqO/桭 Z$䃿QOnvhTkNh:M߷%`)=5`[wmSM'Jxv<բ&2pU2s9;EsSO=$۱wT(k _n3 j*\D:\q C +V ?;&iÚ"!͒rJKo-ZǍ=օRիƺ|dan18w/tXRC2>/Z4E @qA1.dVC5XW2'ɪ <2@c"'-Ո.GiKPZu`k ״wdeU4f-oXeHlyrZȃ&wyk@G90M]_TTQ ,'K[}rdӀј\NTa+NNt_ps(ڡYFIݍR'm_k j(+o{_SgA  cj B[bPI(hʵ f7ll[K,?Ähvg6}nĪ >)U0!캫 @n*0VM UAj_ܢ >F={<:iSѽ!8{>) AzVlk}1_]&.\mOb+w_J;N!A-ƩXDeuX7Sɀob&8HVJ#YoF? 6QHy=)D#lE"i*cE?s!շ[@ k`N35 E QVw=]oQYi7_:0~,`~I#-NWFfQuyD+ʉ;<)3?!1o@M!̡y Q )@WPbbx^Zk\PM3*q#ju5 ͗A0rn*"G1  +v}CQ D}ؚdwY@&|8 l7ͩdպQɀf#uu7l5a3IaJ:RFM:Ón~`1<TgO/Ypˤ;t|"ύxL1q{y z6Wrk+t{4)CtӠ8~ٜ1ǫrPfR+ zSs<>=tߝh!#*̄ Z]u3fl3PIȬTAWCn*PIvWU!IB4p*˻9V,ŁGz+?!@֟@G&** qlp)S MįÑ?ׂü% m,_6;&p6ܜs+F8 ~Mt&﩯;P83s`!Uc1_*H$]fֹro#X~7W)cA).c*vQSŸ?U,]7R`ƢKM}^\m,~:55G٧q_*5sOWdM0߫D$̗߯K힨]OLVANpcTj7 {~(Ykfڈ ElǾSWw7k9_  R!C&XxE݀+lR$ OJy/pyla&y@:8|Qf2f #(cxsz<$ߘqwI8hi? Lݗ$»yoRkµOO``_GEk)]4߻hws@?˱hO Pfs3_0V~a8( u6e<)ZqUB'ǠL7tNRxpJ( s˯@{`X}]%ѬSZ5Ur*'IJ#.N t Pu9BXM5Vc*s/u9ڗT UgYZLY;L>uᰊeLh Ɩgd Pj."[,Lϱ[ c7,vZhl5)bK<ȹBuZ[xCة2¥{A:#4d.X)Lհ~&&`;ߣ DcK%Vv!AΊ4Q9~)ۢE|f\&F_0jId f ~ y;ѷrMmˡ[n/ (޶ӟdmӬ8@ǸpʽDJZbVq/Ms0c=Ծs%,lzC -3rMrܪ14fft"%]O֎_2TKO6R)=W3ɂ_tS2Ckpcǀ_k3P#l>/h֒EvAVΑ^kܡ*;U6^- 7735 {+B7K'Ơ_c%l'zΚ:KQSꚖ2urT/nع βx9h?U8m]:>[BKNe&JFuEẘTO`C*&d>RMO.FYȾi~ 8, nzq0: 6RP J&x|^\ U˘|k(jPhx1#/Vgϩ@y70e^lpcT+c:x$.{-H_ JVޅ-i{׿F|?֕^$ZhZ%JS ) ^n"HO<)W#tEvl䍡+1WF߫uޗvU0?YJ*QΊ4 pV ^ct4șS@k>H=E5$@A i2uhvJvy9DH?,նq&WX\>2z\SXV sYm+ʼn?W&`Vо*z%/)Kn@yU܋$ÁVI:ѼBmQzP3B+P >>"8X6UVrt6v :i/E@GêlHdE <ꥐe&7Z a$~ذ-cFXHkzlo.UN~7V72Z*큓l;eʴY¬=a民A7sU^j3M}.ɞ}4aY hyZfD|6>eᵊB7桄g5C }0E@Zv$MߴqhvW('<#Hn*̵fsVO2M:QWW" zda3N-7B uAWy BАB">XTt7HF.RJ1F2+`5(Heȵ^ YLwԈFbmh5̋_$,ɪ3ѫwj c]$Gff{9{8aIbU I@ZZkS-Gu!EI*F$*x1-q,Lg~ѡs<>-zKB Di%'NGofž0İW)WA7Scsd;C\`Z|DmYN=h<4.>V=B0^!!`)0 БbdGaq]b4W5G{8ER]+6gp,V"m!\@$L.9]Ap9֨]i"Ix 3@1H[K OAq [e j+AYrYj cDpX:G-LFƜIѮ:( 9/@*?%QĒ۹z 3YZcɢIա5 Nyi`ڡ|OC: &z5>st{vf^/Q+@6tv2;z>Oѿ< ;J[^!}[u YkQ1ŨChFH`Ga~e68=Q3=E6c{X01iSoHbO5UdCs;"z[mjBonL1%tg&я,p8u/JWejAebXQR_F ԓ3XX4v M}[#Q+sC,΂UR6<*ގ)hNc|KO+6Qa)5>&&4H>w =Xh4 ӗpsv>[=,Yቮ]nʣ3~m̬( H[`_@X@aGT˛60ٜ6t ڑ`X4 W)u\`y~:ұP6ʆm#U{ՄdۆR}1Ygd;gmq1qrTq"KXa$J| fPvs=%,l$KFCJr9AK3OE)P] ~LLP7\Xrတ}]D!K1`iY%+=]=ppXBf*݁Bdd?"xȼTZ*PT<1U*DZ茝bMp#;to-Lo)ylT#**J>Z7#{IBHk&lI|2x`OoAàD*k,hluR4)v"\d1b'*Mb J1~xVn~aEY/[cXC&.}7G$3xf"u5ԿY?啊}P-' v$_+-b'3dY_FBc!Қ(&*W.Ps>YHtAާmc77Vc2N` )ҟ^huǶX ~ҳ0hpE]%Ij24 6eʪe:Z9u ޸)#c p7W}SmI,+mph0844J.L'sJ0b?uCF 8$413#@n V#&{I8$ؠ|ngYZ 3/3% HOL-Number_TheoryHOL-Algebra.RingHomdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Y?aQ I[*7 -2rc62\ƤA/ B)iڈi>S~!]LƓ~JI+eb` w~.9m@b,Un7ŃZ@M˒@x'=){w^9#} U&Ul6b'$P;*> ՛n? w6IO3C\{8[iB%V#2ޘ%Gwa*wF*MIgތmQ0x:))s꯼O,XmvR~qlp^/[N΍}KZdlh^ ƒ';siFʄ}\t*&8r7-7ԍbW{>R~T3!i'c-ThM6kϻ¼}T8!ͽ:MN5RF͸[4# ViТtC~w^}T0E˖ ) 9 gtL\|X@s9O2iF,"OcCNC =OŖ17h=PeZĈd w`#ʊ>lVzR7ta u %G[w[cD977@'Ĥ.+RPdrF`+rxɢHܬ;Ҵ٢@PӟpwPт##tV [;rpqD8g{䧍2˦ŒHJ $@)/*\b& Ȼ??zziQ-0: 9yx߰\`9`B UWޣq5^򊼿v"SYڬmG2\b(xH|:Kw p#ϵMa@V6Vz7<ʌ/AMc+0]ҰOT4)H6qw/L|tXlRa#TjihƩgZaOyR`cY`mlʱ~|_@>]K-·Q}5P:r4.)r)FwKK7,O-@i&-~-H[0Z^h|MmAMU _a U r e1 O=jlyZDrgBh|Q$H'紊`fKЏ:(<]Yڗ3y;샮.Eb)mD͵2-ޠ߬dˍuZsY푸EHʵ<ک~jpVyP{gYZ7zXZִF! MX]ŗXi%;8b-0 ˦ &Q."hb `ȶA֥}E+aiT%mosWyUҎ%-yj:nNx,`g ͤ{)ˌY# fQV$Us3sf ,:@¦IMc.w1>Kf&] h3z-4ީHE2a_6K lP5uה| YmGr1П(gk sC wWpiSf Cjz^n $5ST /q5/~,su@hnR%TD/I 8e}jG*\\tFZ5 8\DDz%tEsωYTnİa W5"@Q`AQ/{\\_9NQi@WA40^N:P=ꛐ =7f|6ay3߄:zUobse",…eմ3:~~V` ME)FkĮ7$_{W.qyHgM:rM%T7K5|e]I3')&Ӥ@ͺ\w_RU[Ӭ60^zp Zf]!)g\*餗ZޙlG Io8[F 0"骢n 7?7%st_{{Nf)ZZ`+Dd ܒsк[iBݲ8so,^q8X!çx!CC_G[ C`a_쑽K OEz ̐T=O4Sy$v^!?I[ E=/ 㮗a6ߖް=N4@cX-J;oM(Mo GI:N膐.3RR6~Aڭu*/6ǵ^*'Y /[ѓ֗v~pd#:pWЎi$\VXR I}r &@ϓ cyv@pC{_"v; DʩDCY)Vc^a\S"lMns(VvTΡ4+EzA(gPk+pZN+mq^#x$MzǨt8qw&t&IM?ckn=?_tSvj"Š'V~݃q!wC8̃{]vnMZo+7>O,b[j3qҋma@o8$ =sK"(  9A^$0b0^P@}.Ia|w 5z<sMGlt8Z ֜toF;Hs)cu΀9P(0 A{NivN?~Ǩz83D,>fixC-z,3A@8e9vм\ݳQ&d @Ҳ* Tr%<&3l7&(JDC9j}"#RŴ ?&LXMV1w 4Q- mbOkR+.sNut4x#C%o9Ȏto-L-0zN͒ɰ6@h}YȊ<1jԏ=-Ε. zr{oS^k0i'eZ%fUAHM6ߣr@wbYeW R|@3*B-:4|oLɍRqV"Qe2Nz"^hxm=) Aa'dB%B@ gL?:w1ue)XUX )*,gžnN)U J\"w;Cad?Etnp]e:s> Y@*X ڧTRKfS? Ӆ& 6ˑ7`yxxazR^2gJsI1 9CϘ)k<HWXq#RGmf㝫&ǜ[謲?dx ]'RxbU$ !bƲhOdSCQI ?<Eo{'L$T:^g&e(nν6D>+${PdtE 0MLGZfwVL0}; bOz <nxE\t im38@SG:ƧW6j ١KLDCX G$gQD2 'A##MbbR?951yXG؊$۳3B$"LN< I6OCڡbA%ۿ+(e® HQ0jNx. Zk1Z<\QqxgWxІ?&Аs*']LQZ%o8\6 w27KY E{&W}y0H?G7S*`bBL6'a|o%-XX]b r @h#wAR3# $*lԼd =%^~XVe+XT[6&*`|m(_<@Avha?/Z}2RZG| 8'R8̺?-yk_$T<'LycHtEpx0b PwZK`4tGHt=3#6ZQ9BX31PnL#qCC҃od!.ҍ@W.^ΞW=zx]?15 ޭ_KXu):&saOFVƏO負D)].\1 v2.vm|'w:Di Mnsd+2'!F[cA8.9܋t4Y+CZݿ pe_&%$0E/zKJX\ 6))U>]xq!D_- ,y ~]'4kֽzU{sh(OD @v?anS]fsC;YU5#ćv5YvBܑb`)5ƪ(P1llB[EoJoOG1$#IfBnZN8]ڡo1:HXxrӗ j<%SY[ iy=Xì \4 I :yA-]g*qu0ǩ" {H[(hOiIrȋ7 l`Ct.,eӤ; ?p{#/7b\{tا7i@Q07~5gWK.!h'T+HIy3T'dA{ѝЂDknrڞaAʵiC ݙfDB= "\ -F!j+tYZ8zx泌YhDM:QQ>+g_k ¥K 2=DO(Y vMews/p4{?₯?4.swGS HN|?{cr(y;u(첬pva'":ЌkP~ Xzwk'`vop&k5ZT1=FBsszHȍK+ҏ 92*vnBN eEˠ>vIA?]Xp~;A9I("It!yp k]FCDQEU?i@)+0փtr#d$yQȄ2ԫ 1]LHD?^I vb0M3`^z&>Ϝ*-sS ɵg 8ei6/|2GZ RSd&RT0|{3Yy3Ø{&贺H4i:I՘e C*4\g0ݟ,TN5BO>P6LV3SZd)J @A>_ch*STFmCh~&`l6 )TMMnW*k-ltl{߭{' ЬLu̇pߐR{5^b83>j; ~jLsB8^Al) M*8g-9~QQ7 .;1x->d-s N'tZWuBD):픳y<dwC%T'=NA9h **}\x)~}a 8{~8x![ s+Wmy@#2& AqN9^BhBxOA(W4:7?!&J0[;(˻I%×2ygpV^b4e}_>KPv@'dBm4;M `5S'7`"uIH>k__w#z9M^]C󛚸Y> F]Inná* N|_/p\@Rp݌z"&6B< C.Qqɛfߌ!y>;݉ S k"ɾ%& Ӂ罹R^ v;A{F/ycQ+mKz2{w฾d}dJ}hqjaMz,SFm]0zױϖ/\&Xs|)~N!&m^9BbL ;'zT tfa.l9ۿey!}d<9|Us=\"d!/(BpZH_':]tݧ/WѽK41AR?I!A2l39"y}yk u& Rְwa':US:^ӎsH#er%Jg.-Q7^Q؛(m M cD"ވyb;B+!*^dƥQS։ y .sLHXKڶK|Pm B~wC1f+ F<Ѫm_44,6Ǜ&wyPWmњ"4tEn,gܣ|!jrc!a ֹkkYBA֮f*"4m,-.Z۬|Z6""\4 ivHϾq( ~1ڪ8;2V`S,23