SQLite format 3@ +.  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 ff- |$\ ]]Stirling_Formula:threads=2elapsed=30.723cpu=56.736gc=2.480factor=1.857zXZִF! w]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZBî97EhcDm!wMTgӯ7V7w<^WO+XCQS!YV*Z1BQǎzZՖԡb=%M%zZx7Wcsў/`/ O+e|=;sH8!Ex` ,6uf ObTp=*_ v;J)4GOa2=!=,I\ҋsbInY:P_+7G=J''콑NJq(mpNvs7EH=`@f kuDO8x؄՚ #Mm_6.U"H4XܩYr>jCN _D CUM@3cD(?i |~1#1~9,Ȼ7 []oX\%i%O&adL^;:'c)}} W*Şthk@5yx3ºC5w '@t`4C;P'.,";\x8Eմ:7<7mڙRm/O1L@|S+ZC366W|A .ϙ^n*im Ori*IAu@f\ѳfa},&D"$JcfU=Pwv{K츺g{m_6TĶG։TգŽ/L:uC~FU^H^a`By?rOtV? (U A9t̕Ĩ 3n v@-k5{ 8BY#n}kTMyxo*NaC+rqRsmͶ-ix4y| |9 1{X|I=n``rvN qqUb6c RcbG8 yhwNv[!ÉX;neSq#'vzåۜP+xFWaݢ~U[6&vߊ7?xJJ"C#,ۋ۝7qJO&8f.ޟ ! (9]om_[u(߭Rfq=ξiyfb_ ϗS'Ee/9"h%c[}DԽj:>lk,՝14Pl^W8,9K`xcڕG~˱J[~bW=N(S<:r_H%يBoD)cU맣" ?Lڲh# 6$B0ft縈:#ag[M75` ՞I679gpMP53db,XFԆvjo.8erHz`Pes̹3%=+ ˀ5#g0`S'{coSP-jFq:Wd7ʾu8*nb +u\l͘*zDzVZsw3mOFe0Ua/!WUm6y@:xѳzJB )EJxvԁrW >4 1Yg~DORȷɨN<`9vlj :3&Gܤr ;\F:\sG~'PD)שZ bw!rzk ٽeZd5WLѼEc>3 7VGK,w* ǡ4؆qz;/yCtM,=[eir9+_% a=׼|#_ŋCM"fzp{ Q]d09Q?6VͫJ,ڎFɂ/Xp0 T| d+tILS`|?D:1=d,(/gYZb5d1ecb9aee9e28e88b621a0e1b108af9f2f42b41cdfa493abc57ab9691669c8109d13bf20bc65c6 6f974f3708387dcf61ccb15ff92a91ea3a0c06d1 0613e71e6da218bfcf5fbeb6e25c1c780140c4b7ca14af4a60e91a4dc0552fca17c2e3dc4fe709d8 - Stirling_Formula+#-S% DStirling_FormulaLandau_Symbols.Landau_Real_Productsdocument.tex7zXZִF! ._]A-MՋhvG"uIBm5SMo.NwoXH71%^ԅ@`Y,zu>VFE!v#zB utp5cVyҔo.@Lg6Iu dV?q{b$c3oނ̝cvܹFٶHT ;rrxA!ioVM<3Ws`_MWO'*Ԑ$LP#ՍfsJ92Gpz M@ɿp@?u%O}"!hԭc:POB`tz!8vHvW>%D~|jp?T%](W9]M``v)"0͕z³j`|;=(Db,>*#^0D ;( 'SҔ{*i+g 6A]?tssG֣X'9R9ԑ/ t=\˽sL8;q^jCcE[ \KA6n=@2S8v?iqZ1X ɝ T@7xfR蹑B!F'i3xanf!IR2"r%5T|2ZD} 98(tNy%v~:yiRzN:LӼAyiaWs|Ȭo9Oݢf]h-|͵p될liE_NrƝ PZμ>8~4 95]Zv>+y0еO<5{} C}с؋T>ԃgE.)bػV~w'yzU~V2aGou>N), !JB"Cv,PE`xL7l0:FfJ,"K !jko}9лCvԚQU!de@Jl7M;u!v ZFH6sFIƆD2WJ NW탍zĈؑ]VMЉisP%#h;HIsfSG*zdw-Mpt TOh,[jfɯ+ SXA^վBA]M>K\ۏLKHGCoűC ٣q,%^Gb}#>ڵLƜ}(coꗫZM'z$Ƣ\w?㳶̔j;k`+W;' e缝[Q +td;?B ҽ)7Ji: "<ί=M©H4THciéDEXYG\= 5F"D'R4NK*b%7FUtIZj]{ȡL6Riv CH|5Y"!<}l7A(jQvx*x߄#>'8O2Z$pJX_~q I&RخRSVsht ԶJ0jm7>P>\1G*oIjg7[G ‰绑 3cyr؛ B(l#X)6`w,YxUUm']+lc`oS2$7sqDiӲtκ D2InK['Ԏ`mG?$Zʐ4^9<2ԳXu'TQ߳ ڕ;0,$L=eT`{iAԙyO1>,+ ',[[ E̢HŗpaQ2|Ej4w ΪR_h"Uv8vQlZch')v4:oMSHu&_FY~5KV lս)٤%7]ts>ID{Ym1QvoOyRZ'%v,}SfY\'xq~3@ḣ>u%x1,f1c}Pr6P~MJKl$eF.qc^"2NGӨT_ޮ/٪ U*R<\טu%xf+#Mj QAzg>&toa8/ 'b!n2Nh|Fu[v1f5JaHca/fJgn !n:dXbi.b)KLT#̶;=_hF^t&dvDt-)ђJ@#&ɐ˓+--t_ ݟϪ Ut }ܓ:[³xB"ocLZg}EPcˮf^5+ICb20؟CWBJŏ.[\(Jv 2cl44Ueˠˀ_DbZ.Ǵkm &!/Ѻْ֋SA}P J:M,H,;G>׶ #r0z%aĩps@BYD8l=E5YVCI$4hVhi  AIS].˪!wDv g}`'XV@{v)4q$ K|1m&j #yNDEСP _wrp( &$!  D= ~ { S?-G%Stirling_FormulaHOL-Library.Function_Algebrasdocument.tex @-I%Stirling_FormulaLandau_Symbols.Landau_Simprocsdocument.tex 6-5%Stirling_FormulaHOL-Library.Stirlingdocument.tex 5-3%Stirling_FormulaBernoulli.Bernoullidocument.tex ;-?%Stirling_FormulaLandau_Symbols.Group_Sortdocument.tex=-C%Stirling_FormulaBernoulli.Periodic_Bernpolydocument.tex<-A%Stirling_FormulaLandau_Symbols.Landau_Moredocument.texC-O%Stirling_FormulaStirling_Formula.Stirling_Formuladocument.texG-W%Stirling_FormulaStirling_Formula.Ln_Gamma_Asymptoticsdocument.tex9-;%Stirling_FormulaBernoulli.Bernoulli_FPSdocument.tex<-A%Stirling_FormulaHOL-Library.Landau_Symbolsdocument.texD-S% Stirling_FormulaLandau_Symbols.Landau_Real_Productsdocument.tex(,Be&kX )xPfb>eӑxs@%S8 nE:mH^9^jиD CܼW0xP[zu+Պ7 7K3 D9> t*7?ct8^^l_/Kʋ+`&pEY,G z2yœZԝ~Y]ӶWVLp Dgk9/{x۫oT!vڂ}}H 3l2w[;.,W"<?w@s _Y-|J==!̢Mlؒ9?߁@K1$~1 U񟘓Jlv[S@AOG= ~1U uAHzr=AYR|:$J<9Z Z\Dg{`1#@SkLv"Р1 l(-{mVL#VGC4yÀI`Y "o+X!3@4K|!cg9)GAUin<9 -"7[T;{)tT!$%kH;Óc,M@iW䴑L֦ZWf@4g=iD@VE'q\ _~ Ν%+:3~NвD_ՄfWćxjغ3w)ZahxVGf3q|{DT*  (՛* o8ZIZbM8"3Rx+Bh]H)Kj<ğTuw9|4̑0s7pY}"Oi71s""ފ͒Dav@XV(#TwN81L0J%-`br>Z ZW~=;y7M^՜*Qړ[= fï 0n,u=BJC!XKi*NָmjZ= BDjG@0k~&)k@4QXRW/, IE#Fm\ /*ev~nFƿ'#}R{Br:lIk56ڼ,m'yjFPnIݝpK R }I xjDpB`]Å^#h@Q,jbs}w?/nȫ)I.#?~RC\4,ٍ^n|tJR:Iv$Z9Yg4e{fkKqv?`\;cx*V</ݮ}+%"' ;] IZ%+ʿɹ_ő)Ù?@@R,nD";tѠ>{Xb0# 5[Zۮpvӊ%_|wz6F3w{Z W̯^¿mDMu0è˓Z7љo-qDeЇD-~oJ34 P!Qpe+@}HECFOQcFA("o9$$~čygDa(*/)k_kY WTˢ( +3?zDOʃ|8XZ`-+bLhPi=6#cX{\ - =Lsl8-s&b@|YJ0|xffKcP-Syc׎uTDB޴wH[-F4˨6>HMy81Hiu_bҐ F,V ]X?d%{WNxKr:'o!(F>@ZD. ~T', {4not Q\20k8q&I{cV͵g"x].c>"B)) r°; dV~C}| GAz ^l4[BTyX?2]ŃC(j/3~6 /W賖cK 6չlzkNߞ]"b ?ȶ|Wo;@N<{`&lϓYRWL7i ,:";ʫ-_A#({{ݼ`/!EuFkĪjF]Ǫh5~,j|ƁQS.QɵU-ZPO\=ʁ\nܛt`kj83}AX$B`'* (uh8a 𺠈!U @Ј Ď*c7Up{K:g(u_G,4Z{WnV S'i5>'^]A¡q+_L(;s\,TKz 9@.q8]6A8 s iC.( 2:V%&{e8]>/Oo'I0nD!+*{S ٭T(cRe^9F5k$RIɒ=v?3ۤ0.n4~auDiKt=9xm3EVgՔ:%zV3v'Ð;J"jȾmB'_v6k!0M!- SV`MIU7 Zw j]u:$LX.5b_(H!d0Ӄ^0넝:l_fJj(9%[/З# 8 <><ƣE~PP~&*yZkQz?#fjX`COEVcQL2ا}2 b$Y8O4Qe^M&myu]Mԗn}eI`Vժw.l5V >D_ ep 7捠2zlۘTx$|% Ze G X7dGHnӲ4i[C%r5ɒ]0Y3#6߯r2l e?B䶹CZvyTs8ybxKB~09KҶ+01ROpj "bd>1 `>GL7͞NN^~z_Sef#1A&)aZSeo 0F.l!+J7mS3 )w!x4Cw֥{xq}A8@&<\ Dt?M*.=|,M)T}K}ԑMJ.@,"  &&*(XiUjEB㰖"lFHl5o jv%jRNBj\Ik4Â(zBթ+A՛ѦSZi:vOIؾv TF f@ TgNmIVe8RկPe40 ?y\=/u}9ZALd+LŪ 1Ǣ+=kԺ].Hd79S# gaL*٭]?%O7dV֊ BÅOoϐ3^Zjg<G U0 Wn;9A屠P )Xi?/BXDi~^\ʌN⧲hb3S=9G327!sUh֍8s}yVB]f h6yN50,:%3ofJ=fݡ3X#5B[7smz+ۊZa2k>8~QnzԴ"8. +Ie$`E*\}ܼjl=1p5r88U7fJf3#S$j%):=p& cWg1[n+R|]d$ L"t9BWb4-F8;U})}p(۬jq[({"}Ggc.V}Lܰ9{4#=sLJb7>a%4}he"|~wߓT9 sLbq +G|*c!nE=Y ۮ i.4涎ۅJ[XepeCSRT#h-a/ j/$c/t Zڧ].+t؁z?-#iqXw|q7 -%+O7 c=q{b!Vul`7g+8<粼a<2[ܢEeЪԟaPe|A LT~VUUVGlV#b#ͽӻN9^s( L(?6І9 Gs0ᮿU RF+~ef{ ]׳>WkaHƇ&F{Ot dA'U 8:-=#\6+]* Ep*;鲰w6D) ,s}vh̬LX-'b^I=@/قa9IA.B*gd}hhq^S,NK&hf@yvq&2Sp DF~b} {[a%)h2 c.`j28ϥh#˩v?afnWDl:(wWzĹW\-;S?<DhIf"6|~oxbZ R⽬j>ˠRc8t&A)*%3@G7ͩ}aJMv?,,⣎DThR7'߷ STM3ںEUSI9vA,ڂq='9x[(n#RQM"hI,!;f${$;ViEb-yg>wD$=*Oie|}eĺ:0ũKKG vVzbdHu_Q8I$f. NύPh7  v.$ierJc?`nTg SpѣĖD݂⏼,}-T܅LcqjP` K [oǢZ^kjpी"G.eo-E/1stpyD?\ъlm%WN9QKQ 57ZlbL\=xÿwKs.^6)2|vNz(E'rcpǦfenuv D7q𻴐*  Jo` @&_qD)P"R_x\!YikU1mUZɵv'y%;Y6-R"kbQxq/c^FrMj@"#@UdO_\kqIJp3cɖ-\gJ"6 .kT%4 Mۯy@.rOx#-+: ˟|jRw2*?00@Me~W9 &F7h5[cH?Jj"vSsTI<ōcSXo5cmԫ\9ܧ=ݤ'eZZhAxļܩ*W k./Vz˃Z$Ft*) vDQ MBadȚDR8}/n P>|s ];Ot w0Xb4m.=_wPxJ:i.CG4zCN !1AHhUU,c xzv \=t, J&~QfS{dZn~ _"10.=!StiFIѬWSZr(\L1 Sb ؿG덃x.Ml*g~@GyDWCAEh<>7!_<5uF1 ;bZUi $!'Q$0B"6w|h ە3HQ%R@̃KF{I-4]JETz<;0f1ٶ(޹8/:L~!}CӜ.KXS!"9Lttwh1luL/yu@+Z#wSJ vf;A~k(m>aG)4ÜcRd 6~]Vgp)LGT`R/zlgg,r܃}AJ ˶A;x|ZTr;h$%R6Q3R(‚ FOA* 28ިw\,n53X@+3/~_c#X,v+\0>΁=g+l?#F B ,mTi/; "Vl86Nގ ;Li!n-# fZ!~qͅbYlSzCB\A=-r)}y1Vǽ[{PiWh`ҩAk)J ^E(ٰ} dঢ\ xS I:pVwf!Am]ivIQ4[8Z[UmC>W(q\b-f&mC\Bt -+t]'_8mʮ67!`o>ͭgLh/<&/OZjI!P &C{75ao2 HtzXɟ۸sҐ[k4:ju;\pfaYd3w*'}]/ ԁa5e&?9AA؇3=H&D-l]~3v2Q y"0qPpIķ. 9~wzijxWx+nFmծ@}T5@ˠw  |ixk%Q,o!/}ܻܽOD՚@8|Ɛ~hc1@JtauMKJ85`O#sޱBX=޻+fs1F {.?{I&:" MI{I](+t-()vww:੘R@A:!~̕p@FFtPm<>Y,Sk=5>7NjA/_͆Q"XG>KceK;~ָ7n,I0 l ɫ$)Cw,cPf ݜs=4H8r_a.SPZ#LY9IT%ފx`[tt@"q֠7)Pjve_Hؽ- I~J)\ƻ侬4/4@Hv&GnjB]D.Tu~}5caG5I{,Ⱥ *nZq~FtϿYVlbu%"}{ރdX atuf $Hg/&AGM!Ӊh;:vƐԐ_m&mem>M5%IkA{VEmSn ]nhP[7rA{كs&ZT:DZSʌ9ˈ+Δb v<s)3|i/*NwRXRjVّLJ+Qpd1D e& թW|n<T;LZ3ӥ%T.F<;?ztΘZImẾ9b -.ihu"'F6K9TfYD@Sx_Zڬ(4 O}ZɊYLǂeIt o6R)J_ -xC/ym@dbQo*C)<&s=FaZ't卶O1[1:?k.Y K[XVAy$э mDKjxR;VDV-@D *J]l/NBwV7>nD\6,!I.0QSL`q+2=t|}tpWb,Vnt %tOiS%Q3c?k?[Ȉ~X?UUx0r iH@ *%y.i\@mG-JRfhBh*'泽dmg1 /1IC1PP%="x)v02]. %|8OE,=OzhoWsvbƘ i>~Ρ_t PD^̣ǢXK6~ e_i-d>0 #zv:HId^I d&P4M9#;;Af>%F0W5>šG"SyG+Ԍ*Oի.ZZ`<&|aQOA6[Z%`GY?1)$˵. K'ڠGvl<M^I;j?؅&4τ\h=]`O uсF‡.jwjG4k+;Z -=la0gΝ&kAbm"D= ztpk=j 9 vCoj|-xݔJ 9OvCel\}@YQ`Xq`Yp uV"S(p'l${H~(!K dJ WSzLoEwH?x-U͈<e7$Êr.ӟe[lFT@jjhTΌ{KÁE% 2My^& fڲe:1GnϺO$Ӵ3 HxOCiˮgD!2V^fbQ sxp 1XP ?>"5'ZE}۹S=6EsI~*2 S>"Ճ2b@})x)Z/2!7cBTi|n'P>B%]Qc ό6[(& 0pp)iۅ>dU<Τ^St]w/wD|szYTHwGxۜ+eM{MGspz`+ofH@;u4%~H@e4މ:\'*^saꃄX֟VàI$B cy~|:I^Bj\~FC0tg@ê纻O pfϷ ɔcg1GHB jt$R9̫UywCwn6_>bݮP7kցr>_VcDuhjhF׆c Z-N`FIhd~VVm&. 9 & A`s,ܴc)CWgNS2K4NI<@"KW?h#v䛖m`*:By:ªA"ʡϞ;fǃCw^P.t{<ܲEx+#p dݣP,eQy4Oߒwpa=_NfV|R!=B)J7sYMwʣzim-cmK+"n]sه?!ULY*f>3זe*)nf2d=AkǕܛ2Z?GQXB4q2NCe -g1bR'XOܘ O {Frb%3PS%{s[pq/Д/ZsnLc̕.&v|<*Sg1RK@9lt lY^n:b*.em,U=r\Z~ԦN952(v?߂TO$RuerLe}˹}Pyma_ȗn\ݯ(%S>ۣW,-uNmUMYsQSaW.Jb|~ut䅟Թ`ؼ3Q},674}[i3b9$Y:ôu04v3C RGh81]n.a"ֈGr΂k'%"\peu\f4Z3rUm=v|[ZwJ/:.٥UI\ni F"/>'fڇkjg/# ^+YI0dt?[0쿋leDxHڙ^hxq)ȟuj-q~G[w?μ,G%鋚c S3 Ic ˚ kNt BwJxr8Hp|(AiP,Oww1f"Se|ӥi$7$K1vtJ-^C|km-vuzAw}CnCf( 2՟ƱTt|t*?xu |0NC;`b3E* z0Uȿj rpCj`z{h\NU1Nup>-%S -N%" g;{bNfA^#RQzf{}xs޶ @V=`*KFm*m9mn%=cShvIB>Ckz_/ȏ))\@)T" muUI|7ٛ: vtVu^<K]j<'S]S^~/15a Q8c2|ϙ?Uz-ޚu j \+'pq|6zЊ8UщrTpm&~9Konkx~clv P$S1gD{7Ű m<*s[1evLFMp & p ct,J:2zEG*Y  4R3X#4@$)%23Rc`@a+N%S8*'ݻZJEHhڕReCrٝfw@kҙCWCOp%Bj܋@H#͙lтCcx_^9wjP&ڥ@n0 sǤPF|l(cm*/im@@8PHԳҧI¨`]A tఝ]jl3s-ԀpGh[?yK (\k) (?sLRKdjqP| !O`A3Po v#ApOg*:A#Rlߓ$#GU^AgE0÷`]6k%(HI ~ǽ,vދEZ,8ּ'5ҝh@\fdM&ΧZ~Nj0 r3kbJAL3..jnߵ d!%'Q3tpHs̬l+ʕG@b/!:-C%^^L3ށkX==0⑅!o5)}Fvw+,gz7Jj\dH|#6xaMpOq BF>;bI,6WnMʉnI`/v`i*b1%aY7i4pD(+]Q?љz0iPa&4U_ DwKrWbwl}|&~U{E0 Kχo"{gg6M~ܽ7t9@v.zGMnڧ2z @{F_9|[j{tVl9TZn?pCflڹuuK;i^9j &{G6'+3Odq?T/( rūJU3`:9{Yk/PkMfй8ibeVIOn +ݗLExS_ZXN9,ĸݑ+L2 J;bV^okȜYyC[$|m|Od|Q8[z^BF47RTF"z12IS Rrngjw}s6f lM>nkaCVf"^lŻ M ENv@>>mբp/'WKrء%}o&wI+lr8IÏ,'2AI F`^0AKy i/ H !5޼ȩQ }xL _[$,zbj }}ץZbaJ}ar%o/`ACZr!~{O u&S ,Q9 ,%UӼ*k>kscP:M[}x:˓'[̊H_8긃d JwA{Z=PTaZW)ݨweBB_ T]8muyb`B'{V`tJ^ֿl_[`->UvՓlEsD-xD?-/p:-'*rŵ.Ѷ6#J.xY]fF Ѭ9@& 2njOvMTYצl-ϳLٰ.yݡ:(yшΈ`)t WƟ3Mb4߭H<7y8DE- *W,Gʌ8EũU:vXFr:ktЛrƮshK)<>\>#$&=Cf]zDK#{@|_0#ôk1FXYr!@Dig+JV,ƣG;M=8[v.7# 2v>_k<Z8НtGQ8Ôx4o{M(rUE\F=p$D|2Ap?#n{|Jƹw|F$`k[R²8RC. [DC$$̟BȸS+MaX?#W/:%./\}NjHSj3mqK4J :j=JX)ƙVу!6MEK#6*%<߱$*2oHXM6%JT+qϋx[XU i.V;0sFfh=X  6f۹'|*[`E{]>em\&iV#dݶt=Nn [ XYw7 2wkfZ]0X{Yr!dR?j}qsݝ">lzO4uhldSC%1/.(bJJDAnHM~JK󦹀MK `e5zu֛8&XPޔ$Z5AJ(O:ْ'*<ؐ. Yc$\ #ͿA*8 3!Cq[TNt"+fNeׄ&:6-搰{U*!r\ml( 혉:.`_{KTvVPFLfbirIXUB<~dT9`1~I=GOXgYZ (Q|^^f Ԏ2 Nݻp9bLi""WƙGZJu&:}]q_*xOpOJ}-*ݽ#6]%*]H>r ؆2 ,$~4QDkI/ҞTu[ijG$,>U-qAj,twK$ |Z 8$Vt j{{S9V3*l${Uȵ $$1 ΥC ?]vloLS[p)~^8ҴX(qP x: ]<ˍWG*iMccz)A`_a,dV/] oB,TQJ1 %1&2@wyȉ> 0WRc54+Ә8m=nz@a= u!r/}* tQa(öB]'CŇc'v 0CWw7CHQPl3%:ݲ793E caQgZx7Fxd+Yɐ}Jwwi3Ǭ Y]bX39Yܶ.3HJŁQ9cZ?ۤGɁ8q=gG/UF#cZJktcZ_ǘKOf] Kw-`Au6* 1찾z`h{\OwmO4)YԾ UnQ/x(uj<ِ;͇~;GZM{~f[J oQVQt_vAZxo^[,L)?J=9¶EZZеVw\lns ?-$G"s-SγPT%6L JMb C,'~wL3 ]1u[~- nWXHEF"(*聆%wJ+R墿Srk>H6/jVKQKb~<&ۘvNO[K?swf^QDp "Ί>'̾_>=kĒµw_`z(M2׽=JI^=atE!OąڶgLƼ7"+y fKrc]@ߧ`QY>FƪQ\Z鞺2+d[H>wx u mU+*gAlv{ړ$KP,,rƈJbL'NaKNp`>䣣}٘14me. &Z8S3yMQ~rgU%&,雗~" LR#3~v𥁵^|a)6;Ut)Zn&so/1*(YӯuTFel?vlk] qE( hڈ<{[s冫5`gӭ^j;6[jRP#s#F +Sf? [j`[d3}p m"'9^Gf}LJͥ"`no&X&25G7ڌ[Cp%4'r^<]1Uv]r"\u7Uw I 2sSJ$}ܸq5 (?M>Ncc+KYZL:JZzz0U?6`"+W C/H(*C.M>rV[!k~M4t"OT^Sl]NI;ʜx/L,T97v)`D ۶Rf7(s#}H14 u߆˫ VY%)'upe'i[m’ZlIVj$![""0hA %u=Zp(_T$ro^w5œmG{k\Z^ke7|y~`u9~%jnyn:IfбI:>+";>nE4;'F^~3̾F$Г6˚⼂!}4htOgb -4 i؝d34#D~b 2xٹNF/A(QS"MbI Ha+DĀmQAA7Y*)6Ɛ;(u`^77܇_#ml{R.b`jIF8$Am;"&O)X@ʳړtS^1OWpB_#` KQ^(;^8mq$|:gyfhįa!7F{f8XRsg0'GF!%:oȻY;wd3̔LxL3 xk>Ϊ$p$5ii~- WGrLn8݅v*|ݨ|;tYOD^-.j#zy.,sz}F7!vwX%pe7Ey?nz/$'ow6g. -lR%rsѢ%$&h vNe]kS]?mJ\ڼ$xD[ϗ=;¦}ezתsݣ2ZzuTd4S1;5v:sl.qo0&""\d)c`©4M}Xr\Nam1y"A %D>e ٟ=_Qvʳ|>&$gjW <Ð@jd-qHnҥ8(U(X^ BͼO}aE'YnB ^l PW锡ȹNIGZ;" 7\&!b!ӷ4lVy}Mμ:!a G,(]-W i,xDSn "HH#_eYFJ*)Fxz<UhSIfA =OhŨ޸yu$|dZ@Gem.a+& gcuwpP0qb;+VBLkS.0\ ϰ2V/. L ̽aP@ƪ ^X0ifN /kFy' :?Lҵ9 eVc"|'1(=вr i l>̈́@3:p~4}ULɣĢH n0i@1'8_K>"OfK㐯 `ŻüS僔掅-sr:+6i]ks۩jjT>7t7{P[ʂ!/QYu_v4YQH[E/¡B,=cX5Gӧ/^g6?ssɇxlή˷ M$z q+Kiko/%6e zP_ُK%}̏"pma/5ْk/Du60Ov]Fk7\Bxyv6_ j:yrWc6%j4gf[Z =P z`0sY" Z9ϗW pB135.iqWy z#71;DBZ9h(D [ғ Fs:$[s5 D5>2N^T rOCqD]XL!M-59Wg͈6l:RŠKMA4Trr se |4'Al RIdx nƳQRa_H3ٵ )>֬Gmџ [0VJCڃwe?ۊNA;iGb-!",8S~I3ppq񍨇kqLNY 'v $u yB*TwVp@t6-ʛ^,>aqX8Q_N 'j(xb=lFYQW b~@z0TPp 6IKTﭭChWSxoᐵR0Β;)yQ.V$TQ.*z\A +{k\zT8ܹƋE8>>~S}IS2,[hDS]r];&Jq]#dw$(XbXNiǻ4ұsvఅ%bt'd㝯J}%f1v嵦o-|_A85 9K3T1@aS#M0XVOrx6\v8TVof |:ap!εt_J<Eɗ3Bux F/7mbK)'j8ENw vRYn'Ҥ…gKw63Aϕެ 2agkl*tLX @1Nz"^]Bxp,>LT 뜱Z͊k'Zb]l'юpȉR=H߄L?븲uxܝ55 BJVTUXE莱\f׽ yhv6lnG $B C%g I')^o1sQ nhVMD!ѣT'T$v" \}dN6 3]:} 9`S\Q^TC`U_cP (}r>5ϦP.ŮoBrUkaJ~X[@HVՄf}ŶO1>oKsXaY|X젹Ns;:ce7'BDf{wrg򨦦ΨnK$u&18>B[zN@9[Wﶜo57eDDqmqFʍհ.FP y5u}waҖО faX3(P$x5.`bY:Mƃ5ǟT}4[ѧJqR"&;* ~K|=˯B4qy9n_h?~{Wv#wU~8"}FX&LBRSYV-mRxv&rf/ =؝<ؗ8%uAJTLQ^}Jq;,(^BjjXnw'-M!]C[d.L~%AD80 ٗRQ+5Ÿ/`gh㼼@=]@ `Ki o'lgxd,. 3j2Q,k7z|;6PÃhytRS($BwmpMQߕS>ImHٹPS=l};Ň/C6VZbU@=2*][*5_!"LTgIYIFN& ``bAl*p(K@YZ4Knb_UUeYXiLa Dyb݆XJE0|q s:(Oރ=ޘߙ}fs ' )t '-KVX9yQǻ rͫuѭ Z8Q{H j>iGp]c|].3ۢT} x:C}f2(OVԘWOԓ,>-'l%%I 7D.o!ԜQ1?n- :w-sAتC?VyOygf$6 !E䇻uj{Xcind`< sx>FDԵYRzu_("U O^ DR,;8o &Z (&L]_70Z4nb7s(S|! k٩QݑHk:wྶnI8Mk7N%eAxb:'D!y?@mI0_ΚȾąǓV胞>&0tp^Z/(ڝHda~I)A!#/_gV ?W,w8L=!D#CAZn9,9{Jۚʦ$;9?yň@B~EOE;IWSP|ЕIWUdxI]d8?rMo?Z`%FT?p C9XZA>g\um%d;VW "xn&Ħ\0g/T9} J_cNU6non@,T@!NJIoGvRGg}&@w#{Dlz9k/!(9h0+HrUA p ٛgM|5WaJ5#*=yu!iB!GgIm^ƈO(!́l 9i3fͷO\w)_<N=[UTu#Xk۩c5%#4l9C#Y~j9@wتdKH#<ҩ'" UDΚƓY[(z#&7GFFB|NCp&y\~"P8i!Bb\_G >nSS5u=8"X V^ؾD:Һҥ3mUd<5%C*xR߿#g`kx"Yݶ\W3NDAM AVT92-Ů* 2/w&Ƚ Y IB'Yi,!@Ay,?8Cw' 7NIvR-^M/8N\RD}ah6#W"lFM#8豂c.%Q R|lЖ$Q.j߽[[;|o?f[lRɳ,w9.SCrБ߇l6pA!~9m`ZFb<0R=* !{wa+G4tC {rr 5~e{:Ɩ3jMԞh~CR0tĩ(J[C˂mX3~/SX^jcM)OC#(NM/⼀!T`M!2߁\ e-c֭WCk]'ɹţ0uOE850هd*'+p\yx>Fhnm 2EW 8ڒN.')DIia㙎 >uӳt>jĊ!hلZeBuّN5Uu@ gnÚk-WIt'W2y2-dSL e#t֠FFNoI P B[]pAT~ rl AlgsνYjKhnm)? GTz 4nDv`$()S +DG(2OBhz\vjSy8]^rɝn.1jubtw4 xlVH\|3.e%ЄNsD!;tʘ2 O_ %5Ʈe=ݡ ##9֊cT?Hqa۸*.]CdVxU* T?T=%-JO97h!\7O4uٮ%`-)Li{Z"8Ga´z}xM?y;+,0}(Ojq%HN[ ï'ez{'s{u24|72|͏]b>kZgud!"6-Xo X6*:,YBqiX@0?˖1񫈶*$\3A׭ && ;%IAxmBy2U|j qDx*߁xFڱmirU;H#_i`^ThFq_:wP@L5t؟2]/fzǡkXR,;O$Yf67MШ6Z̶/?<J`Hk0Oq3#CK kBS̼-.n,d7ɪ)ދ0uӚC{`GMr9{x׷BSsuo?^v( kpB|lV=rH]PӐk<'KHPEz]m^F|᝘M )7E2$ FE< euͼ'%yD|@b˲H" x2_^oϿ1۱c5=MU*K@+n褳a,6ix>GT\pՋq_yHg3rCBTс=çܐ-9nXnK)ǙjVp'Susbɐ$m(mv}MZE;b~L e:ev+x|y3Att/ug@O̅EߤxDcI%U=RM}q">{*W+ho!)}5.1#`9]hLyEViZU(^`f6x{_i_ .i*18e D淀5#Wp4uh!d뵱 ^,EVޮ$յԷ )P-cJ[?J{*Z`uUc>\%C{a 6Sn@zrR\B:HWjTqz`UET7V-ꗤz@9w>v}\ L]`. `#>_9]ْFp*7&VC@/R+ߎ.uG/\΀I} F X],-4|ko$2 (\E1aGxEfs?"C?JTbȝgv?6} 6j|>Gwm7-!)*UX B #6 C`90‹8,p "n$6e2qMaU䉴W9}LYFzby4`ݚ7)þh}7e v";Q#^\gBnF៖Zm$='v}Ff#g`ɐiU*np]qt1VkcYʥQ- YSȊl]No+EЊ68aCNe_ #U-3kWeoax]aMWԤ(9LNkǕvguҼHf89G _z PlSbWI+ %Vzj}r愑ƛ[KLrW5 +.\ qxJJ{5msi__CJ=y<.'^#DM  yJM81CE,jJYF6EdR0]~P+i tS &o6PcCP~c. ^hx`R^<|KɐX߄^Jg?=:#d&Gym_>4*aK?⫩aSϼn)cRK[6ѫqMY* U+ZDH+JZ~H\u'.f([Sawo씀r#24>CQpt}oհ Z X֞3 {G n̛14n)jxLb>Va@cZ NjH-In U&@|}C&TrѝSYHv0Ҝa̗Y_?סĬ0&߲KX8[LԆt]ڛ_xcMV?}9W6a$}-7bjZ/V+x4 ܨz'73 2"tr""3z٠VAGa&,׃ 7J~{(^b["dĶ74i+$]^9MebOHm-6[Y.w ?+6!~}Y^|X>$`2rt}Hv%}z*yeћNah8 |쭈 LH(zfd~MlO缏`Luj&VXo]a_NKfrmĀ4QWSF !Vi˛#lNU8IjdS~#;+`UCN™sʋ%!b oajRxaVFzh"b:^ݑ5.]R3 \-V/2u_05iP-a`oZD80uni3" "݉ےEygtc6KJ3x[QPNQ#:E4.1pORF~GQ͖O%p6$n+PmoQ/i'J<_&ۆvp+y{ZHT'10}$ [!yMYPA{TIœkӘ1oWjӈVJ@1N hB<=>#n{ܰ' CEz@`^ݥUXGkTʟstwJY$nrѼ=ڋk5 Mp( t"VIBi 9 V bx bc gM܅qBEXL]MPI@ndк5ńoLo>NIcɝr x|s]ᝋA>;|#C*M}%Vũ65W\]KrL+:D K(E,Z' A[AOa^23!XS^eY5M'4hԻkZWo tu:`Ys+Ě~q(zfaIva@- ~\u9=J #'p.$j{s_vtE_cGԯS==6G)0 'au0Jr\LSAYdC5,xiڵ3+UES1l0^ Nэ`v48eY8lVXyO201(Z$ ?]i!.)-t@$H*k!7 b F %pIw A=y:Fȼ_oTBd"nkg|lJGM1~0(oPvOeyf vLaf|\<$Y hZc:G&L@zJΟ=#< % PLew^G |CkFb4shxFc~l秕lw蚣&I} a@}l̋W=o;{7}RHڱ l .gO@uw ÄN `oaOF(K Iz>3$'6jD7 ,3p~w/O|lANRdmH/S?g'ZKZrI'^ #9^%B,txijUYQK]Ioh`Ti n Bnl >qqTc^{ãNV b4]+C+:Y Fg4ZVj5כj˫:_ö#J swZRyIŹ ?aPRGMb+V=o 5 Ѩp.kv΍ b~Id*M.t~qhJY5m#CpM;)+:B_ (Q+I 5 Σ ox`DCiej&%ďKqf7b4Y%]¬哻L\ XѬ~2G2׎rѴ_FU0DIj*~®FJFB3O(=t@+^M;?p)ҫ `H$TtTe$'i |tdbMd1RKsF }Ȟ!,)T ~rSKrU1Z3DlMY-iF]ĕ mFj,cNDQ#1ꥒùC6KƮ [Y)D'G4w8mҩz"1Yr#8ۍEz⺜|n^xW^*jFG\,qڃu#Ú9m=M%sj -oUZz/AHriTq;`vU I__\~UX})hDЫJ>qD>PHE^ 2:[$hHcY^>E2%<Ұ21}k/DjF>-1 xZl${qu&9^(- z|hkSP8:1:"baQ:r-,:>} 5ؙo'Uɾ2p^{_@"emZES:[{H)jO;+2BVvw7å{|QKğ-yVg=نB%~VLE+)Z*Y k3(f6(Jtp6?twwf$hʺqOT`Ro& j~О?zhE˩cGrADaݚM6xE~vISVޣN[Bp1Q|٨}:L-)HVo\`/B.4qNydp0>ۅ'J;r VpT|)r6VƯ& -C.K|͝bw2 ՝A4W${)VYNkWψܴeK"I(IӶg"\\nv뱖^4N!\ME{d ^UBF/@hPuC 7ѧRdW7z]{Ȣ߈ 6ae?9^LQ}Ikcsup6m;4nN 1yԔ{U<0 mKW5RxWlߌL+A•YP>0)X2<("3Ν!r:~qurN}˭t`sK[ NaK`Wʳ=:_+7HJ;gD' zv~*Wo;m !@Oቚ4خ^09fPSI2*F8UUWi]*\pOAnt/8ie|u1x!O{9H^\BviHnŸ́(T$k`PkzYt gC0,=GGs~=h MeY5+=N=UEAPmJ0Fci| 2K^ C_UΟ_)f )rrj 6lV (6"uQ0q[|{Ґ& G"f{ TSBY'+e[,Ջ" Hf+=aiPQ{wtA mNܞ쾙%4umCO_ԵI"jTYAsv5LԂ~3eͨӒi^ چcyB6| !hW]*]P׋a^grv,C:B-]}7k#}6'2B&̎p@ R=xj)06>lڢSNIP~6[R!`*NR [?k8}`F/4'[Ͼ9Q1@[-6|3z)e;<^UAS Ņq_"oݼ;{ !<d1I},*\(j4}ܭk7zodG i'aԫiC kjy2ڽ9⭥U78~N2ա_6v8p6 >“,_h%w˜|s^M\g~+?6NXb')/#&Y]w@VSf*/ Y(wKZ)g` ǑvC^4Jٸ;XvXyiNc_Ǵ#0|qʿ &fӵow_,zIul^Y2%qˑ\ݎE= )ykQ>2:߫JcxiIY$|Seuq}ֻj`E$VXGE(aٴG"NxU֩=턟!0yytRF>>7tS9oay?1({r-Zu$it.BO KJp C#{$UQҢՃXS5a9"P:zlߡutPɧofRߩM.b>\&PA[I>UN@WsX&hy'FuԐ0y;ᣫlq*FXѕM0l@)K#LePwRљsX@lf„q!Xb嶍o iy>{OF:  H]\Y2U>߿EG+͞8 P~Gݶ(`،1 oЌ*H؇IPA '@MWo1fGji8Xy&%(ca5cK1 5ղN8)2g"v] >5?LˣndY0S ~i*!K~?w uڸ>ɞEY۔(HW"dtwJ G2Q/Pw'])a@ xR,Y6{Ji*aqK?V HCب [\^\᎔|~RL!S%t"e|e=cMQAɥ|y/YC^ e=ʞ5J ;}[s'?5Xod ݤmNDA{3K8>.Z#1QM Ktwq}FաoH 5jv)ˏC˭?y:2O_ρd8=(Lz؜oƴ[de^չic8.:t["LƇ( ]"!>\fXzmKuZh xC8`ZB1pnXc>K%;Kɷˢl'ol.+mFb? ݙS-a{i%6O'^պdQlaCu/lօ, 1Nx<,u9Kg{?fa*ރ>A;9z$C}4s w~e;r1O' ~%][G}NLDaJ !٪ZFVwEfzU)b]kıY=!9 +iŜ{z];$*I3uOc,a;Έ&cP7bW(Dئl^~<Ԧfwfᮑmm=Nt!:toEW> o2HCۘizX#MVvŘ/R,/)tPFa,b?bXe2VtY:uJ֕$57>*ߗ|4L&0z> :|LT)~ nlc.n q O}70Ga, _#|zc3'׀Gg̴+9M4*RPLd,fMK{WTOE]x)D9wdoF>wo~Z=UB;c qxb6uXX 2QDaʫX BJVҧ/HC5 lu_7Dj2]wGfL1 >%G|{<6(v_cKy\ C Vc ;R9I|" VhBuy'2;^?&{#@^\us ؑ=ipU11Q`"Ki7K@3H!\^gq5~.bLYGsHu)./Aǣ2dLJhgZű A%T"o! qs'զp\vZ *'34Q:P?l+"rEDݡ<4PfX綑2enp>; KֳL;5 {39 4] Xe%E uC p6m~GLփMjz݉~Mcvmd$_9)DmPvV| :#V?"xe02Kї8ԙ%nn j5 !ϦI\P/W.1hx`!52f(wV͊7d$R:+u!Pvi! =zAjGشZ̯L]8͕{ JdM`_o[S0F+4SX}k6 Ҳ?$}:|g˱6lE GeQK*ӂLג$plE KꐶֈYujyp@mJRr"eBH矍:G+O ,SrrPiNB: m+ {/&I8-I:,o$[ ޕZ2wܸX >Yfp+` qLVaoE)udm?f`9tPbw;} 8CBssC$6G#N{@Nѝ.Vp6rޣ< )t8f+ҁ$oi?\#%%~^mUi[IxI&hNq/1o*mHG;W wG(eTys~_ z 8OpsPhaM~`>t~s$z(J|mg}Xk9>G&^U~`mga^VIY{Do@Q?N-5a5[AI{^1LVCB!{ItIp69pp)ۚ8wQ 6Jc!B-/Td#D/*S%X |HJ.\UwĵSۡ`8^^nd8~e2Ge@g ;E1@@^?ф\uNGA5bWCټcKߋ.2 ;ZHot(Ha}̫/Y^/BYptb qP7l zKa~c1>lʹBvH 瞕M,vqE~ UǑ*W{s{1mKϺ!9b ؟B=լ"0,|ɱox Lڱ VaLAMfPha[9ZMvm+--Ο1ֽ(R`8.J>cFÝ%˝ʍ[ٍrqc*rUO c?o{8ٟ&m:uuTDZ=mUzzr2\Jr89 qf/ 0< 7H4 8|sHNbnEWyFE%% YX7)8 oymy|J5tH[le`o@FFqA*8hk_xVV5K)h@ddrPObbNGl!F1|Gd%dOwAh>=<ZHD8`QR$Deb~D`uZ;in_ @VWԚqFh EJ 3׭H϶?Ƨ_̅Ў9"u\KKz0Snzo=y,=e`T[oBEFP+mIX~N8ލIȀ$tV&m 3 eU6-fxJs|WP&w=tFnxۅg6#]y \Y~o&qhM_W8h!EkO鮲MEg m0T>^r25r/Ļd.7./d|R^þȘ]`g˵PR1 >3l^8fstd#t9e};6"_.sO`pvMDC)XUMn@(p^w ,x0zCK,.rY ~"*ء AS[ oMi0kIȭusyۥߓ|ziI0A?D[W3_Q5 |+L Wt, @*Ҫ~tYP=d2jm-Ճ4 ][񚐡;GUѨ)NEavD-ZpWX$c%=\P女)t8@VmzC<1R qN e$x;La2;yi^[m$})[Q$,z`*"_-p ]z ][+V 'M9qsc=e$E'g#1dޖ>pa䢓D`V@ÿ,fҗnVp&*D]\sP4)ihƀ)}TպT0mR.|fwi$H, 7KO;vj'7ӟHVC~#P=ZhzߦAӑ;prf6Xm>{COA2%cqڐ=ʾ2hX+FXTۯ9QfPVTIo`8NMd7%(#|b+TM!W/98 iOps >wXt n }knƱx m7Ay \#z:Vr"R{jވƩFC0ޟ0 g) ð-gJ֗\.9TmՒ_'$7c!UTVMoeϡ YEϤcO1* )XEr;usP]QwG'=&l*=V{[ {\>d4s&wˉ(b75tct_YP9,o7V@F},!I^̏B0A >bg\<_39D}2 PݿKW&,8 AvcӄQwFP77afRn#]Xɐ邲qr . 4p1RGJ;\&㑋 :Tgגs,Qh $E(>&|3 qy28Q@m-I HgYt(t.Uc-3 $ID%j!(Y&+[iheUT@EOwiwhjbv̮Q#@*p&Y} 3MK >xFFbROK Ag (6}Lwvυdt4IZTkQ7# ߖWμK$sf|fN#,'x#Qڸ\ M@_t.Gpsܖ)y9F5;gtu$d:1SC 5N`r)Q)OתRӄe=fo"]%,q] !x_V5J9j6S߽kf a@m|dmve.mc==q2ϑEeC.ѵ\-cyl`1x] _8f΃ߦ4K?1Y\\P$. Hj]ڣ w*W_Z4eQ/SWr:eKl" 1{ХJ!!*HS ~p- ȏ6Ik*J)sm >е}A%(iG~+县ȍ&v▥z+IG@U=Gwp>`L*8fPܽNFR51L E0^;{yA> $ƴgYZ AA#-S% DStirling_FormulaLandau_Symbols.Landau_Real_Productsdocument.tex7zXZִF! ._]A-MՋhvG"uIBm5SMo.NwoXH71%^ԅ@`Y,zu>VFE!v#zB utp5cVyҔo.@Lg6Iu dV?q{b$c3oނ̝cvܹFٶHT ;rrxA!ioVM<3Ws`_MWO'*Ԑ$LP#ՍfsJ92Gpz M@ɿp@?u%O}"!hԭc:POB`tz!8vHvW>%D~|jp?T%](W9]M``v)"0͕z³j`|;=(Db,>*#^0D ;( 'SҔ{*i+g 6A]?tssG֣X'9R9ԑ/ t=\˽sL8;q^jCcE[ \KA6n=@2S8v?iqZ1X ɝ T@7xfR蹑B!F'i3xanf!IR2"r%5T|2ZD} 98(tNy%v~:yiRzN:LӼAyiaWs|Ȭo9Oݢf]h-|͵p될liE_NrƝ PZμ>8~4 95]Zv>+y0еO<5{} C}с؋T>ԃgE.)bػV~w'yzU~V2aGou>N), !JB"Cv,PE`xL7l0:FfJ,"K !jko}9лCvԚQU!de@Jl7M;u!v ZFH6sFIƆD2WJ NW탍zĈؑ]VMЉisP%#h;HIsfSG*zdw-Mpt TOh,[jfɯ+ SXA^վBA]M>K\ۏLKHGCoűC ٣q,%^Gb}#>ڵLƜ}(coꗫZM'z$Ƣ\w?㳶̔j;k`+W;' e缝[Q +td;?B ҽ)7Ji: "<ί=M©H4THciéDEXYG\= 5F"D'R4NK*b%7FUtIZj]{ȡL6Riv CH|5Y"!<}l7A(jQvx*x߄#>'8O2Z$pJX_~q I&RخRSVsht ԶJ0jm7>P>\1G*oIjg7[G ‰绑 3cyr؛ B(l#X)6`w,YxUUm']+lc`oS2$7sqDiӲtκ D2InK['Ԏ`mG?$Zʐ4^9<2ԳXu'TQ߳ ڕ;0,$L=eT`{iAԙyO1>,+ ',[[ E̢HŗpaQ2|Ej4w ΪR_h"Uv8vQlZch')v4:oMSHu&_FY~5KV lս)٤%7]ts>ID{Ym1QvoOyRZ'%v,}SfY\'xq~3@ḣ>u%x1,f1c}Pr6P~MJKl$eF.qc^"2NGӨT_ޮ/٪ U*R<\טu%xf+#Mj QAzg>&toa8/ 'b!n2Nh|Fu[v1f5JaHca/fJgn !n:dXbi.b)KLT#̶;=_hF^t&dvDt-)ђJ@#&ɐ˓+--t_ ݟϪ Ut }ܓ:[³xB"ocLZg}EPcˮf^5+ICb20؟CWBJŏ.[\(Jv 2cl44Ueˠˀ_DbZ.Ǵkm &!/Ѻْ֋SA}P J:M,H,;G>׶ #r0z%aĩps@BYD8l=E5YVCI$4hVhi  AIS].˪!wDv g}`'XV@{v)4q$ K|1m&j #yNDEСP _wrp[0Ğ3d~pی-%T*Qd~e   R-A% 4Stirling_FormulaHOL-Library.Landau_Symbolsdocument.tex7zXZִF! j|T]A-MՋhvG"uIBm5SMo.NwoXH71&O5ayR@@44#FS-Ї|KZrS*O=rk]8vy&29T^[#E6aqZ1_{ξyB-XY gm6+]`H:3[P[Vc Eļ xj9Ak͐&+OS%B"e,Jw?<7`NY{6~^m {L;L-lU6; pks. X|~_^{Uu -+g?AV}VE21GӀaڡBq!(/AKB]f(/Ȓ|C0O͢X35e6f*q3ؿ)׽VsĢh9k B_&8mˬióPMڎPIs~@ yvv']WNy T#NZFǭaُFRWǶC'/w ]L<:e=r mjݞʏﮋY"FSpe??,E+c&潺d^ZwCzIxA &BSI||(0d dÇѫ)|\/ZQ#v*Ŭv4fF$^%^RNv{ǒ]e22T&zzSڗa.Ei76u 5fn)HxW9jB(3t92ʀ@~>|#ѬC-"FzgA-Ϋv]%IYI.s#{8Nsvvfu` ܕl JE(Q'䆧 ztv+)s uajffR*ԆAi3%횗J*|++πPs܊h1Yg.h/h;53"\wmq*c9\e#M`oOb8/<8*bӽ}?065Xv5tSڀcB;`֕$#1饬z\ӑ\QR@Hjm^LRT*6X!\FJ8~iCL3wWYlx!Feމ?P!7~7LbrqkKH k>L6 ]{###pkd0Qnd0^hL%_ ;a8|!h[:j0v2ªl4śo6'eq#Yɟ?YkT{%L0,ȇsߏhE T$Z7Vq Ůrd.&G9ϭ$~MxWL7^84˓e;+ YQs[1xW\ٟcys|+!|=Q%ȹvE[sX۫5=W`mu0^Rc?cMHEyrq׮=5)a3U*iͧ$h6u3[kbs㒁JOۑ 9UnE T1͆'xoCt,6oc%"Z2=W5m[괒l}G-Xx(_tZ+6,)AP$́("xIX#]c5UF@C VܓQ"+z`g?C(B@MKˆD.lŅ@L r0w[ɞ SꉨsZ,1G*m,V9}, sFsi[&>x.I9;b>Qr!A]L)V`&['mVOSeY/:{.#UAµ"NLdWD]堿u)tLhDI/v%7)c_D55N-iDړH/BܡLRO&4#A C٨3-tn Oa}qAhWkPT:Qn 'Cqͼ> pa97]"qX Ӽgv5!1|(}b#5=sKlL[+S z@r4;\T&L>nMM7d<++Mr=JQ._ͬ6KfUiȀhgBK-0~L,|`⋲.dgp6',(<EEgB I]Bۨ7°o yH<Ae]PC<㺮7RmNsr 6QYl-w1B[- FT#:#Mۿ=u"bY{n=͉?;~*ڃ4rQž!O~)oIl-V=S%E~ n PlɦLQ=v/:|~UoSa2-L @&Xi̥!B`!DM^e62|ؘb{0)[bf+t_M?mbg)^;zգzN&+?=柖 -DV14n|4ؗQq_';'=|2~d ^|.aoFC0;s)ܖC~{E$."t6p kȽ45J' ZC6 H.Hcj-)'EY߼k۵)M%&KeUDwc4)xе&"~S'ҥjnڣsT-pCMhOfJQ2{j&F!uZ^CjS p+r-LxIoX^ˁ< k+- ʰO yfA=u (T34Kuڹ@G@&2"8щR*pt ~MY$ '!tE f Ι:elj"zK}vJr|ېpL9(1 vEwI%>؞) =wƺFac6hC#>Uf-@tWq@ls&iQ9]o~[t=J9 eXNծb,Qꮞy9[PvE4\m: < 96޸gfK0><ØV .uP'+QƟqԇ}6[CM٥cԿ\&ې!p-Ty!62fFYϑ=BRt-NzgmlR2V  P7C?DdKSm'E&P}>4N tRh$}޿*W%FC-*ڦ(bs(ZÎ'l\4m!'s"+p:i BS墙J^ϋGU5C=؂z*&IER6Ae%D1!S,Yu/}AphS31?,JuZTf;iIҩ:HhAME3cg$8^;sctLU*Mu岺y2:l<œ,gCnB㖸i붍̓$%$v$y3rpdE"Ez]:zz6g)yxOD_iP}SPTs,n;4EWrF*^Jj7*@|k|4&h~d ~mlOtXnG*Bht .+֖OjcXԴR8tϏEaM1//SڄѶ_b!:&dHa;E( C1kp |%2 w}l &|qoØO"7T\/XI.CG<]1b򁡉Bm|?&-P 721F|Z):x4U{~%n4Q|_+v|֑x^8+1; 7Ծ`;ցJˉzA"Eh &bN Czjny}' x=aT>D6q tjwiz9Xz#ֶjIh-_]Xi ,0u~id}mgg!{АZOl mb{: sdj9B[Ms>4[&wZEPd=*i_$B@vPz1 `FIeCi¹|h˙@'GPhimϚ67RT0!<{䰎h-+vi޻<+ %h=$>!v^K߾:A0K3"GyW[qx ps4-)mWb=-E%GgH\B ~[T޴hX)㡔lݿ\=}Dĩ l Lxg^ BXy2;{'$a.ZxcH 'Zjj7t$z6`<,rSp, )QtTX%.OĴiflf*>z@捐{F *@NtJ]ݥ+v5h$i92#eODf洄8q)̮VNчg,,-Sc)_>UΝP}6 tyM: ]DJN+ێ#g~cVaiiAi8)9}B9..!*wZZg]9\ۑto Xlh[0Eƞ!+ %o8m*㛲`Oھwv:cc!EOD( YoéCE_WȌUOu8Kc\E8DDIbVe3+4KS<4c0w44Szd%+xWU D*fՁ/U##&KCdB2l'cK,̹<@ꆮ8uox0;i黡+#̽fYt-j-g$7PpsJR#O?^3zgCg(uӾ7ѝ~RVCLF=Ä(ou6AVAET`F99;!,A#-pJb"DZ,D^w{]Tk'w;N:28ԍ@'! ,$Gb[٥l!YZy}-B};w(c9=p -I2'3?k.@ YhPo|:!xla]&l"#IGn|:\#G ٤Y}^1Ԑ+Y"fh‘rHCRkyD+!htO Dfp;_E++#p޳V7/"sLES4$un4O[myY6}AY^)b+usmjG4~~hcKw4 :惵G&Fc&~doZ<*v+ Ȼz~;2#-^_!$ar B# b#Gv{t'HԣEU7=K$s8D( "qeVa E\&mC6j+9[X\߸X|Wx~+nf 8G2k'D{|v7oxZEkNLM?BLOC'، . z-ql4%n{ƧAz|hGS̜N̅8~nbNuiTؠxORXU+ Y=gdLAT]EwT)4G?4+"MOA1#`& (Y^3dtJ 9o?jp%ÚԴ'5<7!=FA~&NMf lJ/&y'A %Lma#8p>b㝧pm06 žX)r`/=5k6S|em `5b܊>.w} 8BdU P'w%`1ޒI:ƛ1XO@*f nߒ ZiA}d'H} A)pv';zqK 1D*ir.Q8?2xw8ǜ^RDLR*-ԽF"+]dWm/\8<5cfya :HTw8KfįX3~q0u#I k#!H^q} :rWv@x`ݟK"nK+h$7g[v`'86Q\ܼ';8.s HB`(eH~?`b&kg(פY-|?FaU3P#ѭR"]1xlQb4)}2d 6 2^R?jKq6fFZ* KSs<ȉwM 3FeA *M.KdW1-"&YҿoGr[F-溪gNFOLZHc%[#/(n3c-H ')|X0L ~@iֹFnЅowY+t Bm2&+ѦFn*i)ɋUls>c`$ӥ }h&\q1SŪnNv`7}tjEƙp۷OZ{EcuAZI SWc=3na? <'b4 wGGIwzER\ 7!2FٌB %?5FB@;:.H!@J>[Hueͅ?:СY.7 BL_3xya#2k]ؿ %+Gj43Z6uٓ&v"xqi<3$YuҶ)a)/1a)jgi ɀ?w7Wz=`P L~UBnp[[ra)j?X 'XVvxLԚ1&e"½ikvB;PlhhVdPN ւO-֏-2NPgR-ϲrd$gJX | ]" )׼_ Rfԟ-U#=3M4+cE8c26J`g|m4@k`u7E:ie}ߋA;&4K͂F@u,5g ԂB5n87եCvznZHh2)v]$@ѤR* +,r+KBc&?SB)Lx4ϧȡk!7EZgxHp'3٬/gj܌p}eAt `n A,24VzѲ?w'lM6lvw6=\?dfLx 50 KH ֯5L gxoj/ zhx+D];_y jbL*8ԙ_0kHhtgYԧFfX!=!&W"7&,#̷Q"DHUK'ae^Lݨ }OPWB9|ַ< YGz6MM6\6o@٭B%x'M!#C?MDN܋]i~ !LXs2T)<DBUļ'rNH=rOF_zȿ`7o\!zu #pUl+#( GMЍ%> O$_ TbǰDB< p[9u3:= #v8+a=5$/%35_3@A^GbQw~Bemb_?E-lg'%0y]zTJ-!`؛_h%Kߘ,#MCLR zl%JjG=wGn4Ҿ7p8(mRR]ڌ8WB||W{w.^JQ-hgI*XG>,$?CӶAZPw_EDYǞ\Z%B. ;[/ٞLL{O!meg.۪$%%=5Q= 5:CSIylҦҏO>['#`,p}F\*PH=gЗ4 H܈vC u5R.WչV3YFKFIn_ȥ_wv]G^E0Noy <|0 h)Āg;mBW(A)KqG?:D~>ʈq?冎;ҵAd5J?]yR8ydm +RذURٕggԂ'N()VGT) *_z"aKu\'4_bPFV!iX[#C" PڮxB60Tn~ߢ6A߇et)/hB๨=.5Yk!;Ek[Ffs*,ee>]hEom%*5Na%zm4O m?}bc\fZ Q߭u_~+Nt`>=:Q SG1 > *&EU+8Kc2;p"!n@>B _jvBsjL#jKj%u]:Uwzh>1L8K:RM1w- GsQڦ?rrPWJX5q_`F:ȉ;Fyij/3_Σ?ul$1}Xrm=P{M,pߝ9@z#i V&@g2zi*M}MLR1rgdem.qBt))ضrA1=MRcU믮 d|(Նm.wZ zl4Ccg&g=3rD$ c![nuÓB U ߘm<@s \|,I!rl+,c9 Ύj?[&tv|Iw={\)R)&(+VUR5m4Ԑo4UE|˃``w%\"ЅC+(r4 g/ w 3@BS+pT4i=51A"%C[=5yqчY`P1e i'RZgފD$F=2[5Kh&A|VЮ9M fJK8Cq{XF4if)/u7e}|e@t1rxY֖e 8#r,mRfIy,B^{鶄J점!MV_^Q,UτUjCLS JBBöj Vg}5Y e6]]tŤNYDUfcg݆=&}b&PEM-r'2AR`m6 MJ'\6D! xnzSD)%m"N1Yh#^}υR)YSEʄ֙- =뷻Ogŷo~8 NsY14ƭ4wK!z|ۆ*H'f.j2Q@6,2QpC( Q JuP_K*n}b4T}2S mn.a{}[glɣD_债MNss2 k .}~VuV֣~"M9&MU#ƄSܸ+8XԱBmS̶1kR Vk=;( 8dZ/ S2ϬM]OOt1DM[0 )b)Wu ԷTA<6Z ɷDxN><,YhYG|0 DimaN%䟇~$9X;(9qi}Bp [q'ۮI>+]nq9$o2e ɪ8.1YϑQ#urj|1\M[%zMu F ͉F3v]Y>n4"ɳϪr +^M<:jAK_0˄  ;E{ӹ7aR>@nK0[JڳoKUX̃޲Ý (77כok'םli2JՆ;hIHiZ7Gy5hn ES䊞[׌j}yx;+?$k$!q$fKBRG1YFr~";`C\jt֓#'vVP}_%/Q١:NIs[ %[ 2 >Z-`Siڬ'@Dj8 \KI@ʂ L gl<vDrNFiPz?ȆE@~q<]٬g=LPIɮrʆp"l-nfCI(ҹ CzmL(#Lx͑ğ iq(࡜\ێZRb0ŀ@R? DS#4[jh8wqg~BEEEGa R#9xF(BIp/4qcP3s ,W:\dʍb'X#W-GWrIB YxJyIOq#p&Ja)ĥn3:fGUv~mzZ~7_Pd/cygDV c5tGf;@hONq7Qb^S0[2k=VwgdsרMP<*hkT:Z ? TAU):_+,/|l%dXFdTw=yzlSOFb_nW WAJ4R !UGK.(DZk2EMN|]8 E|8vuӡc;uFq*]iyOA14piaYŖ`P#\!Sц؁l4K}g?깻~6j׎xRh?T$n9 {LSUBu:Ssõ&%+$y ZƦYf[v@!jSr71/-009:Ev$SͿ9tj (*.!wk2#Dlxd(1 |S44u('Au߬tJJ49eHlp&|h.nrJs&BxOE}hhyjR\/oދ!oQ1R2vD3pS.5O9FH,zu|:J5 MyV_u&Lښ@⍋f kkzԫK1q9-3(xI7(* UƊ_dm.2C}hSM>I)]~Cvw}hKGb`3utmh& V1[r@4 Y. ZlsOb HH&NNO8b4BO|6gUg ^葈~,oJ/pW*I_Hm;luv#x1qa3+xJl *gYZ  . .?-;% Stirling_FormulaBernoulli.Bernoulli_FPSdocument.tex7zXZִF! 6B]A-MՋhvG"uIBm5C ijԟrq)ѣ u6,I0e<8 m2=gÅ,RhZlLWR 0ڊ)X ]G-g8 $pCE*8,I^mvU,#0wj NIh.a=Xy:2VK>V Eϲ6BۜN%Y4@jʏ3U7 c5@2Fu 䇗ds?{1}XsJ>ێsRC"0GH]L%:*@ Ƽ&ZE0?=GCV^ *?b& |lKOSUz+hE`Vj8^[TN%* Ȉ ]쁤ƾ(its 08@ 6x͍ 0U#}*p r@~]0Ljl8ݯ0*pU@;֋`F& X'55FƪÝXl<+f%gXs(ˋquT ?ԢN_Xl;gjŨfWf@̺ : $\'{>? A8zȓ}lYL,.]`B3֚֨aPJA{u-=dҫJ^M{5T2~a ^mnMu $"O˺;z&{Y+nŵ3Sr)'#qOORlMCVɋeM^ CJb1yhk}gJv?qz1[9""TJeUR<.W!3'ɓkmz۱g}-gbC}  l\#@[33zM hQfM{VK(gȰkW_U%tӱԼYU&-V%%0<"B|1fMCQ}t2k\s7o x.-^]Z9:{2⊔cjb&jx2z㗫asO_Uɴ$gD&.vtnٽT}bWvB)^U5 Pi[EDH~hi4 x`PuRYs9{%9A\;$}jo-wR\9塑W"ɠa~}AcʙC7V6Xe"g穖9'=b ]'[F>ۙaT Us,|Ϲ#Y[+? m~籶њK Y5pjR+!o";y"8Sd=\ }6~(K!2V%4;c;}.)*' <$tPW2Vv9XjsU3FCw_K. Ql:P++ݝqfX6\swt J$*UKÚ0[60R&M& 'dllec?A}_97c.&؝iYyO ÏGM3k鍵:g݃G:]e,'}E.;["~:]?k&eki9;`PxE5Y{yl{CBV.a *v/IM_^Hj1O#R/(dO]ܾ6;/'f J^qGRr Kv)ּQZ{*&lCg[G<-zZ%#~Z.AT͆ sN&AE Oܟc/A@|w&v<ƑlEl!r)Q8d _Ns^qc^i]Nѽ<@?XvnPq$,=DŽdz 69ZI[Q/3{j;=LBhܞ}|\>O<*?&&[gv%l!-M .+u"M\WL%9ZbcRHC)*NDDA%rT[EHi\6ti4?.#W[33-7T{P:lCx3wpdE Ӑ*)\Rn>dkT Z"k_CxFzI ׺'DKC/_kԞZI@oN[2Sv'̶&:Ik.IX`B :+~rMb4E$ef4U&>N;qu*HW wb<sf{  ߔ y+5%r/3[9N[çzGEUO1\FKJ8ȿOeArE`אv?#*Y1;2VumǽkŚWLxebiΘ!3snmL *d" 3H HY.VO>x7 LZfP8=?!൯Z 2-ud5'rqi xRK8ZUaQEdYf%ӿ;.1J N2e*~M*,m6M'uDC7JCٖZrqv3.i+8XucgZdLp~T\HH* V0Aе{xd̨Ui)db1GۄxKIaAn[ նh羮w&h|9 a%'ʩ'0\ qY( C4H_[m,ג F܍>[)ai6pw}OEtb.eǡqS95B&1IdB/:Un^)U" ,%cJZx ;6SəKA4u 65ˆXJ/Z1I/䝒AoMP%*TiR)mݛ6^_,hm-h(^432M#*+Iks۸k"7hƝ0w ܼb8\4/L<˅Zs-3fudz᮴P*M; zAl7syInzM{*R]e O#8cY#g3L-vY?Lh@i"Uѐ!B_,]g?XDxQ=2?]&{=C hes^Pv."R 0 c-5w>YמnZ&567L^Ik.f"o7zblMZ 4 $[fZ33Be2!bs"U.)p4.GEBR: l㑊 ˏt{]t̉pOiޤ% g@KR?s&loΊiJ5=O%/rnJf Aq}|Ջ?]EA @wo+߈?- Ç숪!iMPJSn r?qVEr&IjŴ(m1D> #N|%E ė:ZU:3{A3Gʮ)튻p&Zqw)7x :C2.[&~Q͔P1ZR\yx!p3%ފ:VaktaYvušj:0Vad71:*MMBqtg IQnӻUX'ji)[ B:5b|Y\?m6aSwM!̃ZI|b*l9);l1]A&K4i|>O?l([u&y7[΁J q - 8>߀XⳂw՟΄fD0YrT%f<|2`Vye4 mF6'Ԃe@*P )!2Y4 FȂpeĿqxTz`%\Giiлu=̠(8okWo)i釃jY}IF)U?|}[,3Y/$(% oAU0"c ýFcPMw% VX둒;.LC`Fn:j$r5Ϗ_w<^ 6Bz6ī="^˲T;e,Y} q{q߾D 4\oK,Ձx7As {!Jy6VWs~?9q֞_*nW|'zV ~aRހNk؂9Zpc=>!5.z^!XϒL;܆޼.~e jB'vw\xt )ZfRcKl)1gH'?™ If76"7+j__~bW`xL0]x<̬ܾ'?uc` ?FώSUbÜuNs^,o}Oo32{nAjGx!;}8Nl/DZ lMGEDz5 SߵAcf| HBW  &:c4ŞډF5[ChCB7+iH =r㱧͕̈́$"!_y稞!#G3 ] ,J}c1Ϣ/|8^ȓ/hϱacaκ>4#i ڼ.)^M1;ƭ SF'PK1fvJB3oC!fp4513?8x7RSFH$ =231Ҥ9x4/6:6AgSHE- Aކ 3Am#_eVT9MYmaˉj̦D\Tbj$u![fh3"~ bo )k~&zR8"0z80؆.NvsN4rRƲ0sbψ̈Z5hHR0,<Hy $,C[rF{Y %UlQ7KҎJ5o'G(3eaƦ,ܠj0%}~QCUۣ4ȑM5!NH, PON{Q s6"_( /f҄?GJJhlUM QjfR|U˹ʼnǗeڱVh#]O1yͧi0ygޔ +wzGj˜rGALɣ0ܒNu>ntڱMHG[6/mp!*9]11~^a4 :o$6`2uX`D:l?ÈwbCZ݁ߨeU.[+0qX ѬK?_Vnh}SΊR8:X.5G7YWYuJqS~Ӑ ϡG۵ Gj`ժa| ߴ _o%jʫ̅HQHCn5YN 7y8Ny77 ua)ؙb5?sLmw!GW`g'g!Q|1l/$6Um[s}+̷."kTmY1G=۵MB'o@@ i{#}p$l,hǿqQ7Jlk]Pvk* Wܹ5A9%!BtJ 5kENA%}X&A\1#UYTw6NzV<oRG1;8MI6sDw:l3pz LLZb((ʹoFmKCSCFGII?YF=Yq ҏwK:\- ^X1O4;:Np^81N\Ӡ K++p˝PP "9CYfTL4]'Ҳȿ/_>[OqZ T׏.iܒ^C2d7.,KWq{w]gD5lե1#m/e4ν;#M-Y=|l54TbZLmNw~~ Jm.;n{,"] !K՛mdɨ7C7'v;rȺфNqX7l-B?O J X-U:HΫN̅\#'Lnx}6؆os]@+6>[鴐cpjS1X&69^8Б֥oUƃ&)s׬ـiuaoi;p{іVGFÎ3ӗ'Wpf(2өA%LK1 Ӂz9,['0@Jc5UNXVLl.N%zh@/.W*աi9XB8[t;ꢥy0d޻7ph$IxA=vlcfjN8 %322qF>ܖL$OY_qHc)\ OVb"v.cb_7}apu7&#&n9H"Lc\E6i2"ؓ }"O OU@E ּ3$WyHul>*Ps'+嚣Rpk%6Ev-xg:"#7j*PFx)r}4ű[h0M}s12Z?H ~xjDa@&Tgd@S4?vuo{35:dA @lWld3`Jf Dl}~6l8/ƗE@&CuWF~VyN55itc ƐhR/k&P'dY:+'F(!& "qiI$(Os{uȞi91e5z4@Y=`MFӠpȲMFW1L l>hJ=cKBȶq~ I(ܻdRF.р72JlyVs%g *U;#Q!-|̖[;4fg,CԐU>㒻qx]!PAti .-{ QYV=o6=T M.e5qY ^To@dG Y?ω0klao9eQdaX(7` F8 vP>PpO&( ]mћ8TU,dbWJ%t*7 f`;;pterC M?8 jʹǞT6i\P En>3nX~.Μia%)xl4<"C-RMԮ ItTtPƃw283lyxO4}vWVN ?np_Rk*Hc* 5*eEwۊRŅxnH@G$|2Fãhݯ}%bVHl!vwˮ7>?^Z˔B$z'#!+ rN9H J0*]8 ٜ'=d~ghw7; bNKr\?)vIHd^cn6Y!Ns,¬<1ꎼ"Hg#5eLI%jDZ  : ʳI8/ aJ|q_:]Er [{M_J+]lřK {k(+[CvxA8R7p*V Ŝ Z@l ճGC6AQ-g9W$osѵ(^ ࣜQ'W6oXtJjJٰg_wfsyL~au:P loäBG9:^SͭJъ eTǷ>^)xW= _M*a5T$ADĎ+F*5zږn&&k/9誨3(:fr!M48E|M`KڛqdL >d~^a483fB޳.56ZjAr_GbrE6s@jx<@у2ѫ6"JdF|0r+֨fOLM/>`(4W[v1%HYzGDݓ^=:*\nފ}b5(CcωqPΌi??Xr<8SF=w[PbBP"sK$a{psr*%5wx܉V[| (zĽ]ĴwA&z9<9}' u|}+ҴȀ%vwhBv ctDyguyDnhIK@+?n._MP/4fr)hPE+#ae'\]1+vBk/{zSH_@4uѢ̬E8IYf5X0 tͩkCЭ6Iynv׫aAX>d(ć1O$fWܴ撋p'5l-:yS DC˖`oAKH6S95gŌ:vh!πުe0:0V#uUr-"Q @ؽ H "bTir2g%DOkgV>[=Yw65H=* oȴsٛu'߂#-o\Npћ|nyeպ9vTZ;gmn3,'@9Z`䍺>d!טLS\^Аbt%WsCΒlo:'kMUHН++A.u"U,уk rYDzPۇ 0䶑)z!zk|aU*yۉ^
nY R!U ]|U6^8w^**Ьao G{7iMU@QF тF1K~G\|xO+q[Ÿ-q^tz[&n;px΃|$[+*h!qCco+t+[@ ~Z6c8ʣMHAT+Nޱ@wzAA:iuZqps*Kݮ )ow8F/7;g_H!vzOsO<\,ĿrTj ]CPZ~e>YGXHMIO[e *ˋNti7 ֨ W!_b,ꕏH4@BTrK3Cí^aVc~Fݦ\!im/Q\O'\Y홥9;p0y[Pn&!ǙT'0GU̅ts-;u'kȧ,&Efq;t7T7^2S o Fi9X%TpKXR#hpcKY)s 5`kk b|^lvUݓԭ+@yȦzzlX#ङ,}OD{$#CftY^VlE}A֞.<[e4dǟ_YaUb,ڳAdo29j~z. D虈ȦTaI^?))Fx[p<G|Fؤ#fJ܇&9 jR&CsmYCڰ[h;mg2H&IHwNGUx*^IvU(] ShA1k7=dM;lrq\L&4D6-EB2 CKxڕ|_lCagH-;Gśʇk%*ڼihI*ZY*~Q)dڧJeEERw2aAIM֋0|L.&^IE2+Z禲2Ĕl7dkbZ J;}H{1>Og؆ m8hKui$ɝ2ip%bYR.B_-X}YL<3M=cl/)KJ3 !-fA<25F ,#ףCP'qX]0d`~ j:cF@Htb6'9ŋߋ~3ba^yO<!5C4O2*]jUb;leYTBXK_13㣖zMwJgoڰ|Tg187a90EXiJSCbVOǝJPt c͘ayh߻EU"C|Qk$kFDD.U~6(I({HfuN$,C1JFv1r0 e Jb ĉ kii3o{TÈJVc~ۭivK:˩t?H%/|GhrvȆ,]! u4bT)60cZw[Y:0@)m ~4xݩ6jCMB$S#qqTPytK'_LԝUaܸy.paކmBLhh/! $Sj_=wX>y g3]VU,لO& jrK{AsX1^/=jӞvڴMUę۩낁gDxfZVaDlgwr0Aj V|ANRp]; ߾ԵE-Y,Tma +)oQݧ92R/ߠ?Xz lB10dֳa`Ɍ17j^mƖѬ-bHW-r+uHT{On+ɔv%YP؉p#6x .Up'mfh(q1_4`IEWvdRFj ZN0P u{ 2?rVI53vO|2[,`4cw 5CӪ0]RN:C,yS2ZT_㖬1l06nrL:/sH ].ɿ$Y6ܑk7 1R(q^CLvcū Fbs kD,ovC`/` i/mRLEYم vyt`TO({zuiyDj­2$R3.(wۊ.Dioe* $tv l!.܁Y7{;3ݱyJű*AE6լg=zzC!x E{p&CŇMr;Hd_2dc3S;vc5$k!-0n7v9%1*IRA6ܢf'U]gAR;ߢS=վUkթx犃m*@mJ\BE ʱC= P3wGàn2\4a(Yw=K.|+Gi#^ܚ WeLq>e(n} d1MN;V9nlP7r\P+m|B]U\&cE]/}b[eU4?bMfޛ, "3)tFwCpu3ۀXI!v6`켖IݔXٗ->'3:-U[pÊ@r$ |Kxf/0N+E9NTr TOk/jW0o|(E?5@r*aA zˣ%DǸKh:F (OV>ʟ@L[Ѝpۛ]/מǴtfyI#pDNMb8N1 9jT,#~R3֤_WB0 "`\2}5rM1L韮zf/4=;P5\ /eqwxZGbrLA?DjJ%SfAK]P(򝒢w*(XSU];'`6s^ZJq44Bo+`Öw7!`8\`-(G8$ei?G %:y<'r<&eb(]l)$E7%@iDf7X'(]@R#M EB4 &1ڭ_ZŻqIkQA{?*S Y1b9px'?ěCtIذ{&Ei|U'w W8%W}64kbSD7D8-"CT?,~H@ m?6;(Ͷݭ㒑-[)#YvS;p&ѓҩg?]iB ǰ W&K˳am`)/WN)Ew*;&r94П\K^*$rI{,JGsPݡ Y[JB)YGioc>'_u*Sc&CA2|!:Mf,ϋͻ lN0lWȰ0|_xy IGُ0<կ H w?h Z3X4=ū~7P>$!0ÙeHT6Bc"bb؝}~y ⽹h>b[pԌ/wL.HjZKs8.`MT?-OMMĈꮯ+neɧ tchDIJ`dXTȰ SkN-oa> &양/5DAP|L|y\\Bz1eZ.ib^qZ{%E\&}:JJE7Vd?'_%L)oi-#NZ]k||G0z8/r">kfGZ%i 1}X^SL9I釩smiweh q.;ϗ3K 3dgIw"a?m\UǑZlf+4{ޘ8II*ehU~Èm|d&X5ע@"D!eʈ{ށiP{K*Һl0VlâskuIRܒ jxIJ ´y+' ?KB.E(uyմ31˫#(ZuS}k1 Z a-;wwFw@=fd,<އаdt.bcOd5ඏ Ii YUwE2jJxg yK\b6#IZ0XȜPB @&ȾҊ R]8Y t2Z̍%*g'-[aӀk@=bP.%Մ qd_LBqov$4&YߗX:nDmvᙃUٶ Cw>1:{lj,/br 1g9aL [ c[w`Wέ/\?%AnO1bp ͶDH[xBfx(1)x$Qnk[9}ml9grn1(k}nT=Xguor5hsf$2mFIc, 9v5W+s}k+d۲< u&w>j7ajR't?=,a5;n\/a>y=I1t,9BC|Egh"4 Cqv_mÏ&˪!_=5SSN ~b\"U*YoE*A!H)f4_+{@%[pSנ vA.yθgh<6FܴW`l S Y 1-t3 ҥ*w\&ɱ&MG]k. #AU(1uQ: l.Ǘ&.*X-o`n>; |7$Օ:ӦsV0qjiX/Ez@1 #[_e3kJQ&xͧ@|i xZwfQaso |2~rh, ,$?oP~Q05$PM%md<O\WW- h}a3Td }/Bu+lM&J[%E ڴgTGG>跠QcA1uc1Cb픅Ȣ́u<<䬟nY7nB,z!ǟ l@|(խ07ʗYO3|)kn4(ϝ"uX.*JmeIAH ayzR[~+-#UN2¥Y==qeO^Ӗ& md%˳bb.nMήVϦ"SKJD,[7'r8i01j̖׬XJs*'>cA!^ez_dH0$f8Ͷ'AI/yR+FQ7H۪ޥȧ=RK*[Lo<+^@ˤ=u Dw^M('kmSɑ :cq "tr+x:**1BV\@vѰ&˃2G3l2N0zt $5]'KҰ}3d2/,itNtɗ!<M?ע1wXdf^nNCKukz &B74?̃Bj觤޹{3#Tê"lU0/|2)BB~|uѴ 琾vdo@+}WWotG,r"d^Ʋxvu3Eif6Zui?G NFRl^ZXg6p~ឰiRgYZ -W% |Stirling_FormulaStirling_Formula.Ln_Gamma_Asymptoticsdocument.tex7zXZִF! C]w]A-MՋhvG"uIBm5h>tXТH`wrZvNGݚr&Ӎ"%|'QmrK5V ~jɲN~ȟٱU8sB@ۦBn6gHA$XNnyݫ`m8htb0wjaZ&7ԒVS@n l,ڮNXt'lF=~EU2$ ḣ─[ݧ~nK"ˈVeƔQ3-T(ʦshIط$R8[TKA~L1KNR.)/x˭~^(=XB.{-chʣ:ڱ&[=@tL5>W +|ۄZs9}C{Jߺ~T1LI r-,VAC-g"cUWGϛ;wDI%W'd#gu JJX8Z'v(r]n霔-[!aȩffZK.R M[PrkC9V{ PBaۨDLWR 6Zp{ GM -CȠi=g NŨnR骺$ߎDYy|d#f"w꼒~Tvf5I&nk>dIrqx_ՖA6,Iޣj&arُT&& Zҥ|jhk-,=#|P;O+=Տ8֭{Mk vʰf[uc](T_s'\7Ooc ֵ6|r]24 8; l'o à5_VA̻Qy)l;.!B?2kFNw*"qU`-u:d AӤUX lTĭ[q{|tsYzrްuppܮn,P g>&K&QXCXd.U'6E?-@kP5 ̬Yt;{d ;o )9~9#aG`%1kLs벒]k,<# upI/Ksc[͡4N  p+.aM]Sr2nVo$켧a\.~Ș|s#OŶ;GpI&Unٴ_# #w[%(־P3h8?Z&\ rj볚swZ|ŗqV E;YH굢fB@&Re@UZѰVI&; F_c {]!FåS 9ɩ5!DQx8wX42h YVyA_}H }<jn Ȟef!,N2ZA[==2O#|敔3$:0B/I2_&0$U?rVWu^3]+,4u*\y.@C%"6X^B/ q.gk*9RU^F7\_6r_+UɠWA9s J 9cb/faB6 F\-,el;*|bпqA k.>o8Dژb?R/sU >o!Bo}p8N-J%h `$, Ʉ~G押{ @&_HT{'%TxS+ q),hfz<7%7a v ,y yV'=HKg lȽ~qU,w#\K\~Mua@y` {!pH |W(WὐDTRw.KE>v[lNuoPЧS I%,L$Au%PU cX^V5]c;tWx@%;ڢN$" I^㶯˿3CbV^{: !fq $Zt e`CkU~&س7}6r\ÌFj}LZj@ᆯ|ޖ/_ʤl' z Aqv3}ZF\rŨe(PɌÅ@0%3 3 |bK҂;d}zP/ ,%7K]zCL^E:p{|X@ $U^.=-΅jX 薒@ gn/^32{>|x֍Iw:n=կ'OxVCdh,AFa Q۫8\`Up$^5D6R\0-?})W\@V{gUU0'.g,)'D!Qj_N9ϼ򮐍-l8HNn%~a~BLzQ?⽵7%) /gȎIt) 5 W`0P!"‘]v| ~:\BU]Xt .G =4gٙ?jL+ $)Y 3#jފN @B$F@^ܒaevHnW sFDAZm2L|d !5 مS8Ҙ|tUwZ+{ ZQr8v;]aϛ.Uηms☪څ$Ne<:%-7&.7ՓX "akaS+hkSt%*ݤ3V׊dE%Ɇ+Y@HL*WHycFE\{^0FȌQH}iXHzZj**B )f6;Ts^ #>$ hKQeIK!$;Rn}r_vþsչN+ΈFe?# `$lܾ'b6z_ǜq>:փh>XxS$ hGUI ˈ pv/У(~fau(@,L#;8R %(٫l}$wVq|vV_idoX8ϫSeB>.i̴gI`W܉5>}-,}tHx /;fCɲT% d^{I / aj\+s "I5BX#]+&uD\|Gx쳄fwP?tOK`()p"#Cu[ԡď,0ֳ6Lv({qP(ghڎ]M <Qp#RGVo IyeK̵=mJ[\m5Z8=ྃ|%P HKQ,* $gϑ(&(bG_UzTZ-,$sP+wSɬMK}HjCY"_$PnrJwh"pD҉.\Z`.gFM*h/˵`*A 7_}^W ɪNQ_p42ow#_ TF >x"nug4 ڐqVd7=S1_GVeGc?5sm> s]T0v%(qh!:뽫N&X)QhC٥`·bHlY0FGDd9ҟ0\lj*ߊ" y oіi?;;;|ٳ^ 0UE `nE|Puk dtze@bz[,P-nNcYu j@=F҆EK5ur

;cYwCv}Q\a&ť&5\6;c, OՏ\ bJS?jj-.jv(TPFP>YRhۂUb6vyM8V(Lv?I$ݨ= إ3+&g 4Wa][ ފ9cї>EE$'İ.qq)cJ`)_ۺ *πm͙ՀJb.߸n{]hˉWN&|39uH'fywiB/Rs(NsAo0$\|0ZSƷHجʍOD@l]@XS1==qA2(ϴRҵYpj/HJR&{Jd,K]5޻V O8~ed""-[MX60-qY;~}Gq<ѿ!ֲؓ,]ǔnH01m z 琒M] .X56) JDal=5yeT% ɍTopSg&@9s+,xF@[l{CͶH84r_X]v1&^ֳ[2 '3*dxIvbv' 9ȝyis+<)!֞ 6EFqE=tylxcs=Q HhaC_Vݣ_;DM:LPB-E+JِۘwI%_Pp]noI$&B;X!_}vA"v)zOp,;4gF =48оBI/*nK#UWHیϢTWhsX%#@hyX *Lu][Euʒ%Twna(<'9`Cc>XIS%|!|*v&yS yz_=Km0Оr!&C% +G+DQmٛWJq؃#9R(-Z !pݧ+HRgHavϸH \i K{ ?OM>G|ifɡB'B߈nAS F$2Dki5ø$l |a&pq!Y4U*ٱ._b=rvxsnu&,@#޿g#g/~_=;oOٻ# O g6`r3|ɫ`i/"k c Y.h hc>Bx5)ƝJ)$B.v;ERQ+tg')ontc0 Jl .l GbRP?Bgp,u}g?N(햝Bxc6f04A`~\Ce¤dHވN[{DrSc߷?Buq~lO#4v{Z #v4X?_ړ&rf z R!7'2;0:j;hǦoUU$*ttHc㤍Ѕs{UX&h;D4rF-ŒIi\uWZf1Ӵ n. i.[˹qm=܍6Q{<] puyb+-KR_M;>KHׇdUM_="Hɒ1j6pr6n&imW{xW.ܪs fϏq@VTDD:L53uU#ƕ6*~oPEDhUpW+x\0\{;2+&01_C z[>a-VاZ8÷Uɶ}$DX4 h_Xѫ9[Nr}W ַLV.m~֒ۗ$D~2\u` oHZ2Ͼz$p·JW{ Ϻ7u6Y%ml/-7TX6#|s02gPڹ{܏eBsK ,XE\ rWG`rvx_ߖ_ ܶ^;V?Ƥ\>lž-f'boɺ@-]&Q8{ jjNJkC(ODEqMvkϝHQ9u^y.L wђĹ縓{i q;_:tIի#TX1'C:>$H0k#pMMБBtaQEnštvG݈kņHAՙԼY8R\J*oƾ| >(,_SN]SW}+Tʼo~mbmD2f -_Rz{Zg>$ka@AV/URX"J;B3Չנ\afmuR <.^ R@k м( 貶c:kADռHZ$))5RIXgTR;RT8jݧWIتUF^U; ´wԻs'ghH_[(iab"_3&eKswK G1yq^R9z*ۛ&tX+{ɘjIUuî yG+X 㐕!C-ڧSDf d^_%iqX Lrѹd]!܋\ kwmpj𥢫(0C/ZͽI=p^of3f-Z8bOSI)%S!?S%&)lЮ#rL8<_뽻6xN 0B |J nZ_| Spt_FRD+\U-͐~:JmF0r|6UNTb]&w&<:Ȧl" fBQX/'bc>  VCr,i11gա)x|1JѺfQGc}ºagbϳ; XA HL_'*7) h` OMgh=Pfa0QI4T(%NgQՄ e%W$ߛ 9S?m (Ed(i ߠY\Yfu]+𲜏hl-Kx@w;,Mn:1QMQ鯨*ItaHXNd#2;HqI)=UVOV+x:&ވ&Dln}Gϧtkwb$Ti#0-?h4Y!I"xǑnB21ZrwЭ"z;Xp +yƖ%ڦ/4ųʖ4Mn t_U7Wğ#Ͷwy}=jR܏{֤ Z B"Ph~Ga g8SGNkB `A(ey ҇6U|RLG7&d"P-Sz!K)"tzf1_XFŐ%nf'cQr9|aM]z5!BnU0NN%e4˕?yNr!&r%9N&hk)>V]m;s[Lۻm G!2mA܁)'z ǤLwͦ5ޘ:83v\G ϢazL$`lLMNq H7hKN/5)]QQ?{z [6?$s'ĺ/:I^%y4X(1I Sj^Ohi2iQHZ"c`N[%1artTtDEY6?pMԇΚsͶLBEC$pʜLet a0*|N23h?.rb7M薪{Ŝ]]YX3xa|{E2s7lRE}I$yR9s_4;>eD")(ęfAtY*)pf{m;ϊνy<[} bX].\sHkD ރ4]jZ}ٟ_-aAU|Uu3%'V!F(C _72m5t!+ 5TU L'cKXuѓ>Ća26G|5dz@q+;A[z\d80鱱2AdlOqcQ]m,Pt#_J;jtydy$mi0F\FVnB|p͜_lYx?X3niyZchi8F̚$Ϙ&,Sڊ#թPTpX(A%_݀z.r==cn+o+LЇ'LiScRy3F)Aƶ˞q;䒛*xp7ЮL'L9fxlOrk!tQy>$OG#o9Q/_:<@KeN,̤Q&]5SdτBIINW=TqgmC8UTfL-sĸ4 t&ώF&+L:y0!-5։7WB_}Phu9ᘆP#9}%[%̌2r B e/ie$Hl m0OG^/ -PբR=VI(mGL !ND&I=VldYf\ -7`sb~nxD(w.*%B'@ b1/AJC`>_fQC͆&_ЦtVhƝ@4Y?.9v.LNњImHg;n% \ɱȌ'`3Sk2 Kx{x^#R4QIz攽$,#UE"w`f6Irc7/S}%Icw{"x;*|vu}Y 4A6D6|hę=ӫX|bH, H)돸7k{4qM "50ДjiAXU&:T%F񁚘|Vl"~01AT ؖeHTA*oX{#3z uxUz|Z҆îS"pt}z~x\k#5^҇oOܬbtwF3 (͆abTQ@P%3!TZK}w@>c]"eOPT]"<8uAu?iT&9.%7tH~K>4 Dq /^ Z]jײ q3)Wp.O )*R8>ߑ"dPWǒ$M`mWI_Bl8h˸̘@@5Qg?/?5фкhxiƁ1w ĥ5PwI˙b2x` ж=~=e!2:ֱ<$&Y4瀲dS$Mnթs!yAVTӟYqAI/Ko!'~pzwC{?=}a{zrub{OEO=oT*/xvIdlF YwM( tb:,"l>3-)X`Z]#J`C7QZ|ELVnoU,tHSc~),e= EN`#5́w8X56zvFBhjru /||DU6I4Ik~^GrsyXoF;a$ЍM` A>}sm٥ Y5Kld*cC'BLi$@,,ٖǂ( BҚWUrQ Eo<Ub2ԍrO+&rY~r+30HhQ^@:(e9OYʊ>{Wu.nj61ڣHq.q- ^[ɷ"'pQz̒ud\e ӢxP*Y7([tFŅ(9ˤ8Nm\kBS XT/q`^?sKr٤/6 "ިJua7a[dfVZvǓO.rAdh-ץkj}5r)1I sz$#-NQڏE Nf #&q$ n`qը_ C)AZ }YzK.mcJ))GN^9ͥ|Xa{t(qE>TNiu@St'Gwy'@Fw }1;(0ϐ0t:zb̰Ѯ ~ |sqL.¬ e j%ǪحR$9'X YsWƜ]w9Z88&ɘfUX,G7WԀLaےhT1Aȕ\1*;Οa\ϲ5U%WwE'Kqg[bm{"Ƃ>r;PQ+~4:SeaR;dU|eJ}viSqL's΀6 E!! \oy4!% S3J+-jthKy{ IiwA4r _!D:jf5a5I(xr )$+أ#q8% )_} c5%n\w"B9m tgYZ a-A% TStirling_FormulaLandau_Symbols.Landau_Moredocument.tex7zXZִF! Dg]A-MՋhvG"uIBm5SMo.NwoXH71. M>a'h6ӣAAnՅ sNCv..:$ր? 7_Q `6cM($0C+λ}]p;.ҁuT  ϻz.ٕlԫ"Es4gؖڵk7r鬣*Zq/ލ>s>ʤNEI3!#8O2&xs6ǓUԐé)k~UX`(|o88l tzrYca]O] _66eyL4d5f#,Q_Cc :Ybڏ3?:V̏}_[3l.eZ,@+Ov/1<ßϞEu\yryJ^lT1Q C篁ނ$$'E\|1vIj8@&XvY3z$0K`o&Gmcčұ3ŲQ77]e)34jD#UO _WG8)Ȏ ~h`S ) i}^Rz&T;L?K(6t㓝avr ^ (-r uHϳ^-P<`:3B}Gފ/}43ÔבBzU*jFQ]`U$Xhl&]"s?Xs|My:Jd0)cs:-;VdәvuuYl0w7 (,VCtx^YSjJ)dB]T}rʏ,9(x Jߕ%R>ξ&aU%pﲘ̍Z\+?Ҹ ATk(Z@*}{\Ihtyn%ڲdx _Z͇P [tE^_v]<6n; <"VFx*qDA1Bf*+y"y-O% tStirling_FormulaStirling_Formula.Stirling_Formuladocument.tex7zXZִF! (6t]A-MՋhvG"uIBm5,ՏbOMTӡ96*W$Pg>u6y= $*Mf!&em1by,Vb\ti6ug+wps\F؊/w#|irAQyPSX)k\OH\[ C HO;YD/ЩCEEQ 脬kSM+~&׎-'_mS?ZMюH=@q^EM]7m,1٣cdB.\ W_sQ*TcSKc8jb#TzTCq6 ռj^٢Z1R;qN'U:s-a۔W#|VJjCmr>SH~ex46(/[C5]O}+mڲ׆qQ:fb:C9ͺpЊΤxQ-6 yoS.*Cxҥu*v`Z眰x$-ѓߛ˴~iAr}Cfkg"|/%]єbP?9f3f(c;,owcmus<b+"eBS>*.lM>Jz^(]W>ok$jN Ҿi%`ڴ;tZHQ}3J &fTAyLaΖ_w=vjq^wmlv?i4gTEXЎuRbt=Gx>Zcތ#~S&Jt)PN\k;Ԋ%>i.g d}/ ^~3PzÈ($D>"# E͖оr$R)fQӚtSgg勑D<^,&Y)w%"A\RV3nV4c~y`JתP֕-rlg!u$(Ɨ;qGҐJH/֎ {t܇_6dN! +$g~ (H`=3s[(MPjHogr}uVcv346 2 }j*d5qwe[3>ױCx$+C!N磞qK1|O5s?5`tC<=NF92:L?AgI(rjK(-;X?Si+%X1tdt6m@nWnG D2,h6 R7Y7YxMɰs+X9H4Uz%rAVX-}=4P^W #!eVDY_xj?_ 6hwg`9>ElpV3&QG>; 'Ҟ hI^eMH͆Cz Z"=׶\Ŏu)uVkM}pS L3wh:Ą ][K$7jG1./SY2NłmRDȔ$7β"9JP,r-1,1뤧̺ej9 hxAmةnoXa0W{@ߘ '})VשcU^վ29Lڬ tqtb2ˁE pG0'_ATCXZ1Kʌ$噅6/~ѐT0҆qȨ6֘D^P ch{ i:G3V/*|`| .-Pl^&h:?WVjx҈;i ;mL!boTپYۡf^r/|nGg[AS L5"{0rY; bM_ }~Sf(DZbWSFTH:gu>1K/`6) D2_Jhr3a,D>D[ӷ{Tù{YWO-Rn%Eѽh%۶X\酋2z3ڛuKG2P%tdN& k-īܪhBPAIu]5Md?Q*mTTaRڬEs \- 8HP={Mz${.O9"ccnx?ö;OOY DR`m" N2H˹ȃᆑz-~ r+4ݢ4U+H0d mkTb|t(H ݸ<`9Մ'?"|Wn,}hZC{:e#;l~ΊΪ4ypS4gƽqf 6n^k=KI5;GT Zi ]+nRq"E:@\o6gu:)c#m*@zA6r!m:&4D󜵮Nd"ܳbY!VٹKΘRz d!Ia? ēW]eh M1Ŗl~I~-i L^\B-Q$AZc6mD4C8ԜtBЯ㶋 dXw~+ݍ i-\AuD~~-W2'x#6)0Pt.9@ߑ%+Om%^L'|["tBRnO+Acp%ṲB jzC?]ieW\OAOD:VLDxsF;"ﳪ@+B۱eFw@A7O _Y۴X-v4EޖUyL8x/wzY;}VDOdmsUš=^\  n>roc i=xe9SS3e_AK8ٞFZ2N[.8}бWm`ÃIY'`{6|,<<d'=omrY,S?{4A vC.roaN|W|*^,0pQl+P93|-ŋh6!΃ؑi$5ur1&X  z/H3@cs7Đ_:mA[S8Mc* q\%.[^}7f9]*ְ)VsQ&h6l;TY8} ;S(YZ1ߧ!1T>#HŐp~IN?!.hv${ l5;:€- b`D-%ׄ%7j/%,jjTi@OQ9y  ɟUbHtBjdzZ:=^2[N;%{Cqx4n A,хl-s4vW$ ς 'Uxٹ89N1zDS~}$]K ۤۉ"l}V#GEjD8ib|ǡׂ\W;x@i}znLfdكC@ߌɵ"? @z;ϔTPm-n^K2{7a\gr 1;b:gUy 0< "J 6ipQ{nx Ď12NFxU׀7DQ\"Ej_HH9OzZOHs ؝K"t hb~eLT!#Z b }8mQ#ȀL; 8ջC^'8gUqXffTr "+3c^,~[h+W[SqFX‘l>D%vrVrhec?z =m;t -ۛɊo:43YM ʛk*#{ C\3Omol>/ތ#uc(?+}" dTV4+{mT31A\ƶ"N+9^c 悡A;+P:/UeT\i8 G+AˢيYjAF/~4Rǯ©J۟`[g-UQbCͰcB@V%Dgt. d5uzin:y0%vCȟN*WꆙG& XÐԺV|n#U As`|lwF @*=9ǡ߷DJ?':*Wa{FkcTFyDUY8~%CXM!I6Ȍi2L umvԴ:=]C]>.Ed;`~>!`mKQ5b6Y$& 7/_J{ ?5b?!37 %m D  l|_$I>. >^?!)k6gYZ7"V~4q/xȆ;룍bqB*+y_q/}oFqUufEJuuC 13[|-0cf"轗  ܸgkN8 C:lhЁK? )є0.AHE50Em!6^jJ ̄R=g<q)z.Ұ9t{}DU I4eF!(R9ǃW>A`\Gb]ReSucr%$fڷ^xg6 ϟ&")yw:| /.|Wy8Jq8M hF,0r̄k^Ԅ36FBQ%CLMV8l@hq?2nHu%7dF֝_'hakv]2*TvZ\G]GQ>?D\QIA>*j~`½j[[2kH@:o[r!%HZ8v%aɡzK\xX> 1B"T~ SeE"ƈupŕGRN@D&a;hiJw V,`$lx|4 7^U^q :ZǥЯde 8l<\XeE?X<\4ʾ.]L6*ҥQʈcd~NoGd!Cv@Ad 1J8?cӢf벫uHXz үnl8^+L(l/# 1ƪ'bB$@L׾{^ 쮲p̆bKH j|oSRȍHpI_u!^Gȏjvۖ*{+J,%Dy oXbj_DZ\t"T Q:p{!1#^i5ZwҲh'2]57%xKfĆdwkQulb@N!4Y[B}zH3t!GDC\:d? ByC0_Dt+^zHܾޛSvVV|uM&7%Pe <)/$)0)C6g~0AN-8rO"EƤ8ń|=E-JGC/sH[VS4 K '3e։cKoӨ']۰82R.!TMq*tJߟ$OPƄmnF`mJbh+Ӑp72 &S |lKX #ܴ"Mŷd2vN+XTl8O$3fpK^L(#j㑽Ń}#rp1wergyM89Vܹhvnƈ%LM .bFA;7E谄V "TY_'fRŸf?h%zpeIv9/Q0N+4R978]#.8/B?&ӨP~:]QO;W+/vo8 `)ua9ݕ"+\p2%D˙Es=c, UFܵp xROc5[2О\Wmާ[ 3X}e7<삵C5'@3Cs Hqx\V"à{#lKi&ju%,Ʒ]\忺gD.z29&{"qC+ †8=J: nqF+OCn,nF3Ј"8j-`R +(г\KcخGRXTN } K FCcS%* ͺ@U0<RL~Vnq kh 9+>86Zc;\oNZWX[.&JtqAVW9Me+? W쿆O)UGznbSvϭ`@SLȁa3׵Sk #iVD/Q`SHky{E0ҁezLa#ު{48"|;zp9_j_ܽ6W@"17P=WN/X,ΘgEvs ^W'vn~!]徖Ɗ87~]`J=  Ѵ7!lYO.ȣ;lH*G*%IgB s(lb&muϔYĂrǪQ<U<`C&{>}8vbJ@cA͹|6v}ޜ6 d'.?쯩pQQbͦȒd_ijUF2Q)m骕{2-%_GvtJq=A.Lٞ>:i>}B2|٪a6W={*Wͪ*a!}]QDa-nxRd n vιunHKLaZyy' s&JDajlNk%зC&"$gNF<*${4?42;4Z7 ^b< )1K,әAC!ɦ@@7G,XvtoT7eM}}}>5 ~ Rәo{p**8ϴ\cn:tTE7q2N89_80)!}20wq7$>mՔA:؍+g%DZ(%[vBeJ k)Y좁t8KAƲ6JTuA"p~{o8{D-a߬Pejf3b}㷆]Iˢv{ `{v[% f (Pk#%mz `2B{K7%mN,aǬ* g"O,צ,`Mv{gpIQ Wt}ͬ;hgx\lR^ aq[B4U]:_TTw]7SCn"ZMXjw4}&*Ѱ=/]RgYZ J-C% $Stirling_FormulaBernoulli.Periodic_Bernpolydocument.tex7zXZִF! ]A-MՋhvG"uIBm5FU8ɿ4^Z]"A;m)+ph)$d2]@1  Lpa:\xl9aN̷_;'i}@O!x>˂*1($QMhR!lJsi`K;E[6fbuli_K܀]GgMKwUeOݣɜ;&dEOV /W%UʊBn]V*Vq9Y o1>袄WA^ոNGQƶ0Z>r}sz}l3d'?xk0?Ta!E@秝[SoMk:#D Ō/ȁ&8L@xXs; W4ߒg^]q$_ZQKh!$W]QkSA.>-IDTRO1ix'=m{8'w?eO@i Xv"\eׅa=ʑ }ȡN`mpepct~RSsU;Cm"^ܩӓO߰cqH#^{Z~n;L;3@@K ׫? }83Sa[)#&(J<<195 3A-y=y5(KG#pEOxPa,~soЪ eOEv;VS4.>qM2m_Y u_0yP1}aSy I[Fh .\:]~z 0se>*9A>ۂ:'U,9' `sFiN%@%:(%C]Z& `[ N?X*mfbVi< d;_T%GGh pɭؽ1ko -I5+u Cp#m;"\7sW =֞QPƭ<04Z s E|*z siԊJb q͙Qd/z Ԝ<4cxo1D><%{Պ [##)һre <Ȝ +Ԟ1= C%[yfqg&@z{3yV AV%*yL$tr$x4_AA~ka]{NM%G#I/:yUJC~Yă%ju$*ve2b;escV09#p/v,O*?WM R#C5ݑS.WVᡠu9 x1"t0sYNʋ]汹C{qXoxВ-"n^w=H#M?a: ڭ IO+xQ$q!-xq_ oSKmuRwX0G#[`C9@j4ee;e@1F_mަV%ˋ\o5ҩ8.kW>(~צrc4JBYXTww)6-&Z]6 ,txc'RIxkROzJ7br}'@X.qp㫞,XڮBK~5t%RM%Q 1o:'qL?'ik/免t]5Z6ж5ĥd=@/`+.UNRD~ykۥ<8Bm|µKe/䒤MW6>Eid{ ԎQ(tk. mg:^E;]-w/0C] | 5Dov r%vh"J?PT  @8) }EyƹqB{Ì8<ʀ!p/<怺EXs7zdiEJX@( =囲R؋/MK0/^^wd 1Ȕ-4A6r'⿬Y rzq2FABeoٚjеx<*Xɧ̛q{1 ʊD0"^.>C[zM^2cM2g KsnYLZ#% |NYgLA89&Grot"6Q̋yk9<}F7փW u"vQv)볓Ck8IY}ce+cmj@" d>M(Q\}#|&?4!U>Eⶉ3Y.v]`=2f%hFZy"ZtʇS8#;+r\5՜S>9Q!_>qU|Q?xϹ8RbYcڂDJz> h @ ۻ| 8Tp^M[e?CU]x@^9+57 /EW1~W\Ȩ7@ U˟E:RO33j7|,8"Z7)2ik%*rj.fcښjx$x3}DE*7 mGO <عsN3{-gXoOb_8ڛ?J\?.%QN( .mNDŽl6v}q]B?DwުQjGfʌ,zJds)F)/CLG.rx8#?o-gvl0F<$ôWRPZ Ir[E-EhU@Gƌ}yYa/?[](مxb][k얟a15"2:fP̠$QOv~߾kwHU'YJb>V=5DE'vOY\5,=N׿(8 .A= ,Xs{vYر2+<..&KLJ/,g7fe#!SPfS\*}VdH6ғ78~A2Y{ cBg/3F{te豋$n#+DhJI~xTFҮO4,8_nTsdLq fmӮ9:}v x W#QB~_ Y3aO0\1U1Pӻ-1F*LFP~A59a)__m;oo, 6!r @-^M5Eэ10s;ВzV` vOkqaAY-י0UҠnʫʆJV!P*2\x$+rJ?(u fA褟o|DAA!pE0<2A|gYZ l-?% lStirling_FormulaLandau_Symbols.Group_Sortdocument.tex7zXZִF! 7]A-MՋhvG"uIBm59>(};SA|'|D&$f5dnFAlhGU5*TH?Hf~8Qb6#szSF(XBR3v5YNH%ᅱʫLg6X>KrKͣ` t0ĵ'jeo:ZqG O IxhQ0B>ЯwNMS\/mBtAIʳO.eG!uZ\}/Z3~`@V[G˻}PЭưl]Z݅Uoe/K#Cƻ7'VZ+SZ[mvAyݕK& ;c?N?@6cPG}i(K$pP4nsqH=4{X.c#naˡ}I[9I* ʠ=DzlhdZY?$O~6L8 !$-B]"7֔LHx4o,C]G C##R+EM/&Ʋ(^bԵFh4JauX(R jҬ̼\&tVueUN CSf`t+@ }]0G\Ֆ0mf1f$ ZS(QK' +KVx ?:xU-Q%IsbgKKd ni"vu ,|rJ^>y[x4@Z; Z'F5peA>sR]Y ֭FEC8Rܥ#YWˮ)xSh4GUiO!f+N+Қ/kr8Ci#  _hK)Օy! 1ٝ!Q=v7XNݹ+T zo-)֏!g 3GC-ˋWKɎ*xw3#$j[V7Wlۣa|n[bt8d:2^c3IͼOxkn}`LL=G_n!Lnui.ȧIf}Ni^ҏcX ִC ^j|LOQT;I DTmg)#VΟ܆sp:{ (/=-'D ~+8c]Qmaz5%C|8Ug^(DQ ; t}*RhAwG<{̜a5%%zO]hgtw3I-175᲎ArqFVcwzN_i mE.^ˢr)n!~۱ܤT4r`xCrW8F)FX7ǍЭۻ<] 0ݑSǟzklٖ~8IfC5R' dq6 n=k6iT^{k-eL Xń9O::B<5WU 姢d Х?@7\o/ڿdbըnp3Ќp>BkbŘ̏myAGJ pjr/`QVnB55coya*P.XIݧJ" !A`ƆX88aq׈G=%,C$ld=18hJ+p7D+VKʌ!3$f_;L TwzxPyiqaX9T*)"xW=-.(`>&/ڽ!d! SV1@>SpsZ bOl-;扅̡8nDc<~gX!|F P/%k,,+pWWč`֜Oܔp],+` 绦2j^b񛀂гTJ]jk%,9e8c:F(ƒ9/eߖfZqg)=xƪBVgӏ3L8kmMp<&tHlR\~-E be;z"TP[eyɜib:*0D//ß~!UO\37q:vY/.}Cf3O.QvZJx:,)6w}" Òְx0DRvT-W2@q193[zC|&V,z@X=Ji&꬇Yva,FnboH3zjz!fsƼ>,.WiP"X׋m53WkONkX]λ>qS޷6-`:ye?!%^A҅OJdy`;+iւ˛t~*bILظȂՁ8dBcb\ &lFi+jW/dqR㳖ZvgP[pDqWLС߬waY&^o%4z`>l۷o+^=q= 2@,5ȏMfM=pJw}yMZ4F' =R(oSp/fYVe28/',ćB8 Rg q~lJ.64"R--tAFKV| @TVo64H{zStX|ℋklxl4ZPTj֬H`\vqCR~\bl\~_OqaJ, ǽ 1\Y5z)uR?V+7TPXejPɌl8 cS^_KNG{]mƛ?޿rA,=2&Q=d4O-M9% .)[]R>%/m-K~B$R]擁jtVCom.\'S]wuopXoKdcנ7Q$ϜΉ*#1GKOԷ78Ҏ; c1yBКH{JޚX(CY?v.;Q)Q~T;:gy8SmghӋoQt;`ugrVAQBl%C6d{vN'Ër> V%^"sszAhrۣ5)U%_WͮqX[\T! 6%%Rõ}k0?.~$iTk628.9m .D 30lΠ =DY 2A~7qmG7 ` c-BZLX{\ep=IS mgp-WUJ&c0Y~)"A1:M=xjT9@഼Dv}?1du Er>ΘߤˠP [ 07>BF{V=y\hNɣu4}{kKij}ApK>㽇%бgqiapNA7u#; vFThlB%cCWpf` qAiQz<7߈}Rî֔,v2}R4;+ /-CQ8x;hX/Me'Rii"]mxuoS^^ +5%n@ <}#1 ¼!v;=u<[ZfTg/cU-3 f|Pu *fmY G4ɸϿÀIk|0H$OY^fp1Ar?H[2n1P٨+C J 8͝c6EE:B>"Aϴ!ӅUy" `C%WS,#n.a]L1T?؀꿅YAL+:ULnA)M*&}7Z șU-5%-l=ɊiuoCBJŘRHANu~{h+P3H[ l aB!}}/b5c{Nv$lD_T/_`xW%iy }4;p6Kن``gG0\_}T)\Est^OœW-$DN(")Tk9حU* ڄ=:PuL,UmL'5K1^uiRE?sPmԭNWS%"`$7 [ Cg/Vk"GraQwZO\5;Ȑ++ʌI!PePZ9+BPd_c,Xд^I* {iW=45ym^'pǏz".7KzߎhVzh=x9Ml_@C9k$ cWz^^N*o%p5ֈd7,ޡ|h/c) xb?0cwT~Β萗A\.6y\Esݟn-|ɷU;Hg ]խOq F}$k5zt[4}"+o68Πҝ+lo<""dQ+7K`vܳ>khR_)2u`?˕`k_ }J;Iφ ~^fY<ֺ% h) SsᘞE&+/LxH=yުY<eFgBk&f+[gq^}r6Qi  ڋd~ P{z&˥&6g,;it-M )n/3J&vi12YWG%V Ce%=(j'۱jF v?A\N_$;{&. G rz&KýgvNw ?,4Z w|?ɶ5MO[k*QPPG<lR;H/Z^]ș3Lzpjv㟪L&*9uW¥ל%IQm`i뼼hN# F*o<"'(A}Qd5hؒ72FWb(n'rM3dx%PzJ( 5{3ǖ=Np:'0FmyQֹwGo/ 8"lBI QJ@Y刦>'0QdHMׁ / D|V1G퓀/5{34Vdq[݄PLs:q;mc'ޖW4*s6\-2vՇv45s-E۾7WM=Yv ]*y`Ja~߀Q$Rmfmsf;@124f1][=T͙"wVE $dwgv^hװ$ 0csgz$R*۴Uܟk@X#Aeu8*0u gYZ / -5% LStirling_FormulaHOL-Library.Stirlingdocument.tex7zXZִF! ]A-MՋhvG"uIBm5,ՏĮGp>8ٗr"q![B+ձ4+'QӦ=&jn5!+Ji0"Yf8F@uYKe"t_#9;OeuP"uLOT4.$>bY %›P r x L fbO?|QV-1h,Q;o*%SR$\/\4=VZ +HB`JF;n lS WFppK8GHDk OF0  ,U=P9MSg%.<|,.çof$tflF{ DK MeAh٩AYD 0^FvvU({ GƇɇj>LJmyZaZ!zTOԉu. ?q`t'䘙3kYOa[]v)A7'~ E1`,mbY$uc E`,K@.J=Ceo5`zTwNl'G_-,IVo`/. q!Ș yE#e/U8@Z u)TǴ qSޢV[u9Ƈx*=mZ6,QoZW)\ƴS^寰y߶?#Le"M#HgkH͊v+-AN{s,\KN"0| 6kP"hb6}i4wT\kVG՘ug3ZY`̷hhX b˛)F -3% ,Stirling_FormulaBernoulli.Bernoullidocument.tex7zXZִF! zM]A-MՋhvG"uIBm5C B: 1cYʗv"zeF,8rVfE{e~Yaքe;Sk~] q[8iy3A(&ڵPQxU {䗊oH)#2M7Z< YiۃY@ HktcS3 ^)A(ĤLABޯJ75oKP&.bWKY?>[ϕBX}s-z. =8 \_jt ftEqCu`2ώm7++``hL %x@kٲm:w1r 1FjxYgм (GK[&Hj\I]f-N֐O  \iƾ&ݰ*yO)M GY7l}Sp6"|szSR|21oXrLw{hn`Z}@7 |䵱ˇ6`7NtXwTŰm*lm*R3-ͩZ=3E)LabӚ:΁&y8%+2V*.lW*ކPAEqrvBw *motmSlLzj+x5tGp "d=KDX.ܽbPnr,a Cp`ESŊqڹͷDCsZv!6%Y~]b+>ivлOԳ(eI]jn -~-^eFb*aЍ֋99( sڢ<1'@.ZG̅D 17~wd@sI!W!MlHU :fÅ Y~['|m_̀,/.JI+yw2ԏ@s~^o%@e.ALNRb*tD]MumD˪L/ǍmBv$ƺ^w* $#HI @jɋy fB]by]8ڡ\F(%0%H Nɣ;[!2˛9a(N'!1F,%+V-Ƅ0u oS(E0Qwf nsLZC wy7̡Azl-rx+-E|;Pugaf<6Pi-~4-3 ^sr{7u8qI'}c&#'';tDq \IUSAف|sc|qpУT %f,j8':!FQ&<={ xC  FQ {/Vr5 $T=y WqΙeneKsA_s`8UsIF9NZlH" 3v ˟> ɠ,HǜL4OsOT<9# 0)߿'w H`~JFJ =Wb14?ĀA;km-` r!GTxXT'6ՂE\+$iG1|>6e\7mBӁZ_A65dX:?;q6ݨ 3 h?q1 EV5N}۱RuL*wxJQj>Q|ujJ^ mJ- 7uP_.;.(=Ű`f:VcXUD 'j3e=dx e)x~f HzgG, LT~Xlx}vY+>qg/4 bҼEf~`xte0oIX74fL:K2gؕΆxٮz'ipI9%V$Y;,o':R\aaLJk+,f9QDeCȄ^6+F6 ^ BeEߡQREN̮x/֬$5FDYp1oC|!KSMʍr$X#gPz&tő'6ObT@Ӵ߳t@j@=:T3 #U[V ; {0%kl6|zs-1[I)VW6 ȹ9l.z2(0 5;/62)Qjc@?/(\UNL8M4bafؔ!2-wAB:tXXi)$8ِO^'<j,W~jrLZ06Ir"F24cMÿy۪tˉ.M(2 6iɱ/NρBvfo͖}k{ߕo*-x?{כN\%#F g=Ŵ֠'Z%௓ed̮cHH| iûEَ)\ 캔Ϋ ]vW,C{_V[/O3Rİ(xM3+{WZ&FRlk1'-NIyy@U2rғpBJNHr΋1]ZC>(ȍ!yN1.+-XnִR_w IC|Ne#Lj4_.7GGu%+@\jĮ܉,l"(i:¨ZX #|[ PX[Hkz~qu˜.I .hgMg.>f9 UWE@ܠ)-P[? YHmȸ]J>PlTr  &1$/'GwӪ"45gW]7j-ݏz}IQ>x˷aޣTyT!pN*AKCUiXSi=DbkI˓EPIv&^ȃ6{`x݃k&y`%\m%5$[]9P.>JP.|MK(L3I jG B:2fM .r xyhu|ɖ!q%c6{Hݗ39!GQNϠ%I馘SͲ7 `HMvw(ɻT6cC)l;|^'q1ga#!HߦsS$urP6W%Y!ZI_| w!gYfW-TKaq{gdaefŽbdaBKVz0u>]ܲ NMI8.:<1k|?Ho΃%knke֌Qڳ +_ NMu&TsɌ5٦7]b.mG=dp?q0wU]m^Qm ww  *[_J:,?! SM#FZqv+<" %P ^G0ǃ8^3x3rІ#4 &DVaO}Z[ٌzp|)SvzɮB.g!$_o*dՀim7uzgʼnYZDF*:)jt!OQRr["Zmƚv5iMm-JJ- =CͲ5\Ӹv LfsCPC`xe6?-qMc Q1ޡl"05k3oO.2(#k& lka'q <&D1VE8eA=hN (4ڣ=>{ikyI.\AVfg.u򸁥abV@Gٛ,jդ6+ehj LQل ŊqW' tK>Ǎ.4wԸ+ZA̜ӣv6:;~FX7:5Cg" .~䃩 v,<|j0؇Z>Ѫ'ƦbN fmli@fGt̿Mu6\J#;Z94z9;ȠN_ yb|ܬ);旂VȢ(ٕY ,޻ .)5ԭK_ V{ۏN &r+ g`CRU;7#Xg.;|u-w+O@)…f % 8c^ Q7?;&v6n39G3-R+i_5ES2]{̍DY"Qv'-uSCyld^My.Hg9X0q2L-m'AJ8J HOwsYS+lT[n:}MxV?q+UT v109k(ٱ"Ia ?K~׾ =C:[[BurMt0jS_ P4_7یH1+g{}0-b=WR -渭kx_g86JFH-Դy$4?\XC0YÚFxHpm a.S7ڂ0FCݍCG*{p0k솤jj{!>BxbP,6>R_OUb]%+wy c/luZZBtiuR>/ }TsmSt;E/uXP;ONLCݿ9ד!84UxaLҘw: fݾ3؀^<_==ޗ)Qisf!<3C]=&c6\ pդj){eWU;{B=yNtYQƀn`a);!tŃ$F~;\(5bgYZ UЩ2; HZ zh pxDY:Yim.Z?ab*}r ik,[jMQ*5/НHaSBMW/vgjFB9 ^K S#,`: VWepw&wƅ,ԱW84PDߞCFO&}JyaOÝt Qnw9 (='ޯZ2N}l ʌ<ԛFREO)hrBI]YЖ^ ן=uOh hjqdP<D!~LPDڝJ-0bd4(BJLfD_9q;ςi3f\Ȓc''ɴ﨩e磥1^"hG`rY$slz{[Wl;DWskqֽk}7pgm)[{ L8p q?B\"ϯ JY`D ^! %0i;^j(t߭.B>$Ʀ'GBĄ(LޚSĒhr'2u>Včǥ4ե6 @xP;צsVc*U6ȰR <( qP)--N`8ly_^fޏ (m[WgydV:rPaV-kaƙ8ʼn;;.@o&0jc2XByjfZ&My[qٚ@ߐ̞N: :垫 1'Hp>9} ܹȓ5VL<2 KS5=P|Ԙl:|9ݽGECuy5?梪gn 9M[*|;q@CCSyž<չ"JXT؝Ӓ@q145?~ѳ?Y+_ ,$S=@C:O,/y4F:؟ "Hrҏ1"Ms %bjJ cE3bLֳ(Żt`ֲwn%kts”>d{T%c|9{J8Z9rDu~u"Uq?b& m6rywm!"gUI],Vfq!7Ҍ<Rz$" RSBe[_V9~1j'۬*FKRaD[4jђVK22*͆qU.PXh2I @fT4MH-2+@gnq CÊM>Els%H^q=m1^xg9DFQ'~M!x[^]-\JH-,LU/xway\]N%.s15̥CJPW sah@m<_!%/QxHW8+>͜{^7+2R`=\ ˂ vVGՈ6ˁ^;0)fRƨ$-/u$E.]baf7 52&<2BH0Z8qiJ$H?Q x:tE7g>$CpJa H׻,i4y} 0Wr'OiI1ERg䨚<}6K'%?- H.ƎyJ=lC ᔾ5=D3*Sq;W4=?aHWE#fj&4tiloMXWGtyNnOE=FFS>TOo ;,=tƧ:_0p'VྊfgxG Qa~MW7SQ3 fxa3 (_sE~- AHM~q@1e.tí]o7*/Gj{Т L#FLj\v+u`]K|t!vGqLO-{q9Fqb=a,`e.un,Fs5c00_71t 7p!Yrм&vgGГ2iqf>|m0f <{ Qm_]'pWTS]$,WN#QL,}o0Á++V-(2. m2>`l sV}@BIFg8L!w]"y Idx'.$!Ϸαv3`l;SiW~(Q,"s-7b v8|9F᠀#Z~i(-|6 ?Imj.iGSUfCЙHqk:Q*Roxi͵TspK$kFQH:m`]O*O r'RF.ͷ "+WN5w+wRpM5v^MK9Kڸq;/2IkV.0TN:n #FUG2 P~AQ3>pzSnQy6mTANZWb?m(}v9W>Pc,%hgK ~o1Nh<;eAB ʙZ Յ$N<6vBUeZrOnҎ򬑻ol8CAmW. 7u= rԼ!q#4-f5+,KO_Y/Ԟ!ZD4E xvC?/P!Pz1 X[^п0s[Y,M)f϶jD\jcuEjQgA B-}ȭxzTOzAҊ zS'Eɤͦ2leO+NyNg* /ө$@fᯧ')O)@sb_ʞ4!?v.;]!aѺ"Yrm17Oȿ }$V:)cݠ#<1I¾ ~ram\c*=51u Q؈eQعXa^-xz|U[Q [^mIPf >!? r47\!XJmPu~Y>~;Q.]o;(Xs{7XzW@!^8j-k=B!p͍DM@ItDOEQ@LC|x7ծZI04ђ D $e"ӱgYZ  \L -G% $Stirling_FormulaHOL-Library.Function_Algebrasdocument.tex7zXZִF! K]A-MՋhvG"uIBm5q\:K Zo))e_H(Tz<{E`&nbc,RclxJO?B%>W{r%߬<QLfXfX윝N໳_Lo ` R2L2v:f\XLs4HxMG[ C7l)2:?. NzĜ~_-JaSw@ē_+]p& ?Ϭ &,*MFcD薵g,Ǭ2f3W3:vǗHݡKvINnP{P7_eΉoc+%ZՕ즒8nyX0ӹ)k3_*k{R|/g]YUM%z2lYlL&\`c)4~0p !p(;Ÿx}A/DFy4$yǙ>Frf _ _p/jnø}Gu)ץ`i1JJI B3veE}9EYߛH> ^W\O>FCBWܢ)I, r@jɈ|{SlP-a6LMR=6V'G,o%.[ ~2w1N%"L(,kJ=D_,:I΂}9 RbVmWaHYBW Ǔu;7 \bI뿭8wr<6BpTE՗Apv-SZWSiڻ WO  %` ~k,C+e!Wތ˸AuQR i?{?KD-7ha@5^q2Ӹ(R㟝Gܙ*1<zn.#!4>u#1Jj47V)^œPR\[e(dÞ{XPf%%Ѱv8z?sW搴;I;lVkz7`.pG~ $^2ULd\'3߷p . R28UNJ՝1KxG˖fӒz+YJƹFovN_sz9^(|4 Fni9#uy`ߐ4 *LM_Y%Fa[=_Z:)&DuyRzh9-t(rճn&OfOVǶ4:ReMN[bSNAa=ŭ|nyEX1b8_$WX Gyϵ>#W'[EP55}2 d`H{LZȵQw6,I93gD`ᵑ͆911/@X,*n$ōllӎHXu;,Rz>6xmNk{nbLo[92ٽ28s~3O:]M<W'29"?8Ll'|-ujܩR!~6-yb l֯q0e[^յD#+R %fPRL3rN^( ޏQ~C[4Ze}BwvIh860؈tx{+,)%8u*~v+:6ሗ:Zr6nuX0Cϐf).{f*AkroC7KxRV7>ۙ6Y`iX^t BwLt;c2E.F=%B梖'kcgED9y*w1(_n`ώ"4=am@M GHgʀ.J!'@! YzM}vZvk1ɞBհ}xP h..}}2+ w&@?%Z[#E+ 2qʦIiޤ]XwpnP=D%߃OVQ6, -"KnUOp۟x2PZI`Gw]Zn;@K)1 5d_`*ӯIiG}< nKgeƲpL!Se#k&6tJ:7[(vn+V?:\B1)>ς0+,@!K7AlxZGYګKƚYt檩DU33Ⱦg_|v8Rה xTv iͦ.7zfmAY% Of荒 u]vv ZC5JM&vPOqaOIK%bItQ>>ֹ1π jgVlbf` -6@ʸ8㌥kc`nO44dFA `߲׸%T[b"8t혰KVM?{-`<"yrPP6vMmÁMoVAbn8\ vc!n<(J>ڂq& bV@!ecI)PJK3i9\w #2ƼB{VkF&)4`&Oa0 k;؛H'<0J_# O ۟lfr2'< S w[QcVnyܑmV~պd^ٺE f$\(r魛@Fudu)jx;h#v_bAKZׅML[A=XBc,cnm2}=W`zʟ"F!!͘- vԛ~6ZJS,F$Qz4r=