SQLite format 3@ ..;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info =v$4 ]S Real_Impl:threads=4elapsed=65.989cpu=161.304gc=3.8927zXZִF! 5+]ŗXiɟW;g``ϐ:&{'˲ IxčQRQfwުHCz(ԨZn*Y Ob`ѰLj\y7SI@Gxl {m*K9@InGnh Ġ@3Z A$<==x/W봋zΨ ^^]caTq),:MaGnShu~%w\<7tLd@һ/:,Jpkݷ-   Real_Impl, g% Real_ImplHOL-Computational_Algebra.Euclidean_Algorithmdocument.tex7zXZִF! #E){]A-MՋhvG"uIBm5A!Vf- VE7ޛ^Mw3AoyVQv9'h+L8 SώΒ̵6|ߣr-ncC$pB2" 3jLp5V9o8r|DǞ Y]mtu +VpWgXᐊG4a3u\M I,$U[7]QDohLR6?!qi]*'k|A:t KBPtb`hP Ï%c7 c+sܻ!sӠ*isl֤k旂_҅lK^ [g!C{~{e{$7"hUE ?ܬoC"3&b!7I CC,b!ZARsC}wKiQ- ID S1(= lK,`\T?]h/_5I`~Qa$*>[ƾ !ُZ \`L, 3"u95m -`:*dk\@)>=|&;;,h"Z@ MQd62sݛqFgMbWg e~:OsܐUҨ=i؞<:s|y:Hle4[A߮ Tٝ84GHx$G0Ibs]b}]o2Q~zzl9⌽W[T{l}#c k#';'e`r(r]l俤<-w\p#.̋M5YىU9uNń zkvx-f=x%'0PK h\WhnASG 4&T XW<7ay>@.xS0j7D/p'ЊOQdm'&lJIǸ:_O5*ni9]3QS>=زvtk5Je揆o$܁gFSvǃ!*MLIsEOg"vbW`]Mq VvC*Z$M1:pkV,5Ŗۋ >o!.ZFgO{ƵmW[O֝v2"l }d [b}azs䎆VՙsrY'iJ}2zqv@.ه1DvBztERBd-:NFZGCIX\m7թqksf(>"w!XKѬ&¼{(w0[ zzrZa]?d);򍓎3.90 3{ y OcK6kooJ|&p'T_i%SkY\c)]^ik^pgt+c}A3%PO{LIl-a-x:KVʪ/0msJ[EYJa&g=U#W Fg/Wc6eəJ BCN4#/?(=Jv21fCKS\+I8ڒCYl\͸ 0/t8/\Rb:ٞςNX84PM1-Aw` Ԣp Hz/3P#Gp;Ò(Q%`(ܬ1dJކU[5)[q?fP9OO/\UE|6ώ26澊)3 7[̯PC Hl#|I`]lm(mh%+L\)rD۸v6(.r}Ԑ܋CkK)^"hd7znn|^:~6oL,sͺ٪mHE9)i$pY_?WÜp">oTvc%ڝ%F8sbyDBBҝ8mG{=;+ W!KQjw8 8 Skx̍⏴NwcJ3m`^66 ZRM|5\)Ӓ'XO[ I8rqzlڢTTXp~2!Ƀ G[բG]^ ک?G~~c01Sd-zy r-p$#* / : M% Real_ImplHOL-Computational_Algebra.Primesdocument.tex7zXZִF! 2;]A-MՋhvG"uIBm5L'ɚy8\2.^lZ8qŊn_}J5kLX~|V}[D]z'v8▽φzxiamp!c>L 3/a!s'}}~M -;'+ vY䍂j9}#K+`˿P&DWqP4sYI [|D֢a+ uɂoP6X XC<*R/ P2֒4F& 龄J\iiG F32'eJsp`.u!ᾲ<2g-ʍ/PӤz*i*%y9F2[xl誗pelW/͠X,O"ݡ'Ynw\O)d@is"Ji'Ql=W.!oǮ;/_>WaٰH2LX̷5/!TIhoKNֽdm*0bG;Vԝ\1pf7(`|     | P\ M# /5%Real_ImplHOL-Library.Multisetdocument.texC]%Real_ImplHOL-Computational_Algebra.Factorial_Ringdocument.tex 19%Real_ImplDeriving.Generator_Auxdocument.tex ))%Real_ImplShow.Show_Realdocument.tex 2;%Real_ImplDeriving.Derive_Managerdocument.tex 8G%Real_ImplReal_Impl.Real_Impl_Auxiliarydocument.tex 3=%Real_ImplHOL-Library.Cancellationdocument.tex.3%Real_ImplShow.Show_Instancesdocument.tex$%Real_ImplShow.Showdocument.tex2;%Real_ImplReal_Impl.Prime_Productdocument.tex5A%Real_ImplReal_Impl.Real_Unique_Impldocument.tex.3%Real_ImplReal_Impl.Real_Impldocument.texHg%Real_ImplHOL-Computational_Algebra.Euclidean_Algorithmdocument.tex:M% Real_ImplHOL-Computational_Algebra.Primesdocument.texIԖNzSS1cUH~;nǃ`.#|YmJۯ^BJaPq_}B΂pm/]+ A ]xVs93Hv$uYP_EILP+2"Wد\ڥU]DQ\?yԉr)?WRNaN& ^搘Y17 -+bXio*`o=; ?ae٭"*9 b)?GC' \\c,'Ak.Q$rI(ž"j~\Ɍ#ߐ?"a=wҫazNX:Fl$F.:u]s9ueo({,"me[;K=R5q0w}Ey:%"Bv#0.>>QV Rn834il d՛@ {hIО0ܿ6]g]N;ЈX{7Ǥ{́*e-mصNrU <DG뇰p+dS&'>GK~b,|Z]s9qƂj>4rڲyAEsF@\ANkZ%[A,)9OBiZ: c] _?[6r￘Y<8: ը2uNy47%a5ss '}.Kn3wqEme}8|*U"ti?O?Sޜ6nl^nJ݈㎿jrxnJ(tsu:tMCuy~&G>DׂuHb{@v^XЩ%grGKEQ*.-:Qup2(œ ݪwkwk46F*c|CfZޙ%]6qM,P3^xQPxs@Eho0.CQ=Q5BMb|=+F(ľ'N(7KR_$%DRJވ '%g=f f8Enn*3Lᑶ'oZH~!_k`i!sV_<`>7RB?Wd9>:>~}$BzBBHG*0^ b#sZ؋w/-tZh/ymF먅 Tk^ոM)ڛiw!Zq>Fe'X r=:lyaGa$yfb;J 턞72ٵcUZTP>f9(;gڴF7^(-Tt37j-kJ&,tΈy[>1*hC%12 ky\;дFEK+A^yKu=95hk{BoSXVkC fdذf‘$Sx|CA ;D/)d4IRG\E!{18N̵QVt&@TÑ;=Bԁ[vV.$}EuMu4؈0MRK^(Mn! [н302;@*4ǒ oJ^q(JUg ` Ѭ z,2q6!A:l]o+t #$Qɺ2jnux4^Bҽq O&Jzb2Mm )$v)^2/VUg-fz`7Lyz8lLBN*i2 ֍ i!D2^KUB1~;N91cW k6jRMb;e; ɽGMZ)ayTWQ&dA^R~kLXN@5S>u 9R1%9 N%7L)M:p1pQ2FEzQDqgf(졙XvR6bFg(3 B(+hSeT{D)9 XdV쉃c8*Xsx!Y䖕:<3Xl{䣭"t҆@\IciW.s1WUcq"\-,M2ю `gQn$WU* q27 {3m@:8LmA{ve:3Ő 2 T~I[}<]eZ$L^i9N2QeB=3YRu+GsD_jyiwgce[$Iva if\jxiTsI7K'` 𒇵\ ČmBB%:l+ C m '"HTޒN3gjJk+NL/y/(w(\.T[pߎyȊ-7BQt%0 _m *"JYlUBȰ]*˳ɞ9Xݨ.X5d@/f̓JFȝI]|П`q+r/"K ^i\Uvms+8j*oc6L sEg|%xkX=NDe9gyj3-"]Dž[wx<]$fgVg`a75-Zn|Ѱa*c3VR%XhxA'TQZ%$RI,e1bRfr@J>[ uDoA) ςjPKxbPj c/R\$~1[~ȔhH%聯I!CT['dLW'h1!20#"e0W|=EǪoDƊ@Iv 蠙T ~-|5D?h < Y%d4Cu_Y34GqH&̝n138/P׎ q<͡mE[[K1fo@1_d (x+H'^`;( d[Mx зsgE=I˽Ot]֘Q>I=#GѢ8z54x=iUG~iwx/;PUNqmo 7*Ą4=F`_1oG'!7lnM4RY;TK:a:+NY"nt}׽)ѠS>NYCp-m7YxF:״B2QN/ׅ,5\9$coƓǦ8\3V<¸uHTPb16e'}XzjW>4` wd0 їCvN  %RM)0~iNWt (/JT;%y |ɟXF _+1ል~{!x'uYڀT#)kOvP[>xTOCľUַ E'f3iBH)\eq|FWTw zy |Pբl3iC;`L! ʵX<%cfVR| r-V ؾn-,Fr͈@h޹[~'+'т;7l~KYKj6 i@ gcB.^V |uH}*+3\aE cKKXFqF #@ԴYn7oO9gѨ1U&L ^(H{ט DeU^1k nl!Ҷpb{l#9H-^cL^~57Iˠ+D42&=ͱ5%:pg6[ 2CAt DQ;:~]$LwCٯw\l~2dmZSk):B-SDD"F"^ћ(mf8d]Vջ1nf1ȗ(zd+'B_' Z`?lJ ϰ0ΘQ;tL҈&!L%勄&ՙih/ζmPM]߬B>HN֨Y j]:]F|n6o@db߀݇Vf 9z[dP.2&ܧ&1w/ ޢ<fh4IGuӣVV0t[ۉ"|py8:4pGIf`'0(AG>¤&pIrV_ߝa$_0t5kୀ.M2LE fiMG>Ug%T]G"ǭ,ojz#iw'h4<4 L^ )zj ~#5ǐ!dMWWkAJv8j)"k;}ϙ=/>4e?Ð5 ]ޜ Aou3Z^C5>%pbAmLg~&`Fn e2Bw͛kpUՀԞq^;:i?'>$ap |%ܡ)y Aw_QrA 9q.iESQQ (6OmpllS/2i?4, *c3I̴A^67K8,&&g8%ho qd.5/^r!8kҀƒZx"-#e= #wo~ևp*XAHے{_&Ǯ"6]Va}(JDcʯD=CD).e>J5FNFM5q&U"-nxe!wXӳRz29hQ,u쐚ַ[4o#rY8gC>[J*6+MX)s[tGXxUZ-*6 XgPL4V臛-kUj/-dО~F"jF\(!Oi5d\[BktOw=@&/8elrN3Q@R|ꇠ÷}m]k\ѦxM";/\h>>8vv+=-B~_÷q Ow~v땹os7:)8P9ZOm 3݊&0: '\[-hLSg\1}}YcdtI?So1Q뼷IpJU>PANdjƎ47g ~N0D pxGWB6<.,n{ RzyH|W@Y8[<3*PVBsLcK$ h@7XrVCݪx뽞yLEɨ1$kEo"H>҇M_b# ^AS?.#Cɍww>^5eÅ[0? [Bň1G5:HNao".wTDLTJ,_Y 5!|hwyv,< P;TˀLyHdYML+o8TeَAVa Ue s'gD:V~$M6fcGd5ʼno^읫\tl e 7i+0RI,~#g ^օ)uj3l EԉaY*ln _3Yqo1S4e鞌e4hVsBSOTq}mBl"e'UyT3k?l:FE(IG){[{/z2FG :t*z|g$jcQ3_d(W'\&J\#LGt3Tb|3]4ODh6^"7dnRe`NB2c6M1 3bR0k O`MrW,N|$_OНpSrMuWOZ+*kN߉Ӝbr̠vIYHE^ggM_ƆA$krľFS ƌJ~Nݯ}2|lo\9GrҸA O;*,"o VDe' 0sH+}S2xYcf땻O~*g"C 8%%2:*AJŞ<^܎ !vp$,< z[N$t՝:dp= 8H-BdzNrdB'pT(M\4%4Rrc.Tm)Yؖk'(X;ɱi#FGYj߾I=c(n[5; Jع?Er&WTY<ٴJi <4~s|fH%bzgAT5VxST2#;Us! ÄptI_=mef&?,!?\jz-쑮L_V+ڨls߱U*C,$g{+_M_])5Y y2=yk{2ݯm9!` X|;R(_Ne!@L:X$Ç 8%u0W$Ծ}Ef|-c`- "Kr%P [dM:,sJb9Bwg ԩj iܨqYp| tPPP,"laݾoH-c6IXh,tἿzRQDyUb}1b_:GQF[xd+z74L`zDY>ݨ[r6wHYt: '1 ^>\.l1b'GsfиoĪLr #5U,q5ݗ8՗epݲ%ΡM# RdmNw:X/ & 㻃30ҋqBp140sR8 4r} Aېc ?v>THZ6:+ۮ7r*$껷_2 )D²@S}'ⶢ-;J%|\aG>Q|vc[-!F4vtSHmṴ =/hm4|vQy?$mNL/:J1jT rl.㓻&!u06gLeEXCҎ^۔&s,݃.@r 8-HVȖU m>r/Kg.&F%MejCoy-<;@$^gz» mq:WoPħyR5|n˻%m,Ϥ3+Ѱ[Kw^e׉Uzx09Rix]ׄ?Pt Cfy\֓>6kRPovVDɣzms=tYqA:ō|d,1HH$urѹ]Ē/N~e[z Wuv!h.aۈ͓^[t4aiV..; 8qdh%c)ՉĀ'% _V;d 'W4z[h[`«l.ex[h/.3דpժľlZmN Dp|'NaIn0[`]Pm&[v~x$ b9cn$鳢/xߦA.*δ_4? I*m ͉!ONiaB\K0] RL6Q!$h£,7f٬rm}ȩHyf9Ww A"ǶK_\c{Xsi GTፒ}׈~"/mNwMNbpR} %L)>grĤȔC~67ʀV$ϡ ]0pQJSQݓ<Ė@)=;N+H4Jx9Q0I,L A@IA՟y©W)&>: S'E]51[cP60;7fM3鋠@_D&5$=t &攻בzI\ytpzydA\.kʋ;$II/;Mqo5xMzs|kQ&XFujq˔ds [֐7!U䭶f iZdBs ɉ+j0KC'f-L&q´|wEZAhʿR,,i_ w7dki"R "$5(GœՇvE]:X{PP cd+"FmS;2m7-2j DPIH0p6YWh:US8j.O5 $|îGHSuϾ&5.CgA\HTWu;0#˝-4)@z Ywah¢X)f&`BC&M/4 F!fxyVi3p~ba"u9{`+bETEP_Ee |C>_%M}sۄAz[~0  Rɳ"5fZݙ)d+S3%b-` .yZ䀑^jH(y%% [R;;v 0B[ZÑowj <:H!)z[6e6 BiWE Mc1<:n!!fnnfƶS2N}ctq^-#ׯE=!k沧ġ'!"ҋ!+JoMz|vh!mHcx(4}2egdI'.mh\2캽Qx! m~I6V,_Z\nhlYXe*bg%rh~tfտ9@(>GyBP[7>2c])]ّ03m'5(GJZ?eE*vc[\ {lXVh;C7])xZX*$2]wS#~ذdmkrq_e{Fa":П&.J"2#e mWDk@\bsޱd}#|d"EdO-!kހlOH7@|}KGF QpղCJ_TXK1@:))A/˝=Q (\|'w DPXT݌ fUr|/mLEeE=5^CJ^FQ hL 0C8bkBnjrhbX@ݑo$3ڕ\irU[T%Tm֮>?M!48kD57_OGe͕\Vj5n){! Ԯ3ul H/X/Ql Q! wDˋ_x8w?AMk75 oM]-u\ @OqQ5G( /Y'tbf޳f2ZE$E{V%O?(6/$BU̵K`4r.QH7ڑ!$cǪ9U}^A޷4Bf R|Esu2PnŔ [7r 1eIv[b@>Nx@gZǭvb߾AN ӧLyil`XT+':<8!zNʰ"WTOG"y ;D|Iw)@ԩ+8TsTs}xDƺ5瑱"w+ly *[\Cy^'Z% D@ C[ӳaetІto wZ]Sb$(2'[ M;Â0#-8⪽Yn_w:d ҩ+ot"W B?,|\NI˾>ĂE[_ U[RD7†ϑP}%uԂ4ȉ;W ~^H*q!؜ [XhXYd?ߏAui[<!,荁'=/d s[>,踀$S]mRt0|u-rx]ŝ[O}!J8_TPq h\:zb̉xR\&g%[_zSmXOb8ؐ2Z R%I({8l})su&M"3N9m4 gqQYdAb$h0j-R!f[m"d¤t:?]J%x&("7 {,~bxyﰣ \> obɸ~Nvbi:ucpD=QJN_bȻk"]Pk;6Gq@R ̌S0 ^i@V:v]<«kD2Hcs3V@N׸iCzaTJM"V'\q\|XDmlP@w$@sPUZm<Z6_X å"d͵!!x& 8Qx݀f ZU5ӤC9h U( 4Ys<6_$28+m`0?94Z(܂ ~4[Vt'\NxIrꡓ prP1!Ϫ_%sEV ^g"g2hd/VM&?ҡzv+ G-mQI;l`yڹT\$GE!iw6S-ga9E$ȥ{{wuV\ܩtܯ|'m/-ERƘkopۑtD렸 XR.|(0IFd5%q۔ 7oXO il|l0Cq\jutX͖UN:mɓa <,"FP(\4Ȝj${[RPW#p^2Ϝ:BQ(L]T> ޫZ@(W\qEN(,JM,=i#: jʙG#)[J1Y㊋Յ>cZ8qp>^Sn$Qʘk6)!Pm#rRRsI'hhSu| +708[1Xz ^P3w%9l&/%(TD)$x怈z!w}%fn@~lstRoO]N17[TwZUVgct,jW"mϼS5~Ĥ2b|tF,f]ΰWEV~OҲ fXݭF) 8yhb ͅNpU7 8 >: 1B[/C97wq\MprEJ<6/"̗i1'e2@xK 5* EءIX͖<>seS(5ד}^. o!ٓV F)/myPnxkFO]瘝?\'吻UgJ|(eWK6)tvhrDнI<)~m_:\FYTZِ謫 / rc" oЎ%Cv>%߉I"Z <޵lOj[bm '*[{hNJDw:'0c \kU8b~nFU=abz{ uM8Mo9{/GIڑ2UB~ʕRL2Mߔ|M:;s4z?h[؉:R{ P~?rC/+_"s&imATC},6/2dU`餸wDIXˆ")S=ȼqI٣\j6.#dc&W1@/ Y²/3ah#'ˬ9 L#ȂJP#u@ 8| ;Dy 7MKćܸѼCPmzܻհ e0xjH6t tOUZ)#| Xtb?YjOp (eWkWމ? DclUWg7,Dp-ɬ.ʒcaa>Rj " H$Ysw.P~ۘ6D}} *Fyt#C~#1fS,Eie}7\H.cZ gE ݵ5cA5ux1#q Sz:ɬL_>Qη'c&[׃#"r $ D 26;/z 0it-@%ec;Wס)Ku^yMFq  [D`:n2ah^hPQSOvܐ-? KWf " "2v TgxaZ Rc:1GƷwO%WqvDb8т]MryllgqVLL,Nfľ{L!S(Rz/`3eSG5P.]7ڋUUͽrgdߖ5 j,vR;(^)9 f5#uτQWFIr箖F/A 4ԫ h#rF<Ԕ)#n vGd)+p72JՇrci-)rn|]D ֪JwG7 XI`yռPK'ݼb]&wZڠ2H†nnAc5r eF\z68S҃YtcsyDvT/}CF϶*Ҩ5t(zS5B ⽶L:;Zt>hk3v.fhTj\{k|\Kl,zD:Ϫ8xZˋ!c+TW5W [~ky cfid,s0H*DɡB^Ξ܄~" \TIؾpز FD7TU%uƞA?nd=xl<;.lvEF!~8>4|}>FHv6 %l\݂ETU]i4§y/:4ݧ& V9 n5=)?P B9WI QKg0ʭ=m_tqУp>meWevn I=R ݘIZwJ (`5p^w%9׭FmVMA"vi{ a^$Z2#8˰ҵ*1B|EmtbU@n[fOk!~ )8mnx`*Àqyv&5$-tY^Hw^+b"q[[oh J-!^}{XH=H],]rs\,BvBV|֦NUb17GKl2FruشCQj#^&9Nh^QF8*CRW(G9`JzӍnQ$Ri],3D,3rԮGA8ubӣmol$1ŝ uSú$a}*G:/J;s%SmOvp3g:(֥6aUЏ(u;T"f*e<K+B$(&H4H+䨋~<O|xFJ=o$$rDfk }]378m<, #1p.n!z{}?:խk% 5*yܼ;ޞXgoKͭv|xg8la h7h]^tȦy><=FXl8S!|nB?hBqJGvž3 ~{¸~[Y $ŝa̹ŬָCtbђ7UuLk؉SJԶ aaiH:xŤlޅrw; kMW7L(ҵ<1sd&RZՌM*fEEAPޒR ZFmvDN?.v v)x3 zK*W', ؈՟]\)QZMW$H2:*KJD}wm~Vg-ajQ/pUuR~u3}?KV,"xNE|E>ҡxWSHʉf. "V n&%9Qy}?rpa)E6u`~?P(B1^SFlyZk3t0a-WFFQTF+fܵi"xZ+9 @{Ap$J01I{w*ye $a8iHgӉ6mC~Jmys`aiVFNzu߳CmJW/D+T QWou Z&2k#zrx7(iТN,!Ǵ H UA-ZRO\\FtY}W| :XPjޠ;_ջaI-Ab߿tdjq"FO3ZA3:EtlhY)w}6zH&LyatUk\O(U}tȱqC SXgYZ 2 LgRM#[>vծal4݋Ji}_Z-?/7δ"̀jB5Xke p,hztͶ1ƚQIJEIxFRI%Zlk(: I6'sc.)=9 \*ߞ9}"҉^)x#?O|[:[98˖n vF\{@GJքpu@D<염 b;2'[oIL2M?oh":߭:)I37+[r`íi_01"2mS(Tr {\%za5Ƌ D,-2c0呱R2' ؽ Hh&}A}U0Zek.Ovx'CKW%P9~fbwf N]^ e@5| )e\U& 7 "h(7S>jݢA iO G&=pr/Z'D{TI#a.z'M hmζ.4X3ԅFB_P|(wN~E Yd$zox=Ju9tYy|ެQ6:7F bM\s@rT qUz\1v~'ݹQ!mr/o,%8k>ysyw 1;NVcPKHe\v߁L8pɬ7P΢%l_}vPO%ᦟ#-w Ïʜ-]/yߍצ|/^R=_:6%Q1gggb-6_X!(J5\ vມqs״ѳ~ٙmx_N[C" $7 >e0hѝ˿ XJZ?yb+4UK9u;L>=Cn2%0I:a%b$D19h|:-s4xoҁv_t 4)[ j?; B|B 2U@q?xN v%tN:F,2%:w0]ձ|={v40LøjIa)peWY2!F3|-[ȌG1 sx'(e@ p:@IOAEadc?oup :d޽gߗλ8YJ-gU$Vq֑ij^X64zϏr]FF͑L2j"IU"wH9w|݇krjIYܢP>B_׌tk_U~ȑeYZ814'Nr Ǎ5M/Uf@QyHE» xH7T0}% (ʟY,i_IrmbjcTG"El p䈉Hp[ Wubx䖡`/fWWǍ6{a'.Ҕ=d\~gxO{/5<~*lFIivB,9'ǰ6"ǦpHE?5+N "K|S84EwA{ahwPp=kԒ$&Xs5dEC^9,<Ph@Dγ["6ҼF+ QwWNɼR9ZͫƟe$B Ye&D[_]bBuAF"/ۛ ˎIZéRvP¸KP`o|h#m٣n ; _}kyd^b>Qx&3}|sd]p5{w2%ͮg\헾:Pn$AbBL[ Rt-H)1ImwhkKn9`Qw gZWt DDd'Xp$!SHl=ﰸdWK0QSՕ2]r?7ҹ'vHP.,xAQ]ouvR@+WAiAxь] ِR-l%9~#|#VKcIM9_ 5Wc]9 8 ٕ>\J'+>WBЩ_HmE^Symkb[tMlBKe$6D[ Ua3ލL}KG.nGKyu#yHQ,f̘do)9gVK*.):fqf=6e/:WWsRvy30_MN`6rqcqnpcf)qN/J!^ yaHhX5L q~&Vb'08R$Dt#kvw׍>Wm&diL$i*A+!ɑPNvfJ$^TSe1cZ?И ,p#PBB@1[[0-d J>CLR"w(C%r:%^>Ib!i/)& [Lg 9UWr TuWo\wb "X48-_>+*zc5{tppdK[^Wݔ﯉!"P7KFFqx2 Uf?nDgeQe#7k(bw#se ,l9^3^;oI^/LD5~um}0$ۅDh>q>u}s?c0``hy6H@`-6L [J[Y}ٹSd_*ye徵4!Du/-x9m{WPiW:|}M]^WAd7X?%~йv3rF0f% y)a>uPHY:XO@V\ڋ\Mk ˪C )9mrȷs{Lǻ?% r!u8,{ 96 V*{۪фqGpW)6>R*4C#6k 6]#j=2Sex;a4 /??)̐,?F;mtre#K{hpWq|~+ ~->nmb\)v8좷u,Tav?i&vDYf?60Psp3zkkn'Uf|=?܈=^[qå515ʨڵWv:ƫ*ח.&6׎Cy4 v<[Vʸ2z*L(*Mj ^N >"T`/@{zvo(=;$IK4)jDI,tRs0閕4-~R؆ 3m$e -S, '-r(飊"ha,K|=8p;e_UhZ~Ɯ-DO=du6F_bx8Xg{T8 $t}#ļⴃT~D:kDIW_t)*s5 CWZ]ILp8S6ibӛI%څj6 )آנw9D;1A 3H:>Jx",Sa+#*'٧ QXm\ =yۮփE|tADM@4|8'Չ]LZ\.84_I*x0ҾUj] n,4Q'TWG91hT@+t$:A[Jc0"l) -&N.)mIOxo|څB'(ml[~N5ꍓcGPҷĺZ2hUBY#z]s6$0{d s>HOq`| aY~~]i. iU0Ug%A2,95WM_vޙ+fÕO`,˯ $3b-}U_Pٖd% 0mO* ^mA8Pa {>]IDo9 -J]LITgr EWOj9z1nS 'bؕՀE'Z7J#.G1{'p%"Yy?nՈ!Th/셾B, >{o4&2i(t2[Y7S}=߈HuߋW-{ G%^~^4 BMP1v *Dię Ї']% NY;3/8NiÇ4$< [GG}nf|Ϥj,KfT'Cj/y%W/np?nϣAĬ_Lt~#e_lU 1G{=gy٢wŠL7'[q-v{? <%5O[━AuxSݡxW<',E** L>#ts6m"~-WAESQ v>.t)|LFAq>#_@;\1]=s[_Yے;Io41ߘ(6hJMJiy} OK3i*9xgfFVa9DM &ibТ-eDlP@K Va07arhσ0 |#Ybb#A@(V0fAY4Z;:ڂ+W)S̮RHA͟LE13vl"zO0JtXQySv1HVQd@)$Euk  gjj_ ykOނr- ̎PnW}sQg7@{Qu!9lA8ׂۅpˀ"|?Dm(_a,"4N0Ki E_'҆QtD:Tz;Fx*~yx[B~NnPg3X%뤅g\$' -O{vۯyu!'A~Ln_/zTWv!eo2>L⮓g͌YY5٤PNyd9 2͋y/innc2j81&|Q)Ykwl >Q_ `8`b4Nۈ!;-i)~J_4 qHWpcq 2Bu?HR9DQoH)WzvAnk|cADEIxLziZ{NNLy*p@H QS|6Ƅw6xȯp_x}QrɄJ4ɗzZ\QZqШw >u.ϴM,FĈKƢCC\\5;N*qZ?&#$4 dXnwӄ ` pK)r"l2XLZzsM.}M&%|<,]7^Bh+㒶S2U# lLG>eF^0šz{ܐoJ' Ugxog@[y@)G8[ƾ !ُZ \`L, 3"u95m -`:*dk\@)>=|&;;,h"Z@ MQd62sݛqFgMbWg e~:OsܐUҨ=i؞<:s|y:Hle4[A߮ Tٝ84GHx$G0Ibs]b}]o2Q~zzl9⌽W[T{l}#c k#';'e`r(r]l俤<-w\p#.̋M5YىU9uNń zkvx-f=x%'0PK h\WhnASG 4&T XW<7ay>@.xS0j7D/p'ЊOQdm'&lJIǸ:_O5*ni9]3QS>=زvtk5Je揆o$܁gFSvǃ!*MLIsEOg"vbW`]Mq VvC*Z$M1:pkV,5Ŗۋ >o!.ZFgO{ƵmW[O֝v2"l }d [b}azs䎆VՙsrY'iJ}2zqv@.ه1DvBztERBd-:NFZGCIX\m7թqksf(>"w!XKѬ&¼{(w0[ zzrZa]?d);򍓎3.90 3{ y OcK6kooJ|&p'T_i%SkY\c)]^ik^pgt+c}A3%PO{LIl-a-x:KVʪ/0msJ[EYJa&g=U#W Fg/Wc6eəJ BCN4#/?(=Jv21fCKS\+I8ڒCYl\͸ 0/t8/\Rb:ٞςNX84PM1-Aw` Ԣp Hz/3P#Gp;Ò(Q%`(ܬ1dJކU[5)[q?fP9OO/\UE|6ώ26澊)3 7[̯PC Hl#|I`]lm(mh%+L\)rD۸v6(.r}Ԑ܋CkK)^"hd7znn|^:~6oL,sͺ٪mHE9)i$pY_?WÜp">oTvc%ڝ%F8sbyDBBҝ8mG{=;+ W!KQjw8 8 Skx̍⏴NwcJ3m`^66 ZRM|5\)Ӓ'XO[ I8rqzlڢTTXp~2!Ƀ G[բG]^ ک?G~~c01Sd-zy r-p$#* / : M% Real_ImplHOL-Computational_Algebra.Primesdocument.tex7zXZִF! 2;]A-MՋhvG"uIBm5L'ɚy8\2.^lZ8qŊn_}J5kLX~|V}[D]z'v8▽φzxiamp!c>L 3/a!s'}}~M -;'+ vY䍂j9}#K+`˿P&DWqP4sYI [|D֢a+ uɂoP6X XC<*R/ P2֒4F& 龄J\iiG F32'eJsp`.u!ᾲ<2g-ʍ/PӤz*i*%y9F2[xl誗pelW/͠X,O"ݡ'Ynw\O)d@is"Ji'Ql=W.!oǮ;/_>WaٰH2LX̷5/!TIhoKNֽdm*0bG;Vԝ\1pf7(`|10j(p .o6PQ+XP ]], A% tReal_ImplReal_Impl.Real_Unique_Impldocument.tex7zXZִF! I!]A-MՋhvG"uIBm5*Ot&E&#axh{aR#r.s7Sjz7&hT0+;Q?n{, ZO{ 93oU-5ˠQ\))(aC?dMł9p]E֧֓>M뷇m(l@'顧={#S0!ph!x3WltBSD[~Dz;w(}]-y/JJ/uԱOHT4g5F}?x3+xt{sS?q[yv^h\Tl 4J{-p=e!jm͑vјRagc}.t,k2}fxR Ħ$U\.`c?qe'>sz(l;$ة7;zw&X܀rHowH^A `M:ԩC O:+2}=$r` ~4Y|%_@wt:& +5$͟F{OcD6{n<@q=A o9;`93[]r(V]#Y6z>N݃1 |I5w4]L!'7(h6;}I=_ Y9}f~c7T@nI֋|5mHD"?_b^q3U;/ٹ*~MqPbelP<"z4 恩 Shu暽D30 ڳUie 8}F<w7@,1&O^BC38#a!I˲J8߫Qz> h(, *glP HtP؍GZwk[J !ed_aI|)4H+K#N"RcL♔~ml!t^/eʝrFKS 5xO6`M@d՚bd%vL+!{F ;m#Ñ&} Zy@\AAsH_{H%ڵWx .HЋJn}A|ǡ ˿^"pFqG0y8PJMk܂yEKW}̆,=C^I໓]NSt_/?͏XaE8FJmپr Pլ+ꕐ{ >d<)!npt:%yd<N411\ ٞK^+'%JrŲ{L'0:`;@}('o2%si}A:_oK(lW+{vs[(P2Y="w6uIz()7/B[ÜLB5*l^r֛Tӗ֩3ۯ_'![1Q!`b[!pC)IQYCFF5/HZɨυ)}Dk9+@Zvz߃կ`)$X$t%UV X-H6o.$0C*P7-%=tue(kZbUzf )4 :&JL6Ůl,erdQ<<2Ǝ$_.J8ESzXPF *pN"H4cGXRs\ќzÏ A,"@JK_ݾ? gqCy`*iDEjED?]3ol۰'G~|K2嚲sc .AYZ*W /Ɣdc>o _xt }$l4W";oID `'$(̨tDcV0V" @rx-߀!1)T]M$6L| d/s`Ngݣ#r5R'LL7o= M`Caf :dhJ_Pvz':-.ZwOz y$xPnXZt2ENG߉ RLk͎QA2%_jl\8 6%lpT ENu4,3t*dz7gQ 奻A q̝^ ӻYkNU 2W|+~&$6_m 9kV`ZiQ + 5}x<cِTtHb`$triRNFaz riiuy)Khs5dB#ϛ/'9蒵dՉ5# G̚b)U{;)&6D|iv{"[NY Z[x M&cMN@iŃ?/ٙNt8\ 5GɲxQ&R=Oܣ3OV sChLNn>C#]4ތr:|G€4 %DŽnpO;e\ I6 c핻F-S9&e{ PIМPpʲ$E} x҄j/?sIـE1|l>|o$s\wSdOCNRvp[o}V>eN9W.s8|$O^m6O Z^y _lBgq-&, ך@nVi:w\CM d2kcO }o%N6F[;,%nW?@3a~góWǑ"Chp7NKO҆J\Wx$N+ I~r [Y60]P[SXuT+hn'KګR.rVkYR k>̷KT+ĥ<JׯwVQUt[Kd MdP6S1ɮaAO)h{txBkd-#qxn "NIBc96O_'+-&0WJlTе21ML6꼱]#mMrT߼@? O5 Zl[5g]GKm}~vRGzr*fD 7,^Hw {J2F{li^Z*(HL6TbOTZ!kK?eQV1huv-twx nÀbT"7( j o+ʤF3U4(;'ʭ P' ١7ytQVtmFNBW}|ed\Y0@4rs-< \]{ kϕIt)-~;\cDX`a5dWE(Bps+-@Q+zWNz^MƬg6YismNnqzxQBC4Bhܛ~$lO41X:S9 @zW'=#s} 67T;Y t2͛|a2db'Ȫ]2gXXn)塇r> x`y1l(}fRE;q2Y$v*c'9)B!.g]H=,Mn#- c(j.< Ԙ47<[mk7%G:&?,N剞l5J#qsby oۤ]a()PVk}W^nܧ|ۨ(1rj)TD䇼QI>[y.]%RlnI_;&1t ({QzӘqˮ^ QHU%D6m3w9>ܼjH/xLTO1/ܹa6tWdSg^p%?o 9 hrFxgiTAs҇\]liext,;f}Dv-쵀xxT C<8KWݡ_ZfuǨwg0Rj| U]ʐbZ_V}5ԓpx^Ze!S%ہ m_d-jKLQZXd  w&ʇ(WLEtE9TkѺPV*Sիr.mpZ "wFuL)5le,4F@7>?g%ya'i)6=d>.<_CPv*yU'ZR k; jsȅv|jCX<7sπu>{'T*7^[Pŗøg)y iHV#x;ڒ|s[[ߕ0A[ XNݺv/O$k?Nj5ti5or~=Z^緿~')"m<=ʼnf,ۢOA]$ tD.]bi8@I[d#Ҏ? PrD~g 9DM^򺔇GTeUjz&-OIߥ|K;Bp!I ]f6us^[#]%i (b1o2jD]+i?JP  ,B#cE+4 bŸ",mgw*"[hċuC3GsXxtK;m?K_)b8ZYc3%)Y{H4ÝiWq3/W?NwAЈ%I|&@F^`s. (8з0^ րYv;[m㋡MqtH t+a)vHksPeiTmO%S8K %[Aw-;[[Umgl3j]lf'N=ܥ^q-((9F 71*g0><_('tu\ NQK zwisa՞XviLI8WgȌoóc^1]1" \,E ( I,6i2Aԣ %A+!`"K٦^qbWBG܃B \H-_klh_Pa\uXZx9ytmUo xÝ)pA${@u:0wp\.~J"7M%7@L!6a)*724>ӵ T⩼ӘLf -aPvWLE͋07Pҝb" 4ґ읡Trv$xbCvNT$ώwjo'+zY<>g|PsZ!] R"r:=֛= ^; :dֺJԴt%p`MrwFҺzy (.[|{G^@,KB .bt!>4JM2zYB(AY Oq۴r@M`7LM{RFJ= W7ӛ~]^i g*3M[r]Z&4Z]a.z:z_#/r-@ޟP 0XreʽAʫX9 Nbc)uKl8Iu.oʧc( D>W GP]U':…WkM^;Br.ӧQ0xoPʓ׋7qB#6=LUUT[\OEpFkԊYlt: _lZ#<6o#ۇޫNIr 5_}tc[<@kM^):O)3M-x#ߑ/`Z4>Un >d\JTQ;7e[Vzk+ )%W+z0U,Y(BaQ(޶txGlH`y78/zb3fpW"@҅[U.U+ro?dҪ\gz`e}Of._"VpyyOКGSvbm,ogSp[A#Kpe&-=凢Z@%Pz1|Nt9Xn3|WApw \oVD )1\sK9=]U`WKN> K}cZɵfBWTb;pƷ*ХC5B+•|B9=wL谸~ |!yTYݍk ȩHsoy|{>"dݒ+&➘vMIHҒYTٔhf> ojw3W`/I-uEw`SbȻvs3";=I0:/_KU) ؠ>[_>w}B*S}7ٯWGnS@~3vH"1a>ѢP.NPNUa X ڱm9ʻǹv瓀GI!`LѦЃMx?[_6m RUC; M`^U!6s_ņ] #Lx*HdB( e%

y Oy. "l(wu2ةBA}&ͼ±"P1sJBz) 2XM|Z^w9kn.rFDMǙ34c Iڦ @t7Ȁ_+h6No&sϝ'}K>ЙCʸi\_gYZZ 4] h]\2`l, ,^IOz0jZͮ/k!#0{U߯H12;!\EtV#;%UhiNB+u,0Nw0ɫZl_gkh"B]oQ0$ZG>8GI)ɿv[ِY׆wHt u%>8W|y 9>kLt߲D#@H s7}9\GzfkQk%P3ŀ]̉vXipi_ ?/Gʗ[ ƥfD? WY7ګ6la.>p"!qJO%v- O(cm|=s?wEUP&6ged*[ynCp}mȋwxJvF<=%oqN['sԢmlm>QWhRC0IEBk!u6=G1j?*?픡MڗUm7eE sI̍S ǂ-"-EQ?ɃrKf:ONښڜ/)7c%M.d^G6X ؃Cɛw]YIڗVJ#XiD}z<2ӼNu9[ */_~v#2,H x>'n v)4yNg/6'eǫ)Y7c] ^:JYt)( 6J@OML;fL{i$KXlďpl=~Np 3 b?Xȸ̊M(;6TpFH0)TdǓ!8.f`E!8l{4//a!өvX GU({U gHe#˩×fA~ utfbCYHbm.(Yvn33Ehmn@ ;P$L>+b 2qJwHI 8?h.Jc{ чL@mHD1rQN\z#I|~!t \4n`yn} ?E,͗Pjdw=|SXӥ"R޽Ip"3Fj'?Yz魣[EbK2FqG-VJ|Ev5Pυ3$ Zp@N]XGř3@X#H@P& "y +Ez.&%e ܢ2aZ~NʉLK9tsyVޭQRJgPE"He4fO{ƅJg9s<g= ;@ 52̵ƎQ"Lk ~)ڄl4I`: ]˿9zkwkɈjnY$bb%Jf9~JŲ[1[[?_ s1o:GψfHpׄ٩ai: qU1?:n#%^}uqYl4(OvC:Go.ైM,j0܆3.Is n\Ԏ[}nI>=fc#L@ YuՒ"l ]L&j>;$&fu8f>n &f#:Fx.dWi]=dp Tt.kA{/z c)2݂xbt޾vV4 N)>Q(h;3?O834tӮoifKEHoѧքWwGkYU&n[2Mz+K%~EдO} C4~*]_$:~79Rxg.,^]윱rlo~g~ٮ U&8Qh!Wiڷ5<ІrV/ebE_ppYqƒwb9` :)J狲Tl>f.X4C[ W#7?ڙJﴃEoHLQ>s9׌FNzlj- [Z{xsc˾hx[$Ye_'ր<~X&uu.h^"v3:2XL#j@eMśq(/\Dah"l0_x-jLpB&l9FX$[uj/B%P Nc[Z'*c6|(ۥSsب3֏-(=>pQ\@<"rp` ^<Y:N\tY5|ԫsk/p/BG)d,•Xe 1[%G'Ys?s{MC,FzqvV68e!id2_8͕'IFAPkoEN~yE3,6&ے,L[-;o Gƻ<4?=f Ɲ9s۲ *NNdI6??zDZ ]LL;zǴfmtilUI: ;K`÷҄ R;VF"%sח~2G_l.qbaa!T2!\PP&>8Z 7{rgUk.m)8?ҟniooH6]R_LBs}f Ͼ֣LpJsLI*.9EГ.?\trGK;[1l莏@p&y$BEFe~cxlǣHȵWcOeH|f;H;[_cvd/>76nh6x?-:2FgYZ ~% ]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E e,," DBG[xoEbf1Hlg+&`.b1zV T M{v|ZpKxl•]ԎWkwб6߄_*pnfz4l倵oґm8lvk$mh—ϋOW:YZkpD`t=l;% |Real_ImplReal_Impl.Prime_Productdocument.tex7zXZִF! ]A-MՋhvG"uIBm5L' D\L.[Iي,lpHIaM9˗3Ļh$l3n߆OQ ZlJ1:;rjJ+pn' {fmb%HS<ūګ3 VqK׻QDŐ<@WK}HYf5yuLO̖+}M.-I ?'" %5HYYw>WܹBƗH3Vu&x;/ ]y>C^i,FOcU?3OaYz& l>ԋ/Nu?󡟨wN_~;d.ŭ?v~̽R%"]^ J}X6?޺;Ϊ߱@/|8>] pa %47,;?9P KJI3Wj!P=5aK :Kc!@µ&5|/E>(J(?˚q1L˦Oj^  w;>?qB1lb>b3:3]"l&"W /i1<-x7%*CI wJ~TU՞q~-i5"; 7|4Ҡ"守!+VXƜ`N{];*jc{|ymUtgAonLI1mu<7M9_(VmC J"e)p K7We{۽V4( /ϗ2\_ޝ>ݠD #YͶ ?HmZzVLX1Nu3Q6M!xEXS&5 Z 9KU!>uM3PPnzEVrK9mP>~]ǑR"w<}1 T2EI ;gpMr W$$ EA==x-Es\9@WFS+AȞ]/_ٵuw;S0/IP?Mqi;ړCPAy\?ɳfXtn/eփ]Pݷy09bb@/L>&"ZA.LJ8s1Xeq$#A꙲dpw9o Z)mH;ZLo:6sn5w78)|FB<y?&-%8y-(- b}i (Ru,$\29,\ ,aLIpA~JVah{|/NELUcncOJ_w{EUm"$oQՌ||G GB-׹d퓙C~(W=ϥd> 3:(؁Π'JW]c&% o/YX%6eCq+߲ _*x$rmKs1R2__ Œ!2Zo@ p"rvďtA5+]:5+u'M3 Rɐ]q )S]4dnSl׽'?2Q v1Fa2ߗ}4m^9 8"y72tlPeaVF1$u!|0Pc+ӗI&]vdN[,Gydg. W?,"M͢'?ƛ|(mᇗ`)E[Ƈ٪7]-n˝ zV].H**Dn$NDz~f(7#Jf'֭KY$@Yfq=Pf}'FoHQ_춞I[R (eݼ^(N<أ1UUŅb߰v%-(,K/c7#O9($ʩC,LuvwҲx 7ip?>nvJ+tTPQ݅4yF7WSE~\|֮TZ}(Dͱ(.JJR /'ٝ#YFʝJ8E7yg& ,-A  ;9 HaiO5: )ƴAj%evmF5Ӈv:Juj>k)d* 2@҂p(Ր\״ϊh9Vw;Q+PʼsMݧذh4E`*0ۭtMބ֩N; #` * 7ɴ2o 0- ww E" O[:z 6|ª, i"]@8VZ% fvt+RP'GBrua=P0׎e l> wvŘE%I7p&J"A?bx1_YzhNA)O^0_#̆tJoDhs['EO}Kt!\n6J"ە 1Ӗrw#6&¹= czz( )7fY'J0()9@bu2)`/Mba߿+Sޒox#]쵾Yꊋsa m&'NtI+W[^s ubA0 &ʌ;O &UPpϜ&S^yĸ׽`#cvᜡDҗZe2+riO﫺bUޱ6᚞ |g= BĀ6 M`8mpjn‚Q}Fqg?41`3)g BBz{ )h2oaJUlS`ܜ[1s2,[e!Le|P$ (f2AEJvkyzNPU_?WNRi7az0uĻ9 g?#~!sK;%a$Mi`﮶jQ\+7/I&L(ǽ}5eUGlN.?MH{!d4&8(8Ύ #K O҃wFw@r(D?܆jmeFF]O1mdዌܧ!Ss&3Zk ۈk1P~^ıPA۬urKj$P"%OUcd[~V?u쇿$踇]Kոr&G8 6`M;L[Y6!&zm6p!͜va *D)Jh8RN[g ^&+*~]8q^!# /X@j>nO{iFX鴁 wBs1C,3Sщک&} RA~/ү&^̃Ih:b]=@G7ǻ[ Ԏ8X {f:VDԸ5BI` u_N|ӨᣕYGVDX+˙&7-RlkH49,R~5հ1ЃLA_[X$6ҋnxPxK#]Ө9TQjڲE 2p N00d`i{y_j8qRk?}blKߝZ }D;Lw¯OC߫# M;+ jqc3*Ȉn%tn;!ڌ" 'WsɬVwв?aIqK̪9?ZҼ$!iTX&k3Z(jT+ߢLMj c>+.fƚ b (є k"wѵ0\ES{I{8p+8gXXBjg={mK,S}'Bo~_= @ oY?#E{0"J۹aaԐ"E솥UlΦ#CȟgFƁ(JIh],I\ByҸ%4lg1U bc":1Žf!ʆhX!fۇ]+f[=:K bWfȒw,avl.Kd6=B)CV= ?zs3”a$ElI9$ Ė4a}, 쉛_*{<+1w\\FpN^ ɠdWS. ;:;bvXOvѐƲ{³Dfy׃DxJSm"dHG$s'9hZ_py ,) iM7Z9aC798/ Q~*;X I/~E$LdxCg}(2kF%/Ý%3e,TYM}UGT&H/dV?6 yH?UBT`zJG!w]3( 6{9ӧ@81 G">%7ȯPO|A?_xcA!8aB LP)(E}4G[<*}GƓ2!+ea鷛AAL[\E- `U NA6tгLg]XcZp:8'24o4wgk#WT⨝tC^{ΘKݑmCAp!x$㴦/p]NAkZmu,h Ne1 BJy0},85_N"N˖g߉:o0+aDC 'Id ']هn;'us`g+Ҵznh;?_ R7h†e,?6'SY/˖a& (m I/m, GTQճ#N8(C7FGhMB@n\dܻY̗!#":_`KFU6Qߝ)SF,샼 Ry?94Bw0I2YND+"D|QK3h_ԟn)F,K2C:[';AȼZ5| 5gQ|Z6ꨁRP4c>wIzbv쳷Þ{Pٟ0M|ZG'c3'63|9 FNk4MQ,+ŏg<~AT7ܽ)fe-լ1*L&' XoG=Ѝa]K/l;qAkێF.z7qSNDC)1<P4i}BqճvRa[ӓY,Uplk- O6x bUPyKSЁsQ~K~޲FbI.M-cͱFp ~%#o}R,aGZF 9gAW;]D9\LˬX> f aj8jݧ{~l430g揝{C* -{S29¾P\,l9FR={M"4jF rZ-Ĉr"jpd\gV=mUJnF$` mKOcJ<^J]xh0]/2iϡjѩHXLT۩4|/ȑӠ7ᨷuGMoD Geם!By ;+ agbR;J EQ^ëAD/"(xMAaрiˆXnf|47PNQ#O*X'b-%>R= 9BpUD}XA%l(b~_D=b%}MGcG'(u,i[%jf.v%KZۺ:?g kiCI %7:*C"iyW([(X% gw}HiJ]Պl1%7 UxH ط` mdη;u f!0MU}PT/:f©eCl~9d+d R"_m\ Kk}+u3C$?W^^tW=x' ˆb_R@7,| mZVdn,cl}ÜW MKJj+<"ӒҰ1'dH G\y*VA\4`>G. UJP0 1j{YS&()[uznP;ׁ3;7Z+_)h& -҉*=~^(59u>TNO&zUPj&c[ɀZ$Ah4Ӣ^E2˫dށ*wb)-hUXQʮ<8tOCZ a5 X ^āF]ŤmKnH;sH0Q 7mA (vkvCy$zzç7Gk`v\҄!DG&|F;8f, 6r*y1ؑ6etk.b1G{EJC .C XOa`h̦gYZ X ;% $Real_ImplDeriving.Derive_Managerdocument.tex7zXZִF! a ]A-MՋhvG"uIBm5֕)eGBŕΙPSI"݊\%Z^G5jp=;)'&m+`S+H:Ш{Ѵ{o@Ѕx#&]l`e{j"H[@.xD!ww5:oY5|8Nt"@n ed`vyڡѡQr N(. 6'FGlXbm℣9+h;퇵6Rُz'P`vGb`zs!*t\G$W-咄Y[vقk/=؄&|RiX7T0]&Q4Qv|lxc> ?géY͏ _ycFSSiqsX +.,$(r]j}mW1(ރǫ9aMR>+Y5TOs50`Q}:စ٭Kd&Cd#]!g)U\Q6Ѽht2O&6:o3q?IZq'Aނ"ViY~,n?F&%$\WX\.vU`|h}p{EH`ͦϪcw{jOKO覧BNEX;D!hJT”'lp] stHÆ`컔 og "w2F`:qrOܑ8Fo_]yWܶ.㜣Ol ˑ, Y(\b^, ,OFmTtuda} m$*:dԱgYZ> G% Real_ImplReal_Impl.Real_Impl_Auxiliarydocument.tex7zXZִF! ]A-MՋhvG"uIBm5*Ot&E&#\b~PfM-v9U$K^QZ4~ȍ9mK^ntk%?Up] .Uno QW V&OĞqKRI{)ȟ;71Dae$ȰK[R%ds I-THGl-vkk$@x˖<Q'9i5"-e?p=d丑 ,/ׅOPʶl_+ݝжv16h^# ND-,iA0j|XEH+=|4I|H-uE&w\ny\[mŰ?:ʼP&<ƛ<#"&# wIBw 0[t31]sÍYa[QQM::k n3Q$SrK+Zt3m . m"P]G_&_u +T%Cze/|5COH2k^3V9 3h+:Qze]v8h-jiQe"P:ᚳix-bCÚe\"ζxx?=~AUvO+BʨsFt`;0Itrb i -j|agYZ%=% lReal_ImplHOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZ  ~ ]% $Real_ImplHOL-Computational_Algebra.Factorial_Ringdocument.tex7zXZִF! Os]A-MՋhvG"uIBm5f` 7w$K*Y3 aSnV t#VlDI|J$2X-arG6SFWoΫTvcD E >jH?&dXߖrqyr[W:C (㰯H( c6 I9n9 \+L[WDRcZOFwz阞]u|ȑ_6<o`Ggl !@>ri!Pn~5r MUU+pŶ7;QI70J̱φpF"De;X[ΣHH\o?V$Pl\؂)= nr[0O%w6JV' , K^Ckց A"nl/~[b(nddjaot TfL=eؘtCn3[aIt\ |tHjC<2gpY<*ٺZj(5!M~:iY쌓n7!Y~a K0 n_™ۆl& YƐkzVi0 Lg*#@V\ w2 \b@ҒJSW(QBA.'9hap5UF_B}^`Z5_y#Frʌv ~ tαas4ގ.Qk>]yMhS=w ԞnC<=&'c6zmaݕՑ ŰHz*uXYnX-*~KDk{ )I^od$fm<}Zl'-﯋g`xU;/G};n3 9% Real_ImplDeriving.Generator_Auxdocument.tex7zXZִF! g@]A-MՋhvG"uIBm52.T(Uիx!^m UR'2 lGQ@94Ce|JOSy֏1:5/b3ܩL*6p_z/k""\tF[UۡL/˕39떈x_9! ,BYȕ}k7J{_o,nVC?`:b(1k;9E HIA)EkϽ3/?*6_<ۗ&o<$)4a,,r.:?=fl9CI{l;:V`G5IҎht޴j`.3dv>j@r|T7j5wI>8MD41w̄&9ꢥ. n*^yCygti7ŘCFv@(,raKN>zp@_P*ͱ4mh__U j$uǔ*@Ū}M_@Hq6)9+o&6*M_.E"#U8 Ij~ZSqe)>:^hmup28rHnF44mY]'J[<M}iMT0ڈ=".|{?"wuQlWCտza7VgNO;k&0}&`4k #R˄4S]KqΙŔX>V6}gR5P)~pcxjԾ3)Ma| t ށ?W n~X~2^&Zi?%zVe"_֌v i >LV{2P+vj$&%twH62 SiV|J'([{E"?gq?mJz̝[t eѰB*uռRC]by0Ig˪'ÆwswFxԇL=`;@U&ҹgYZ )% 4Real_ImplShow.Show_Realdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5ȣG Ќ}ny/OZ7nO(Ή]Kfolܟ+ea!XZo]`gBbf$\Y ErHU@ ^FsN$m?;t\oD@# _E1zAWҩ`rϚe bq%KĹuDh ,ЏO7.5Sr I.3'";Utׂ\١VK *f 4\V.ZA:rFͽ54(I66^fvxPAWK(fO"VqݓXFa^ʕȡ5H)#)\:, Qy]@_b%J@#3!N8RZҨ, xh9߿O_ BKL?SD%}hTrcB7&vMg^q2_ԕ1T0%M+9dqiȓa|O*ң,pl0G+}D'kS<)1sRݯ&bV˵;[թ=5/8TޏcJy3&_Bm펌&`̯j;8$ݪgYZ4aύYPDPȮ4laTc|Uf)e(Ոz3WTD@?mYuY#JβX8p-YVձpjTd! )v`:iRir%iIx\ d 3j 3[1Ah5$53oFց?mo[(} Z0ڀRr2#~qΙ'r iX K:jRG3mXm;n4;jg=k(Cl{wnH?nON %q7w t?t@@5b/(BVo/sx\ch}a>oF ҇ <)[[QHUkn=}M4{4BebSp ISM}҅W\LMyXS@eHi m\6ZΠ-(3.Hw@.{EǨni1Z ]NE)Hsa>ylL9 esQM ?5D@*Jc3MPʊ7UIy0C:>qgmТhp 2Hc_(*&eb)6{_cw{C6J;hy]nuHu5dSuY7;҂’9*m(ܴikNƹ^ 9kyvhi 6+Hʉ_cPbBkhaV/X-]yp~3\ Nl=Ry?2`U4ṢJqB\y&4x W%OO#)ғF.])J#0>c,&g8ieR&6>vsů,0u Ħ5-0m6W,Xh\ ^@CҢܹ^l0 >ELJs=#+ZMz}n.z c)#Cdmq7fҬ ǧ- ItxW/NvgDӗ͹mE(bR]YGb嶀J$s?ʐl8l !|sm7Qpi4-Og΀{: ($n.2*gR\0:[mIu;DvN,Hg6aAޓJ"=&CWnzYE@Z'ڃWPaV y ?J{0SAj<B'k9!hƎ_kED\~;MjyOH[$m+:Mt7́e!I>K;!F\[#-:3@4NP]EHs:5|5ow|T#rཐ5|jSQ7ʂ!H͐w$uqOJl.91A^\OKw]pVM R',|`+nZQQ#9}Z(AF_;o} 0.F6薵. ~ uZ!wǭ&_G`z1τ]gR7zH#mm],&lo*ϯ|YRcOAȊX$YwxMdO٪؛Ŭ=OToŹ jG:mB _R$8Ņw M69#|jmQ&|h>~>y8 ̜Ĭt:$P 6BڗCDDoۺVnH( ݷ.:iroD ?دPM\Ivl$'.krU8{p696g~4 ;"Ncjp(Y̫djv;+D(?~̵QLvSx .4 mXhS=-#nlCX *vO!Z>\):br|zD0=2U8׃E ]&nwi/gjd0rR0I=IɧDgG(iE![;a/}gr1>L r¹oo%]ԎFfnhTY;tCdaj0E@Fu3AZ.JF+54y-^8Wy@($CY@)oIxOYL.=ܿ<#V(z$lyȼ G=f:'ȕߌpe0Xr=zPѩPW39U%bz(-֔xk76_8Q VLt  dKxPt߬@g\Bd*5ahS_ˆ|~ CEF^g5؀`aa5e ߇po@ƱZR UC@ȼhW Jes1gt]{b.zEǪoaJ-9>q6xA4U(jΜtu|Z)ݹY6Bŀ 8TxXmw64Rؓ6V uir>obssma(whHH: >{5]"0{i?6U=(PpN``0ÁLK~K'Y-6؇W Q:߮oW-eq0hd!wp+P"5-ѹĔƠ5|Xnj?:=3w*$ =Of샵M]ַqx0|%"@R,g~߾3 ZBl,;[ > Y7:ΕFn[v*ަ[;bh ah^̲n̖=QO f-LGGI\ N˘!eg3t\_dmaˣwI=q&@G!iiWW6AѶG}ˈ +ɦ(tbTZ9C8_8oc#BѾcL6ν%GMn* !Fbku(ZVq)Cl؇jw~s7|z}Ī`V%WMyxajB WjGKz4z:ֈ/7P^:gg@p `qo4H蒩j/voQ%MLFiҴ.9BO%&g&9[.M_?Mf1Oy嬫E;3i9(`S7&Gpk֮kǸbe#G 1]䛮+Ł/H$8Z)|˨n$ó5YT:ه'KD=k((cO wB[5W^gu&(P0^ҏ{U8BxxN.nr f šnaqG ^k>$g9iAj g 1c12e }EBS'̡{ r\;S;ׁ%!V̞'s(|fqV=f }G{ﻋ[s<q'-ܦ/-(Wf$nZ`JҞHLy[ak/Qg*M~ۋј*wraw˙;#13R1$7M2bYxUF8K.E!0w1hJVEk=+4,_Pdklfb!K+5SOF&_9].GA)"R)b&'Ĭ){8dU\S>,7?xZ/_nkn@S&$PYVA @ik)S"#+"#mhW$kL~<)ZmǯASwNI!$D:%8^b[ Z]V n +<賂^'M ?iiG"K+Kj[ymBw$ FtYK m57#,;]/t9Rx+z,@S웁p*T9{w&7v$:NOx󭶢@Ws.M$$ROǏ>( M!GCqT«*!1M ň%_*;_RvxپiD 0O!~Wi#=[p? ]Nbtߚ){STfgǤɠb%KfQCX2U /V%nE> .xE4O D)G/{ . Sn[',$):f z!2 ; c}BvWw[=i{O*ME_[d2ެ`c t$,Z_X^2Rkqką1,B:BEI27Iy~U1K0z̍.k\yWD8"YdUtI*J]JH4]M"2i]RV1eQsȊQRtru:/8˹N|K Z&ibt…0׼VVbZ (v jA ID pOEdEKؙ3.Ɇ#pp$8txYۦq q*5=Iφ^ IyL株RLrه>fMNFJʶnAG/z y nHzWx4β J9Y9+x t@NBG̶d7VLLfQ r'q跔4SK4E 1w>"U`DA ipY.x0xKר ` >X2E2YcT@ZN.g [0ƛĪ{DnpJ2&Ko2vN+J8a{eoIGH~E$ *+,i7齗be+ E䥔@rn%+Zb׮w&ݾmB=EW}i)YCb3۬q[ةBEGI$ɴYO_]3D&G HJ-se>W{B\좓4W&?`sFzZr*u=Y uֻ>nV_GKf(nJ476S DQ@z`&`? v =L1n76{EVdL@KV*)ARybw-yJ0ƂldYpfR =64S[QrxF ̐IO3a\q~^Ŧ GC'Cēq؎TYtvab@DSrEky-yaNǟk^5x%#  7%lh~ v2s:<fߠL8 aG퇍ّyf k*o$1ʈ->Ȟ0%(}[NQ{nLЌ>]"=lbw/.̐#6k |&&ķqs•Ve1>DX { 8Nc]ed ;אޓX1 e/%F(  ]y#VZ P|;߯I,4:g R%ћ riQm~Q6QL` ,'sИ ڐ U):V"wzGЮkÝ$lgMh'$ *Y-o)l:y27\-;r iΘ4qQ`Џw͋xI\:I4G $Ng\K,>;9YGlW<%Xr7?(Hf#2űYlocrh`6;ܒ,P@ܭd/GܔԾ>1jI^pG4D||<֕mPZAfLӬjZ7eQwwW/VTa|@B.FW^}ciM#WYtjWҠMGAxǥDx4xRqݦpU#ͦQOW7gljg|b"WQEϣ=Ra0 hr3p98(RT7z+B,tow={ZB E%wMmB۹>pULY:Ҍ{PJWDVg)t?ERll.#%bZԯһ}nW>?5nH_NmGƲXާGsTaP*$J#b)=W3 ۻmo͋nH= Vq'Yy$~kM\lư+b '#M`[GPgL#K# 2N[BR\.cNstU@HIfH:2걒`vُvF xkۛpXQ6N!P/JWk-S^{ڽJuw SnߏN*F)fyY1qyFI1FZCZ? Fo' ŋ̸" zN[usmwuOfƭ5i䤐Gzʬj% jl\S‡Us-FpNR(unG0r|.7_GCsN!uN$Ѧ1Ky|XCuV;t̊UQW|(c"d|nEX: D-@we+AVDv(|<$y-v]>/$ꃬo# "ͭ]N=cO,8uhMJNd]pp w7R!~Ժ3Kvs"D6o*:XK7:muפ%yɂҒCQe.H7!d hSeMkNAQmF?ח0CbC*9_^C0͡J^ND}6VAowj&07o!X࿯W.c[M*QoC4`kRW RnXz3hs ( ZR[\=xBU׺<Ჵb9恔l_mRѰ*x~261)E* +޽kFjdVF3!E:+tsL~Sxv˅Z7+d7}x|ā@Qڴ3OynLi+ٟ1ÿEz}vaG=|+eyWӶ}~Ww-ăMlGT=$ QpwwVT25QB`JCτ53\_k՛:bأEXVM澭R-S. ;.v aOɱrB(iT{ƚK%1%FO6E&v쪹śBXG攑\f[dk g/ϫ,rim-5I3+s6GF L` vY„ O'@;DJ T:Y+c` >!{iCha' KWLuMg_6 ֔Mӈ);(:v| /o8R`=T]^8Dߢp8͔B7ǘ!nA c}F/]3_r׿MucV M ݕg:&ˆϿb9vEH97^.X-[`. ޳{ر+6moC3*LQ|Q!VGߟ` S6 e"$#z썶~~Md..山ڹ"=X"Hs7z;y $~q!_*(k ;ZRVn*=G+? 6I<R-I $;#=sV]v]o1a0R<%Ǩ)0k}@^mm$[-`Xyž)w.PwS@GZ w-<>4gj.t!Sp3wk4ordNђXܹݚT\4  *T:kr!QKmpa ٰM+7?ĬkW>K"qOUdec["u}V:'[՚F9wBܑ>Ј= ńW 'p@@|:C@uH: ȚF/zh ЮE8rk…2Lcd6 >C{`5g=7*$s<7Yř>-. sh#N91NP:SDՌd 1?ɒDͤ9 ^CI y%<70P(8*#AS&HnSo5W`zxT_i# (CT1K$ ŒP7Gрk9H#Ɍfk{eb  _Cbj!pUl&Q-*~)D_~b8No@V++GQ58" ߢ?)ng CO(M^K܋ԷSP 2{chy`i1TkE=m"ڼѠ'pG9O΂ܿFU9Lw WRY` bƆIX|/'q7]A:83c\pl7fc8se?{(BKb3v2Fqx7rr >FkO,."hȞhM<$˼OȢogU27<ԀlW}0pl4E_`n-wk'A?͎YndU"-c%?'kKMvCWyS$л0Ӓ].Z<9^tl7i'2d%;JzP%┧<,ѧr*-QF; 0NI1_c$;!@ݬ_4 ǯ%43?o㕶)hyub  [xJ"60f}MWbQ[VU> S4;2IEe߽=n^7 @Η6|eѱك5d)i%⇁Lv$׳ćx.%NѠ vHs^TcT$܉1١3&q@2yz=r;6ͻRq{y Ε{Y=$Lj8.%M=u;8&͑0Lb RQ]M[ݸq~9#%aeG_}qj\u=V %H]RPUm R_X@jed@pFC&4tZ 4sgBz'!-}Y(y-_UobY p..@ Q#6UtEjx]l Hd$U=2x7Oy֥elP2˖D,7G~]s9x_$L,7}0&t{K5~Y/&):ױ:I/]pYBKT*ce Ƣi>S0a CRT9[0=٬uaϟej>.Z$}WcsOۧ\4چH2'Xv|p(ImtL| 2r0Ee!s"!AZCr!C֍mLx4)͑Qvbm/EWh`Z~0'0CR9Brx"Whт=J$ nSJ4Tr׹ѢD ~4"vw LE-b:EQlVԳ[J5~пX@L1&/`Ϟӌ]ͦ<} > xUv P@h7P2 mfڻzY-6nj(ڑˇNi7̙'8]XC=x`Ͽ bQTIļ3;RYpFGxS5 >tfp?ٺ)a!ӊ<1"P_#HE31 ֖ fҥ>%Ҫ!MG\R3?X^;> o!WB!:+uvb;p`+//L&$,Kve7btQ1[kL?#ҒŧYAPݎ[MP&F0[_[ō~~>룊 R0d'G%ޘXP?%t=+s(/)Ȳ_nLJ+X흭N)nQjd0?)0\ O} ]TjG,:^W8 |>y ec yaWE-ћc<%&?ib~h&V )d5,c#V򍞲ȍlQػI:SX3IpNSl^W| ܙ8qJ>=n:]"˽ fW 1 K12e٨iKHGe:n) oꡒ±eMqNx, 8ۋ2x;3;u1Js][~gX>~t!7jX}ܕ^wuzbG5'2sI9j^n] tZuěOm1$&2kerG=`砸uJ%Q UfB)ӪkcVV(*pD4_c~Vʋ+ Z+& faul؋VX$'<1\.h$XȚs@q<{{cwvw^Q\rb4SQUfHGY2yh4O1Sg+hAΌ"=&v4oe4߄qՈҀ`mS$PxQH$vęoTRaq٥F+BboԚ?i4䂨n\[rte5tR^UdUWgE<ɑ1[AôC=RM14KhYKU4P$\"AM4a&(1 m뽒Et/C"+%]ƧyvoI<rȮvxiۛ,Lf|>1ȁy f&|*%% 6I‚,WPv̉nَ,;wrq׋|_NalRG&I8ZĉL@d=u>@+(c31RH H2B{x0j-+Ghۏ. .)Arxh,AiY_K-\Rw$͓ TWJ"ӸS:*z\%=8wB}MwaQb]n@98pGW(lՎ*l+.&.\}&usu&}V?~rg-k h/EL0JS= $I™Vv^D1CҮݔ+a{;09ݔ&nVbZuu&O:|ynl>H: 3%P\i dk:/ٴ wg4wkfA'^K a4e8Tg͂xMl$A1|s[m9A8Wլ</g,PDQfo=:!%LB=f &]<{c ^ћkvSa> ykЩc8@/WfNʹlYƁx̍VD*{r˝n?N⩟ zP` kلT)|bi=ݮm-EZ'˦}1eь[, P, BQXZsd(\pE=.%t_-/  aP3W+iP;J@[bf5*K%DIhsMtڍԝQt̫2wF+2! Gs57fU $/o<湜t c YTJݫigeI ثOj\^"̷5@%Dl>`g"}7YbŚ@d_*HZnխAe!@ URj'~ M \">[bйHG$wFگ+Cc8+X㳸%?۱S*5OGE\tŬTz#@RwA)PoUDmyoPf4r[N ƀB@ze-/[d6ܶӬd=eD#1X⣡9MNDMe"[MZM"nN+#ki>&Œgt̾ޫ6VxA4 b ~J^|Z7FtjT;\`: (E[-. ꯂ\Ny8U l9)l 돳Ig歅H`ѳc ?PYW G7m@A+YÄܑz2! 'J,ԉȺIܹs|3x)PM?u>CbH]S.iO˲A(}5lD=3 ~PxcM=(%#><6-WU&#}Xe 'xxx=]tA7&^@_k7e:sE"`Tbh45&'afjDTEn5=d)b4{D :VʃSfj!(' {SZFIۺ%aokkrL_/+\ڨWÃܛQӯ!~dY+D fP7Y"2F£$nJ\乹_а /ip^$ ֫>((N<~*q̅|}@cԶ&h8O)b6?xt+@}]"XD8n $&w![2;l_r䢇L5sZ[tT;WQh=/KJlk1<8p][+K&ESvJf|wPL0q3ꈔ$v$X +PT DA]o 2Y9{0CȚ a{;MĤ2Ӆ*.J2ǯ1’S7glL \wz-vK-BA$XK&Aj;`'Ś<'統}D!>Ίm|e@̵(34K-HV}'U0u T"Gb=.ȹٙ=& F$mw}2gVtI!Dٕ$EYK4vۛ_&6ԲEk.dGbiHSl4} Nl-i_I.Qr4Z5edMw\ 힒"h%lI`>D)S:|8(ի|ZB^Q/~(R ʖ*5#!culI;P-:Mvt2eT@Mݴb7?LqqY"]惡W"jo7H4v55DZ"?_6/F.mR{݀G3t(cVUf|+<Ԁ):ƫ;)`^c<*IcˑEMz >^Q2*Xg  "ffސ~. u6Ej8ӧF3swp#Pq?V=vpFrFg*0xPѲ$f'A"8f)~3{'[ptb=7|D7nr gO%wYD46ve+b28BhR*d;Ftc 4bHGs.H@\߂DL(FͳXK2zs-ü/}R>X_8c iV˖ʜ"K0E3to"t9NC 2+y _SO_@jW>@P3^ BYO ;K{ICV*+;6ea7wƏ\Kw0Lh)bmHh=+J";;( B@{:yE7wl-yc;Ki'wvY \ 8Hʦ9%| NIpaǢ*P{9ego)-P/bF e~C&Ne>m ;PLҍڴ벻:D򏇤dx*".$Sum}E/B k&1.tT}ɌUXW 0߂@V;DcQjc>!U;Jz)r<η+qD$FiL`+By$wO t!kv vw Rv/ҒG \ktwH#[&4Tl!2%yidS\tsfET0ZZ⸵3ΝY~A,jw.lVm1eےMjb۬q pB#2@̭&jo3C;i1yA|TBqܿMWRmw Jv*nU> i .a&Q@|mokF5|!ߤni|G͕D!j3b Ύ4^ueƠS^cA O +g_>Qb!I'z]HyWV]1"ṕtGό=F-mUͷ U BBaЌ.^r+1D,N89 YP\1l`6 `Gwu¨DZІs'V.b mW!.΅j݀Gǐ5q-cD7;MКD5Ksuq#fϿr;=#3ix-|,V.ydHn~ب)`GqV&iȣd0Sq&:.$ Q?C3aď#J)f衘6akPu}Ɏ+\'+qKY/bq' qpWUЍSoѱmF^GLs sX(gzaҢ3t`$؛ 35⠯; qu%sWW6;7+ &]bU[ސvlM/G=4iϋj`eSl<\@?D-詞V(j]B`5QgC"?ROѸIB>4²~pR| v|(<-G\󋢟6D36ؗ";Q\/HD'_{6z;8ZM.eh{w*NElzmZ3iG8\FfڼS/!e8Fl:#(ϸ1D^`1',)_-+Ö=T˂7l]{b%uku}Eb~H@6(:/xͤ&j[EPՊ:M8bN2U<08;S8𛬈,hԳYR?Xr4?VqQ8S -vq{{Fc6޶`HN{Q}(([2G s2},&X"Y#Phg+dH\ÏxU >O_4j 0PԘcGYDniYqxZCcF t#!D /0ݿ%qhJޠ5;z ړ4ƃ] w,u=CSk'O4Ķ+ΠGe3qlpO_36 AQ0+˔~kDpRԴpV^955 SH=y]J2  YVR,;pgv} lo4`}gKwCղ"Akd7k+rdU,N+>\sC8dJb2n8HŸ*0 CBZƜr9BXx,]Xo$+mjM}pT+fz`\r'Y)/#M,6J{eɷ:y xvzܻ-K&|E@7pܮYJ#~s hpG<*]_dt!V[Wqسa"}?격kf|-EIqL? @yBԵ@́!6ޟK51e:]af{G-dp\КA`Qj qTÁHg`AV@w/,z[JG6:h3WX\ wFH*4šc|D ]JZB|7MKe,rˑԢ9ҪgaYX=0T~ '1_uhK ݆W\gCu.tf` oPaVJbLՃ -(xJ?=hY5[il!H#nTc#e;b\z3ÌU"[&n1Wl]$ =BpX)6cOts1p8CYv;=l[Du"{kPIܐL" LLXM毂?#: /lef8#7ME;*H[#fa.cūir fdg]"n4k[6yDT0BXx7Q#+}yàz=PnTՑwCp!|l@ЦF{ajV)V! ǂb9z>CSBw2sP@U#-T9vW mɇ}m6>(o~܇K(s::58;OCtghx=703fkvؽa Nf*bvv>(lģT !cdK[xł̔*r" A@b]cSP•)1(22bi&G/q62[MMMBkVXpK!qs+تD,5,פp,.TBzŦ٥t] pJ:D;\~?0I(מ>&tDv-Ujp\̾C#Dg_>{l\ SVREGq>,e3Öa-> *1"w5>f+_\ߜU f=: 1!~]F^@ZκiF!->Cq/gΌnlʲ"#݄@B%nq8ڵ.uOH<4u٪KDC"6fJ$Ec'Ғ&KwɝQ='%=iR~CoGcG:qwE eR2[Hf#joa'$N*yJPO\nlX&K6|8<gP5FjԀj?L [4Jׁ[4$| Dl|2[a7gO&.)[4_%A5?\o ~#R<|.˛ʴ_b;ߩO"&_~j1;>PṗL(i[˲ۄ~* % ៬,ѵA 7*U 䯐=AMeuWͅ&o+`3jЯ!?ⵥe tz8!=BLGJ!]}UO@xEhs}] syMIީzh.˰l^Ha9cV>6 ;o?P_:̝v͹i~"Qh7 Appp82ˑEILVl)g*O,';3[yt!FU4%rc"[YWq})xS(P1|s9bK`;hFZ FM\q<2xG![|&ah dLAO+UXwEm!.A[ uHrTkɚ_ރpV>Oz3 $ / MAǴf2ړ$}: G]#qQ7fo݈A5$cf(vT)˂ )?V]YP/xxs?\v\ ѮU#٘;1I-+zw|Z;Ie{ 1$'8G$Nv2 D ð!r-]D4IJ OEM Tfa21NVY4i )9*55 V۰x~4$h'0'3 B? cCgIDK.6]dHJ T2~S#)q@> WɖVfq!k++DV vDhjf[y&ы&=mićB4@I2Ik(j7m^zT>)..#ǧU0 ҃o!eێă$6!)7.p8{Rm:~d8u-\-O?;1EK!OǧkX `ʗlƸ2 lҘ?1hU$2Ŵ$Kc_HQd;* Y9G }'Mi s^vlwġQ³[U+fjN]:3s@TT9Rvfl&a/ވ^ Z2t(]{L<: 3 8?"]¤g+e4@\ XRp3ni' 0 Q৮ԙ?x0 ̇_>%9va `飪"8B_ 0bt=}ql ٽcC0'QIB̿Zc5H!򍈦H< 48E^e/;ڈta-#Ԛ1i QeGG=}Z~ ",DKTpϛya&!5䵏kI52{N2OݢtXQ4]ִvi펺aĽHIa{: y1jG\sʈlp__y>t\پRTj㽙}6|!$ zco ӂ*8'pb` ?=S>8Q:Ƴ2ܬT&7,+T I#u[wJdDFYvY CҊ4"A9aG/G!mZ.d=1F|:ZD9 rݮO<.Sd+W})/a6 H:z^ q3~.iOĞD{=Ju.}A0s270w @ 'HĜTXYςvb6k;G*=)Dz/?MR7-dTp"):lj-i_Eg$U%t\XK'XR$,F$݀UufkC \`lB/`SˏW ^`zLPI☭#z>vf1B J|g _]+v 筶\:䐖+WQ` j~qL?Egyr_sΉ'Iu/F\gYZ8a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181u" kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{3# $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5P$sExibXŰG;LzV~7J d>X&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl % qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !&45 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0j'fuQm (6bG6Ŵ_'ٝh[`pͬl>V9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)i(k6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }o);=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=!*u#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.+AD=i#$ge*WgS9oZrOm޴zZ6rdGk%?4,qVe~H0JӜV^2I\A&pd'})}pC,zJQ]w3y Q?@Reb>ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=9 5% $Real_ImplHOL-Library.Multisetdocument.tex7zXZִF! 6]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~o d5Jj5⣜wJ/r3p>8c`U]0=cn(*ȳAF. :o7SS1ڿ=P7 0cTVBbD=+ݯhb`|$/!NJD-DX<ޞ(FpI|ήM",&ѡAfO4EG/\Ow7юf6qȣ`I]Ѳ]f} 2TRm>jx< 9%݅] |,)bP%/Ntc9 ӿS{̍ Iz*3zQ}ֶz (bG5 y{BvTB0qw % ֛ IS4⯍w6E&BYqN#TLFT%Za wrJ$q6JPSMWT*_6 Z;‰Q6`zM*G0t{ŇlP=x\KRF kve7RxsS6$8d("N&/9gL[TbIXQtA0CiI?;ncq?G4H ~rx+~G易 aHKS>Ӧfnχ , R,:3nS@ ΊdaE|}nvW]V|‡c?]Nw),*?I,ya>HK"ܷa3<jAg {;ug_iٟ ӺAsGu혒YI-̎I-&pFd< mgh_4F2BCGs:p~E Mvd B f \/F?ǵŲGei!7FtNf9~ f9m$% -Lx3.^?U$Zbd"[h~U&}`ab #g=V~٘tJZo̝zK~;%.fsJenU.D|\(6E3nhKX o0?63Mѥh9h Ǘ@՟PWo9vVjLr]A&ffgh8vpcdv~(7#vrcVaKs6 QTD*& ¾c9N*͘1+4❺BF2|e(SlK*Ÿ nESg?$dQ;t{ RDڻa&evW|[+%/AG|xi k P,p61m-KU F!r\ ŽJuVPJ>TlF5 H2=g9 9yUQeDS!'uOS? .˲iE6{Wmt:MaFjJT;ߌR0;3n_z EØ9T"aUdl  ]!C,i;m.4v5ih* |Z*n6I[lPC iB0ٯr$lKt#U*qеMٯ}(-c#x?0Y.KPU h$ێ'# ݏ9?jtjBX~)|b~Ķṁ-M|<̍`JhX/^#7NP>2oYt`;nY)#l|h-i>Fo;g7"L *(D}˥"2sa,ÿ9?+#S+@ ߜ9yw䮕+Zkdc}ɗٙB:E友8OܧT&k7g ōzy <4[EΞƱ}1 r֣_}}m2hf[֗LR:pl> " Z)~wg*MoA)ʔ`EObq;FaXz)P> K0]K YEKsSNxBNȾS%!EZͱ*tLXɐȘ**\5D(^TtB{b"8e0v:߉u4;U8aNﴮz $'yqݖ1]|TD5b HX]5f'_2o*HFjBƌ60eVk8 ;%Q̑iEtMg&1+^8vثR/x&+.㿰'?V(tä !qJ emet#;9lK̮w >JLy /y* dBy2^2qr AA(Pl/%'#{'] (6B qqEzkPT` Y'N1`ZwT|{ְ8w—Gc(Vd|uE){-ڂZj<#VM*EjdT8fߣ[kU\@يttAɯē*mT"RD+Kr2gcKL!JAL)En=NƔ3K) a 7ahEȒ'],{C>}\,9U\3MRD~|Kv8B\YB_6ݏ2tI߸H10C6ڦ∩ @W*|6=/Nx!Ux 476?́Y9iqg64`\,,vd3AM-D^XV]Mgdsp2h5\XF[ˢetyxq2o2,-:nxCE4SKGׅcR Iwri)ԍEsi,ϡxX) K7N><*7xߚW Y_El5߂ڕ%S4G?"sdN@~XT7Bug ~0Z&FIS8j?[Mf@ P P TWEkBD\ Q-W] qi ܚ@wSZ\m~m(`]S;rx`(\ͫ _wUOGz;U&ZuY9~=4mL.$8Cb,vƳ @hK_:)@ ӐSP!`c7a^t : vD4d./N@P6 yX'>":9OUC\yڴHsRk&UU؝L<8 llV|\qJ6;0l90)G7:sBkfEQ>t ~?J{6if"Ln^<9Jn,3A*LQuW]87ҌmTX\DcPT!(|'dY? TkS bIbץC{>dab 4 ,"؍,S.ucPO*5zjO)(npMg7VxA@b"[+PXjHϸ:ԫʂ$( *)߅ˣ9\yT􇞧#`ӁZSBuPq_L-S=X6:KX{` |}xW?h gLZ9w\*K5/ђ9aUovaɴYN|dum QgwQLvT^wa[|W3N[VMa Ja%_Q#8T3bES0)υ|+H?_e $Tyζce 9Is {:iK1x .;J7j}~7+(P#2 e#xvpVTlx]~‘՜79T]rT45|cIaxkiGSea6eωW|1)`}At 2/'CƨvWd݇mT$ģй6 '3wZ|md6Wu)7ӣ67!3>qTsℿ!x>c9 < Y#{+1z숧"^A-##@;.]XU"xNmW`J_ ?)* `*gqdv5ҥ[!:=wU+ i7XBk $hU8 wԺ/$X& 0 qp ]v"u&ݱ=Y-vF>J7RH(3l fKrŇ%.Lߤ*%uO=J]=%\U =DHS(筪uڿ80>2I+P4mWY'ezm2ݳNeSR87&ańC i@r[9 cIHRd=)/Kmz|%=h) myr_Q Gbpc>0kgYZc84866c8b49032273327f7c073d410aa5b7c9e3496398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 1d73c8d5e33c189d00443a520747ee336889deb3 5038bf279dc7d18350b6b86083fa5f65a5d39c9c