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  r r 1,d$ ] Stewart_Apollonius:threads=2elapsed=4.404cpu=6.144gc=0.128factor=1.407zXZִF!  ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH1ԁR"8b7us8Hȃ٘NKzu}n籖;-S7Wi zԕgYZ7zXZִF! l]ŗXiɟlٞYZ?@Lx!ڿ|i=f5-*67sˬ2{J+o%,1Kٔɔ܏eCJ, TgYZ7zXZִF! &8]ŗXi%; #r%k?C2}fvnya$EøbYޠy45Ռ8eL>IG#kȞ rt0.0 œ̖{!y˰{R: _VII!hޠVkl,LюA>eÕ ++Xd&ro@| 3[}W kDٝ-0*l~?T=AMqkc1y[NW^q80I#'4P-,8c xDB6tbD JPĽZ~s.I=!2:o!F*4#`jR #EK)+']p D^&Qg4[m9ٞ(Hbao2=$Z:s-RMs2{u|ߧN-d.ldQcr ǕDcatD9}`շ bme6Cj;[)cKce?|2t2JŎJ`Id9m(w0 9B 4#. (gfTZo >pAcjVm 8)3.qbm۳'oDҷ]%lIj9MGnNCc\L-9݀ uXL#gYZ98dd9d32c667314f6179f57998758642be2ba0900a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9 1 Stewart_Apollonius 1/% $Stewart_ApolloniusTriangle.Triangledocument.tex7zXZִF! ]A-MՋhvG"uIBm5r) lr)@1bXLA0Df&/EIt2}EjY'SvW3Z̔S! :Jx#쿞Tn \AQ vnsjF"2[ݗYZtԤrelmrwLR˅OTOR""tԥM1O~%Ŗ{ 2~CJ>'qȯe|fBS@vefrHo׫_?ώ ^2k`Ndr^v ZZb酉h lD,h˛_Qʍ~Keo7- a>8[OhocjjKz[8:Gj};9BKǀ>,=';yC$*m@2ido9" `Ru@=Y٢jhK錛*j0c|Wǿ%7B:TntF=Xrr -2Hs8ԈMƗ 8`wuwv>Jti*<O~m,=kr4l/J>>h(nE0G;jlE.{F:-Rֱvgv utg[H%l'8A8Ө|ứ+sW,=BR>B0f31X\30uG\;ocJ#gYB=@P|KW; (zҮVt!G G/~V1+ȡ4t (ch3l G}A kÐmO.)9fiok\[`s-&<u]|]E/zӫ\ߊL{7'Vd{F (RuU.PIZIA'TSe7wE( Uv*CS`uLkQ3r=do_??kRRnflץʹ.f0&ާO\7 @xԌ&T %Z\}8#FRJ|(n};$J侤/ 1xf|KecF"^} kh/j=%P.qBY9D[_k >X q/Q4rΌd+25X8u,LX͌\m=}v;dJSߦ>^B_ZY`XV 7/RsTr41O{>c. v N="*`Pc姴kh[`]w4g$yuZx,8$<4l"2wGd#&\ kGdjd~ulbIk+=Np1+% Stewart_ApolloniusTriangle.Anglesdocument.tex7zXZִF! 2]A-MՋhvG"uIBm51NΡ!UQA'1d?' T~[$bݴG5c""+M3/x{u}/uF~@f~!9+e5eGl[aso6$kܹIld <ڒ^ G!F|\+VHrq_| ZAo`[sg:t6 Ȍp0jһ& %M<3 CljLŭӣ\̵yA:x[b(ܟs=k:S6~|X^Ghy5w{Oo{5S-akCT0QPg)Y>ŬRu=6ʰm娵xu"#qk@?V_w ˵K~5FDj$ӕ@q0ğca2[ϕ/4t#t"x[TI[kc{L1B-#.X!0=XF~`E|(123Z> MMI1W%Stewart_ApolloniusStewart_Apollonius.Stewart_Apolloniusdocument.tex51/%Stewart_ApolloniusTriangle.Triangledocument.tex21+% Stewart_ApolloniusTriangle.Anglesdocument.texel)S9C _oܦz_c;QCBFY۸ډ$m6wc(zt΀іŋ=,Ir_GE/ߞOj`r%$IYaZŢ=*tOH;$vI&@t (_q(,g͋D4sO/1v,t_+ZגqvP/ ͒mkh>H$_h]E+X[~?LJ-~xr%4!oG G<[B}!pI"0%3ٴ_ #v7W70Jt1Y_ o:9ɬ/$5ļI@Zք{1GP)gH6-1Fݑu|ܨz QT26^Ey-qaj>hE ;h\W⥺XC (+Oh\RK//>(NV**!~s${bj-iYOښVVsrbI\)_g&]e$R޻'lSPTw|~Z8E* n V>{]aÃՔV]DCj^Mձ!HԂ5Cͭj$89- _]Z3ȚNrZ49=Q@^{ LL;~F/br%-<웝řTTd*2+t[VFj.j^dWƳWkh=i^Du}hH~'%Qy:7T|-'\t9>ͽR9W YRNFHT:O̸,t/|OkouY I/~L^ IAlAۍWE͒O(]M#'w|':?/Dz5t=etkjBk? s %wSNvm\-hZw~/YK| 3>m + 'WqPZ.\=^8^5&R $HUʀլe(u>xoŮ ֖q&$\xvdRqf 2tep=fYY={p8V:%( X# O͡񚠰y>RH2_^xE_ӝt7HhׅmIR=u": %o"Q9}%||Z_a[b#N>\)Pn5u-3C`yP$ny@zkN٬% QCU>L$D Qͨ[O8Lv$ &Fl H0ԊNjeĿк-ZsF m35< ęBhC-K`4<<"7XR/nV7w{ ZgXWISnsW"Y5YB嘷8ڃ ;F,XT.]ymUപ8AjgUB XPE =@ұFY>5{Vgy!J5:h 9r9ւ$_/ $Cշ~e4SS9U!aގ{ÉIĜg Ls5ݟ$"%tPLI̟v}Z G85/|^i'}P^?-OVRh*KK6+=F;{3hj8W1.|w!C*)r(6 2ɬ`8Ȑ>RȀ_S!-d9u: 8:._ElHV9,8n]CD|S"v@GhMYWD0v[neK:L(||E.TY…P; 3 ݔ†AǨCx<0 vi:BVg 6*[uOO SNlZ]EhSAi6qNټa&~L!J )x ̪/wς#֎5 p-(0y(|'pq23Dx ٦LKs7B>F'KpH*D`}3=bzk :tVsl=\UL*{fe$TATk5b}ֱMfau! lJIVhqhq v1NἔӝUJ Ԧ'mXwX_п>sWYo2.Ex[tdL3'CӔ&rgb,ID}"foP֡:Cxte|[ZG- 0`R=G '50)tPB2Вc`" o`:?2Fݯit&P7~G{fK;$ʨUŠ-G&~/HjcxinU1.cןr&?ɏ%UuT@'U,h*}&zƕt ^X q s9ܑo?敂ERgPmA¿w״Џf 7 _rX`uN:}Sesq>`/ʱڎ rLocuA͊)8ډ&sӚZ/p˓+=F3~%\r!r0s',0JaKe$P dSQتBCȦa &m=vh4j68%&[Qau؃||x.|9 @j5%ۗ~AG4\7~F S{nک*X/YTq ..;c4+%ՙ2dzl,Ch&Ala+NM(GLOխA g+XN ,D.ofxP1*2!KXneQ-?QPDj@p-ox%XΕb^!\RlnܵimmV+Z>4Lʉ:'hD$!IJqYcyN* Q\[n27?3 xH7vf׿nSgvpN^ 3Yzd樦:@Cy-oDVj %~2rE1 f36^~Fn߮ ڈ]ɧ^*#[KC$ţc uT/7 YhP=9 +~Ӗ0d"@|7H:@m9BP,\2<|dVdI') ӟyfrF1Rc-.k cLpv;.?{")Ɏ(6|G+Ԕv7K/OKM4c-qjFŢs{mL'p&1VH6;XUsЧ_S`R״5)ͤ`GٗEPLӉ˔ͫif>z*\eTx_x`mT≖re5xրn^7NZfAc6݅OYʹy/{.`E?Gu)U%6Y ٦}:doj# 'Yk*oݻ RZh(F ajC"/(,'h Uݓ2V<Ielc)1anb`pvpC56! ª>}T5\ @v^ N mm2\ͣ1%B)}π߄)˧ ɕ6A8Ayzoa9!㥹x^gќ3d0tBq}9X{5L6xέPc!uޗQDdK)]-T[ N?%(X(!}Od,/ti.Nq# cR$oK$36۽)z~)%Q= rkU]@dwM`@kpU%%_9k Kv9ϴ:X`(/7pPDP!-¥:z{\Az%j%!e hc_3eC.lMWtg[!Ke 9Y!I%0,;sSNB3;1!_aO^è%h6SH@/CWA]A;EZ tvv=AɭxZSU0-yFO˺y wfUxu ܊6/+~zrg K0bBVs63')vTLW ;CMAwr5~6S BF& m?&Igξ2櫃KVіb/}~ tW t;ff8adjtޜoS]rM5{%7W M\mlhSNj${>1iJgYZ x x1/% $Stewart_ApolloniusTriangle.Triangledocument.tex7zXZִF! ]A-MՋhvG"uIBm5r) lr)@1bXLA0Df&/EIt2}EjY'SvW3Z̔S! :Jx#쿞Tn \AQ vnsjF"2[ݗYZtԤrelmrwLR˅OTOR""tԥM1O~%Ŗ{ 2~CJ>'qȯe|fBS@vefrHo׫_?ώ ^2k`Ndr^v ZZb酉h lD,h˛_Qʍ~Keo7- a>8[OhocjjKz[8:Gj};9BKǀ>,=';yC$*m@2ido9" `Ru@=Y٢jhK錛*j0c|Wǿ%7B:TntF=Xrr -2Hs8ԈMƗ 8`wuwv>Jti*<O~m,=kr4l/J>>h(nE0G;jlE.{F:-Rֱvgv utg[H%l'8A8Ө|ứ+sW,=BR>B0f31X\30uG\;ocJ#gYB=@P|KW; (zҮVt!G G/~V1+ȡ4t (ch3l G}A kÐmO.)9fiok\[`s-&<u]|]E/zӫ\ߊL{7'Vd{F (RuU.PIZIA'TSe7wE( Uv*CS`uLkQ3r=do_??kRRnflץʹ.f0&ާO\7 @xԌ&T %Z\}8#FRJ|(n};$J侤/ 1xf|KecF"^} kh/j=%P.qBY9D[_k >X q/Q4rΌd+25X8u,LX͌\m=}v;dJSߦ>^B_ZY`XV 7/RsTr41O{>c. v N="*`Pc姴kh[`]w4g$yuZx,8$<4l"2wGd#&\ kGdjd~ulbIk+=Np1+% Stewart_ApolloniusTriangle.Anglesdocument.tex7zXZִF! 2]A-MՋhvG"uIBm51NΡ!UQA'1d?' T~[$bݴG5c""+M3/x{u}/uF~@f~!9+e5eGl[aso6$kܹIld <ڒ^ G!F|\+VHrq_| ZAo`[sg:t6 Ȍp0jһ& %M<3 CljLŭӣ\̵yA:x[b(ܟs=k:S6~|X^Ghy5w{Oo{5S-akCT0QPg)Y>ŬRu=6ʰm娵xu"#qk@?V_w ˵K~5FDj$ӕ@q0ğca2[ϕ/4t#t"x[TI[kc{L1B-#.X!0=XF~`E|(123Z> 1W% 4Stewart_ApolloniusStewart_Apollonius.Stewart_Apolloniusdocument.tex7zXZִF! Mq]A-MՋhvG"uIBm5$5H}קG=N؞g&=0Cuh]_KDa}c2W l_?CvPzK3x-w̼B;KJKA1]R'B:Cci{V*KVBl8síp{oEJ#IegEK+Uyf ,O fh>!t<#(xm4S=ٖ%Z"Ykc>u(b^5En(<  ArBn:*kۭGw9ecõ+ܞnJ?攊myW}<8άфw h`B䀨SϾ[YLS2ͷ81Vt|aI)So! e_Q,FQ&^R1b"N<SzE7Zj8Zg)-QrPFc_[4HZ<'vD |wKIyڝ^%Fq%԰kAtdJT /HV5豭vnhs9wd;kB>vZΔɔYK=+>Xb9vdr`X^)3޹ FbBD+J  R!96aVb|7CPKnZ83^}IT9V aB{֞Q7ɊːG@(>5"ewcX)ChfrSfr:j4G|.UQQP)E2#cDk|QV|f<,Mpz'K[hA] 9%u <'Yw!/hҴuY\F` LJ2R kSnD5:߄,{_73qWrQm{Ac.hoО36\al#fb98VW/KIFEGC'B;N!5;Nq%DZb>6G Y$l5Ձb"CubaɫrT`Amo4!JZb`-< |m /0R.Qh8YOA^U+КIHZ'պF2C8<b]xsX3:H3ǫPbuSӣ[Яmeh ,ξ$xz(s"W]M$7u5vC2s [%Jۨ=jnt[<2rɾǀtc{ĥR@˿M(0=KrEHBbIT* 6rkw+!~E,yZbE90#.DŽǏ͐"W9i&^ I`~R_&FNzI `6oUԐ]3k?nᓩ?+h_ȚK\rG "hw ̱q7Db$m%_JQQ6q%_'ٳ Bx(9VHG}Q`BcG̮پp[r` 4?YGznV'L