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 s- <\ ]]Stirling_Formula:threads=2elapsed=33.121cpu=59.896gc=2.528factor=1.817zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:ܙ{/<%1#.%_?s^q|s3is^:c641P_i]Wk~z+FU QEeFϤy jV%qHn)05\铺J0@,!R>QƱjm|2Τj՝sB);Vb`ed_ +)uS0DhόOQ2~ׂCmp_NyqZy_**Qr˗VmI7i>f5,, - 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 CԹ(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=R6=ӯk,4Tiܒ(eDRN8 zٿ gh}>jΚU|O,+ 3q}#ׄGcfi%P0AW7Gf8퐢a*l{ػ&>䬨}1wxtc0焀E]bm<* zj iv3eG;mG! FNg:r4*P8 WY5]kTjU@ >do:1]y󏞿&}jJ@naz$%C5w߳ߞv ,[Z;qĭUSHlB-.g|+YHpJL #_ st͹-ѰIrK\r{ 8 |##=]qYiݞj )z8d͖ .QK'bDge%zyׯ35_)ע-gq4Dx.BH擵^pwq&*>9Mn`NarwϜm@ J]&잦>XұdYµ#g :utQnt-tix/0 ~9*cvnΟkLΛP0 L--0,øNr^Vx7 ̇{.2ͺLkZ}@04^6T߉u\ZLUݬr} sX;g:S^* Rw [Q1Mr2]O:4#\.&=XVc7Է8q7X݂8:Y Y7eN%/0 q)H|_[(3&= o+@g/I"iMw|b6,_O@i J L j fUADDVKSZ܌Tlj %>FD58li>~pqU$6lAHfI {6ζhR؞ S3T@C],J;Yَчu 1,J7j-oX88wKN/vɸ6]/\:uC>9q58Y8ufkfb%ndb2)l4[7cucjZ i'l YNj [=e-a`" A,yTPh j FYUZ;4yŋ䟡PlV}F^^'<*HHG=2de<ߖ1*!)P 6d p䮰EAոg?K5w*#HǂW,u'$9BdWq-cEҺA ~햊ck3OCÑʊWpe1|"JpWokC'jfͽaG|(rh7,0[*lx^,德4U9Q#z.H )P֍zP|S=Hh9b5yc}G Ny;w>tԷ|(fKDoƱ(.)L Fd7]Ǹ&nc/ۘ;*&1ŐN18!t Ps*PD*\)˥1O66?b$m Hf5g+X"uN0蓧MZ[3u=u_P7.Zƙ9ǵv}^/௦$ >Vg4!4a;0-M"M(> VpD+f|* P*G+|%DRI5~͹36k0-0n>i6&NS4Xh0Nӆ6FtGbVLh}"#%j<T͹et gNMlKE+${!Ohנ}U+^Ƕ N.:YL懋>aXknP[ *J+n[xKLBG9T ĵllڲ'!y֦GB-)Q~±JL 9Q ">U ؟i]bY~ߢ;:H&mPH?3 (z7™,-ɉJ6O NX|[F\u̘ÿAaXl.cIӮl11`s :+c'`>=TE%PTay :Tuyi]73ͥ$)厣kf }GL(=NPugXta3S|3hVa 0'9ʚ1pJ T nDLn03:S3v\xh J_vgQC_͹ZYF'ܮףKn:>Ҡ~ 2J$5}櫺p va3PB z9Þ?cW)15d"SA5 >T5+U62jnSnuIǎiG[yX `6#c,!Bv PBA;& qOI?X%r0#b5aozq۫ 7Voq§X't(CեT';l{dtF/0v $"ҘYݾ #AM_#)Y=SZQZz.*Tňnc?Ҝ7=E0³dY{{}^ndžaY\D]S0\ŃU`0iŨ˹Юգ[C۔Vl CNM0Fu+p(O_4=K~_O.|&4nAm5[^LN$|^UZz%-orV %[cMWP6euZk 3-4jcQq@k[lP] vr [CH\2{8uz^A@7/fu0 8$-~lD"+^QV0 E(e|imb>߾Saؑw쉃vf>3R?=EfjTg, %v@QGט^o0Cp xuYb :qS~uy['%Wߍ%Q %[Z9MU/ 5EiN;?|%/GȂN yN(rwg645ҨoqoWBu,6R *}d^EH߼! _fnU{o*o1`%y#z@ 4nSۏI9(=sSn_Ia;ĭ hhُgC@1U[pP -QOިhPη$BÙ(\qFcEu>cܽw)/"njٱ0yU_?n> R4mBc.iH]%H-7+A܁g8uwT.Wן5XJHE |yåG')C| ax.l\Xd$P'A%|6]h⸮{8-J㐷uB0ut!޺h쐞^hqdѪX\*dA訩Gr0#9D;j D1dD cl!(`!5_V}oi&нhOU<)}& @Ke6BhyFmoGcz cۄe4JL!1Y'ƚ7HE=B;Li.h-j)\\Z'#eJ". S_UrBEV!)|9jネw4 hDPԩv٫mc V\!jQ^?/ڞvhfK7O̼N>c| S݆X់!q: I廆DDd:#Bc3eVp+& 69AW~Ф4n̸ha.{ղ8s3t fKOr>٭aȡ "2\&;0bEXKő1>xBT[k9頶 wK} N)FLbekHקg Q 򗌡1TP&i DC UQwP1*[U&~m$wggj&]Zm/lj+'9>P[s1?5ƥ.kFr]0|ʕ90fg4P6Kv0/ѝՕ {qֵP(hDedAuc>lwյ8OΣ̶ۨHS%3OWɢvޡŻ(yϦL>2aGw tvp!-1Ti']Ri0~1iB1vc{;̊= f(v|ˊa;gc@MH|auRʶP T S+V̐ k.M 0cwsݶ )=TeEvp#[?#"l<"xw7w^Q!㻡j[o1hr"|o`Kz=rXƀӳN=RHP+| d-6wᔫ:"7%\rzBɌ: N! q0'b$`6lGF>P1;NL=@t҉=b6?g{*= Z,H 8DA[ A dIN+/ж%8E^hO g==4PSk{gf9Ijz} 7dY{E^GMlAǐ{/:Ȅv}tTiESۘfGJQ0PQ| ׼%넓*2r'.2͌e.gxqmn`3#{100UăsWt V+5v049]R6 r:]׋}'_}+1?!fX4W *rvp'>y= zZs6K%(k&e*+t{jM'%da)A,2٠rdTI"^1D}UZbY/+Q͸a@82e09@t"Qtyu1"Hn8sGGyGJq<Gs6(kIծku V&ƕ8d( =[䅀,83Z"\T֭\%J2q._"Ec5 2Kg3wkJ')UOΜT>:u@bk E 1~u(Ev%f^rȑBmߜ|d.F}?N>y)S>+qAn/h2F:M$v%%l\AJ@a NPQ5spYё$4!9Ƿ| j+I6Yd37Gj=a;ҝ̥'-W) 8,oo'GB'uFHBizNA [LXFDTtsx930DΉjvx/.=RTmmI?;?$l 5?jb:Be4M?UG⽔ s֙8xeJ%^-5T؀5\g 4y=.P>LpԚP .GCϾO1>i/YdL;Yg 7l!Sџjdx?$J+mr.f@Z(ԍю|Q2%(0WX@PVʢk͈vZ~jJ+ H@NדKk%S8e3m1|lA^ FȎaDYZ%Ez FB< j/8 la.QQs\8Kiqk>CoeDo^)`g/t49ʑ5:;OG "+k]W VMe眠*GT#kfpy@FMG-66a[bZ}vNIGdMcah LTgz_=8SqF*vZVY{ 0tҫ9"Pji Rp6cg4h7HMa=_8(pHT+U(&<͚,edTk{5hX>UMub)HH4ؙC ʡ +TG_},Yˁ )Cτk'zg)np ,1&|ia{AX}Q[36f|?h ( A6N+jb 4hG=7Tl:9Zo +1B_"ęKx׼:vb(i%W)@:&%` K.J t:`LP.D=J]AǑ㎌E .̢gϟD-ڂ)yOboaV)T,';}U4M&MXjkظW=_ZDk䶩,B}gyڥ,r-TFS ߰-ׁ'~G޹mFň `Jqw/|=\!~ a$evy={ē-N)Hӵ@;}:o gaA .F !N@a vN]åX sS0@d24-O sd+SNlY c9dշv6v{K&[1l)/F{P案 hyp{ʙy¤Ảc}10c`͓>Њۼc0i~d@ #j$krG^2}I"+ ׮.E#G3"yi #=4GX4wqs SH[^G,hu|R޽|! F+qzJ A׼zc)1NBMR{F.ᖸc\U+h>`kR]{UB4: k }}2_Ru5.՗XIj W/@`3ű1|`mp#=x]b츒j̄^AGAebgY\W2YjX@六DfhXPl qPbGog,\"q 7cA  :ϒH]%U ni]Y{EIRf\b/Dg0Y}r1y}b!5ODq(Ҏ4),R%^^$ڸ~UT- /cUlwv{k 25>=/| >eQzݳ($,e\zm5koIg <;Gߕm N'FTE;< \ux%#qu֬>w{1CB;n?׾8@OF<) D "5sᣪRO=L'SBPt. &2+9Z<}A+]4*-=^96$_ Ǜ(͈J yݤYz6m ;{Vx|Ο^`D]I+kkEt'E#Vx݅pHZ)T6[nnk/>gT|HVeKq.xUM']~kĞX vn!Eܑqd&^'.\y=`xH7ȋr"/aD49_,j HS>^+u>7?]Y G\gV'Uǫ+G.\u 3@ ԩ 2K"U ArQa[Ć yꞸAͰфs-e6kڝtVFE!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 N-A% ,Stirling_FormulaHOL-Library.Landau_Symbolsdocument.tex7zXZִF! |P]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% TStirling_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˛w H)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)߿'`~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@? x@?r[<ʷ4"Ww*9;,H)Q?6C$$2C|(HLjmܧÏri!7hHD9ˇ8|EܟK(ԇx"XOungƞ* *58X*# Iإ}'zaꁶFsPGusK2g|TnvʋWd] +x_ aVr kX@(H %C6 dαUl',0f;tP%z`',p;\%ٍRj/8M:ҦC)/u/D叛9'9ݭzjNGJi۲ W3+ Me"=x$=[ -l>L$Mgup$*[၉2!V_/}>g>]@*OYrw3 Qr =`!t am"Zp[ѶC/.ХLvbo)X<8jn!F]!.@sfgR $ H Ss`|dI2C@2W @Gyj yʱR`|gJÓՔ6Ld$ ;xƸF6Jau&5Azo93j޼j}/NWQҳjϣ`N}^x\ߵk iAH\TLJ}]Ln ut=RND=n&8^8#8HIL—Myy{GB7ִ#K"i}P;Ђ3єuV&tE7k}jېhPD8CNūme,Ķo~f:Jq@A뮃T48,w9Amw+x'X@IZb8%uFp)^ɫ]&և{f'TS4e'_{_Bj'uuņn#鲨sB}`>4V7@Pխ3s%/oXěT>Fo Vxct4Qÿ$Qy==0s_"Rմ LG+|`M?mH6'Qٯ@.dsŜԅD͗nsgItVRVNퟛn.f`9\e=JID*wB%s{褎`3uuG3]Mi*g$g8Lͪ@ lHj?#/"{s;$1"$ Tjݟ J:5g^c^,=`$b3TG];Ĭۆa2"Zf)G֘K2#e@2!9p=^N5A@C@p!GT}-Wr}vώtYM+hT&CF[|+h{X@'2PY^z؇{{%N2OVf&[;[hK}'[i@^K*9kH7sӼ[Idz:̝~|&0Ui^`QUg.ܰYbgV[Zί8PO!$zp|etb|\ Z\cplѝ}.#ѩwx`.lU/&8߫ D Wnmkzuߺ@tpՉdx7YmgKE1{V@P3Cc@9liIO3yO021Lws Uq{9=^2:Dcx`Ž92Ъ@~vBz+ma:9xlQEr/-;QbFPLh[@1^PCt(5T}A2w0PCs*ر9'h~nyI mdzT> *K:&AuR52>5@>N)3>)NZ,+"3z(7NHŇjl,K\DAa|mk Q9`ag)6 Lt#dHDEba#MW\hnB "槝0,Fx]g>f^ 2b(v|gYZ 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=>SVRf89q.P! 9T#cm82QG<|FV!7m 18dhP 2 _]scẐ3&>2mwj~ 9)Jwz5!(Ag)$p{ @u/$UtnjWsWI,gYZ7zXZִF! $ &]ŗXi%; Hmy47df b7cwhBl|qaI9c m1&vՑ] ߈`S7~=!^(;hL b~q!%bnhqcMm=4E*@[a:Ps?0Kkc&aF BnI:HkJzKӴ 8;kWX/A^(eCOx+WVklN>(l }<xGړPڸcCRY=-rMĂR}KɠPÉ=(*kj43\wᡙ6\,kJU.%9oGw#'ԏ̟-S`-.F(+6#zLez?)t۫9 9q|]…INgU3gj]#Uq\fLn D˩ldMON-#u*X1w 5ӑ27,Ú󃢑ss@veNo7TLΣ".&aKK j.RP@LrU &|}Y%ꎤwoLM4e9A7m{~KSyVihe1p5JGk~0gA/kUfivѻĘ`6L?Py  ZI򒃏`4p!'L>>/o<4oT0_CA[o:$Əwz7b#ݮ r 1Ϟ,#2ћV,}lr@YDMQf {=LT=I{Ӕo֎s 48E:VtOX7/!^Ch[lPvgJ\,X+ Xi ۗ]O8oG+k\[NJrD#i6=>ZFTŀFkMPD*KgkC>>j0|Do!h{i?WE,&uEP$yܳ+E\ Tٕfmw[Qmk}&j{N:.ߙN=kŒx[~39k@~^`DNaH+6@eaʌcG\Z:_~Dh9D dC :8C1YU? ŮlX;u -;cnxؓm..ž^V߉4Uk,ro4b1<aħWTnPw$<ΉizU•걵,ܑ5IK;@>'4sq?p©KVlQ^0o&b{ajpp@λ"FO> (p#TUn߼JÅn'7!D!hb,G/gTX4[?7WLf$m>p& z%ZUW=?!Y9+NtFjF<Ư,lᭇJUn?胶"@[6 c8OLDX&]ި''hV6fn8scJUA|`A7Ƭ%e,s>D0˄~ G?EɦԒf׵5?EE|RPGnM=\_c\ARאѯD9(2'م2&T"c,=SB[ ѡ@!d)dt9y_hɩ1ak?k9w((VDž &Db^B3jkoNYR7 iОvFFF _-E8Qa=r @6&Gg0aEIgYZeac78dc8a768a8c042d56b7f44c8dd2d80edfa390a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe94c9232a9ff96cd5f5a7d86f897afe67f493a3c41