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  p|,\ ] Triangle:threads=4elapsed=3.916cpu=6.796gc=0.1527zXZִF! Cu]ŗXiɟ  Q cW MKIk[H G2'K&oh  ʺ. msF}fOtT鈆Dўq`CsOocz\܀d:ZP+YL!L~\{aPGԠ؝b^#[cQzʘ#Z#\zOP/l4+m8 e3G.><.]dd/2 4o~i"V Z{93}I#nbHuu[_A1K|oYzy+!DA&P٤]K5,ѯCŻ9-N7jyale'Wνr㷳&7s@16h,+\s:{% O]w5-q#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.k+% TriangleTriangle.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˚= +/%TriangleTriangle.Triangledocument.tex(+% TriangleTriangle.Anglesdocument.texXNJŻ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,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