SQLite format 3@ H.  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 j/\$L ]S]HOL-Number_Theory:threads=6elapsed=40.295cpu=184.200gc=9.896factor=4.577zXZִF! ea &]ŗXf1-q恈D='-/w)P5$WD,^D7+ nL͊ [@+l2cmM"|?| 22o "Зy zZsRiIĎXksoS"NTR 2n !<_ 7l)?PD:"D?}([O Wa  PٙQEK|{s $ W;:}~< TW"Y3*M}JbD.UVCMsF,6EKҖZ2Д:@zb\+^OLJd hnvQvF:yC0wBu%cML4pǝoqx:CI[{e-FxjYVP*x\oChV n0ZZ79M#:WĠPMyƹ-w'+9ƚ&憙h6@ˡHl ⌓12e"sHIRi9xL*'41cK 2"<G =pAHPT"DtZw-A/C N~~4~—RCIQD#E%)=Gsg(Vƃ ܅K4ieyzE(_OB 3PTjI0GDC`O䮆3dq>W Lny4V6vxm's,:) إ7ټVA^͎7ltKKmJc 0+xMlO9y4pp;nO^g,]촥/0uK)ڦ=ɞ<>_K<͞Ggj˻EP`'\00tň0`IkSW痣;s&ihaMc'@mSõ5U2=UDvG}"A%. `//2L|fgzYY$ B޺*+t'X{/aEM6Ea:ōh%ڪ0#‚Vwy #*RD~0n sYų0UlҴr Qw}1VXF7'#kQًGߢ27(1_?$#% EU&b)g2={0|1<s@ԠhA[!')yowQ(ZmlWa7T5RD/?pf)9bDV Cd[ֆ0ZphMP`SHD>%gtML30ze5>qmAƄ)|}'s6!ò{DeH[ j}m:QE0!-P"<Uh8)pF'}<ߤX.H'qW!Er/ƥ@ y|,Ќ/ W} LE^#o&0궐Tl#-n+b|:zv-b <'KPIߪyXUR;fVs2O}9yd⯈YVZFŊ¡ct,w܈$zA F\ߐ!i"kI=r%b5=ަFKΐuD@gYZ7zXZִF! mJ]ŗXiɟ1e YSCMqmO2>dPgĒz>v<T'|Rwc$c7Qzs'{ϣ?Yv+g@L+a}; ^No-3w^%#RA3J~SFQ[٩ͬ:3)f# ~>#$0}JXM;a.OVa|nVSZL1[=+#KptՌbAebjh jLp劍H / HOL-Number_TheoryGC/9% HOL-Number_TheoryHOL-Number_Theory.Congdocument.tex7zXZִF! p+]A-MՋhvG"uIBm5Tw2L.-~\8EI,pt*IbCْ9q&SO{k%hԋ ZR$]A@tzJɗ0fYyb2OLNFd@\Vwޛ]\*⏌6[$z38K^l@iCUB.W{~W(oH' NӘs`5[/~a֒VosE0(WvJ9`s!t'LTtl+"8' x.U#6jǯD DxD1ORSv?^Gp#$s@Yp*MFhkzB?Q9T6?L鄫t }C蒺obʨA|wG?{W<vsV>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)DBA@?=<831 + "     r: ( ] # c * J Ks  r Y  8/7%HOL-Number_TheoryHOL-Number_Theory.Fibdocument.tex9/9%HOL-Number_TheoryHOL-Algebra.Congruencedocument.texD/O%HOL-Number_TheoryHOL-Number_Theory.Euler_Criteriondocument.tex8/7%HOL-Number_TheoryHOL-Algebra.More_Ringdocument.texB/K%HOL-Number_TheoryHOL-Algebra.More_Finite_Productdocument.texB/K%HOL-Number_TheoryHOL-Number_Theory.Number_Theorydocument.tex9/9%HOL-Number_TheoryHOL-Algebra.More_Groupdocument.tex5/1%HOL-Number_TheoryHOL-Algebra.Moduledocument.tex:/;%HOL-Number_TheoryHOL-Number_Theory.Gaussdocument.tex6/3%HOL-Number_TheoryHOL-Algebra.RingHomdocument.texA/I%HOL-Number_TheoryHOL-Number_Theory.Prime_Powersdocument.tex=/A%HOL-Number_TheoryHOL-Number_Theory.Residuesdocument.tex4//%HOL-Number_TheoryHOL-Algebra.Orderdocument.texJ/[%HOL-Number_TheoryHOL-Number_Theory.Quadratic_Reciprocitydocument.texA/I%HOL-Number_TheoryHOL-Number_Theory.Eratosthenesdocument.tex</?%HOL-Number_TheoryHOL-Algebra.FiniteProductdocument.tex C/M%HOL-Number_TheoryHOL-Algebra.Multiplicative_Groupdocument.tex </?%HOL-Number_TheoryHOL-Number_Theory.Totientdocument.tex 7/5%HOL-Number_TheoryHOL-Algebra.UnivPolydocument.tex 6/3%HOL-Number_TheoryHOL-Algebra.Latticedocument.tex 8/7%HOL-Number_TheoryHOL-Algebra.AbelCosetdocument.tex3/-%HOL-Number_TheoryHOL-Algebra.Ringdocument.tex@/G%HOL-Number_TheoryHOL-Number_Theory.Pocklingtondocument.tex?/E%HOL-Number_TheoryHOL-Algebra.Complete_Latticedocument.tex4//%HOL-Number_TheoryHOL-Algebra.Cosetdocument.tex4//%HOL-Number_TheoryHOL-Algebra.Groupdocument.tex4//%HOL-Number_TheoryHOL-Algebra.Idealdocument.tex8/9% HOL-Number_TheoryHOL-Number_Theory.Congdocument.tex-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 kp/{AA#҅ O*H =xE1!Y?A 4ִnޥܱe1^X`Xcjg 4kz[Ȅ><[wlU")ѹ_r̡ iA<\]a r5+H+]P;FAT^)-${TU}\ ݫ]F`m v^'vV w/:_zdJNx_ \$W+{\5>ϒ+cne:̳f^_9) ބOM̯ϏHFxLuՃ,z9':1|xR2UK>_;7r }*ۜBF$  6 `_F!rqGSjP \ c+․=2Z^LI}8N!WE?l3(l4W<:]e;1ψgXLUCq7캃L#;_߀oliK3a-p96Ub< V:07n 9Q-U!3-TKx Ɩ;-hte'B+K 7v{< /zZ z:89;E 8[շ<4 /3c!eO f{*ω|)v0ǩoyӤ]tZB2G:H2LNC2 - {9[W ?"(W?m\~}rz[%gQN"вOY$-XB/IdB19z\N<}.!vupl8$IK9FP,d[";}=屈 S/nٓ[Q~2EġLQOgV"pUDe܋a?hrqNrIːOTT4R bL4-_ q RW$d賤'.*|*iE ;+V U2t cZU_5Q.lFnvB4o4b|duȞ]@uLQxdpz_ԥ)jb | uW_z0Qd{xZlbp:0MRluK11{6tʿ?=P &| Qon8I0yz,FQ* W%|i:M>v{s-)<ԥF wBw)>Vx 1I>M=UP6CV qT2; T*KD@Mrvlu".y0罆ED&ЯǦE @Rfcz2iv|   罆bJ?>%elUي .7b\}dv:I)e2&OˠFbv+anr`~ݠHKAvhuOY촪_,Q Nd:@\6b9&{Uv-- Ær'z.ol\lτ-N] ERd+ S6 yŅ[0F dDy[fX]ů/r c@nk?I;i\Ka.ZS6jhEch<4_HaX 2|s8:3zUgGmw'|ˤԠGf v@ x#>u'Ccd$bFR"b_IyeD_[ZCOMp+>jHcXHҝ:ŝuxaAcF8q$D oS} S濕ۃ%N}ó|=2uHDX|BAUOMJfwEtGXH*i&fRQ0)͡jفMŸ0X9LE‡a,ك/ո uzCƕ{?4بue,&*G0 P4qg-38 (=Xw>C}lWi*K%/eLhAkDUz> my굺aȝ]e6;ᘂAW@֛x7̺>"Tfz2Ul,Vc| }֙l})Q}#˭"ZȃnP3U g*^KKoE Y*dOIPg:X?I9nOʅGZ#\w=X]ϫʥJ!fYpi]0V Y{jRAY?~l&2cn( ܫłz8c܉=Z͘dOÄ=[8/%u+L:* AY=fU} Q;wʵ|g%i^y 9ERDk֐k? Wv4d~EFqg̹TU}ZDwk \]3W).oxn訔J~A#wS;X!K3Z8<άN_fDSW#Ի@bfV">孱-Bpcr\@JS;vGܮ:c]%j?PTKSߞc;L\@W늡x{Iy=j4o32 %O/n,#]~Ay >N嘛z߰NV-Tav2ڕ]5?D? hx*{4$Q"иri|PL&w{T~3\SJ~j@fٞ kIcIg]ʫɯnl` X@#Vbh`aOh8 @+mS^&ԍI!;Zފ)zt@7p*Ys8 3,".[,q ZP$ziV }$eF 1uN+a&Q( XX 4LVz;ieQX>l->wN7V6 g&Os."\=/(]YzLy]/$4c>X*n@uR1YGl:.ߐPUӼ\vfbD# tؕ5\ F@?yj`,bFڊs5#g-}{ rys[Cݫaё~ ah?iz?AFq,z?x`_LB7Z׮NA;_N┰]Sgqɣ5! o_S_Ltڵpos*leDldξӞh8Yl`r]զ=u^B|O\eUˮRk Y5Ҧдz_ƒ'?9fto96ɘREq.!k O*L*<U'd]Yi&(yahKk$k@doDEL0RV<˂Ó}Q-'"RJ ,[qi1M5t|v"t|?"y,_+<'h>z(\HŸ+(|>dn( tRp+<|L" m*W,<2:M7XRH8~'ε7%!QxoF21~gϗƴ=L%T8&rmQegyFM[ER맱aIA9e [5h+1X in>tFHy;kaK%˙ʾ bD o z&J`'P[TU"?]R7Vm7[-k"ۤf57H|F1R;*\#:q>5'OUZרi|T>M5 ct?3]Ϫ/̉ <4ms +Dd]aw7t>L7Pn"eUH];eR0g:/t&&GI/_95֎>HZ%fH: 7wݓupM4u="Nb| x]c(d_)1T8,Єl|~-jWMLcKD1BHPam]ϔw#{HŌ?Hl-Ӓ5u:~NoxQa%X,yu`|%͟:^ô#K@nGG c9fL2M&kH1^I08?B}1ltMָ^w uÍ @2'mo  u5dAǴ=6@{Vl3Yfxۘo6fx AA{疥̇r@dGٛH hseK' q r N(/h~FN0}.+v߾_*Эxpfh9W.u)6 r° pݫOѭCnm;k '';=\]]*iPx?S챦x"\8 L,bƎoL~JxT|"Pzgbw3ͬl#sX? o!G7+ Djv`+Ǫ>GY6ϓBLЍ}/Ɖiy)5tόM6+lW{+07_@l3"BׂgM09a[grzɯuSJZVHtӟAm<() >ӌ} 1~? |:p\?^n!>;e`f8nR]㳣z/ {#L.^m:$$ ȸ{0oq5X`4,%?PiP^I[LOD?F?}ŧFE(fx>n=` @=MϫΈ*=R7)|p)c]?h6ʬw 0ߔ@+1▝ L  & b7<')Kyu~$DT~ EL/;퐂$!!:@2IC4t$][ å&hW14 t➂q KŔc>0/2E=kVa=e>4?Tr4;ٖ"UI nɦHWq*@{W = u2!qIڅ/%6/ͱ P9CDe[r̤+h(<VJkAf jɆڤsOQixiLcb׮s&fEˣ"h%E8ӓ+8GVeuC!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旃 //% E(ζ|Iߒ%Diz6N8*=_gTb(Xdz.s[ZpNѐY;K9xv>ƒ٥Xz_uNm*!~s6XcǗn)uzXoe "r#pO5Н6::inҀy-Mv W'f/ M?=ۿ(U!,ދ:eFt@~ڸ|lxPTTES1aj 1bB8"ăM~=R˰.NSyor`?pAaw0x]Dx]lJ}x&!GҤcǑQ+$xw$)+_]Ϸ&ZѡOɫO3tZڒg?.~Cjӣd% <׺pƈǂE"-3pj5[]k+|8cǚq6.%^4m=B^(Q8bڡ21pc}ry0O$\Bs}A&UӍ0*W |扡ˡ˨#aҭ3[Sׁ\!:g;`㎖"1ZJD~ܑ6HF ՏZUց5WLu67ҙe)*{ N(ϔ cOKX7]6N0{%?9ucN0bmFrzf.N\%hRNs Va(`ifܧ+)eݏ9=܌ ?[<3Mp>^<92SO&b>@$ Vv fȉ jySdu޲{\d,c-iړq溙x*x*`DI`xr+cQcTJS w9 Fyq0 !ö"!+Bh % /utڎ_onvൈ:_6< qW (#? N-)s5T'|ڇo Y %U #Gpʨ(Oz^"Z͔M*7ݩ-ž! ](r*Q{%)'|J7t,OP$HCB5XH2g6Jp]fLx@y:њ%<Q^ @!F˟o5Dy1U͑H\ݫ?z-:3 ; V `®E4\"&7M]B%R^a֧3M3$S`m!d)Ұ05IUhOcDXdo{˛Ԭ`bhWW |P~ކ>Dp .ٍhh^.$%MO3ԃIWvh}>Vu-¶n@ǘм=QQWl$QdQBfϋ+ʚ닪GI5ӏHsbBBX-8/j -, I10Uj|thLX U3,Wckt`efSbKi;~y8kf&DL2Tq0X.ӖhW+owrX=jiFs^0 6_'<$8oq4ۣl'ìꜧ71)t~ʣ'ֈj-M-]2Q5oJ?6W{ag5K#|VJjjZw:\"/F0 d9٪(ӑ*?,1V.k3s'%(8[4IgđɜM Or/õ+Y,w#qL Ő\ae[Q'} "}^ݿzE2^{j`Z9/L?Ça枝ƧV\ahj68s> m%az"SG#1-d5ޮu) ŏ h|mȬkG) D*); 16lH>j"?GCTדץ巗7\O[zN?%Ax[)~ 5gI &&91bca ^VαʣУ`|P{⁊va-jp=WjՐnJe",oF |9ƕUwmeEHx}Yaǡ %%we{2 "`g?h/ڍZl^c|`*-^֎1xX{_eF[5p!8^Zk+gD[>ZZ@D1у X>0=$BR@0ie}R׋3PQ{7SqOՙdl %- C''-\[ 2C@&pmݲq'q*]e_/$_iJ\4p(ƣP_Wm ČKX>!Clff,D)(Hh[=Rr<(in夫=@XƟR:jEdاt3Ʉc?5W#}scvbyGæC)1.NbDp*v"%tt1y@t;*\1|Olá ;Zɛ}{y\|T*\mNݎ6()Id|S)ˎv#AۊH""$c'Þ'09tKyk&hry( O.݃L;#yg"5ӑU!ŀ6*cOA+ޅmf vQ']>;_ $0Up'qqd`0U3du^&6VbQNf" f6K mW>A?NUmّ[RtjP%a!_O14Mo2l! kP}AckZ Mhas[%$ܿ[P{w)kṺWaJ:o<+lm&m/ AԝP?#g{_r%B@xw ^A@+aR`Gvv~R?]#f,9Xx[ȧED)ؑAxˋ}^ۘ&בqsDII亝oyFD_̑X!oXjOjx?gݿGhk?*uwC#*4s:I%>O3TYN)*1asȘ5QYG{rP.wǫ؏P(;=>ˠԽت^%~<Ɇ/Ճ,fhS܇o>[9 X/ZѪ0O"oQwCu *p:t($e7O\*(c2q/^K4FRA(dOG/2|Nd`+ht:>xž3m$7t |OY:?];mݡ',1dփӝf4{7pDsm &:ZPrxƪbV}Pk<Ε\-[8hJ( Xj'd t\e(z'΢d;ݑ q E|38!aSD;Z8mKXT.뛜'b:]&$l(57.t;4F(Rхӟj]ܵ/nۀCdn /M[Zv*n=pfkɎIT'ܜRvzǍy2d+!^S(b/+EЎsy/uFElp^!5ڃx!|Q ~>eກW!nCJuY&.pS&Sg Q`Mu/$0L 03s-×0C*|Ҥwy@COE $܍D- ?:d֛a/> @ve|~`[ j:/ArhUY;v*wxvA(O#$Z\i<aI38{Mi2sO96T6#E T=?Lhg[ֈx,܋Mo*'1tح+7QWjNC. .RNQUbZM 'zL[Fޣ3GzY)`Ɖ6{E]-f$1הԸBֽoFbshy\[C{hRC@ͼH3 Rz-CImn_lFlCeLJ}z"lqRWIh@G٬G0??SYe?ȻsѸ>QDR+縶k֙bt9UVm. 5֏]M2k/" T[uc7D>O4G/.?H_h~u%@o(ԡey""ҨaM [䄱om:<[rx[)D/) t7^::]}CÿØo;8V^rook4T%#G ?W}DŠ:>ЎBȫ4c$/e<[~o&p(ag'<2"qob4~qz$e] |цu3=H q2A'v8r%u2QWa Ln*oA fK}$( cSZJ%H3ʪVEzF-bx ů{6זp>LNe r-`ng=f&KrI C1Vu|uXHTᔋ* vBLjye6T7v%JW) qu wzjx' } uL\^rw80 F0OҘM ?#a0njQ~."vAJt0V57QA #<]hei\ `@ yq$!tοpVF9'7ZTo@e-uXt vX6 +/dI} Ȼ'>]Ex㐩CCHYT !2ấ`=EUGFVA8׹*g(0/PONN+3ᒸy|ǧ:?þyM|@$i<ΝQE!7 䡪Ά7L56Nσ |7WD/] O S6W] ]Rͯ* ̨}rhCgH#&s¶  SK"s@R2Sbo&Vv )$C~׮{S_˟D> S1GȐfU* Vq;ȁP.C} X B { ]4{04N8fαLa$JaY_q;H}Gn=eM{p+;$cvڼA[Yn(ȈTli-w=Eg·tڇ3*X퇓 `}6<αBC<4f&JnUŽ922A`:p s}=~pAI߹ypbYx':Nn^BJmstW]N{$GQ܁X%dD\+8(F2_^E Y oP ,PI#7~%&42Vq&7lD-SA!Q!Z*ϰmtdn@/0KZxb,RRi!%c;=MȻIVK:?N~{T"U TɟVc;mS[scN57 ߰`Z}U [YO9V>c)}v&ʹ/dq=} IśW)7U5JqVDY^'P~ff-mlh?Q.5986n[,úFsn0Vxe1%ܺ5*+П`2!x&t,33UOs"/*f !4|Jl!hZ>q5q9߮Ň]+D'#G4W+ju&4[(ћz+d+L1{Hz-+?ڽ?R/B-XAWSV hI wA?gbmHOmVa^;?ߒaDm HvkU?XJTL3ϼ*=hb=[C~u `Woz"0/A{)=)cђa,QcGncSsƟ7|bm pQ(Aol*X%M8ִv*ikͩu~ͳra˾9BqP hwEm`Nbjyfb25G冢5nX]Hggՙ[d[w2:懖؂he>,`Q"j=OC;}BW.ݽ}K36?Yɝ%`Ԧ+C!ѪB`^b0[eZnK|L\ҔZ<.yuiR>,d^'ozof{9r*si.Xvϰ#|Xicx۾-vDܾx%Uql{ڙ Yk?c ˔RuU<`X#m+?`U:~qQXko-48a~n8' O_9/?Q&c^z}w{_FI$Ĵ`)+=}fb~iB2W+>-nbx %3kk&#{h^M<6XT?Ό•@e_8eoq䁜'/7XLǐ #ȋ 9ry0yYQm4tm#[zĺVhbcuBE9[# NlӭɵȳA"v+7[#-syTTEF{DYH ]틵P_{KٶOW/O0֍M5 +:1~ ]xyaNyl˜ GdQ9>c*}5>IMO!({{K7k:GEn sKs:$%O#^7+Dpٖix$Ct[&~D' `&}oLd'bJkQ{r(Y{SAme`Zu %><ӚyȫNh/`A85ۦȴ{%T^Z5VnrUd#GHKA[!(3[)~WSCWS 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܍w4Gc;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:߹PzasS<l:J\Gah/]0ݎ?"=CuJF-z~Abۼtzrg3ļF4sbXzbzT]`=Vrز⯔&l9;]*VPNS$2 `OE:l7e$ѡ0pI# !^7bi t QIdi';&nFgBϗAZ\c GJ4z9J hͣ_p?9vjPʥ Ѳ~XKX#2>3QCe La)%y 95^"B$N!sZ!ol_xvȠu!KT;sb{/;D1|aw[e1&Rϡ@Y~!3wzFqT8O!⎜JZ&Q8JCVς|>kwmU1w2A|3^t{^q3={?<ʗdk WtlM ocNjV.4ȪabKJ/- fr0m6ƻk~ ac?Vp0yҤ5 17aABXG1 ~.Hh~#n#G |_\W}[X `md#-{\ْt`ŢYAT/K 5 cM dkMɌUHFu1>'98uf3W7`@Y2|ܰrV~gH.VOȉȍR ոPz1(D{@'ߢ1(N- 8rTLWvķ(>yI/ "!g,hL~enj0x:v1m)3t q)Y3ƢIQT͎mRZnf-m%58d #ʛ|ro:2ݰ%`̉@SU;kP(P\|~ԺgͿh(IR$h O1tC @\gLګwXł]7}2ԴǃeVP 䚶WRk~@ nwK"LJj(GѺ.AN+91cv9oeJPʑhbV1 `[%]qPۗy @ hssLB/̀\y-psoB0{JBc l$ltٿ{=bDBּ<6xr?׹GZi5O>ΕŒsPl;"KP3`؅ib}pÊIsC]f@ ዀ4T]^9 O6u`z]((S> 4 Sr~sEFL0BuԄ.8nfRUE_x8\Kԡ$^W{usd)t݄ո4 3%I:JylvYN G*ItH\s)5en˶t`TAk_C#Rw³1L3&>{$0`ͲӨ{A|rZ d lu a2L0eJ9Ќ_~4;?yÔ+]|{vDi%[6Ğ9\SZ+6ښxqt^qr?Vbl EE(b<Hz*i܊n2O^t/[j̍VTwJgS8wJ6o̠lM&44R6n+Eerw.4d\ot=I$9__C;Xb1a\(3C<dlr aڗeA/_5N d7-ƕ@>NJA^y3"Tzys@rϱt?HմM\0fB ~GC7!_q;iaIYl!atCMqQQx]ֹ1IȮ' "Ӕ.N[W3Qs:X#6} u@)68y& q@cO9@kjBALI\ %pهž ,tSd1 diQhSȊx^Vt?@?2A춊Odۦwt.)P=$ Lk6k0! .42;gʑ aJ⹊Tsu-s<N>B6 ֗}ZLE?l B2+Ny22ZX6wim.,@cx2UPFړ&t#kց(0t~`ӆ/BYi=VEI҇UN cAXh;?[-4 㞍e ^/f4ݧ./_OV2ƬWhH#,ƗZy/]y6ai;TvFǖe\̜B=gIŐѓ9 k(H<ű:Hr*8sǓPaZaFjh亢?AH*]"FqnsdA/7J]4J"ưW\c>0 )&zժ黟R[ ?e|kMnU܋A3n<؄7CZ@"3msPf6W$wmbhŸM,wP9 u!^E_Qw9>A52yA*dQ}_nSaRtWˮ.ML=;Ǽm nzjGW;P{/ߔ M q;K=Q4AN7toP%kB,#N?rhcϪknAJv>k ;^T_]W{C# RJ9B+Q/L4!-S1"lއ'JBkc9x'K o$ ɰhQd'!K߇+vL 7h 5(Z&۰ٞ&>Qd6<Y {ݒӫi[WũipWwցD%yES5BӑVNsZ8GhI8@ C1wS| S IѦx 3v7!6قeC0!'O>P FSXq[b)eb/gNN (t'eyVi!_&M,N$f75 `++Si;dC (x9(9w~ ՞~8rO{.-YXEܬLIQ~glLWӫ܃^z a̡B%P;[PA! - tSQ߮]/Ds=<ɔNt^\Z)Jfq9; (55oQ 9uIb:^-8zhrsS4@N۱=ٯ \6m%qs8$JM;  6f9h/ \|.r, 3⎳8$,=7g]e-ER9ۼ+w˛!n6Z|Ԇuj%͞UpEZwrT,eD$ųzTe2 u~`ɗVrPk }=~S@ >L⻡ no O),!W@J fN|J❁AsNNaϏ5D$**E\ˡ t:/ؗcWt@4v%6=pcݞ:f_w$y`|&'[d`8()9|7ZHBp y<@ [!"AqėL[ dXFr؞-[^sT :KccZfYyEQ>l.m[uig[c;1$슯4/$MZѷnQ<3GQW+RA>I4rΌŴkj %1!x[ R8nTgq!.c)xmjsfZ6$(_kwB.K K6lGHv6 I>ߵuHDZV GK f!d2I҉>VKR|4 FXͻ#KA㽬)P|(* k@, 9o1 .@M\V}q >/K.hFP.91gC<|ڽ1yX#m+(Oģ3bmdnF(/Vɹ '+ WC݉UƲi?A:2 DsMX+8$î˗wߚ 1Ţѯ#q[ ,M=SI=0IrSM6!.JTlS\q2@ ()`x$ ٘L{S΢Jx4iE-qo#V8;7am^Ғ;:Ʃ\f8ѽU V=XvySEE0W`B(EKbG 5([r^ދnh|MRoc}*VDyhتA];A1TpwKG>y h뺻7^cՅ hyvdl!aL|x_sFvCTn rU?\9k㢴2W#򤗹|5S  PLe|W$]Ox(dRy|㡍 RT3X<x/QMd9M?j?;] Іoѳp%)L'|D&lk8J5 IAUd7gi)tրGRazoGzgTX=~}yGWhTU.NՒCĠ_H(&DTHMi|pS+%''{aAYmwQ3(}v b@ߜ?_4JHfGfѳgo#^OjC3\}-&K59OFz]D9ju#>ι8|8'AzEosx=>oMѶȒJ`;}L?򼀡7Z.16)E&\8p\{%͕aIA yE'q6NI6+0DhI>{. EKbS -:"/`"/ri ?#|⼐(X2+P&b߼X(蟊Ž~eZ1&F:==3{ 6&RܧS:İg d0#.:{˸WK%pr:S눙KG><}o^;k+?x?b07#3T 1RZ%TuW -}_e/jAhH@E%$XJpJRe{wAr ?GaVbD:8QqwH-p8qtG%lNucc"vj"2}OBwq}&}.gxZ;YXekl2& l daaĘ&4  c4u/6y$M8-gW#t&pfe[BsT%6>SeCB9F:QD'KѷVP[ov;|DTzٷnysZ7,rIv `Iwo )|oM\`dpbYîR]6d)Am-;jޤ4I8o/NTS2P㾉"y B^٘6PX\% jdPiCq1ofh9D#c]@_~>ӗ9N`8@{>jQw s,IU:A53dsHE^S;  RI+ > [UnD?B r V>:$Ojk=RLkK'@M/~r?hH%=Yq*n}D0٩ΥjVؽaQCϢ>KO!b^f6hBv` ˤfQ,,C.) ҭ)PJ'p !e#.1?ngZY &Sw(ɐZ u4aɊo0iE 27<4׹ʚBf+isSYmXOLGG-ʋzohOҷ`#|)"sVT3oU_Jw NъS .u#T!,)†걹S| 8'j^3r9*|,Aoy , eMk$}C=o@g(O m](8 f@hdu)DRu>&&aOtvmtLCw}.Hj7~&>q@5pB)m@֣T`'a_>嵓;/AJ7,W)gbI\ e " gXgSVT_j` A9iƆ/hm ћ3Y{\фv{_!z~D=4o'+·q4X`?<{FX*ԉ@;u/*)̂ivPڳ/94SYPMM&gJP^ !e>L)=Ͽȯz;!*/W^;48#] -U4Kt"?I 2yUn$+"Ӑ(qRt0{}]24̲j^XYCZ>s&T^4z8k^&Jΰ`v5M~զIV:NYXa <\@vp}[+V)'ȟcø%M4Ήs1skG"\.v[I[E$OۆE@t[{@4,9DQt/3wK@]| [چ6O\SŻe|TzzgMNbşԎ8yDӇf׋e#POSS+LJ9˿fBӉK*_,5<:PAJhjX[nu)wPy2b]ngy_Du"(nunqF Rvg#'hPoAU! 0#DaVY kmSM+y^ ɡ'3i/죞&+]8K `a&ORƇzbrzkNt-λaGR}VK=)߁WTcڷVfGxlKR!mL|Ko5F3F@gg/8ż1XAmA>J\Oko>f#-g{=cҷmBqĐ]4W%xߎ>QOBr5K)E؂$/E=DRu9jDv~~umS ᩙOB4zŅj̫t u,+d6z넁t7lK {H-5ܫVHۡpG lW붨|VHM:-+to3Tli[%yiE -T9MkI,?i">8Ej5t+{7=!D@(]HغyNqyzrZÞm3+8QQG0~7$CιJpOz庵ADqT5&R &7=0|AIjrrśJ۔ӗO% kL͘BJՐ@IdRw#6@ؽ一kf*ސ5vO4k4?qoqbqs3~6tQSD<4r007ꒋg#[}Ci4?y_wN_en-6-$sdotSە+QqxOn ͙}RK>!:}v">ts+tu7qkS&gw`xDw)ruK>.Kbb*6okb K3[JoOJߵX2WjIsgsb:J\ȋĥtدH @O- ٨̔Nymvz '頣BgtуxUW2Am Z 2ok,c{pTBܿWo}ӨƯǷ,vramĹk$Z [ U-#iF$w܌Ưko7:l}w 18},"dvoTJRûدַB}EmOS,WT \h*+޲Y1- 7 I@ʓ* -?,9u$<'7 ;D՘f*}{< ot#pRDɧP2dz?`ݙ!L+qsv} ~KM$r=H ,sÙC=K3&]; %=A,9ñ^nhC%hlr [Pu%C= _5O Nmj%T:XФOw]EXҩxED@vА S0U |[Yg-sRμF^tQJ吇J"3)+>o:o20q [/EZtщ\Q,ͷg t׃Ç x `9^ߕCYbJg{t#v=;\tksgk4jJ!ih PX¾g5K v[C/ O{`OukJUt͸[QSӕj]{cA!04m06%(ĎoCd}(~ [!hߕbWitvدx1^>ӄ*^vRUZI <"5v{Df?cl.PU%6mo ^y[j.4]"GEK1BQs?F_eWūƂӈ14 80]#os%BY ^Ͱr [B{QTn 2gYZ GG&//% lHOL-Number_TheoryHOL-Algebra.Cosetdocument.tex7zXZִF! 7.]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+n.M9GvPڒxz:6?X5 YO<+Cı{UC~P ڰX W1GjF}U2.L&xBU7*dt^n^tCH1"NgWQ^)oQmKf"/>/,OPF RdԠ ̹e$b% a ;Cik5cSZ !+8E2sQ4YW+2<EWdn@wJ u11}8rɊѹ| Unuj}D:/j퐨(::͝^69{4.f>?z-kPf rO{;j=@q_L>. d5-\@lhTٷʉk`*L󧾣j ʡ:7N,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 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ځTH6d8 H~wt d)A>o1pABP< Ⱥ_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?yv-nRM0-\~ͳFoSƢ&:.v*xWk`FPIw$ӺA4Y8PG)ktbIA% <u1NhDp(N':Wa\N+ey9jϘdmg48NٕlNn N2v{swld8JIp]0/#aV:΃=˦Z¹s:Cߚ@|-5$ =# ) ~e5p!~L26p?W"CQFnp)BQԋgwDZB^"U,9(?5ʘONE8O6wi^ДQ ?n?/qsի* >p~Mڤ(C7*?| D`*M^}B,:+3ݛ@:d5[wZij=^&o/7Z쉎i!ȍmd"0S2xap;L/&{ef)3\ ,@ƃ*&,t!D,i#Xȵ~d\oL؆?Hy/+cm "@ &ȧ|'л)GROu7ʬXikahnNl^ڸDs-DL]p0֦0>~+0w{Y{ cMWئƷ|?//;[Pvؽ32X/q` -]{wf{VALllgiE,A7r#C]OLTAôYY4.BB2 @|/{4~swZ||%.+%0C-sx =Zg.ɢYNqV^!̐JsWŸ=E= #/ OWx?H~LJU(7 "s/)%dTޢQm0N7h#WqCcߠB7D 'qG $Emjܨ8o[ZoQ>.N@4e8pQ{d9%,yuq7o\đN!q%K"̇O"b;MSf(5qWd;)|`вFGҖf 10B9]#stTkBL NT1o% ΐI*Q:a /"d\ q}ߢP:f""OF؜Fc/l+?Y; ÀZQWiVx틡Bϯba>IG^i{LbTj/"c3ۊ4> 4hW ޥ: Uiw,嚍V=O"ϼ!eCS#ܴ_Q[y";gV_X/fl5VHr +xT#ŏs~މ޴ Ӡ i? 'u$+qBy7`sS|z6 /,`*ATI S]l`%1SF.f'n,+n3elVm߿PnQ+y6|U -l!\لgf'眆9x$ j$Ly ͞5ʔ+%޺R0ЛŪ|c=iQU*ї ,.1b疻ތ-kfi#,kaJU1:9aWY}[rDPa9Vv [2K Tfc5?u]vnkT'rѠk$DP|xn iAAĥ /oX6Y g9hWU@8Ø*1Źi¸v](;qGi'.FZm9mAւkQ)ͩMv3}l@LtmE *6 Y覿]Ö?IݧU֝xYBoȖY/?-g ibx)$jGn1cۤdqK+:&-sʭ\0f NG#q-`BLXx;3f4 ȫX{_0L֬ F=\mĄ%MY5YPlihV iYSE.t{=Ucd5cH5ڕڿ7@.v) (zc=Vǖ_'kAaEA/7&nI <(],%eDFz&IM!E9@H+urQ͗5iz}M-sDhQ }D@ƶx+jSt'j1aHn,Ns0bL!niRo~fz(!b<2}=XUTljwOjJs򁴤|*rӺ:hzœSOCU'Jvdzn_۶]\Ѳ/#TgCp[_MH,i!$yY^RR8*&[]uDm? iuP%%XfF,Fpb NkZ_^طY#To91ICemѩg޾p V/Y}+lH B&8PV1%l&0$cyom)V$E2y_/y@2A;k,|Gp7`:Wdйg`'9(?D{ʅ~ӗVpPnT.ܩi кe@FSo>T_WO8-I$1Q1]JQu-Ųr$˜{cn۰Z nmx9>A~ P<6ؒ@Lx, pmoydmk}[#[oPT3,ާHHʭ2WNrlQX{klxHg5[v1ȶ:<{Me`6p*xhh%EnS#+X^cL5{:>jBB1KԿe/J?3J'ː$lBITsOl. I+$)QThlw,Ck{㋑aqת)ų?7F'nn[\شgZh$ipmuhj(1yG[K37 Ղ= Lv{XfV!O4@i3d~cdG"S ܥ Ȣ06I0 Cb)w ,6XʙpSqUP .W@ ,PΝ3w'ժ{LpW);$lazfC pNX|n'-L,* f]7`;ZQl،g 3s[Uϟ{= `KlͪdMW箰AW'CZVi)&@j,?c=E?b⊚(C∮0v ZBwHg%™|a )d;~TU` \`\Z%^eʰR/,k)eKd{s$T^d_2Hu05eLM!DV uL(b ,eřՁ zoL;̇7ׯsIMMgبo.®9:  U-tNoi9a&0TAOwALaMvXGNT7U=HD> 5Vf IH=NsVIA$=D 7G!ɕNQrYj_Ӷ2+dTЮ+_̌&:7jDړPE\h40JNSEtg];"+ʽka/$ -p|%vߛFjYi$X$ .Rvҧ >^ L2?PZB_Cu%֩(.l0z'EQSk_vxT-048Z^Csvȗ\f|x0v*GdM嘡CA@MF5~A\׷h4$\CY8#`Is4 7Y8^) &zŷ['fV18K'@*93kL' b]`MS#ae!sIOb!~9TWd;Wt]O<$A%ԊNz7[T5t]:pL"i:9 ͔݄ۨs[qR`)2 ,*G"E%=;J;9w`2aVHǙaAkmsM^}bB|CBaW'Hp2*ː8!p\i5at1zNP7Gh- ~洀_JIf)[Sޣ7j§ uTL\M,$ V,+)OeǀV'@QT/4E3]lx<3*@4"I }0 f7Q:}Ӈk;c`=c #*4 !yN?ݸ4xnzƔ,زWGi(X$GPC3c/;c[[ȥ:t\(]qׅT],--Oy(B4h`Ps\~&*W; *5J)Đk9Բ<`$lkf_)$Zq"4;?4tp(K{8rSyb極cpJ樞~*D̔dhi2nZWe=qxn5ur7} mT 6QjPZjDL1¶F ˃iK/?SikBp葩iƔֻBgp"-; Qa1H%'A R׽0teh/8[?zaah=?uH:is!Sh(GZ ͷ1EB_Ā >2Mb$ԝ*ǵNo'fd3lT^?s_y;٩m+ƞɱ4?mV [npXjm&}ҘD'\U×rmbBH6dͭ`ޖt_ > 8*?|hT^Y7C)$ f^NKEe/^"8k ̳j`Rv5Thgxw\&*"h_FtET1PFGd67^+΋#7;?L 8v̹ JИ 5rU!%|M Rw,ԇ Yغ1J)r12ǹ6f/T,W'vv4XzadZ|м<B ̟RJjJ+\(i3"?Az0껄N\an0  Ri-L&װ?qlD@="wJ@3Һ ;75/ep$3)s<|M$t# ׍E}9jќKx0*rۖM/tO\M/:K۵>9 7bޱs)w[&/epHWZKx``c'4nj^.awr'B G!lfIR&Y;0R^'IuL+".Ms).ṱ8&\=g%t􊢎_QPf,h;:Ry$n4j%ܨm@xP$۝VqdIm4O`D? |OoH[䛣?OB`m_0u}\f00cُ)'rU8N 0!IY80 vtà3Nѳbp~Cu2QYm#M[WjK gYZ   /7% ,HOL-Number_TheoryHOL-Algebra.AbelCosetdocument.tex7zXZִF! L%]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?gDŽ-؜ j Fa-`E \p= eY ݘAe#T ]:g Q7KtueIcGVC#`s,JۘUJc0F(b)/߼5ā6dm(+N-Vw)N{!޽Z/@i2Nn| #X/,K`"`!.Q1wm#"4/m멽j1``Б/Vm qzk>D5sfY,:8v zWx)ƸL|^7tnb~b1h'9dm^çb9RLV-sjig[5 3964B"A4An?ڨRZ="QW`qsuKDc(fElMkN=kԕ8Er(:ZPt1/-% HOL-Number_TheoryHOL-Algebra.Ringdocument.tex7zXZִF! %]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 1mI-FgB\ L Wg>yK(/( cZ0@уS*L6'_Ն5r<{A'J0#ғ_YuzkIKb~%%EÇyЀ\}z`Y)_l wէ>,Rzt@%o9kra 9{%/-#ۘTu gܵi/nQ)iJ%W>#%Y7V#\>kJg7R~SN51 4gWI&o{w|e&$5I6Vc"]ƅ,JŠSAƧꐻ &FFbjGϣe*[>X'릱wiWT<ڀBʾIJ%3K\ul `]r98`{gcѲ6k{e KY H% WGV={)".' K8L#0fO" CFn &7< ?4}>`: .~ӱaX6yTWj2%Dc 2c?Wq^.l b79X\>j@V:WT &< 5oK؜ +K)pq [vOJSJB.FC!YMSTڈyN}1yl-Pf6΄M0fN$+ ۫y/'ړDD9]Ykt)l85=uY94"[V̴?3j[GL3Бy":9AExK_i ѕ\2P%덒jl T픏gm<9S!>NKz$_VU/׃dAR~cԂHY;=IQEcJ'ѧ+A~tkѐu\Qn4~$4*G$#zU%mic &Qם]a:0tNS+0BW[,5F*vZC;9|C&\PGoCYd2Y+/&Ab'8dgZ (; &Tiɒrvv[%aND M4r_]zP>%ˮgh #"Wr T3n^d),@[A:Vrx{lW!h GrZgB(쭈$U=L(慼!()-lN̋i-qug43k͟˶ƞNW6GvQ) .<ӕT-4Xm8+ֆ a@>FYF@"Stn EvJ_i٦ޱQK.δ8GxRw`PҔE4_oEJ~l(\4p-_~"OB\HiEy 6CJ DA@^ۖ(PGqxY*Һ%g`4oX3<TG d$ZK&vs.ҕEå@ ?5y+*g̉g_Oy1-i9Lw/P"wMVGh9ꋶիTB'~yE[t썗+EI1$ර>M{d@:x&&5ܲ\G b+1#ʡ.<¬Eț>FuQ*K3^­RAl>mhzIIcmb ,w@xD KVӋt)>L.|Zo{ _A7huJZ܂|k\6e?ay򜫳}ɘx TYfCO;5BZo;Y`@PqH^/;KGyj3OtBՓ|C;';$߰:A" H)ꟁ9K"W3?8gZZ5\$Nj.H=O j4~4 U[(E8$/Fr${;}Òڳ+(k !!=)| %zq}7PKxHzߌ,ch4ΗcRz5o9˙$}D9?465rq2rO,6Ax h^Rh_s2A 0y%`/zz& qX2y%SdIUJJϱo|ISFJqqѭ-;>>ͤ ԡ6`Z2a{Q.ܸUYJjB4u%Aŝa#@dM]'W)%1@KE\qsL[,<}݈;HZ\D#zT{L`_!@~oZtZ\\[PV+[GNɚ w{fg9}}Skd,uG \ÐљQ?1@>Aµ¦v/TF5?KG=BAw1::jS27DW~Nc&KI z*GnBwomCk/b#wnFKzQY}K ф%&P7 "Y}ty)VŷK`¯AqCGB:Jr6lexB!hR Io(VNJe/">L}?C<ܜ9ˌ5V~k)rU샜 sMdUת2D𗱶82nC4!<3kDɈ$&q kUNdm^b>_ ڹ(׃AK֞/V>+"Q>ج1w'hRD^꺁$+zS0w{x]5bp,pv~Re"1AM} :;AS}:{u aљ7;@ZO,kzltך9}8/t?0txbdq^h[0h!07{׎7LNrZh,!9W4tjNfu>xm19yEgщY@>"oL'PQ$ 4 VNx*XN}|̸szgUJO\+a- d2&Y:d}v <+[pćh=|]);V(5i8#9 IPN=H @X;D饄Ѷ\X8=k= _Bu4@[˵FZ#1.++ yda'cBg}8}\\^eF~;@#"Z8⩮!Ջ#JabWT_HX#J5Tۨq|Ӂt}X&G''.m WS=7)ܖ>0p:o437 U`']w^V.6qA8Ae#^)90Z]GF;jG<SRHwT:X^B~-P *ow˓;q0nC_|y(Ym V;qOI ٯpj+믉sXaCvi⯊@^xҤHυ`vy3m0Җc:1RoѶo GPi#(8 { !x.4䢕.rf89P|Hi&*tGSW<ٌ)C@!# lC~7vY S]Qs@ۨ *ҊNc2(]g؍;B.G&ێ^O"zZ-/WW%,^$e:N@YB(|CUNti;4c)s[ux:DM80-{S"fuSb )sxT-H.tj9ثU<]BktASwo=96&W~'[ɗ{ʅ:T*Pè^\0; |bVҷނU9_ƙH [% 3=x>t/n[4`9; rc<,g.$pթ ;N !2w$2H^?+~b CqN-^R SoW)la~gص^`@s8XlXF'Ea6=7R}vgx tXBĂ]a07jW=_:? …d{sSw^$\{A*jEMA)ki \a1ƑEU o5p;0{wCe8QbgmF9$ssղJ;\j$y7X̼>xM̓mm(]$:,Nbļ,VMxpZsրiCc>胠0a8!m&$G+ò{9=:J (|Eؠw;װ*) d\EPUSo]3 Mnz<] OpL?_7t:7"xB^,=q Iuq W}nbY˟[:U[ Y9ǶU Q-0s[A'F0/"~[)0=wy6O i4EY4! "5'ƻ]+m0 }(&"n%B"WxvDA#6 B-r!Ҏjd75Fn4Xȫ!ϋAvCb?KK1 ]B9hj]YFQ} - '[ρ,(Lu%`Ci")vQ#oV) T3Y<ґzCݣRn$k{*}ʴ8M H#PuBW=c (ƿ{4C4y` sgTNڷ1"+uB;M,<%'M Y"]&u^G9gh N[,tR l|Ȯ=׆Tzocu4 #&P|\aI?Pcs/ G&4UlURKen6Q-+p\.aݰ'7FF5nJP޴_zd|_> p0@ǡHUM(^J Qg `VU>nM){1=:/WUDTHY`=aݱ40$./h$_5ѭ+@.lA^U.U˟aCC_{Tp}ݻ.G| *´ԥ< # ^3U OpM}ͮjϪ9vTqU?i{reA ܱ@tڡ/AaՌ0LY|RG8 n|s ޼\VN$50f>2[r{ Ѕ+<PCYWp/U˭G5܀. X%aD%s)#(.q)i`JX*'F T@qxi- b^I(xhVSu˴#%GA^yZKA:6/|gAVZmr1ˊxQ f_,wc] 6֝|v {DloeiLN3oo%{yM(Zx lc*-ѧSo,1*Q =5DѪԩ'%;dID!.'IN\?.O-hH.hhPC8h$ }A}O^$FrMD ЀF[p |,QZVaoD\x JAXmqϡ1n/Nl ^^g94vrjO!ȿ7C 1֗903耖)f7{ O_VJs1(";]/_̡u@DYb=#ŷ΢DBwEW$Tkצkr1U,q{(~r #<'7DA7@ӲK[TFk;q%D~Ӧ^w64;刚4r=csjZuP"ux`䡧V&}К> ~/J.DP-8`  /ȓ폇H0;'uc˨R!b >& Ԃ٤{f9 ժZwNW4mō46e|VҹUMe}i%'澍pR3d#wU<MC8xq'߲!91Lr~58D@$ fk"H`L]NpGԒ3ɳ\ew篡r;RCN( h|1"0A{%puKUc`s%sldvػ{.JNŀayR:;ҩ4$D@9^sAUG4ىhG(>AL<q .ض]ke2ń/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 :QgYZ  Q /5% }Ձ(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:ze1tJb_lw#T /3% DHOL-Number_TheoryHOL-Algebra.Latticedocument.tex7zXZִF! m%\]A-MՋhvG"uIBm5gbkG%sddS`͗_T1k|8@?f 5˰h0vBrکyvŅvB&/g xn&jP>gvV4ZFZ[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 $&<:[ -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ДcppP}k0ᰡ-R?! ?k{C5eF0ڃgh 7.ygϼҲCH P?UL"W(Zn# Ɍt2)R^hԼe*?-jܒ!ȨgEJ5NNz=^^b@N|kl{.YV/$`w8d`҈UMs %A 1sx.> ^ؤD٥s+H09-O )Ii@\?B*ƸqG[ɿm'%j尋#U>U8() xٮ:W.T.>K"y2}֭dٟq,Y'9.}1(ogϝ@D\ރzM|4[`1Wf*Ri }(Tb=srW{{WF1pnmHK< }JR1 1WEu2uaʭD2z~khem:ˆ(s/QHp1;Fq&%rؘ&W*d5tO@+aHEuS5L+Yu(H D-PgZUv//Q>4 KYu+JyeRb>6ibPWH2K>2`(o_]"T@v:Cge3*~,\+f#hlO6HYA'27(?(V߁?;18* Dbor@HQ50A(˹f(>qs< mola\cr'W2hÌ8/H:jj=[72s%r9lnuuͼۀUq]_;$VXt.xSdnfGQ#Prx;d@68^LUr3ДJ AFc5=J}UC9l=HΝka] nMAޭH2b sa]L7E67@rSA!\{6P.*|X!p^Fo"6r!O#jt[)}6ltgSkBJ8SEu]B'Q:">&QtV Uw c&:> 垣X1]|nx:=0r@:0=5bVIP$ ynwq]d-q5o(5Vvx̘! ѲZ-n M,`G,%},Cg },XV,WVͥM}czJ@:t&w iY[Lw#II5K?^(lpxgUԓ0 |aYX@2ECh7٠K 1vx n| Byg5c5X7sX)/ QDez`DdXZVW>op<gcQ7p 2 e!' u qTm7_١d\7\.?v:3U#ve³S" ¾D󖧣u .ETv{WADjhK3+@fc#ە -6}=[ E,:v[a ?F牷E! Q/Q@olGJ'=T"TB]k$a%')OT|Ѹq bA*d[׊}<˧YH[V)hJʇ/,khnޱimoRh'8 a?)$–VxWZ@irQc-A~R,e8J6jH/ԭI%B gwzΞG&"g~[7$V'"}t U'ө\h\6QPݛ6h6Orsmv_p;$Ie_:bjc h]TnElb*+4ҁ~M5MMIfKVvhz΍Q8;vj2F`^c9 { ~l';#vCڠ\)DXD nezHLp|{7loϟP2 2nAV^FZGx9z0D1ag<SYmqjP8@Xdyz.!$kuS2,I=5Yȕra_rȰ;8c]Y q]2Ǟ8 5(0 0$Yz=+~Vѥ+~ c8mRu%QִhI>`m+AyzE$9_Bp1x3%ue .a< $Cl|\(2Ez8'+N&7n,>/B\̽y:w,Dz2#@`fg+ђ/ʨ85YRnX&"Q.J<5يq8fЊt'Bx@ƊM*<rx08-tI_<#6nF@FQݲU&[@~gctŏ93\NE _#=5$|LMh/vzf 6Ĭ-M`ZzU)U2-:97_tbeQ?)c[DTWBӇCtrxvϲ`f6 G䭚vsEv^͸Z%&ҐB3@:; S1D?҄s^4;]}ѕ-REJ9{D~H_{M2ۨH4?6ѩ^ YZș1rAЃid$6%N@xÀmG7 rwgBrM-#ٽLW?~DŽLr$0Z+9\oYr^O%t:@I A~:y%?͸*"sibs_^?IZK`4h8e-~ʔ:^n"y9HVu9OpA T;7a7$?P:XM/ L u-) ;D7ZR Da+B}?,UE=H(-0a5tnx^S/im񋶓R@0-m\J'W!ΰ(Xzag [rFMt=E:jmI'$?+D @:_wO ûHS奱qGuMuDfx ct-^<\w}/#4c@x@IYtia\Z:#63wilC4\F^|i1꼩[9^ xK,AIůInӞHTA`\c3t9ȋCktjr$L9pn\RhWni#-~rNT6"^,ؚCrJnXD`5seB|TVw1/jM2VvBAB&u>!SʰRZ#kN_ [1{8kZ#k6& n PD:-Ai.:qe"!ϫ\Ή&ֲRe-6!dTѻkHRF#A6EyQ4k7/f6UɧY +}h7eekpZl.v$o 0Ǿk+z:eF!6K0NlNQ̄چќ%) / ΎDHW3+٫z3",4mw ;^**=W ,kVy=F{C؝m@WiLo/"e#;Bz;U>jQǐ>xloMpÇMU+5Tz Wcڔ [呚\O,PP)Sg_W*r;$eG<աL!(# @-)jS2`_A˻,vz="EmYV7̖%oY]xc]هpM#&'_;F .wSΖ6vlg%W&Opd",<$CQIQ\@RioOb! פ×ؽ_J4֘ >.E6 7>mj֜Ri%[(@U2m8/ E'| AJ}]8#x6΃*x.F/swL'I;8mFI }JK$UGWKI ]o9}A45.VX*tT} /(ܺ; bcJJL))Z"~{U;D=iTH 2\U;/6,#o)z$y?#y[ l]. j0W tMu@4Ӵ2qYʢs/,@&p ;Q-OVyQ| c0 T̊5IlA~L/݅⍛w7֬C<ԩl64Y.oJSB9E0`*+XkgH?IG6>rk#;x9`1Nǯ3m`x*Qc ,gIXrBoz S >7 5.cv'ݪdL*c XESg}y xzi+p)M|p=Uܴ:=UiӇ~l`Ԁsn[xe{eR3B1gi!_x%k'R̮yjNl |P)RR >BCsNVNaե#-6$ ʭ5ҦjGp6TsU'N^3̲ɮ%]nɂu?X%`V'LT/MrWzEG@#VdTM`ͤ1{[ 9μȖb$MZ!tmp`4^J2ņO `1*QQ(IOrɗ>t&娊{ӔNioU.C!9DlՓ `(U G(KofdW${i저̕ڣ퀊*NBeY)잋oth 5P?SQM/ll7=y U/ୖ< gp1 C|=g0ٔL†y߽=?eV)ϯ2wȗ:Ó@UJX>@ߑX#UeBYckRΡ/پ8Fh& Hqڢ{I,X1.U&W4'R b&/q u(LH>Φ[ňX c?.^"<{r0Pl}a.yЛls箖ȻFxipFHr.="<:`G=*K--|> ZZDU'5 ridBܒ4iאe$ltK!|RL2 _я}^/*B , 6gcE'Zޭ,b /slo{3 2; 8UҜχb{Lk b,$Z+A}_9CYCi?3zJGZI.CoQrsLR'=bkc撸|.TWD!6/)˭ڛ͑A!f~*QujORMͽdbd= }1ޡ-+sʼn$J1=j/, !74A_V=_ɕ#llqANrSD#ݠ/9&}XOOYQ0z0U+/\,S!]9ZD9Or-JneQEe'3ԎP5M~ǹD }¹DlH䜮 \~4M#pTڠHWͲuibuKໝE .S pFGc{p$/߹ T6pcS< ?Bwf[}d#OPV]咿ٔөv%z4xt"%`%,0ˠn<7p[_mJ=AV(͝xe1m7slC?+Τqd>cFj@t/Yddi_çGTL=bq!1s6R0Yo v$h\ZUz8ãC8>ɕ-㜐8)׮Ƽ^8C%; XϠr'eJ[{{:d^sA[ߐ`qJ<`:d}ƳzȋED˪<-Ĥ'U H#/Pj/%{{uj4BT=6!kNJBHSǠ}ol=p2&QjFvlr䈹=sw32X Kass,eK}`C9oui;n ЀZ οMiSa$27*??g2!˱mPڅjI~ܧYWE-VRF{qalj~rXR.I{y3T_=wNZw%G4^ٳ,-b0Uб)qMTɩIGa~oI }Tuc\q unK'ž [%՝j+[=7-E7!Ol du!9kc˅61&EJdЭCiuwEc 9QIsu3k=Ypu%)fC 빸5t\d[c2RȞHzdPJ9~#^d m%!pLX%3{ }tq7 oUֽnè!yF 7Ÿ(Ʀ>1b;22jnj(47*h Aw<[Hٺu▢QuivTDI9vt1>=;0wNN52Z%ZD"PKM;`38T梛j*DwIdzXQwϔ5w( _?_/l:I }IB6 k2B!$ odr\snp{YK$%a)C}M/( ny\MЕ'+N= PhcO 0og\яG `#YcCJDwV{\G[|/W)ٷ#-DߕWξƺto zlj#.>H4ꛁFI6E{NHoc }OBh :a |@% 9'אښq:잶(glK67]B% (1ߖCp5:Dsmٱ`tJ'QH\{w`Y 4iJXBPA<D̍Ɠ\v1>1qt6~*9g4%Τ:,mrW[ֱ?bL:#`'hOZ5J&a9OV qn$#j=1O|'7M ^, ,Jk<*\{ 9hXʲ݂|hf/-42OT: AGI>,ͰV7ᗄ0l<Ċ5P n{ccL!QmDLOfO E/ B:~M@ 1?RO|N=MRk%;b xRv]Wb^\GKQ(TӍy\??$6la7]Yzkޢ q}ڼaw\V CZ6H,j΄x.]Svrh+.t ^PVU%u evR) 4bWy@⟯/o ٔe}?J}F_ڑۉܠJlt0 JwM\. L }u#NY'$m -DD^^ys%Z^AQ]ȞƩ ə|E]}|NțV1dyN{^4)+I%IZ2j&H_͒DӨ/9k2D!Xj#d#9FlseVT>@ e%m`lZ*$?Y"&OE1-Dn2+iDvr eo#(C =h릞?[ϿWCފl\D e6PcK+IǼMcm|>,t1nhZᣅ +|XJlW 8 xI" O^MQGf@ׇ:};(IKS.[14OSbn}kԢA*rېk}XGUɹ\Q^"|8keKpnM ł巰C:p"韟RƯw3D%p3&U%gT5&Z+qQcI*S|I Kjrj ,^,ZnhkRr7t jxp|;pj3\Q!M.JaQtpJ DX@r$J{fYAtTq $_ff/jGHX6.)3(570w4:ؤ兺2ug |$i8N׋@hLRLfȦlɣ@t̯N;pf{Ww /&*%;d8)MתAJqcсw-[Imoh6bEd>5|%#ќ!Cx0x_x {fowYɖx Uôj,iQ"F&kͧriw|';x=Y8&&HKFxwZ> Nk^&6~QwSKQH$(j)ٱU LC#y(uDC_ZզA/yŎc)/Yp㸼굻7-)da7JTq$$%e!xmS1\ l;pgNL}vaՏ} HKZXvGf_v^2J5g`!&Xo=7XdaUy(}biVxGH9c ^e"xR[wmɝb,UP^UޭʋM.@QL+9mU]{>Hխt9B2Ɣӣ0I\h_u-Hb]9=\ &)͖ah+5k_J$hW8)h`8Jzt\xw^?}_h-LeG,W3dY<#\;[oN?S4-z0L+4Hals~n&]Pv6 !)6:کƏ; BMkVx ϳ:l_IGduV(rMQvP*9A[Ł 0Uڼapmi,;ƯX.uou҂9bkک9][iU?V=sT=3V%N>HKv(ZYRfn##|Mvatݨ$)qG~xM#. Ksmnf &g}@%c[@Q5|h )ͺ6cGzhrBYuƼ^n!SzƦ\͏Tmˌajߗv]W 9t#T-1/0 Gs|M؂b8 dr&SqcB }#َDD:h%)9xrEB:܀Uܾ^7nWOx1i|m_<6*Y2r{4ħbڸ,I ]%SrPh:mxYVU.tl!2!K_3'*ݟi#: 蘕̴ 0K-foV cB¨gԘ?k\s se%C\Y`\5wrq&IZp["3H,Cf RfgR%=W۬9>`|>C}h95@=\H?l Nl4™x" @xY\52[f|Jf}>L!xPe :X'ľiu-jHԛoƒܦ =Gvu{C5'HqtT/|H (J U[׃MPC@L g{O?ɬm*ף\p·_G|"&al\}[h=$ٰ 8Ҷ>"%Dz"pJZnC+|wɳrhoL/g%_=x+o9*챃iE e[;1k Q"h* oe5sYp}Ꝼ-S7꺯"D"1T~ Q1 ]ڐ#xD-O:yίV/"=gd" t3Frf<&3>/{#YRXyCHj+@@EMe~|x :i˂`DNҔ*z)|E Ȓ顱rSxC҉-Y[`{Q,nY!TWv &IɥA2::8 ގEnZJos!}>u\M5c>ȭHZ0 mY @NxGҌ|r.R=a!9t <0±p2Xv&J>7,>IWNUVQ QU/v`(*!zelyؼ'ErsCQ4h\kVGFz0^S͗JsS ż SĖ&[C¼у@(v?Pwj۸uEd$#4?llXd͈_ly+fꪑ OFh)mQ:g|&pɀp4D(>%ܭF/KWaf\:L@i<Ž[.Pz/\b7]uw'޽[]ZWD Xv=ᴲ6+oj]%vM&6x.%ԫMT$Vi_ݠD$( ]ˋ.`OgT*)_"Q77߇sėfMO*QGU tZ.wH]KjTeTtgq.T{ԝ>)tZZ컴jW /,s@ mH 2wQCTgaU5ԅMהzbHcwrU0f4/?CSoqrt>iV6d8G4„**&TfZ/2\B&ɹ@(8ÇG( 4Af ;[2ؾv{ݞ#Q1:d1@AՐDҝ#G(qÒP^/XU%K+.n+bP <ʜ.r"E@p \t~묙}r$ 6*8ʾ5o2?f{Ϥ՚\b_Q&0Ò9M63<`WEيu #+U7V/H dDS&khxXrRʦI @oFNzzM'3ցvǑ}萆l >.QINǾd]?:rl| ڇp3SG/dj2Q2ƞΡ|TuzTǜɀ9(Јp5-to{+3(YKzP=O`xrWw1w+覶whS[spUۈuIy`Pv0k7u!^hKq2 m`6 -q>|fUT ~+ ]E="ID;aszكk пW5>8քy.NmHyPS{ IPyLUj%c]g Kff9OS5`ˑ)GZ(7~` 03jN!Hޱ* 7_1-1۷~a(8bdNDi}}wF\ mB=bK]ES{[ 0 ;nȯ$K[gl2[!;%$G9$qT+OɎ[\~ks`صy1:T? C$jډӢF`lHHCA\`LaSVrrιG߲PYA9Gʊ Wrx)&tJc`*@A4d-x7;؁ԙPPPP[__:?%"KX')M3{dDأ{GqN)tfQ+rg<J&%E{C6pA 侮>}K ~<|HU&Tw+0x ,&9; G:oȐS$K oJ==μc[r( m6/i #e[e]c1*^}>'0$ ԩfCEUr)l?H$A "U"qtןL ȶٌVH` T.z<S q΀@72Θ+z>*֔wЦ)9 ԟ;Blkѡý@.FL/wgOՆ"hUqi,{%ux943JӬXL' '8n`7*gۑکÊR}Nd;޴NHP #)+MNHCjyѥ.}6uy)xNsO|$hF*$NwWN6[CϺz;AΗ()} Z׊%}>l's!vнO'Ǡu|wS5RR|w+?BtMYlCXu{uG}:@϶mEy,Ul+tqgI-^02QF+6&|U=d?' A7v@FzD0;K&I<0OjǬƹecPPfwҠe4پ/.@t(/f^r\k!xo2@Vo#Rzt)jS*emD,N~N8L+, '\DxTW*XQ)m$b$ ѿOkp|Fb[<$ۯƇp;G$@.,=Ri1]TEHeG(Ani-J[zJ=ukGNj[B*IWPr?"̘me Od%F%mynvYa4zO~DOfccjy!ߒ_8wMA*$cIl^0tD+no}{DUZlѵGɧeT(Br{H'/6Ios6"&%0jh^j^<;'*P+4y5ymѢwlEIHzP > 91$8NcV A$APue ]um N9qt"QH kZq>눁@EII8'|lv4Dh,( .1_XL)Ϩa)Rz5~z[np-Pju7E=4woYK+' 3U Rbj*0Y2$0:T#N0#muPfP ^QE[0?݌[ۘk'WXh:0x2I HiDz|cm)6F]J0`w=^C 4A`ky;19G7>x0et/-4t-c}s7*7k|wC ŵsu-7^;6Ԫ,;-Ŕ=|d9\j$efM+i4w ӭ&a*crkahm [`u1CE(`Lh.߮Oj9shb<39#;ȩX_M,n˗OaRM4Av{NqdeA7iQk!İyxb R(hTՅ0$]r>$mL܉Hz$Kza<[m ՇyKu=|/o&\ > x(.|pw?-Nij/'#3Q߼+B!=k;в1ظjKGt]{)`г,;by,X>_M_ XνUXR2Lv.案P`y͹x'P(@l\/8=uiwDͮ%d@m#Mljtk!)w53#kmD bzNiSPZǴp"u&{NLj3>K @ʖ4 :NpdudzE>ada.Qb. qqjrlCؐ.偀A{9n@?h~pp̤,q4?-xȭ厝V˄8o+t\}>PgGS?֞?$PLvrҧ# &SIR(5O}q@sIoIa' -Af@ D][1/$&a@v EE]]Zo@%6aYRBhf|i-@Y-~_.ָVpa*cE|6y>P2M6Wb\ޭP"́ keL B_>ڃb* Ql{fFO݀.QlDtzhT 2F V ̲HbA q~L/.x;A+.MƊTDwMZ@kvh3XbZRUN 1x+pJB' 'pgvfd5b֔VyWϳ 16PUm'Sϳ}g$%I|DmȁLR8,B\Z$ݙyj~A|᧾ SV:'Ŋ6X>/XY% JvE#57c41"L%F/,1{=-A/M#Y߂{w%Rcݿc(բF[ W|q+m?𫵸BnEI m։q;2`.\hBf>c% wyÇSf"R2ASw9h^Y(I; _9iǖw2`vew;M{?Έ!MA;{Yv2y]JzRݠ-٧`$bb fs~/{f>^"Zνkm<ϕr1_ |dv^ '1LL:Ӎ mSF);6*t`> $.\Oȉ\8OӘXO h0]uʏ|iF ~ҊG̺&ӸB%׳Z-/S[i!lPxF4vlIǾjz~_E0%^$U*J?8 ^Trcq?+PH$=}Ӕ4DoǕr'TG ⭯_WfpLuŻprAv pF)AYqyͧ[sBL͐h:m@=\f1Н85 G3jێ鴆Q[>y #~\+ǯ3BЧWCvxrVo{V+ܶk4h{e1Xs`P^;M)Zo)}OɤxZ 4N(zG. ;Sd\*|*R3*fBIF*)$(~'AF);]¤xpUobs2g| ^jPIJgıdtRP_xI` >0L\:NDw#e܀Лy[N; u" dRKIjEN꾩z)gY>Q?wb%.]R/UXRUb{ޯqJ^rGQWL.:-cu&ȳaxlE Z?aX:XQ!F,ȦsJ+)Ԧ@A'( CmLT ThUpNr&>ihN6{"oo՘٬ ;4%UV{q`cQz{ X:Ͻ!$u0ٜxA<3v^td^ٖէr\^كw}M>j$ŵo̫cTZCek:+p @[u$pNR5\h\<3Ez5h!ڻi`v˵yl;q~kK>0LK5I;͋ ~u`%4ɭ]l+i_/[3D'0j,*˧,JfGXy^ ҸeCՌAGZ UoNG{5zGk}ShŮG3u ~KI">s.' RDҼ7s3<FiScdJ*OU1 >+k~XDhy3NHl u|byt_|Qyg_־ry0oѱ(uloneR6mhrQ~*7`[:)z>sd2lHIS#~rV;860")70tȉeX1LZJ\i.YK,#*ێ)1hH AFYwfOy,s9>) kD0 :+*r<{/_ںشZm;ܣWaX^Zr=8n~kQOquM'6$+FI;:zѸgYZ*^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`_ɷ,|[(^SBT-xgs~@S>"4IW'd c-sK7(ft#p~D.ֹxYĶݑТe5;BJ|J'aY 7|`$W`V2fcf]QR_7[:$F8j=F-ШĦEtH4#TKW؂89 Q0#S7>$Q=oB!cOJ+(iUvb*,@&cߵrZdrj '`$."G!ۺC{&&lEGU nW ebf\(S9Lh䒀0blsTm`9BpsR/jLkG.uIDɿCڙѲltKW,obW;[ܼy`A`%FxEn1teKᚹQYÉ~.HAt0 ڠP<<78 @k  ΋Ck #X кULCHZ^," /?% 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\.r)-cN&m[b'шl(9#Y' W;J/ *xy?˾rMG܌ 7GKz)y%y(?_璟Uv$”̘\/,ݳ{D֚ U+ZK v Yas(3/Zۢ:mqm47];=mr`-k:tNcW1%tiq0H:ʌo\<ӪʑU(ǂflY#6}P}gzIʮ=ů1bK }w ` #BtsrvG gchgr4ʮT7${U~wa/c49>"JnVrӺ15[8T@dHS,4e|P\4#!] ?] 0h^Rle%0e +&uBSߦW'EoE|f-wT{RH?ekm]A}-;ry[̐tˇ΄$ `.!@9&΋QQ&(o؉wZqcO2' 43  L5t wNJ(lb}}#ڀQePIunNkmqgFҪIuUh\?[4uuAzsLq_{(&4xX':h#=2gsikR䢫}P{ݑ9*:-D JEPmr($Si5-*z8CGty7z Q@yK*V4W6>ŎDԑ>dbqcuS\uT{thFkEyK 2c-q\(Ī>&'>pr4'rs!; z?B; ur0K /oN/ovA/2⪝9+hvvo #k p7.$/9.wlB]?OƧlkxA7/MB9ak<*˯,ӟRzqh]Y~Pw?'^krp);B/y^$3?hÕBL[]l#ڧz5{YmϘsQњ^w!4Mu"VSɈe-@iݘPKL L_YpTf2䵾Hz^U(& ]کε0+~(yK >%h yXum}_Q]op LXN쯨Gt v8k"5}b1NW 5 j2΃-uPѹ[N8ixNDqgJ(ܝ1&.# rM|L4 wQ tڝK9Mo~;)HrC`~#(ٺ8`6pK IV]kpfW5CA[l? Om&mi!e4uww68>st޲hC=FkO o|P9Dri_i,ҫ9rv6˴Ⱥ[x oll6T!_D{(Љ/105)=>i!O !Q-֌n~%>|8(Ơ(Hg:S>i_{`[f/S¤w~ۦDZ&]4[!0@vk7Np! %g'p%2 Pz*ΐT6*NvM93RjJx)>LwQ_U4DŽ;&ҼAOD7ǣ䮊EZ ݾVENv1a3׻4"Wù42N>,Iݸ܎MLBg Y~\Ceo(i*+p6/_]Zʒ$(gg{/hwB mDIYl]?nCLeɫw椳,'; sNJ[}@FL0>a(Z;pu?|$.P]Ut"ﺈ50bnW@R"VY(x!@ߩ5o9@ډ~94?1L{3keclz[|-UI'HŚhȦ߼NcmģAWJg*I Dpiwun_6ƣrI*D=fmx,n[_i8VRqL'RƒXHb5ZRd-.j'(cF2HYfUB?~>B)ׇךg2I-T~o@\0Ίm[sn]Kg%y8*iԣ'.䴝L|ػ|= ҒI\ȭ T׺ayP7sϋLY0si %mUPԯ:i6E!}vnx6B~ D"v<-96 r8&Py~s{wJ9?F g9Lu:͟!-5!rc0-ܾͨ&>YE眰3}&V2Y$nvWv22e?6QwT)9I(n-+!/mU9`*wf?-{{(SIauhs{j5S^ OuV82)~Shϧ:wLpo2K00i=FHaa"ǵZGcr0wM^[\%`S%y+1NDh4(>ZwoR,[%v(-;e8]\tYΘ"+vmqevjȫ˯3UĹ}/EzQ 3~Fe1Q):2Sؑp - OsS "Kw..$[q1z}mg(}{ +~=xp8็* :dL]pyr.B̿Buod Ś;Ʀ0P˝FP\5WKfn O^r %҈s)&a"m Ym hs!oLPcϤR'ѱ=,-~fO;;LXz֝߻H3j3'HarcbYˁ\%G +33n5 g:2i2 б Z7{NVRCԐFZE1Ѧbh ޢbz3Sܜւ0;6&,M{@.ۙ: fe(0wpcTD I',ue??4MJBLO}x^81dxm$OȌZUç'z[gTi_^?A@%$hep]Sُ: CI)lmIګ&it[.Ϻ8z!x,oXh/>`6$A /`< aj VUty467-,X1PCb75SlZ;2ƒ`k2#OT9w qd#wzl.B>XA97+/X醑Y]QY'& 17Qc}s7TIpPY[XEh`̶2dbyH]JXVfʌF -!pzzy1sUaNظ_a%vrF),oo|NqrOHQ+˹pGűv5Kv wAA3wjv;ġœMsIV/F*!Tbl+?D lx0p ٍ !K}&jwt3Fb^L6"hbTAEC[K֥mdʎ5:<8fF-$QS!re㛏|gH!IFDIC2\{ Py|S R}ұ1ʞLm -44nY>·[I@wWI\2g-Mє5ܤvz̈-F >Ů1?eKZ(.T CpLh]J[kk [Z,L1s9 4-PE4!m.Սۙ>\oKo}3€ albrƙFmIuKh[S 2q2my$)G$׃CC, )>L㕳x(X{&E7P#}`wOW:eBj1f8tku1M{tUv'1'5X/5Z(鱝(j7-_{JJ8sAJY=.d83L^*Y Ci&m偂Inkr#&o0iDrqgB[ZiQpTwV] 9@iyf&5j!x#0pϨG6OLkuu\ڐɂP1d $m)(ƛ3]mFOKn&#U4  "ָ~ mb2!yP)YZ=8bxqhaUs{^>5r#0r1!^Y Rkco3 튕@ .WٞG')/ q|HʲcUJJ@5Z)W)\#3W xM=mS؊S| (.qۯ3(-Xŋc{!Oֆ@gZ@)uIoBB{~%s,Oُ`]@f"Tv2e]zAgn%PIDٔE ~I*#~í 0I)&:E.kME%P"G{c\1ʝ[^{tpOdgDxzUcꦲ!čn<, aIQ@Ik[6e^amJ)R*?WMrFPCn>C==)L尣t< V\HN@`- %O?v]"4VN잭z1yc~t)gFw mPNsbz@;rÖ iwhֲ3mAO3LCfͭ)@#їt!> 0"*/{T[TuG*+֝7Am21Pv4ZFˌ/uk>m AM] `8*ݖS,nHL!!I~=~mJW5> +߫vQE㿔!L,,0+XU'͌Nűßpeqw5a\t@{+hoY_w=au<#f % FSE%:W!, 6cJ CX2Jm")ⵔ^xnV6Y(,!߽_,[bA {0sU#foU 3ׯc1.{3~ Rnu( Z۰ڵB;B3ػ(/Ž PjQV~"',J;]y?)R@S""xd b\ۏ/ѣαȅdE?]#Z |q)2UK'J~!mq~ܨ8Vֹ!z6b,+ 4EbWeνY]lL]6Mڟ3qtV܅p15Wkw< ~9٩z}l:Z>5ҥ7J{|}Q/fXY4`"ӊ!A< .vv'0fl'Mw[g/f9bgHMcn1!/AI i=u+ZTtGr D3J?f!]N8)aCKӁKӠ6.Cb !tVmf驮yX0,Ul   ]]g_ČSM2{*P'^ O܁$vSgaPM[ +1\5'~+EϚ%.AbGVL([vW_B\J|*'lMAӏ Zuv-mIx#za, >P0E|50PᏃRDT|V)gjfG"(Ccbo>xQ Ý>!d?w,ǘLxU=?yIʡ>~lfƊc_7H+e"NI/YF4N>},{211ȊbYX1{fܹ ${AszR9)]~Λo^l\Ѿ"T' 7ţPSmKw4 w UAt.rD㡲 pl7.9fމB` vS锚z-`ʔv\hew:iz.0Z_ШrRH%UZ7G:mͿm236f@K_ ,5W_DB`'HOCQ^eo\l]7f!Lqچ~1b&7-ӉdXZ]ㅆ=w5J _xSSE=>p?t؃!FrFg]?UI`B .(nńGL2aR5֖ڢ7r:jjEPOsFέx5xp#ׂ9 {Fl3YM(Եh(${K.#koWj)4ʽvs]{.bdlؘׅ&EiGHNѠ>o㹲/ĜKɣzi0pǫidR>D9[?:HPQZY1"~}yGdUV #qW N>emċ"Tf"QZjҬ]]Ԑ]hbѫmrhFzx-t6$5C;xʑnHt0J?iٴ땷.R_y|h) . $ ]EZY,|b E`Sl'-cũ(eh3!pˀhnCF*h0xwCN\JU$o{; ~Q(f:cޚ5lgoȱm1} T9λD .[/h>7Pn8:|Q(?ދ>!qP@LW,FSBT<2,v$^m8gNJŲ se2%Γm˅0rK0ZqјZxmx1}ő*Y+W% Ս&eXWz+~4fU!iӫ<%Z{2_U l\ekFџ2 ?bsL<ЛJihx8M.g}?2ʾh9EBE> wsąQD &5(7lѷ9nuOܕA0\nq )8u+DKUHA,A? t Ԧ)n/.VE [~;Ǻ$rs55Ź4ʈMGm?l*>?ITf^ pJwT:~31E7]q}CYB\cizw{LU<}K&K+ P.C4uLv2܄gGH;[o΃Tvy>S:Ps~1~ 'YPȯZ"SS*GX!$HֶA'j7Ul|tZ4A1'jn b Cָ G!~@ iDE]eXZ%\ Ϟf_ ˳L#=s{1hk̤95y~_p&:sW =-8iUeyjhVljou< _%W_CFSAFL#ҴaY?ޣܵeX$۔-\Z‰6h.01҈E@X|j9qQħBi Tl!06z:@mT8g{bywpɕ‚AZjQQM⽆gȂ&QvNzlp|yE]:ʧP8ᄖ+hQyLv5ӭ)L4&Lfh4j1M}(R؎5cϘtuL2YiC{iNEH?e|a9[MWlGDha4o Z\yC*ѷ2B:k{$߱nn'Npgyh}6&|zRܴ=GB#Yf0;Ag=c;BTTIG7u05 3Φm'pd'W3/ISy f*ޙW.2%灞 }+6T('Hҡ=S&@l" 2őrJȇ)TH^ iqk-L~orlM}ȏ .saTㅜy"sF^7F>vSPgG/O:{[:0@53w}:%ڍN|Qv皂N/ pÖA]hEYU"e3.LmܒܞEtHYت_}YḤwœ3LK4S!A? %p껰韄Lu1kqpqg)\ o[cs1:5Dk5\lx,";呶Hj`g6_zoB,w;h}$BZ_ RUhJۻMb痹~"ZVjfV!=)my}r/!eڧw#XL~N@H,=B{PgrtՌ(Ia $U#Ėd>7>I5tpUĶc-oDv{W6Nyrou4,Ԓ5_gD54tဥ\MP3XyGO;7%74J2i^Dr:ą^xT* Uc"izYL.= dz>t)Cgo7wWo701UvreٽGfEgd~!D.f M#JeЉ!fB%$NLaIvnb,br]{̀SβuDk<"j,i{oXfT{t S9C:;l^*TܶjӨaLcS||0`Y/]e@ky'mL q.EZR )oHΓQ tA2Azcʙӛ,lQ|ߡdt,a(bv2r*.e4Imf+,3FI`00(7xI{ qwPx.~PhΠ,`\LAֹ(\LrPx3YbX}^ s~|T4bBk2M+`؀JKЗ3nL&BbJ3^Tv82DB"Y# 1zT-= ߠ1Z+3p<B6".;X-W:o,CE!As q{rGPݣ(=*BW*1.ag M^2-*I5%֭8ӂDup_3 P5[F޳Ϻm -ej|"! gKu )`nB~dCo 53 x@gVV+J;r}U Uf`80F$$)ѮqYkDDsNq&;&paSekɁO?ć= *WgQVEP,ɔb3Wh"*ﰜ-w{҇RNVhpb-՝es?#ik>yVZt4u5g񴯂_Έ_cW=GB>6D>ⓀХxz%lfg;͒QCM/ik_-cBL?#)0-7}1ߑ&U9g|Sf&~ؙt~N+PR: b:{| 'La'!k ~Al#$1=!kMs}Iϧ7  ~N1 06]y4@O'ʱT.j= "zub@d.(s-A:_n ^tB`.e'^Őjɭ>C.[LLג9$#B6dkHk#d}*PU+B9LnTIr{-9[)?TqlPϫj_.0XC{Iѓ2Ṱׂۘ<8zW `Rw+Hx/F4-5" |~ C5n8B&ӶK?/A Q8xİK<Ŷ1Qo`V)T4т׶WK\4T\׾,cY+25P= b tZÊIpgYZRdV3/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$NTEHLwkvUp,6k."tqp^]B3FՉ!T!ilT N^IӴ^-2P2s3ql Q H)&j!#_Ǣ)h~SҰ8Rml ?=LD ?+2!uȅ)BpZv#3e%8"]ØR)$kᥚg .:F}5jcw jV}#9A'ņ8a~%q! H՘Yj&yn#dt#i W%j@Ö^7Cx4 JɔG1dJc\(+=j5bL>{}M O6 9|%q7⃃Ou_87k4,m:H&f%:,E>s>?Vu|Z-# F^ +Ŧit8ȁ fKYIKu[{A"T"ެp7ʾFBq'>]j8)G[v$MDr%ݩd_#ǿ 𦒵Y<k8uYVa'+` bV.,p۽$F (pYl]rD$ ZF#-"?t&oJնP)3< H ->0.Gçyr\t,SRd+! MG5=byϒvw]vIw(s֟1E쮶-}C<[<+ĭ1#Q?{oW4nƟ=Ic-Kf9?ʆ0a逘6z(^~ =~q7zk끩;_{en $~GV(mlc喈Txh+i7;p:"p 5IZgB*#,"r_#<0Fx ?hGZ@AġzgsD+$R qV˻#HRrRr1 hUUF b#~YJGWS"F=!hIzZpp~O{6G{vk1 ޝ@ Gn >  U>ᴞiz2^ɴT0̺lIT6xDio\q.t\GR9$g* vn)~WuXkbw`ۡkaRd^>ƻTv7a݃v^6cݪ\GnzWbIYpX/Pؐ`GUc"(bIF)rʹu%ezFͤS|1MD|v`<3Bc=Wp 7 GYTZ6"y̱Llޏ;Ԫ:.I5%rrGMʨMtb;*cqWF CQh!:_ >dz'Kj1Yx apJEwI>Ծ]b9 JT<]Jqu4Wv5QrJH0I^7_v^vKj0vRs XE8)$I^ͷ7e.-n"+s6z1O݊&<20H( 50WLl@X=&c?n@Aj M;[;HH .(I7߅n%YOPGn`ͰBJkyW;U(zKHH}} Cr$NIPܛcUAb)>ai͒ңDc=8[Q OEA۴){;uWRJsS/)38.SznܴԖer Ts,+۳2˅B x1XDJH gYZ  U /?% Bs/^:*4_xǾ5}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{066IB ;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 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|{4 /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`25{Q+@a~2 9Z. B~&bq%w5"UUp_ܦG19:~#-jԁi;yi$6T_)uH[R/#⑗ɫ$N{D{6 񅃥y' c,k :#ӃK~p}@fַECƵ$$ypZTa>d_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ݯ$&gYZ7?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$>|$+5K:KERaO=(c,˵` &JMKٞV$S b,G;2@.Opڙڶ 8jMoxLwͅI&3ν6R2_*| csc< :Isċ8UpN1|(N$X(YއM51 9\; -t4u,lQmI.=Vi@>"uu^h5J06# %肷b8CCqƣ iEWq:rP/t vu1Bx0F{SZ)ViՖǰq6 !0l{NO62O%eUcM)`ZMV g$2dE4IyG(}N'e}CoHDfC3=/)}P4 J`OzҙrCD_.X jǩ&2La\ <xK7>(kθOE6㠺AP0өFSJDNEwn2Z W;O9ґtJ+mqfa_8$(@l+6!wL;).C4w7cy^]U=X7f,ۃ|пИ(1╼O 6^Xe9xf%T\ȘГv':k.#ܗ 60ƓpT g7OQlf8IP bD$ FYe!_zu ǝ ] #P ଯ"0rΪIE/h IsNH0O7԰ yO/3:gm-QZɿ 3~ϙ-7L˩i KlX nZA\5*jD#*U3a~k"|.B^gtmx0f\*sh7ɺGʮV1Zw~5OIeEswtv7i Tm-, Z3Xo%}k>`Έ$7Ox~)tݠotld^ yLQsE˧819&!a淒{tĸF/Sf%]ҲM*|ڗT Is+Z11Vfw9Z >.I v~ TeJWq| 2qo7|&PfR"Oa*ZnNy eݨ$#P>d4=P#" !4uzB߆ sZᶼrNƙ$ʃ3>u o^CÃ6X %-͗{׻68:ª꣧qFgؙLdi"H0E ~phP]4=`.YkW"ChLd㥵ewW{)Rt7#x$X(Zb~ {rp&fx;Eq 7= o=KjJ 'hìIZAd,IuSN,y,(2]`كJ6"}quOKSCC45ѵSr\:reTe9Z%J9K;񪨙@|wtPԯ Bs~e g:ӭ$J՛'2]Z'g$DjFyZӸE&\~)f zԏfGi2 HP&5YxRG\yo.ȞS0}nyuK _"*~&gQ9z//% 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`bxUqGa hdibQ6F-nW4'hWw95G%Cŷ]yv*vs8M3j|38=HzzXt胢q`Aր5..ov1XgmR,O]Zl.<;*966\AGn)4_ڢN5t+ٹdz'[ע"U$qKzC~)fŊ<= ٳ79veG[ogfmp68tlK9\BuWRE U[.ŃkϕoO /MA"E;ƊR_ᵙՠ7*Yr&\CDoD:2) _ldx1|!`vw/6) tEqjLiI0> ֘(D}WV61WdCXԴ֠ɒSt(. wտ'י7EW8pX%C&Eᇬx< ]0L6SkA'OW_ҵ͹y"_F:* .UrlR+4\!f}=_2/}5W재yu'lx$; oXg ej&}?>"^4I$\K::XY@(a.{]s(D5]2o}P6o)^~οYXBb,]tXZG`^q6&Zjb~B3uG'{WԬ^ydSMp,˨BUmU% ڊhJ4AD-PB>2y23z"jn2N!R" }ĕaB?[D%6HZP#1ˢz5O ^(9*i|֧ vȑӜEՇ:K9 @QfM*T"]!t/EL zcn3tdiK,֎x$Z6^PiAu1A.8D$Ag.0S~>$Zp-FI `&ylww*lEb&1õ .$AVHuěGت7ԣ‚Oө(B JhaFnѿYx{!~PDUVZLCӫ3-lW.l}鱩NiO70סa<*\EMCٜn%f.Ew^d=6KC1\yčYX295ٛڏ'7PPNDה5~01TI[൏4o[-LB׭0ir nPРO94qP=`>G\ϒnzemsoNΛJ_ڵ ;ezzB]nlS^`TؒkىRgHeaMƫ$k1BOI  g{-6bo ,Q}c֯xDVF6"}SllR%8Z j2h% -n9)ax@ ǧ5ќf8&.Boϛ5T)Ad ]g@k}:P\ѷH6m@Si*>N:C}R^M*@)hyӏ@5\Q?ϐ/Dh $?O ΫB9wa3A_rXxa>l$5WBWwa=L]k^ _0CG~6$0HO2V|;Htr#I+) hy~Q@~c,T4{Q(|XO;xdN="m-_" qrAu1=53] a`dCz.rۀ0\,^̫?ў$bXt6 AY1*ڗڌ!\\4 %1x9xHD_\&X0[0 eZXׁhGQ6QnիpS+en!3*='b "J4TR%QDxS oe Y $> `^[ u"IN-]ya刎~{ǩ34]I}') wپnpoc?قHWxdow Yw䷹`Z(x<4{[=8\Q, 9;2|mYl_U"GӶ)X]yܥw~) \9`dS8j.bUAp=(hMsV 'ŜK@AD5|X#BhУ5sG@ig¡:.Ī2'QNSBAxPf &R=2Ek(뛢So ,cI,W^pV礲k$eA?/",y{1YE7mWnyn4;S@4zM*5D 7PîdԓǨ3x$Rm$ɩ-UxK|~S(7T@ 酌-Gt:oߠ"juIA$? 㔧گx٪1X*|S/.ll6k)#Q(Bʙ''A]BMW`)Dl# Ϫ03Ywâ#Z奉m^ ;HF)'o0 c80 (`~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 R/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/7D: 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 _ϝ{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ׁ,.=> V/1% LHOL-Number_TheoryHOL-Algebra.Moduledocument.tex7zXZִF! ]A-MՋhvG"uIBm51Vhحg"X;f°}ktCY:Х<i \QߣQM%u@ěk(V:#ɨ1@C8 s1Y?^C|IFF>Ú"!͒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 UgYZ /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"ќgYZF/9% $HOL-Number_TheoryHOL-Algebra.More_Groupdocument.tex7zXZִF! T]A-MՋhvG"uIBm5}<͐>TkٯBdw4EE$JubE o;jr%V^=z8Ь\e8AVK?iޙhs8Z4[&YOrIi6 ^͢:|A8rfXJ wH{ZSEayZ" >i0N{ :I;ydWߣ7z5Oz׋$hƩΗEx :874ˀ^gt5!(!¨$ 8$t{4n I~` 2"8y'slǗsQxq=H`irB'\I{(6o[PT]u {2{!/ »DތӌSGTR)hIjKzK@z;?uDZi9k2F' ꮼrinHqaI_M3Qϣnx4s.<8e;)pV)ftEp*Qo(8IVA{ҋy-j|;Ix֘0)KnjM0H(TK԰油] z_{%Pw&䚌> (4Ny%c`OWg'1丸GkKRv«{r)i_˘~w'RV}mfux4=I9(E$-y 0]eſLMuEAe#.ۏ9y!nJ M'kܑ肂S^-~,096P!]b3)>BjUR?04!+Dؗȹ{&dD~4<ruڿMn PQKWlf|A9J=Ok+Po_u%5.ǑjU+ۃlv#ʨz]>4 𪽵==Veu z#0<x3#ʺZ_s/Ub{$L?_) 3?#ѕE#"wesZ!* Kw3] $/BY8IZ N+7>> )ؑ p G,:.0ïɲ 2#5n%t5Pv hT)roUؽ䧤lX)rK.bU.e"wE]0CH^T [_-) NuKz_Ɏ"y=[Y䗊H3 @8|F$j֞v*le/;և{I}}B [sMB1fsrB\ PLe2ˤkŒ) ƒ"};9M=d қXL 0fDӝAN*Pr[Z}/^ހE11Ά[N;{JHo^T-%1 L"rcޟ@'FQ鲰~ J,W[(A֠Zr__W~\԰4׬5b>Ŗ16WѺ#.q56ۓƜ^5)V9=ФX>E3s”M T.ͷgj" MhX0Sgݥ7q_y"Х7g/T`KEI><>TkٯA@2#^k[ḰI&lYU%v*schu/Ii5G//7 >+&`JdӣMʺZ*ƬMW&tF%]ė/1Y8s 6~yA+qk~iXO6%zq4+a\8*MFBzDTm$aAE]'smhL }Aisy= ?Aʰb|$䊈B눲a8 ^ػBv蟫QOBˆ3:TI.VLwm Vuw{' GM&*yS|:m`BO.NrO4Lb  |JzS<O:u%ȬM’|E&u /_7k<:Din^NUb̈ R15TT{*ڃgM&ܼƨѼ?bm bH Zp^54>\ 9a#sQJ{&dmX`բrj)3 Z/1(+ۉ5|&K*Ɵ>G+aӨ|C@fش;A1,{՛>_f&*^9)O枟 ȴFhDYTOE{id8uߧ<1l?jy8zKm ?!P3XU]y!fWʋhs߿ ]/I?yO1&DfbKdGÐ%BT9Dr̝?>chz'sƖaϴ k43"ψ]\y/Ʋw۬|M6%bG0:?h{@Þd߿X LιLc-܇8&0vŀƭ1~,sR5GI{ y?xȦoF^4BϷS:ʾazP$ؠs[Š #V'F<Cdf DX-^;/l"-'7NKpW5[fSh;T#'}l>_kbޯ$޲O z+"VMCg Q: crڱgYZo/K% dHOL-Number_TheoryHOL-Algebra.More_Finite_Productdocument.tex7zXZִF! D(]A-MՋhvG"uIBm5}<͐>Tkٯ2&ɻФMv,PJd-پt z7X+$~%*VGfzf[|U1|"U/sߜX8>gT~sr8U$V (\7S^2 ˗ʉせW)Edy~w[iel-zu.AVA. {nE,tZߴʸAj?}ڋ_$_[ҌFQ[+QW^cLVcHp?!Xᾧ3NL+KK6tTKó?4|ct>HdFmlm=]|MVGK'V12wA+a:?ؒ6-JLg>Rkmd1gY(n!INapCecHX^UPG)ݗj)IHuG\;+v wlBHhftVޛFK ǔ࿁lytPZhi+d[Fw7\ ! ]ή 5"cPPw2; ]ʓ&;t4WB@m'۴_m"9df E][qnͶ84YY&Е5@X& ,Cb_%B&r9%v簬P58rZs䎔 kcǙ]:bDtd!I+F Lkqv_~ܗ#l(tPBg;_mm7ѳAACOnXn/KG |S.h틏tn@B 7!ft"Z5٩DB3Ʉ=@)QHXADуjsPUaW$Y4AWQqZWO~U..S0c]&Q??AZЍj(_yҵ eg~MHyJH͍_C4R9jtGJBf.L>:IG뗜`AR)(*oɿcg'pj)lK,Zr"}]3"M녖@E\1>n<A)s>E |Wn)("yU;w#_x;۪M$btUsm#8FD5?'=l aLO)SR?6$8bLZĵX.k1k}jA##f*vUj It!2 ܒ?A){1/\' Ug0iE^uV=:wkҤ/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  Lj/9% lHOL-Number_TheoryHOL-Algebra.Congruencedocument.tex7zXZִF! ]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Ú9X`cjl.ٹtXbCma<\)ɬ E%4s7y6 ą|HF qȋWR&JsuL\OǗ22?p-8Fyc|FD * ҇) , [Vyvg\9N rl8N3~#z%yeC/i ]VׯV7-b$JQ~*Jm)?"1~p0$Oď@*7*2 =ԕM̙Bzq+XCXN8=ކ1VGhϕ()}Q̭EF%&Y)Cےz`Z9vN5 =1}aW>d.~Ik mv>#3[W!X<|ME)/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 ?;&iW \/ևb!-&a o߳5"&d:y܂d13{/)[%U87cSG)hwt9ʌ_i&s uNB']ftY%SM$WbN(ksh~ĸt:7,WD'ƿV{snN}Jqͼz5b9NaGUڟ)6 Df|OhyØr|8-D5 V-\B.b^kYM,;3ă~q뚺$arQ~["g@@WM;Fn@ݚw^^![K]y,HcxpMN;صe Qf/f  hf¿,1=ִyTڵ`p>k:2-x~~ v\+r^y3!m* Y @rQN&EulQd,LԶ$l &/""r0˨ >n, ~.L,tC0aqaU` wIQ-.@&,\ic;9U,t%Q٧:ҴqAg3@Ƨ<۴rؗM? xc a GZ> Tcn@{ôCQ `ZzT E}63`&Varg_}[wƜ+u9(.5Teu#5"h ؎ޕ΍U\v2sFm!  Ak ;7OvUعr:`B)z0($)垌;Wz?7%A'tqL.wӬ1ش W{6OQv6a` ܌/S 5q҂4C7~bhCT) 6vGj)C{8@-F)csbW= A1Ȓ,x8RWFJ(w7{=1ʯ%&å)Y,a{Pڠn6ܤ. H6W $ Dghwǩ[pi5LYz!w@8TYF];޽e `[/@Oq @ QbM/$`ގM]`Wp%NA-u?Zr5^A@e##r-5$yCP(su)Wш@"{QU qq"n1_"CѓDJHK7$xZplB>#8q0lr|"bt9|Q~pU-j͙qGS@*9'K iۂ]{C~ 0zd 02zY(٣ MF/ٜ4,-" 5:)Īncn4-M,-t{(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'FDqģDTj:|y}kTh'&TNB+HB1W ^G<=Ϊ*ɤ.F(@hB>ʠ*ex9Czq{ge4v?{BHRQ5Ξ ˂p&dPʫe8K`(%~ٔyJՒ̌"Tt[@NܱgYZ7zXZִF! ]ŗXi%;dhS;#6渰Ļv k&f5>|< rex4H3N?+9hiкFX125}KBf؛Əlcvx.c7/\IzDdNQvy6d\OArlpIGH!lTY-MwuR&Faӂf*mUZH㤲XS`W x rMg,yXy#5*z--"B. 8(n!vЯچ- __ixLNY8ϟ8ز}T;FkHl=Ql8oXaaK Aku[ z$.xPJFQ<+>6Ue T= d$ 4@mBꖘ|&h)8xS`~meufJ )לx9Yŧ: ;rRõo=[țlxF]/.?3 LHabMY,?8&Q<:KtDbM]ֲn5#cO65&H%9Uփ7tP/im4z{rdcڻp')p9@8 E8# `8jAW/d0Kk;w$"XVx8b<*CfՆQRh(PG~ÑYc||EQpRzo¥YZr^ɎlM&گ/D0R򀰧{T/Y*i;HcY\ y.A>+(POٟD BHú]酾ۍ <o OR/rca8"E/"ۡl^<&j%g'28\웈J54ZP>~0Yi{wʱT~)fGmmkT^.5c׊%leRXuAC۞ I]"ԧgXlm}ƥNe&t󸐮g#J%4GY*>;dFDD'DWuu?l!J{_\ é2+T|B fp ]Ws؎6-];4$$[X'C$!PZUN)閚pp ۙ y{J[RH V:@75ˀxArTKೖyD'z}ΗŏqUV5$hpݪPR.hJ2ebng!3+% ՄpC"@8$.%&%f|¡cH5<;??Gw*6㒏f? W0EX5X6bu@3sG;v-N"vbȣbEoǵR9(P7Ѩ1kuL t}uRl.H! Āa\6BXB}>.i^ `.?t$*FG3ck8 Ɩih5g,${WǦTCeM _αK "|t!2|>KiP.E7XͳKHf%; v(`Ęڸb`^3"QtDEK̘z/v4اS$=Hī1$T6Nj~R!X02.ʟ/e|lh4RF8ʇ6A|d>þk|RU_FV$o<~Uie1Æ#\އqvo#6f]U<㱓}5->4 Z单xWZk68I^]enSO+}auC z 28g[r$%P*,P/+"8!]Y"m6'^ӿ1U嬒X6JH@I: |8T,S<`;h_pjDln! |EZ9XNVhbp`{gxfesC}Y%qw ߋ@cF6aP6[~ *؏SgԆAfʃ,}J#d탎Djop&ثH)eLO"ŕ9kТX:|oSV[U"4Ri;Y y (ͧwVy5+sSe3&dZ_퉦Qu >v2ehwUJ2jέKa-d QzmKWO^x*c}otW/ܯWw z ڴ: r>Vo ^: _C͑Q{eEε'ڸ;iloT)i.p[x[7HAsl!Yupf\Y9>_sKwoLVcY2|<0ւQ֖EFoIJuޒt"(F/Fdǯxukƻ Jpk 4 I[U{$ y"œ=L<ʝM (QfJ;}YЧ w/töU]8؍2Kٯo(e@Y|AF0,)+3-iL$Ô>y'GđDZf BlDw"xqf|e7B-0 WfRL`<ާ.R T`6j%p{ ioMƔgEjbxa\-",W ˙1n7