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 }} ,D< ] Bernoulli:threads=2elapsed=14.177cpu=19.624gc=0.556factor=1.387zXZִF! N]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z3z/ƦFǕGĥ-m9xh$w[r$њ:T;%bވvܓgg4XJG僄Yun2 ~H.4hng.?j/lAry2k˔QKb"QApp> vie'}PS<@`##.7u7VF(jp7'Vhٛw)P^N9DMq*i7ГMHPnwsPJV^űgYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLg}Q%+DKSp9%d85wڷ`̱YJN.&!1n]Cc׼8߉.muWo|kIIWpOfuRez̔ZNgYZ7zXZִF! V]ŗXi%; ҿb ~MQ-`^ONԧAL{ؑD`bѫ*v6Pk#i~k DsClDQ?3TN4a)읜s a0LrC;K.üMǘ#r{Pjox5un=h^\E%!F]3'PbhROAGᩄ=+3w++I[1y@$llb |J'SDq?au闷u:*OgѰ6(iW$ǦB̹$RmrqQ֓ ?u C-e5.>:MkpϜ[nON}W##VQVk %ND7{CKލoIrBG'@*Ge#^8g&V520p'xN846< euv ɠCRv/CEDkЧnTTcG)9`ororw[V;&{S ?j¶E2$.sx;^T:& ۋa1nOc}qʾՉ +Lۋ6q2'rmfhIwϏ[D#S9@kV'0 |8{ǫH}+@DkXJU '(] l-yDn m 2ަ eT1riޟɧvY$WPZe2 rj̒>Zqz&h>Z6U\`Gww}akǿ9s6\qFXr0 :J>%f/]_8pA[b.fʷdBl]MW[~ I_]>#B*M"#v n//甠'1"C[XЁZHs3f%z68Vܨ%0És.8ŸKrDp)͊ a79"FL dq#N{w27eqP\@dԍ^'^#2,&Ip-m&oMv-(΍~뎮9b\.i#d'/Y"|̹O2Ta/𥝐N|,y_p]}r\0Dʘ Ń5>wz`7sizћ@ f>Gxy=sl,Ey,U(ux>와 .gYZaf67f0d28daa600bde4e74203ef2aef0fed092e00a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9   Bernoullii=% tBernoulliBernoulli.Bernoulli_Zetadocument.tex7zXZִF!  +]A-MՋhvG"uIBm5C ijԟސ>d]{997b3{V iS%cՉݸkcƘR0Lmղf*Soo|&^ꗉlx6>K0CùF~8f [ z*+=A!{0rNM+UrWۄp饊rYRYp;Dhz`J7+ȼzna9?XaV kџe-2K뚖x0<.o/yH!J.ՠ& 1~L58~SFQv]^:H!bbӔ8?=8ѶO(/N.1U dvG[;v20 V5ה#O+R !?[hrf+;j|ϡ]Qp r".TB-;WC2TK-_6jֱ;gGEϿn-KwUG9_0%YeYᗙ7tV$zPH3~) z\dfRl"z{yAh@kXBsASS#U6 2~"&Jnmt,"PC6ʌ@,glw;j`^>.=~ӫb+N<>CO<6l@݆v(ُܨ@Lș~* \X&mi$ ǜ4Be>8x"@ 8΅5/`w{[*EP :R~Miq ,tX@ruYp53"Xݬ7x XZ΢)®3*Oyu(mfBgHFqo] mk l-a⬞YO!~Be,s!ccI]sEhr]r .fjͥoLCMBY9uD=ɞ߭D$~y9VƖ~d, H F<#L~d!ŌYAa\ہi6։ 6123E:S!|~ L,l-<'1$y ->LĵnwN;*,~P `]RЭ\,ǸT}N3] RH9@uE)ϰ?B{p A4¢ U+}CB _bۊ OXİZ,oR۰j  Y0Cj:k~&~&Nֵ1M-A2#EefEܮ.pBz-ha~ ه,fw%Xa4/|=*HȴiS9 t"~RMyJ͐7]po66ryv E9L:?崠 F$3R&pz}q/' I7l( f(lpڢa9~,d@ɒL7ǰ?\ $)w\)׮?,Gl ߆G4?&I޾/xy5[qP5Wq]rm\!]mߌB&0gA~n\+ Cz!8>/T'/]v)KMqJ)*ݵ+4n0_ 2v`'u]cYVn7|6NC`(H*frdY;$([3QJV1t,|!V%(,|;fH٩Cx   4c/5%BernoulliHOL-Library.Stirlingdocument.tex.3%BernoulliBernoulli.Bernoullidocument.tex6C%BernoulliBernoulli.Periodic_Bernpolydocument.tex2;%BernoulliBernoulli.Bernoulli_FPSdocument.tex2=% BernoulliBernoulli.Bernoulli_Zetadocument.tex|:ǦUl S0Z*-9n|6k$5hݝXIHC]pcfdXN'2چHs*RL% h@5ȗF`􁁚l"L4J;_7D^wrـ(CS)?y #!?}xGY{1`sH.@e. B4.c  'n J t^.W#׳?n1XNn1ӟ^7@NUXf\:zxD՗0Gi-+ *vEZhg}빱_ؘ$bP6ЫAd #z$67O, Ջϻ˽L|}]&D)(p}NZ]j%;K4,e6k#`!pgYpP/!3x z\;fU+tIPe%o`ln Pлtl(껊js ZR,ىΑ$p0}jݳDL=!N߄[%]`Ǎ hH̟- |?o6޷ٽWsD*(Ӧ{pښ`5)8.US8\p[ɨKc,fx"Ѵ<{lD=B=s7vbN4CA%}}"3EB#=DjGkJ67^C#֚OlNT(=5鞛oѷ;69!yX($n72-v{Um{8^*$I{^hx ¿F^ :UEk$ԍkwa2D-(뻊UTJ-̧TX e`:o.c@G8$Ҝ})GC0uéSJSg\d aIZ]0|AD L7?X^Ը [fJLu<ߚ|Y<̘A9)O/um̺3hid\G' D P♸ f0W~YcMy3`b?QO: S~_8^>$C/8xP8hTlr0VPĂ'$>ΥE 5Lj54_0#yZUOb{z =l#їA2fJkQ6bL-K-lTmo;5Ssw➅]Iφ0@ 3p|52IQE#b00qd8ZkjBgtvw9P ޜƈ\bȜTUx\#kԙQq#P첢jޒ!j"gNڕswšo\;cO Xq` g~^C9)466N$_ngiTQ/xfy?AKR9\1\`'CtVfh.ʐ^I݅B/H}q/YP.ש&cN-wI}QM`8k>W]pt,aܨȕ^v©d2\7L|dhPGb"ݟA@&Bn$ σt֯rK8*Gr @=SKɚUcˁv?\/BoLxlGBIHz:9 iK.=S{q7xhsp|= m@ͦ3e]ywH/ڦӦ\@B0 eh>h;7HOMyg7AZ[BgxMj{@.q8pNzQ}- 䖥ATcMRW}uEt %m!s Vm3l̶qbxGٙe%R80މyCW~&;_w qtvmq3 Qm\^ZP3}qtIkO7:vhAk4r!Έ!9+Y&'&_ϊBI#% =TuģN- DsnfE—B$A>=~IdJsI%]5.W4N8:ޯ&c!4N9[ӌGD0 3'&~hA(`NzЦiq" #sqz d|8@L},9VK^+lf W5[2=nl<<%ns;[&OeE+i&(oл]1_ #m{+}ʪ;uyFh&'E6%čߚ }Cwk ܙRlYꊪ9L Dmŝ6=Z]x)A6uޅDmwc$PA_yS0C2Pq(n]+@ =!~NJc@Vav\[%X{ʐ'x$=7%,ixݼILiQfA*zl+2ǯ\t0:nаxZDNTRP=*>"ϸp !ԾֈyAŴC/f41YC _YÀʏgNڄ7j@[c_*xّ}+p=->ww6)f}q'O`=< )p`WbP,w3E>AfI=5 8c~[W1ha*@T1y"@{"n. \uG^Ӄԥ#7Lk^Jջ*N|&Tw9gV'NM{9~,haW~t^nw6R-u8*?,9^Q 8c^vXfE5ڛQ:"d[Wr0ݺsҊ/JѾH\'?/p\\?ߵwE)c,ܭ]ʰrT50Η:,%ȬNf ޻fڤȲs NI+9?L"$yl\!Gs&,2 忼~ҦQ.RL_2}z̭ed3 p nPA wh>@'{/O(g BK܎M 랍i3Ay)$c>.3TuZr˯Lمv8rN!JB7ԦŸ1Z+ \5d-Պ+l)0ўPj GF]=RQ rc isSN`l7P׺ 0m>7?蹐&>a\ c&gPO߆Ý &n- J~9D`d&b(ecu=LNģwQ/X띌yјWn,>leaD?b#FoM{Đ;Z@^b)B32^&Wto5/?WE!֬b{N7GkcJH!6Ӵ6v ؋Ll S47^P`V"sهVleͮHw87i߭AT[an$m.raξ4]Ӗm\7uoi^dBmvIF8X #ݳTNOIܖ؏B4E8vʥ3/^ ZS̛CIck>|T[:quR P-Y2n|cneFsBfA HۧE9nɕNv6#xͲ#9 * 2=lQF$3*b'*m٤uwn2aSS"XHtP]ids|0k|Ù*[xJEuHrX|٩m(-Y5YErgч~aw^iB:zWbV n Go҅v$x"@1F'Z/4D0>D3 W>>Du;A( Z5Pц{8F'D<_͋K6`\B͋DYLxY(8~GG+q-U|A=$l~qPC Z XǗlRD3GXZ-[wb~5Nzl5-9op=l"Ҹ1}C%ur}AYՙK_NF*>eϦџCyAIǟH=/A`enV TЍhZEac Ӷ^k:Xޙ'x^^.%NU{" B?@9P\+d @?5~!^Wµ4&˾yJ*s;cz)& 28ǹ:(-`M-҈(+/zC=7\TGS^Gi+[¾b]Ag ox-~g w*>2-HCQLe5Ү#0ۂʑ`7aȪ 0ȶ`KX6idGRL۾d _%&'?IJy<l 'MogD ada`5}ؘץb-W͜ry_녶rPMȖ`.`S?Y~l`q}L}aKԲHa=s\e$9o2y#g$o١(f`7'=!c[`^KQ|ӘsKb&N9:Aw\b*z%UH1۶퍈8ʝ;0Fp:"׳pbgp s+O^bj/xt"iZ-/dw@un#q-F\6K`Y8ҏZjch÷"D NV?*ò\ Թ~2O9x-5JvIĦW]|$V.M "{@xޗ.0NjZA+bΩ nLq4 #}k%Xh /QviC"I.(uA~Z%ݘH^s7oR)%_ 4:li8`S獹:f|Lz90?+ 鎺QUaϮc"eeeP9XǘNXG$gK?BRW#ZR{: T"x*b1ǖ BuwmOܜ5/$Rr&U{"G{WBfȷ&҇C}M!2,#.MҲPmtnQXl<f= ~|/yqW_5x&+.~ϭ8$SޔIS!$%= 4An4 C`*-|ߓφLzF?hUHE퀷baf&VjpHҹfv+^bVBֵU^|}?!eALjSK{[;j3ܹQl6)GGYm/Ψ>U^և*]}4xGZ61W,v]-Ãw*I1ǁiӝhҹ7(꿴iջWXPgYZ & Q|wU F!#^#4BDuٳ_oIZ% ( wGť,S،IJ>2{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 i=% tBernoulliBernoulli.Bernoulli_Zetadocument.tex7zXZִF!  +]A-MՋhvG"uIBm5C ijԟސ>d]{997b3{V iS%cՉݸkcƘR0Lmղf*Soo|&^ꗉlx6>K0CùF~8f [ z*+=A!{0rNM+UrWۄp饊rYRYp;Dhz`J7+ȼzna9?XaV kџe-2K뚖x0<.o/yH!J.ՠ& 1~L58~SFQv]^:H!bbӔ8?=8ѶO(/N.1U dvG[;v20 V5ה#O+R !?[hrf+;j|ϡ]Qp r".TB-;WC2TK-_6jֱ;gGEϿn-KwUG9_0%YeYᗙ7tV$zPH3~) z\dfRl"z{yAh@kXBsASS#U6 2~"&Jnmt,"PC6ʌ@,glw;j`^>.=~ӫb+N<>CO<6l@݆v(ُܨ@Lș~* \X&mi$ ǜ4Be>8x"@ 8΅5/`w{[*EP :R~Miq ,tX@ruYp53"Xݬ7x XZ΢)®3*Oyu(mfBgHFqo] mk l-a⬞YO!~Be,s!ccI]sEhr]r .fjͥoLCMBY9uD=ɞ߭D$~y9VƖ~d, H F<#L~d!ŌYAa\ہi6։ 6123E:S!|~ L,l-<'1$y ->LĵnwN;*,~P `]RЭ\,ǸT}N3] RH9@uE)ϰ?B{p A4¢ U+}CB _bۊ OXİZ,oR۰j  Y0Cj:k~&~&Nֵ1M-A2#EefEܮ.pBz-ha~ ه,fw%Xa4/|=*HȴiS9 t"~RMyJ͐7]po66ryv E9L:?崠 F$3R&pz}q/' I7l( f(lpڢa9~,d@ɒL7ǰ?\ $)w\)׮?,Gl ߆G4?&I޾/xy5[qP5Wq]rm\!]mߌB&0gA~n\+ Cz!8>/T'/]v)KMqJ)*ݵ+4n0_ 2v`'u]cYVn7|6NC`(H*frdY;$([3QJV1t,|!V%(,|;fH٩Cx?qh  5CC% $BernoulliBernoulli.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 8;% BernoulliBernoulli.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{V7"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,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 65% TBernoulliHOL-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?3% ,BernoulliBernoulli.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