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  E,t ] Triangle:threads=2elapsed=4.131cpu=5.788gc=0.148factor=1.407zXZִF!  ]ŗXf1-/6vR[ltb7o- 5vOBK+hÇe,Ud 7>.! >? w L+ cm§K4$I}ڜޒ@QnN$/KUcsGXygYZ7zXZִF! N]ŗXiɟlٞYZ?@Lx!ڿ|hcE5Mm@'AGH2ΌVFBEiloI. @j7)gYZ7zXZִF! #]ŗXi%; CC!|x29dM*ٔh (zS `^;cc,jY d&)CP_np]!ZT4ǘft0-Cuf|eۛ`1} srZH(ik#P/E;#`,X_n M }WƈAx@_n diѣ(2_v A@( `-!fh\"C\[@!/=.ľyփI|f]'f\X=1BZ)Fn͝\@^;pD@00r,Ҁ6GS ]Q[d7ikE2il FeA(pb?. :L5c ï-H&mÂ\Fu*<iJU_p"1-zXraK4OLQgJcidz cB&.9SJ% FlϨ˔HjNF@MaTF@j\fc*J0\^Q-jN7 ~kXM?̽f1 l w$Jez6:ZS6BrJN(]NNZ:D}abjHG hűgYZb72c0bed6bd642d76d7e96fa85df2b12bac596620a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9   Triangle  x/% $TriangleTriangle.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+=Nf+% TriangleTriangle.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> +/%TriangleTriangle.Triangledocument.tex(+% TriangleTriangle.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