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 P3 4< ]/ Impossible_Geometry:threads=2elapsed=9.611cpu=15.676gc=0.420factor=1.637zXZִF! &R]ŗXf1-/6vRZ4&L LN֏fB ۇf L*LVzP[jh M<0KJw7ʪ;I*(?[*z;?iHrU?ٛk%|SQ_ruS?ͬR4S6BEw!rc!yfMwx5 /RDI{YB3W'm/D/h%5q\"hWTj\>`ߜ.;.RWgYZ7zXZִF! [L]ŗXiɟRw`5.@!azH>MM('J6+AtgyźCojPQ_eh\[I}YZ7zXZִF! C ]ŗXi%; [F%&FBx'i; n==j|ob,*x͈L}i߭SGVu5e !83Q.++,7˨a`)U\@QEl˼N;G!+z),8:xyqn!?@]O5 8 EH磿Wmg35!+c+Mk3UTr9*0,DtqA%6Ktw}8/.g[&V$!Xɯ#َ^OPZEjĪ8pTXx͎#N870@I;jX 9k?ޏ;rJW{U'@SG؂bS&T|9ҙt&m60k~xC_'[b$Kj;#&"@դA7m_`#)9cCkrD$JtNSN3ZɔbseKfWB +UQ;QzZ. owǼiPDz/ ǎgzZW[eUU싓#+IE^qiʉq!{(5e[49nټ&j@m)G6H]lpbkr_nfw+V0` >قR[_n5Cb.@ByܓɷnO~WF7 zEO ‘A,fgYZc4711f3455c0ceb6a3135e2af4104db5d59be2190a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 3 Impossible_Geometry 3[% Impossible_GeometryImpossible_Geometry.Impossible_Geometrydocument.tex7zXZִF! O]A-MՋhvG"uIBm59F(D>&ZXG0zx; ui'c aϧͨE N GV߻}t8Dn:+NDnB`Vp~T`i|TPWT"4Ƚq HmJnI\@:#> itڸ=T VM)os*N\#X FA7>?7>e arf $(C)Ϧin'rTeH汣G/oϒ~J-"co>՗qNJ#@כPK)LP>gأdX0]*݄qD6F|6MҁF K3[% Impossible_GeometryImpossible_Geometry.Impossible_Geometrydocument.texTcp7$<),{'A RBӸ13_Y3Rr4ysxbǺ}l6~Ǘ PfTL?B0;֐"#lo @2 ʋ(f hTEqƶVSqWCp~Q$հ4=Lޏ:n r urB42Z_FAdg,{)S8ˆ-ȼ'(v6 v!"|Wv3_D`/';.mH K? .ٯ t% Ĕ "Bh;?Nx8(ޭHj~C=aInv#c٫Vw*8 o?ˋBʢ%~of)>lGaY-|=G;|nE7`B &h 䊲aH4 2pK/_͋w^oh{^I_>[_/[)w5/R5 zB;o %NDE;WN ! DTii}CmL&^[ )~*bC^.v`++$t.j(Ed-j?U[{2_FŠ%I>%"(t_r9ةΟLiO b(vHcZ&^v<RC(.dEvhJM,|"8'LhGn*=n iֽ3 aԸ>汱y,{Q=]MU΍@V>i{X{:i`# p s?~yN(K{0 oU좿G>Rx{(S=y ު3g^/fEcZ&j"hqtq56W(s-vjUq-P.R1X'`v>P?Ͱdm6V#QuS2z[`X@,<pMJY命paj54/7(G=^byQQP" J/ -ė֧{(։ #-cVxba 1o\C9~6*ye=f .s+m㨘E tn0\#0 LX5?=uRPn\ە7_&a2R  }u;ړl7qy`>8+f)ȋ0TD**Σ\Fz *ϝg6ӵov+HāTis_i,nC#ר8vSm%TЫOS]WEch9u<9dyM4H<Ѭo@c$ؚcKQ*=e\*\'to\G[A6aAZ Gl6&Ȥ&5BsQp}~jdۈ-*`gt{@zMHB;(h [42v&20)XM5ZzֻJ|F-|5YD+m`MC!/6U<8WU`ZZxia/Ö[d6KD#%"pJ,o.nS^BQMn"Cs'E& I!IIh,~ #[U2DOB5[A^ίF-jo* U## 0O-3$>, .#):i5$% 47Wg~}0>Di2G"-k+$ J'dD3i[[RͮxrF8c+6tBw 3K [t0@F92s]:D5ŷy!>3SIW%r'y;d8w ܡvrG<2xt)Y`l3!mzFpC'g V,ZPE}yMeMn^eÝMH1KMbF|X]z-<;ny yŸH#5$#shiV!oӺMK;>j NhE¯?f hMqa]JS#Tys{nD Hȫ 5ճK$&;D&.oUƧ  ijǞ9 HBqv:`\Rm5j}i^ )xa7ؠ]sMŸP 7uR$UZZyb@iB\ M\)#1PpREZ;878 su( J hP bf-ow(<?طJNʗ?cw#e ${'o>?}wrS0悻nyUWL{bBh.NɅӽuլW8IϥB-  *esN$<-I14~\8S#0|v# F6'C+0 7T (=uF4 а'BgV0}ɕ8RWz4&X, RA`yGIǺԱ,B{v &V?bqєzmL<ȃp> = y Ɋr\M?\_SX[G.t)|h#ېD#m 2^W/p O8N'o4_}_pj9 a AFr$Ő*E_  d< h8{ko,V9x;w\J]Q|!u.%چOfտ93-8Y!u<^x(e RCu'^z[+BN 5EDQ=oԋ+2C}|8^֥@IlOs6.i >8x8\khڀ W F%?<[Ot ?PL)H?Fd۬-'n~u*&{G2NV{@ɚ߼bR_?ra~1/Ss4Xi`Zvt/m8yK0N +t Cw85 ͫ!Èj'p#h@kĸ;֦ӫE?ιXg^F{\"T's CCbjͫ`3nW V:O햰ٍ jŨos ~-^FZ2@E;.nl #l$)[gb=?"<*ԔV"_`æ VLJ^U94.%}`>{)k:|¡xAELn8-9+3uzUz 'MrO%"wC T)LtIS{Ft@bn;#N<&6}[? 3I#.f ź_؝ )j4H+2CNg-c#6(qJBhw" Q4RȮĐ%rFz[>6.Q!\1ZOQe|D(@!3 h.dܢbMM4+j+FEA FNw*gB@<ѱBxL9,؆rpd:ֱQrNwp@,B> OA %rҴg/uD ^S}nON0p"(adlQ\5ͧz_hZE4DW<1΀Sjz Jߝ"=VTۗCKͯӠƗYoE`s86N6A63 '#f]۲;*%IQ3KWÈ<{ם\jw`o#;HP$$x:gZSAv9و[=B)r>՝@5xIpƻ$NʣeB%`7vafrQȶeɭ8:]w+ɐb¡5N4Ɠn!N<-BaEUK5h YlD,ȓ`✆0 cXa?u9 d=٧ q:&?2WC^ Wk=té)26m`OĎufL9dPjX@'Z\J(>azf1Ge§^vBC3^c3Z-A?.H _;k⃒G1N4lUN^6OѮI-:{M3!t1ܑ2$b'h*ߢpj]r^8Uw`Vbt:8R 6ptaQ.Ӏ{EvH#eFTW03'rsOs.É@*k)U}YMcMUQ[VB~$qg,ɯvsv x3!D v|DjdLR$T<@3]DY*(%CYjsAW=B#)d`R:(%t}"ya;ˣLeI / x 441P0捉ۀnk#v a*uaoB9T[U~ʆbfj`Tf#_P:ah]CkLe1_">v |234 ZZ_䨳PywE`*dEk۟xIK" ŭ(xzA1HwnӀ2F?eoeF ?#*N_lXuvfZl'3u;ܽU;Ώa- =9FOV㊶(O93$9 mi/'}BY\>/H@ Ok'a.0/bΚ vwU6Pxwԧ ޗQ{/K摈qM`"TW'y6]I\ ' J 4_gt4>5p^\v o$Kن_P&؆g:9n6[VEۿ`$d[|t63rz1⭈{hb :@aցԟ^TwF_ɅƳ!ڜ^ _ )YH"8G)q\1ױ9NŎ b W(cJqq TU j{&a0Ị$=PsԢXBXF@|cQa)qG&9lu/jWpfYےsPE`B CǬ!frM^-8@[nG XpF3ǩRCȫk-V2'-cj54oz=yFxEWpa"腲ณƳn5CUs=sHXlU0 !˾?\W4yHd+^߼1d4]?@ p8;7bH2+i[Haw;vi.Fz>i xm- RW^FVzH݌L#hvL`=E,"5n8>evmmZZb28;~g0 jW͵һ4t+3*oeTsBۡ3Qwi1 y~P^<3GFiv+lO),US2(Bq2\,όMkhvt( n玟xdtP"?\:>6*) 䅏x}J8zT<\RHrg6ܛWDǥ3ӾC_U[˫K~e|W[@ e;=~*sdC=Ʋo: ʮ;:B J $kW٭1,7PnV@x1L dnNՖ ݮQks$"WO炽c f[xSL'~{5rir1W&ڊ|1Uz._Kyx5C{Ys 2EW4DzRs_ЧI BUxW8ArΪ-gp%hҞpFkeB 4 M#i$s`x/`bNۃ'&&OU&qpKnu'\&}UVQnxڵ $1(|= n );cY婌vmM3IRdrḁg.B5"0'b1*G곸>]fI\P9B9ܒ{)= %^Uv fV @.p:C,h|Źt:K,s촜CdO(vArMX5j8Dz [x/2}RG/BlҠ]8!mC0z$ |h@x`{tC2\nݺ Vby-t宑V \8˫)g׆-C`/'$F-Ф5h%7@a I+D&۴ ee'n:t#7"HP J 4df n=acYcZ>,{׈q[[$65u+:HZ` \<}@ ܔҹy94FdKd}E2xSۮ/EϚg(+J֢"I^8~IUE]1ƒ$nʷj<keI{&d qmҹeo,`&$S?u7u+;6N|OIImJ93T;|:2p">HDI6dQÓub-g4C?JNY6C~@~xER1/_SW>}Ps\S83FOexR0FҐ~/t`f,cַ1H }S7cى"7ʝ[GpqMXBC8v:wkH34Ej I}EQL)_gŨ/AnE"BRbJ=&FG4-@P׋]uMqk7+p.1DY?D?Y6%&o,(}Nb.rBDX@Jij3k[tgnU]k(F.*`Wqlg( b/O2+M;Ғ{p4@1{"9p2lSN'䪁#,mr)9^t܁M(8}ch1hКԛdțîv#? )o lMiBQxf?,!㌳6$F[sblq-B62 3Z/P%YAʸT XOa 6u"9S_3(#I~; Wᨋ*d1<_DW895s߷N)L^Lw8Ѿ/ف-G$Ew+Khɴ l#:UinY~-6-p׳k{+ߛh4r& lf 6ۋ 87#@ i}\ *uGVU 2zT-8L1B5AL'=bCr:!]PJ%밫%83v~7$Zdܱ侟O @{8uHnzOZ`hm+Tnr1 p1ʲ$ݽnEm>B> 1MU}e p&?z{4lEف+-c*5t׶LH늩v/IL=;qu?Seg]$v{PP0nDmb76ysLmSA(nE)uFTMV H7'l]CWF ;(GɹQ )$ԃ9U#;Uw.ٹx0+啄-X2g6?zF">JbYHs&rub` i!ȕa&i(E-Jwu͖픮#&Wj #QLiD-Z|cknv!{ڵYLTH 4Kl&~}TSF C cdWǸxG.R;s"= <+kr \;Qv3@( f)߉Of&0Jg8pa .7{vh{S8V0w0y켴Fq3PZ lhlpb(e -WOKaI5g9!oёGb b;86IN))Tq^R_MnQu""3q}mL/*>?%xg_!4~(D8qb4Z Mj&P~6W䰘nrϊo`TR8 ZI\4Դ0X %(5Z2MgK1$8o>Eech+.|^vЫ.(G$a?h&秳Pj&Qbtӂ Y>lz$1`zp<<(gm Jj?2{گm\ PLa>~ΰwFy u/*\)skrٞzRw{w}'N²Ov8mg!YFj}gr߮9_ Mm/6xcx'T ۯ^xE-TJ<$ҳk1E$z@Yѐj Lwq0 .{&U"'# η;1ԘJ#FAWR{\bJ4Ihk%. uIiIQKq8;j}f .xG|_1N} T=gR3 eWy( ҳ7ֽ̂aO,) 1w>o_O(eb+1ܥ,](h$˃!J!^B9Ԓ]yg'+M _ý=x6·+9b?@bFHa*@0@[d)4%<>Ie#m[i-%E/T+NX3 e Rh{8Oӥ½dgj 'ym4Jٌ~.Γӑt>IM<.JӉ*""xCp\=@K􌱳A:+tKn6QO{fQI0um@6Њ yUTt! vh}w˚|C%:au=._π?cNDd\덆(_.1d-O"VsS_`ȯ+ln;{IZdetNCDh :LLna@'Dzr:?}P>:-_yhmS l?oLbfn9YQqG>jBuiNa
    Ǭ+IRŁVes@[fPo0N'{8\-f|E7OJљ\0su `瑶U~Z{t/NF3v$ `qWN:vv Ud|4``ۥg<ĀX+j`B(܁d},0xn{R1Lc;oΧZ9=:0#gTm7[[ТSBPŤ`o~ %&znC|? xhw6yeެ.D#zW÷,C5/ e-OU\{ԣxR%q Avd>dSO, dh"t X(ݥu$.x,fhP3q p.YIfG;ZiS,vU#= 4;Ĉp,lAe]+ <;p|FIaڹ lj,uJ)/܉ሲ6%X2t5ǟ$ L98ٞNxb%: Ix9a!:$<.6@E7}lE雚?wAe_ 4ka1T'T ɡ?(_~!?  ց_F,[b%=yQ32H1n?'3[ Ukn]Xs LJgS*UEO3Ja<:;pa>/(*/(z; O,2Gx~ЊVYio#@ a WFJd@L#7]tBygú"%JڋoCe`B/A / 1Ql4]fav NAi{k%7P!id7ioJV: f>\d+(~HD5 NLq?y|;? u m8g_nfA N&ʗVh[SLj㹾 gec*x3 }h]RWOޞT)5m/ @(},Fߌ~m?ԕf"e\jsݨ NkDI1y ZY 6KI,?8o>O¯L>c5L$f{2'IPp/B]Ԉ4GS/uP1\K{ 戯dhqUU\Yh8y\O#w@prn!8$D 5'J٦GubJT; YL6K6Uc;rv]ۿq7wH´͋,ڼ\&w`R``up,Q65wGGiʽ鬘,*f7FEs %(I蹁wo2?=c1\G"Dy`sdd z?oܮ7:|%ML9!RES(څBV^߅{}+4j~u:ΘҘ e(*;0-Sq9_Eث-K}ywNtn'C|ү?:ᛑ$uTwIē7zVDT7;u-@7Ar5.eɣXv6%-3:c نVTVDfw΅jDi&ܥ!W&^!=AL75[4 RY t\j{x Y>\ǩdD"ux"S'T9% hK37ޟAU?ZUYY@D܅m^#mi 4tĘD oUϺW+b{5rz)A|(@ɒmne|1B;}ANCw"W-JX\ԨIRWL6]l̬Ik|As H˓.lrd>-xbU]bOZNxfKWXsHNh*x-x1ܙ^(:+DqARY7;n&;-d2\ME"bҹ6:m ŷIKTyGpÆ _9ğh `߮=#BPѥ^@MyhYOB P4iaޛm)EQޟۣ؃ J0}2=?f0fm βF=S_ce*nSo.`C{+4>aɄ0hy*s(+e{cL+r|oN!7\8Y;mO4K%8[>3u,gz>3m`ySԦФQY`O[d[;#2AGf[ 쐡Mh9EE!m]LmDkjoNqĮ9U!z5NV S>E  =qXĕM:maCmk,*o$$4 J4 Tayte+bpL8'R1r!ݕj8BYBX !UaY'H*rW_NW EJ>EWV֊t̔0PRN{4rhYF .n+L)*˗m.]{={l&sbkh7)<ڥ3s@+ma365\B-6Й_qbP5[Ϡ]۫pJۊx%5,޷ vg#uqӥi@x5|sg{aq򞦍ZqkgP_8A3i웺3h>Jw~@eJpjA6mgem1թoLG ;GtfWI+dm-&ciV,V_5ap7LGDҰdQ`}산J 0F~p0o$"sQ]x !7y o(J@kYAvn[۠c!F֎<6.%嶽hM؋':[Kk]j52S\0k# @Lx7-t(QşNE|$Q*_GU~ #ͩ:fgYH Fct#In״K[&/wuo-;Yιͳ@bZG9Ip.jג=?zfND.3j1{,^|n,cizʋ3Sh@CY_@ءh25\ z(%|-jl!\L~54Tn4=zMuRo ]BZ@gG¸D=\]fѻ܂dK<P MJGwB tggך$YS,BNO=›ݭipvi+ECzAN^*BO1h3?0O- b%Ҿ9H;?.-Dz\:Sa:zdo2$+}0Oŷ ՠU?{RZH8ys}s f0UcrmbƦYa8\"@;?|0vw##NQ T} 1QeoP[eb=׶.^yi*"/059io8õ^%E-$|tՁU6Uky#1|HNI-'R tWhx @8&X__^k!y_\d}J`ɎF g8˻_GRvG$*I]p73zXZQf{~טM!d"i8W[unB.>Dp,d jqvX}[ޘJH?48|NIy 1Z}դ}mucx4-aK^ГWewHWȕ -`NUճgob)#.ObB6&'4x[)wG=VY$\_)$:V/X髋5*1~t/{d79G|1F9[/_JFӠGF(-vUҙFTba}$חi׌:d ow=)vܻpn@k;}RgeȀF\u5QZc+ }D3pm _OIˡTݼ4Ix@v?BEϵK8dVmZq`zwgL{)'me)c>] MM:X4,{L&lȯK~ĽQmWa< 9Ҳ0Q):a@~Ț=NRaQ]2A' I[*rgYZ