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   ip$L4 ]/]Cauchy:threads=4elapsed=2.163cpu=6.088gc=0.1847zXZִF! ]ŗXiɟ  QLAb?\ns<0WD"\?٩zKV~Q[cE ]5Z.hQя{jR[R5¸ba \c)Nf(W*\gYZ7zXZִF! ]]ŗXiɟy?}ScOZh`KρqD.N+؂T`|(Uz`U9BHr Piƈ7ohlvKZy4gYZ7zXZִF! MS]ŗXi%BzR"g_Rl;tuR= Ƚk3-ŎRXy % LX\-me-jPW!$c lCoܕݽzGAc?kᩝB-m,7Hrv2?H ĠZ}ڮ`=75>s 53/J_|Ma]5qNZD$\If5YA.Q]ѯ`*d6\X#԰KFZsQWHZ"נJR_;P$=c՚E xvBڕ| (4,DHOAT, Ve ZiI[-n^S9_6d~ zy(Jn\,RU-bwՀ*v,'pTxx@rC)ŧ0mvsxV qD! Z$'w`E  W=  I -DZ6BKWO3rFO~BS3fK*O r۽KIj9FR:_{ipt*zv-@&j!@'$fʹ2ݗG뗜i߅T;vk0<n>5+lRoT%Cx4Gfs ưt l ]~)Y隠pgawRsz,eU,? cuֶUO::gtg9uϪ@W&SaPNnFZQ]~FP4dc*J8D> p4xjB0֖gYZe577ebe279dcca649bcbcd57c1e0096c8c64b48696398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae491d73c8d5e33c189d00443a520747ee336889deb3   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