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  21p|l4 ] Stewart_Apollonius:threads=4elapsed=3.825cpu=7.048gc=0.1447zXZִF! Cv]ŗXiɟ  Q cW MKIk[H G2'Zn·n~P ɗ=fήp_l.̶ȝ0TgYZ7zXZִF! o]ŗXiɟlٞYZ?@Lx!ڿ|h4ҩ*x.x”Us3bA+"KUUq#Qn m](&ÓF< ;}#.ұgYZ7zXZִF! &]ŗXi%BzTSqp`sVnF >v?8 ^Ϲ( {1Yޠ,5 FWKTkTo@ G*89ѰrxXUF$Q7 48|@' ہZNQ֘buu'W;ٺ$\iZ#<8耓J+zRΛ EFUAZyh|wkK$PVEg1L2e[r۩`Y#F;^++8j;YB!^ כUvG:%eOKB& cOJ.tvSon K߻LAx6kd3wWk8ĝUDRݙZ$OM1`N%rJ\_])AE8/yʵߘLtUY86>JBS0Ӗr(敎Ǭ12,II;%hX0Y3߆]5cJD9Cs:hta*]+IJ2ts]< 1#|2>xGMQąp&XTHʰۑj>_H">O|.4D 4UIO zq\NT7cD.A8ADCuiIƫTyT)^X44P4=mFQ-|w].) #z= 'n~C.M4PJyV$< w-3B 9yf['s¨-xmw;B*CϿ+:\;B-6m0NCP+Wk</wH[3s Ď{!#O@Ǝa UMgYZ19d8af43b9c3c1c12aa4eb68bd811b4c61adb7f996398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 2abd28a29f7e1a08ce09ecc87dc8462d66e1909f 1 Stewart_Apollonius1W% ,Stewart_ApolloniusStewart_Apollonius.Stewart_Apolloniusdocument.tex7zXZִF! Mj]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ŽǏ͍};rx` 8n /$A]:ź=$&y.)ʟ(]h 6fXe~{Xܣ*wo?ENCvyhy] eY8* C򼾭X= *wIC>PwM7wV_-\bKSKSh0 (U+9`Zd&Qh׎3& K" 9hn,pNBǸZ9i:JLc$ uYzU/6s<zH<._FtY"gCBz2묛25 STAW8Cl٤;;3#F=ol^.vAg MM31+%Stewart_ApolloniusTriangle.Anglesdocument.tex51/%Stewart_ApolloniusTriangle.Triangledocument.texH1W% Stewart_ApolloniusStewart_Apollonius.Stewart_Apolloniusdocument.tex,Y t5ƇlR_]~?M<%+$G. u;fO 'A.P4}ʂAy1\~4FҪ+qǛ1/yՄfKyT%倹|ku#%G|d\i峐I߲is{AFcZv(z3!ƼދжPʩ][路ϽjGI6 1(UNs}7]l9| V-{B?@R;kjbs;ʂZTMτI#q%t_dȺl^j)ɬ ZXTGg5m]w| ',ijlR(Jp=i)b5iB6c`aI7I.&w+mH k6%;=6|@ե"烖 ,rr"sG-V)- І򒨟=M,{isGZPSD\P e4 RkF~BTj#Ks`R|fCSghr 0B% m?xA0l`ad&O+BƷ\cd㙋p$2ާ@oxs3jP|IWۧ :ү_( ::~R7y])l4'ܟpjq;u>[2Ͷ^y3=%=DCgl%9n1yk3%B9Z;M_P q:F!{!x,P5α}Tls ($ZtZ]V8"X_'U6tYp+ qi.#Xp7)IblڨeqDdx( )mv дm9 =;#hPA&2Z%'5l # Y eHTcR;󈧲j 3xV}"bɑ\JJ[~Op ;2ɱ5Ie\y>f6vk3ea0uu,Q:=/PKԤ(2z"ma(s0̣>; 3"u 6׀onL/T H~aQGZMޏ%>y4u:el0%W{&tc:T%h F|I:/OSTB*h*k Ouy7} =oQ[կ xߙ`0^ѕ 1zhÊ6ź ޼r$g!|15+e^p@=&}HD zC[~Cž 'O1v.v=[˵?E8+W?vbfz f!Ȅ P DݩD>B8vf?D'e>@YkE=GΜEr(mdc<-If'b%hՂq=vӽ%f97QFA2013'85SsMtUoq̆kp "\E`]2Š(c%r> `07a.+'@Uo2zNɞi5FrrBGŢ[ˠ`inxuC ;>+WXE@ N"KjjWy/68D*`w^֩%oG)#vWTI8(8 v6ɏ!pB(Nm4>aV ,6W4P(beקǾ u`h ~ oJc5 y\OER) )!N2k ^6\|J=U;sS"i'#ۗJmzhr,uḳ1SPm!0Om'`hhj9!٥!WpA0SgYZ 1W% ,Stewart_ApolloniusStewart_Apollonius.Stewart_Apolloniusdocument.tex7zXZִF! Mj]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ŽǏ͍};rx` 8n /$A]:ź=$&y.)ʟ(]h 6fXe~{Xܣ*wo?ENCvyhy] eY8* C򼾭X= *wIC>PwM7wV_-\bKSKSh0 (U+9`Zd&Qh׎3& K" 9hn,pNBǸZ9i:JLc$ uYzU/6s<zH<._FtY"gCBz2묛25 STAW8Cl٤;;3#F=ol^.vAgYZ >u1+% Stewart_ApolloniusTriangle.Anglesdocument.tex7zXZִF! K]A-MՋhvG"uIBm51NΡ!UQA'1d?' T~[$bݴG5c""+M3/x{u}/uF~@f~!9+e5eGuMM5lTEW<)L3 G@Ts).aekv~%z+rM7t")>Qyh.X/_{ QlTX"rJGk_Bo2<`faDŽw M!] {/nAvW埌=J ΐX/16+ $=9Бrny5`b=!b SB#ȺbX+sTFItn(Z)I)_HgR%_4ѕ}OD*՚3teU:0AGH&MPqVQτU-chWuRywl$KY8AIxIX2˚= 71/% Stewart_ApolloniusTriangle.Triangledocument.tex7zXZִF! @]A-MՋhvG"uIBm5r) lr)@1bXLA0Df&/EIt2}EjY'SvW3Z̔S! :Jx#쿞Tn \AQ vnsjF"2[ݗYZtԤrelmrwLR˅OTOR""妵!bh]V(ǧѡ*jX*mCcFzUqƻk+ͶM^Mr!]g`4DdCVYA ^}SUvFl^Fz\¶} )6u}ECiE;&9=iM B_ =:AِܲQ~K㜆R,;.k{LEI;3Zq#iV{a`ldqyR3DZ#bEH+z*ؼbx: Ȭ# N4lK# ˤs nǿt.J'-|}@.}jqo&Ri^b?~",k%0 I7L{m=CLyH˪hْt(-ģVKlc:^C/ձ~HtJdE| zŀ`3F5 t36)=pX6?WEd\i]ܮ6TWRRR_|8T7Fk ퟣHWDDtmySb L>b=? s$PUkpwaK… m˃n&_C"s]_Od63ƶɺK@j~Ɋ<<C>~FdNzQ "f=t޳DmULrk2H<jA<_(?kjh^ޤBe ]:ȕ5 ,9m,O4.XNJŻYQ#'$wEYIkQ.X Sp9VFnon˞ml[VSBdEl\I*K~׌(ڽ9%HaoլֵKH nvx.T6QiX2 :ۙ.glJ^)@, džK'u˅K0ANy}x|2MxNjAUMggAλEH"d(Y5bø^"MbZT5^czG^O/@Ry,D7"70 31NZ.m`]s})cQ[^:HٙP]rስ7w{Q'ro`ɸBIR^-H}819µČoIXXXB ߝ1Y\[+DK^Jp?eLۀK~+5^ӻU~`*|[ WQPfF f::\jme"vA7W|{N~&0gI+5ar EԠ5D:]!Qnm_QN:WL=ͻ6W@W{_܀Ly\dLzq:%)sem9Ҧt~!ٺ",v>(VJT"Y(F>#3 0@Q ?99'f̑zeف&(FRm8':KϜrw}BUZ_R#m/qd u$@fEr^J  en&, +Pn`%>.1Y 0 n6Mc @<7= {9{(҃|X8;?x>Cg;[czǤd:34SKŗ19޷ԕ?SPʆ%ǨBDprk"JdE%UmH@`ڶtTsr6 )A@"IѦSy՗mDfklo3@5p ,рtY F[Z{Moe_hNdGf]5}] QCEmDfl]0,eQuw@$VMnp˱7:/HfɈ3 dwS+XëܭP4U BEKv F*c>sWY:|@А Br m#.a6UphHcn}?u@IA4aM2CA."q׆#ÙjҎ=7%geΊdr/g7ص8ᩗMv:  }bYh8ժR@&>bٕ`Ev{R)zRt24-Uqt< cx*C[(ۯ2b%aWǤ>M)Gq #u8)d熥 b E7U#J ^.7Dt \P`ȩ@OBrHJ*ST+Xj~~7RքzJoP_oRݝl{I5l#`\Q55w5gו"Zjz;R$sWmz?]*M (WFs:B#zST,Y,!?xWE7Q痮Pdkĭӝ A_OtWv @*܉<|uvH4k0Z)ÙNLJ+Kw<=,Y1_}=hSiC1i]ˉP(|DYĭ I͵QS+v^a%ryBXe{@}ɄY; qX*{}gJ'%A#>|g7Tgff>بG.&;653kE[P,sXdBoӴr`saBE.Q֞!N)F* Jufh?,?3-aKƪ Ժ.ˤhMqW79 NkttAi?7LUGk/?݌Y ksA{FN.RQ8h։Rf{j򄋹K~kVBXQ<֪P(ZQa܄6I7 "p!F1K% YCIme"CD`*?ہ{V*K<2=%+A.QvA~o?[B+D.3ت-e >DhZabJ&FXOK#:G+2-3y9 !z (A/|.Lz-0xlJqpo xk#p6 Nʐo? ~-nd]BP% (ſ+2,[$fJҝ2䷳󄿒VQ}|8IyPv[5@Z) މGyG!"EgDەfksхk%(ÞVIhTbt?C#Qs^xM֐zݬcgS vUQ Vjd!`; qPSAݾ$}Zk&&5mh%cǯl6ݶ~d\^%rWBH Y7KD`۰o!F&O W h f ;yw?sIBMos!;5Hs"Rذ#)Y++qjN8tpc$tC 3 fm{uyMM\ =ba*Xiæ_P05‚sfc{M" zsښg|P'MGuRR d oX1jg|$`ԣRc㬇~ q2y$Ev#ùoJ[n6E,թ :)e_3(z6KIt8pIīׅ|kA[\%ΗP€ċGw&' EКpYrKH_3oS)ƺLJQ$|pp`K=XyH(*/(s&qю %uw1',k&&PigYZ