SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info hhp$D ]/]Cauchy:threads=4elapsed=5.436cpu=7.432gc=0.2287zXZִF! J]ŗXiɟ  Q34X/K{kbͲGA%󙶹Kįtp ?e;q췗:kFG k1oL5c}KϏrG:f*r_8j">_elcrlsh~ev!6P,XSK+<%fRM7I_vC#/9II͏Q>3Gj5`?Y4MUN )ohSG>EmC+ pq7JUl>x΅eY8RErO2~w3rF#gYZ7zXZִF! \]ŗXiɟy?}ScOZh`KρqD.N+̈́LO^c[[0 Af-f괽_$ 6yCQxǾgYZ7zXZִF! C]ŗXi%D64[b 4be[We;'1~A}B7uat# Jq-h*J,9fxȢpvP! y jĻsPUcW-}!YnUxv_z9N_KG͚ |\~sF_4 A1Tfy.csZh &1i5n" YѳIg4^:臭}.I&"xqF\b [rԨ؇yUˤ믻uJсHjgݏᘜ q)xfCMW[r<:g4m G(8_ Mt;NI0 Yr꾜l-oHtgƵ"i"4S$펂$󁒑u>_G,>{&s1 ?"uг*V\7E(/w,R[|J˘ﯛ4lX Ǡ NdbwK?HHC*e.K턆 sz%T邜(8`#SaiuPu ,X!GƊY8_P&%pa .P:KL7iKjo !!le&aF1ǜ$2>5kU[$Zۨ]#mjB||ȍdΡ2o-? %"P`2'}qGoCj2ȋҩq˯ MJt@Ih-ҳl Y,)D/(C,ɱCbMhŇ&P)w.U:i<@)( HpEp@Ȅ6r'j]1M]iFoLFyvf!ANl=y `By߿6Xg2b:O<5Х`E/7YN!.VkJ%ָ_,0;&K vֲTbrFEVT^WipԜc 'єW?JF@wT~ KžJ;/[ݜT(9038`b# fq!5sMsy_@3!Gk|3~o^߼~B6'\.%|^jp|] z_֏ɀ,D1X>} gJ"ѧlh۶A)٢')}f~ft9Б=3d#^Jᢦ#D-ZI*7It%ؔblFűgYZf9cf45b8c2c2ca5a8ee8cd91586e19989485ae6ac3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4aa9e5e07d3e096cc585c98d80647bd4ce36240975   Cauchy   t ?% CauchyCauchy.CauchysMeanTheoremdocument.tex7zXZִF! YqA]A-MՋhvG"uIBm5 t b;j|C/ٞH8ɻDM;s{ OLjsG(O>N CY X״V?AdPf& 8~̨dxo[ߪ9Ys]RItd &zEsRx{в*I&d Oe>;b/,2V-] jPa ?',K:`NF#l%R3㹵>ɽO7 YY? N1KvtiewCe3Q| }p6Z Zc`8+u8Fב赐ūk0n`=uhܗ_I^\ 1?%CauchyCauchy.CauchysMeanTheoremdocument.tex+5% CauchyCauchy.CauchySchwarzdocument.tex-.t҄9-79dC׎[U?|7}X:e:"QRUZ%1,lh _cs+>&]1lSP% Λ-B˰)˦i]|Կ\ΰlfzmѕ]U=9쎍@/ JlB3[6xۂՄ\^cag^^i/` !5PZW.aM2e&:>>Z1{5O6w%o~ˆi9)D<[rXb Gzϵkl{tCI$_Zlνv k&9fKHQK=f~B5|$V\YKօ HBsQ3&.E=m,4E1 FY-?.]S΍.C %A/8>a.MޔR87O5~JOIꤪS׬rǿ]HҏHevaj|uJvwmCЃ!k H1Ovʆ;@(#XX]Xͤ` ҩhTɶmҦ$ ɴˆJS,Toj&`촫n'Pj!Ii0ۭ0N}"j e$1}{!y Ci:d4PC ɉ9(K8T6BYԍ9I#A\;lHA=8Rݘ//;QhXug#_nxs|Hw偼& phq^ 7kh J{d!Y5#jV\s3fZXSje\.W8T#jk1ظ9lnf6y)uyc}PKPZcaSȵ);=04]4avˊrQHE"&a k-D on;xלitg,~K,V0kJ !"Tao9{6t566"')htbi 8!ZrBl~ENPzÃ;LhX/ۨ;bоw,Z<;B||ѣL2+Y>H#!PqpH8֌o>Y~bAzT3pjĬJ'p2ӱjp;WHr xJ/v9RM綱zE*$S(P\*4lZ  >BL }8ע`@ 6Y^*ԑ{g1I8=oik!\} f!t&h0 }\=pQ3cSHu#'c#]OY2LQ7`̣ $l0I5;x24Oˎ8yrrG8~xHݡH{8El$w.…sL סPY(~Uft&i(1ǶFYW MYkܙ k4;"h㿺ˢ;eA}|oiBTP>`bzV 6geL1M9NWnec` %;iL]L@DV9fZߞ ߟހR0iofZXFa< _^(_& z s8qk\!an0P۪F/<=gYZE5X*RoqO{ˀ횜Ƙ(le 3k}L=< 9ߥkyb?f; Cj[:%sF"W[1>PG>SrXQAS{pRŨjIn_6toYcGs3 fwG풰ZvXow"IuИsxRON[ <^lG4|:JiRI5t=6%AxYGB,d<_4^㪸nHC$5a,i\?LK?oHIc1S^+Z&-I_vq X=D,][3.s]22vAG论A3Y|Aek k!e2d% x 53(o^(Pϻ,{TZjaȍy"V \si&3OJ<9kzn.b;NJZbB̊t_2%p'eQ{\Pr)qoꦚ_t+s<"N[$va/ xzd^䖁u66R­KQFe7r򌸙.3bs :&{A4^$D1j0W|@Ru/81FgCE )b6d *ϻ9YouxH&x=lo}hGW&TA't+~=)4.\^PjmiGHco5Ki갬T; 8{DVSԤv[EfdYx{K@I?]fSG;:%b^ c-Y0L؉l4C5/f)`D4PByR-N8w4&^TNضMam(v{dsimZ ~Ȍ1Zժ`queF hO.xzB턁^/RaXn\|D>MI2f+.3024za$ne| XwũN͓LMk-*}BCiRodY|)A WJYa~q>udt%YTEPe"sc>5tcN("&4qp:а-@qe)!q\dҫ_e?-89d|C4Al\gKx`8^ҟ/lb:'΂T物#b'/)sT}r&z(YmJ j0S7RTwm!gOuΓ" Y9ucZqAjʩz+k]C.=Ybfp& `) is> 솬u:lHҿyRH!>^n\8)q`l%jTƻk5kH9CŚ''_R(~ T[COP{H[@*qCGIZHr7SE)<_Vh Qj&'Nl= W~."<>>fx22Ur #Qsj߾|R78WZߤkx s8꼣J|thGHP1È:lAkj8JT%|8á6DӀn-!r*,H65NP\Hk+b)eEZMٟuù&PP/AT}H4@vHxN]s2T~} 'VvPᶓx|, ppH|=+R76i8(oGH%vS΃YtEl#ku(B0J;–Ỳ17*eh9ZTip]73}!+HzMy]e2qNIGPhb3enNeu>h)|b#823OLg]k_I`*D%$ 4=[}t$h!wK)?FK.>*.x/]^x3a%hn!t0`[.U|З|`[OOM+MM, A_\ ] !~®}2paay]@+>uW\tŋ9TƊi4VT6?%b/$^7{f#U/ pl!fĴ|ZKgԊ4];,|Pe VJ"cPnã}5^a H73)Vcr7Uw(ɻ˥l;aل;v^ۿRA7-wcklv ge?=bK[]}6HBT1M16}b#rۻ4[&f&ɫ҂pW^ >Z03<G]I&^70 T 6k\H_2J4DUpC)GW98X0>b=C9|gNQ^'Q470NOmrCjƁb&jP#snfxJ"-SF]etϽ^>md-ow-0{.-)D(|AJM W3vQo4U2tNkLVmlL~`3Rh\ΰ8i9u}.#IkGIYrӆDѨOY]cD\ im?v '|^+QݫnջL`icGJ7hȊ"yHkދ=@{|֒6~jꃝ:EwT'(]Ԥيct f2߿=)+ҜcVTfn}׏u4NK"2;8y v n_ZXgEi؍XS|B@ (f;52µ[ .&]A+&R$#;顙N62-3|,OgAK" splnq0>xL2\BYSeE[ڧtve<ƈ[g^S3P !|iUVfZEffˍ~41`8lȊ^\Xz?'U!V<Naky NBQ0e*n$pcʩ\HzT%"tu6,1LYe" Z.qirt{1ƳfkI,t;- qtNXcR|t2WA~ F "E6~*DY\2*ȶ méww (1`.?` oos&@xiynbę` db\a)*IePAkAIM ;J+OC{/O8"BOW0XJ.lzvj ybPđwp>섺z;~L;OB { XE)UO'L56&s>εINH.)pDjD/TZͰzOzFtjؒ Kbhxnqqs\:$CϕŮMG:O]ӈ#-_s, )/cU ugujƽIY<@5a:bcP⟁9ёȁ$A읜NK& "ㆡ䄤\ ^Z?ptK}L#0&"g?EHYh[kz$DZv/,^%m!L;`\i F|3`̓>~̡GI JāG-^ ~\) 9m;w+ Z>R+i# UuEI=TrӒ[&eMZ"Dg+]8H)3OJ F ]p|6=K+-X V{Ndx[6τ\Jxp䭪/#VX`֔CP$!0Z0 /_mY:Xrfzf3hλCbؙ*}x"4WHx3@D:MHYV~71pkkuGQ#؋uy=c hi{m+7h k4_@ԫ+5Dnk3&8HoDZ e, '{ UjVGqe~]qҤ؛+(qh {m-k&{COfo[Mr8܂]GBiXj7ui-jt5KLUX4y+.~UtVCTo 4ҵ𣕕׊HB;y7N,ܐ*~O/XJ67)lYHuQy߄GogM/_pb|R(ǚ%R5aH:xUz 6r>YiAB^t;L;uPE1 S= w?TXZ`$G>&oph"WBn6hT5zէYA$_7D9ա@RUvWN+6b(0R)l"ʙˮHv_GƌH\Wq[w4G}eheܸ?G|cr#MTYroۣ'WuQ9,|xn;fT/4-,rC+k+(s`ɜLHquf'n+Eh0Š8?UfDgӟ9svXZcFfDb~<zBsv{>fAh7kco' )y?ܞ~|-@!`M\'n37έCb[tf{1g}԰`d^ĤUyB؜y@h\U1rNS\U&֧'HԞ[hpyeۭc3svO'@#AsNGoQijh+Tm##wGe̙ꪞGhi>=ۑ*+hszȘzC"^n~&7HCŊz"XDAe DF3|eE+X$I DZ!XN"`VW:[0([oc0g?h|:h[/P9Kh&sA|TwAط?\׻PzH 9z\Rٍmj;1QKޅzl-S-@ ^%^Bus&x>cNYt4Ky kN#R.R6)d1B6PY̎qB N"$6d4/ 1nNdd2V~+_+UgT: xA5~VP ;sR&YKy3t;&aExwC‚_/' G,Rj 1A2MPN4#EOeR\)0 ,Q9OK>Н+g9;֐O&#sRD~!OVy4(GJ 29xIɍ!+-[n.u.g~ nB'=}‱Ptv/nɘTzk'6@(N"W(AmJ-:o:kYOқ/O[T0#x!+`&F>IZf9Ktz7,H8)?>FeuVk9RK3#(zP,p7~>^S=٘Tq!Y CV,בWBbBdV YUf`H'cLLc5蒵pITR #NXơUzCAV,Fj$.HscC.N`ؙ[iގy-=Ƃ,#[q҉^ρҲS2@`_t,wwH@bZYj׍k! d6To -d貧ȉ b H<{MR\o͒[^멬 @7@DdԱԑ/CCD>u X1l}y&c{y"R! UV f:>21{?Lsj AȧS]dȇ)l~gdS`鎯e"MCOGϏ-ߤp%9;v awAM:v t/`FYBPuıM'6DfZ 9E31HbmBQ.sɰp'[>2Mۜ{'\2`-PPwG[6\_ߋ } 1az܅H96>V g7Y!Ɓgl BG$$43G}[ʝ/\}/x!X8vB!i%beF y>oNjn+|# 켟/3шVhj5#GY.<%Y?g+2[a*Ӝ3j7@rr|c =O bIq{tn$W^KP:^dž h&#1DǸ,ˤ2-rg#6|VՎvFԤ$MK?H v0ё5-7j).jd#ǁd*^E oMԘg~= 'CZT!yrTo $Ns ݨiRs\ѣnڭ!t|>;hшр/:~aϘ<1-5ݝBG 1mdD2U/oG_nr樧$Ph;TҸի\u:7BhS0܄[pQmYqS^`/6E5Q¦Lπ]hc-eGMaZPVR_E5T8@ xÔ>mH*Rؔ(v`3]7V`oFP4KTpZVQ<@M͈DxK:&YI>,4EoǨec,fort:ϔ-| GY-t ۋfy?\ՌEnOJ5Tw3EGJ>-`9Oj&545'q~Xzr*)U,_}ci@0^X@np'J.F P&,NXuOKUVoi,NTui6`E$s1Opz| 7z*otg0IM:duqg5KbBm&P/Oɍ.+ xk Az/ڊ 4 &B_j?} a$Wč>5<ƚ6lb[v4 5 }wZםcOy wM`$=%ؕ W Ȉ *abNZW#l>NO`"<'BZ6T h1D2YO.lCsL?gByZ.\0@CsYhЉz$^V緉)g5ۇ!-E S*sJ/ !P4Plof!.X̀X7Q$jY// 4(e[W;C>i3m,E0>y-DވݝZP3FhV*j|iY&΁p(ҙ}Oh\Mp9–"n;(X /fM|Oe=pL5bi{D%<g}'%9{֏pjϼL? _^uX…sap0}Ls6N I0lQ1W̴p+A%@(pCY XǪ(Q!{o6qNEp,EB7@dϔw\Cr^[k4^RlJ~B+z8b o44Ւ ÅZ"? <ڲ7gwvm[GE@.'8ݮv#RxI^ɯOO&=pS4#=zÃX$;~ƹ:$|`{I1̖uq?^r)ꀎY1&  .iYFd: h;ȠlDɘYo $*IME@ e2e7p*ǐ$ϴ!Gp5N+=07X6r'i0íӸ&(̽?>涍%U|4T V%K T}`"=Ԭ(nUUsoG|d^ 9^ɵ*۔oOS \HxiuAeGԣ%PXpٵb]ҴZuy0[ :F0mlίsja ?Dr1l3#-9C g )% SIrTM)kG%Nqz`?]ۡ*.'^'*a8\ jc)>{ bEMxb!?.h-uVO8@Wm`xUrUi\MKџR#M2GU_hn BKYl\ARIDhY M# lo5xOe\oimIni>iYJryc+1X#F&]+KyB*(K :~]4`78/1}6fI0GY* u%~hD2kΪ{1@P Io#o鈓cXH (1RbB k2.cqTLL~78#dZm,qeqVAuN+Nb?Jܴ]ï~¹+ x"ճ}^~3q$bgog(;\J"QPsf PC\1.zҭA3xI]5:g{Y5ߎe P2Eۻ[n'3@SX 8q ;Ĺ8 K>^68cHT~Fr[yiwM/]ZiOO!|¦Җy} ,G (*9j)mU4Q͸>ijAo{yKr0Iރ?dcP77XiI .rQc)/c7s:2h25MڊjT񐤀JYNff~eT;݊jEMD^j ͪfª& p*O#^:vsM2,%#QMscžUPd|46t퇜EyPJ)Hs6-ӏj°hJ4FMS]*g]HpPG;?# uGH]S6wXFVlu֊r&̟Ɍ:Ādg|r6{Dl;RX9YYغoh,w5aΛmRW .ܦy-4iJl#^om8-W5*ባ4x.WbJ]YljN~)!7!㗘Ğd8q(,$Ÿ EAeGGoCO2H;^T=[ ;,D4vـ_{Q6^sJ?OJI[[#Q\?Jbk&\+A.IG{ tn[!7X~g '.h~Bxe~GXǓ/֐q[ɆB圼lF'.O6%Ouy!fkJi} gt3Lem/%4 Y(@ >I 5z=ax75LFSLN5pk,)5)YNp'ߚGcv YK-2A"<'Z?6p3\X0+tT1u"6/Qs;l%sl.]BB >s尘R|}>ߡ-EcA|Yasԡ)qi룇V24M0Yc4 t+2Z[˽W߮`۫ -h~wR4(E3fxD/urfZu:у$QIZ60qۍ7pYIl}jUS6~Q~B\ߤ.1DOOӗ*W5eJVG.x:ML&#! MPyEӏCccaa+xo 71 3jY d6&> v