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 ,3t\d ]/ Impossible_Geometry:threads=4elapsed=13.600cpu=24.236gc=0.7167zXZִF! ]ŗXiɟ7KIxjbk- 0 g*F6eҏn3Zkk?5;ߧe6D&d4pD= hzdqU"\[}HO./*,HC7aqvFc=͓Eu7 ]0aF*"x!8{d+xx'ç߄/l̽5 [ rm$vƙ; +OokH(++J LO|3T'J+>sMM('J= ?fWB $5OXD,DB9~kkg\Uh}YZ7zXZִF! lni]ŗXi%D8W5sЮ|Oױh8;:^|e4 p&&}Yu 9[1WB50M&RѲjmQ ?>bVp`fΫw@lVVZpL ѢS{gVbu0ڴS?.)n\pӥגHk9cźdDv{4m:n4AMqc1[hXuDW|n(24%dZ |F*@y.8w8,'0ל1l'4h<Ї\ pQw'*=)ڴ?7<x;~D.v\:#dTQf}-K><k9x@A_UUy[au7O3Qt =YFٌ̖g rz%M+8l|7{4tKKƈ@N R]y9*;rS )ǔjɗk(qimg|uf/Z۹T7_dnBa=Z EtHZ KQy(}>`_ $aP_EETaㄠ88S_mION(B葜ލGM~1Qz.vtgG18\oH ,E~&%B/ǖ{M*%)lZݣ @`-W m@c@ȅnN:gI$̦x9}|r~XPˠK텥)߇BTxU%? ;+WѬ䵐[Zp9BW&+WD!n ]ղgY7\3 .uy״ic]^GZӗL'QiLFgjI? &ׇLVGS\aܧ6!0zw)2;dXbS%FpЃ0CWyJ+hrDx XV8QYr;+߸dͧ1vHym5G\ؓ] ({w>CW?MmrJ(ݗZ;X{lò~ғ9NJXP)YNG]ОNN`x` uA얀AaL1ZʻE+*&v'+>IQx$iڃK4Fo5c* J`?@J8&|ZXܞ:r&E |Fȼl*Oh9s9Cdߺk|Im:5\ѵxQH#Ugd:~9/VCj`L&FSt; 8 J}wϲ} uY[⇧&͜U}?; [ᅒ1/FkO6(+4o{^<2ii4e s"񢯕HsWuIXiv8B~wr!+8Ȓj/ x)|3Y8ƏJO¿A`7ȯFa0;bEJ |1+:vJD ? dO6 [RYߥN[n coRjԮSDN#5ıgYZa9d7a2308009ea11899bbc9b4fc85f201171275bc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 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.R*GCo+D,0ܾO1U+XX_*:޽ H;4bu;LĨ&d> )35nrE']1lg?4 ];M^>Q}bK< !svTb"KN} =;5E~͉Mܼc]nWT+OpA۳R|뤾vH(y/<"q*_0;p7/\{'o1T.¯ |I s7T4r!02Hc+ BVCw(7h%1lC Lz D}4\C$ݻаo鷺mf[NأUSTݻ=(\l1.F]«9(o90#-9q7BB~JJ3@ufEV-xgg;T`jœ\6i}\_ d7ϤJO{\Qˋ8*)9! γXʥeyt+?@"&uq],% x̠:wќ*za-Y=j_E*/'28=Ln&ĴqfxD#Uʪq4DFưUW4)– )=q[*wƈf}K#iteܰgIr Tv{:Q9 4̟25UNy!U˅BA˾z&+.쎀Kb9USQz𥸡=gPHGg?Ɣͱ5ot!ln㐗U؆W&ɛgiřo6N5 "$}fɋ3T,#'+gٽ/$Txf{vy5goUv^C#۞V9䷵5&v,Y7L$I$Ėv]r1fr‹ Ro W&tHhNqcv`t#s6ߔgF=ҥ(-tlxF=6rۑ}.Y,Ϋ5x}R-$߰C?6Oc ɈoY05f׵$O`^+3qYGc~lAxaz֖ )#79Gt~F!yR"J\U~ ̨ >^g&{9@+>Hηlf~7y6ޟ3 6K9a)#ťŋpVsѱHW U O)v ^˖+%VE<1S y?ԡ$QE&=)t"nl jJo*`ir #9L3ٛsWI4c>P!}AơtuhX Uj3?%^=W@` vcߵ9VXUH,l33`"'ž\ (5R&HՍño9S(Ξ4ZbQ^4/SEn} ' CH8JPL[A-"1vM"z(ܦkda%=G#؇k64]H̲`Zu~j]%7' ,̵=G)sS ئ` 260@DGy&F#X0oY1 츎 \]5'`Q(n=O=ag|7Ki'U2}]R)c&fB(VC!n݊W[+iQ@Ì5!)vѼ",tA߭6=Ӂ ȁw[B$3w+gf44踨(ъ3/SPBC.K1v\6,|+Pl2)0ֻKI uJ\Pr3[HSEدVfyp1hC~RCADJXXDˋXP\t"h~ߣOlW椆ū QdH9=C Tbz"n;Q ڟF9:D?$qVXCxwk7,Ԟ܆&ޕ'F=#d3HM}ǫk{Oxn I8OC.aBgGaUgIwX]{4 (r-n/(+G4æ$Ifuy_ $oZ;{>jnsD6Ȅ(&sB.wq2>j0l"NW@u#zhUE.4p-fO-2TdVg1㬚G|ѻxtv9i쨷6eY^9."MuL:Wk DᎯsMyء^#& 5&  n;pktrxTm)=޶f1{LTߋuJ 0t&j+1I^)0ӡgJ%h< x6aMGgu[,f[f1l!Q*ƨ d\(mXh( >(U^2>7,T?r s{ ybf_?s"3~<6RMx.Ew,Mf: r n\?AtrA!UdAgq@qcZ*R |Ye@A;?ԥP\ժZ6|o"SBy4EC=FnJ xưO+bPDf!}7{{-ϰQ,(֞u~80,6@Y`דt=.GTUf H0i! f/8Rf9ؐ=B*[&,ąK7Y]qp-*˪zDLKXli 8<q OM~L&U G !Ytt LFBEg@vthQ H~ss]YpXKg"~YDoM舲H{6)H kec:a3`xm?QRJ=Y~JϿZRMw4 =6? e3 NP>- 0 IE+|a~2S8ńZ)rṘMxuTMAUH6z}Xy"qnf'rX璺[{y PFL :KvwGaO@CĖfwWZ '_ʜm (J~& 5ĝ?gڵ dpILLgSe7FM~7HDK:h|fm?ƪfCI_g%$%Od$HU}@*PXh; ,MGaϜYЭhrE6C#OuŗX ̹wôX/~3x\fb+$P+8ݝ X-+Z.HN6\[priBOIƂӊ.}pǥso'"G8 ox螔/NAy&?aiW rFmiDWI4{x-զٜ۫߭ 6kx̧_}'=9)LԂĀ^t>PX/L'VnApeJ8l̜6y8#ʯ(pj}y671@~ WS+|h m+I®#|$j@f>u/mM\>)DmwTs<35$w>zet 9wGذ1[GIg;H|Zuhʵ|ҷp`VqR ]'E<ԛzcq.@ꚟffc:lh+8n[iи}RaTAsk97rYOCVM:ɪh`i@??_g4j7Tҹ KE-8E)~ƌ+<9W(^vTqjW+G*>% +#-YX غ]9iR"욵; C#vQ.Ky*t]R0n Hs=ߑǔ wvGݖncFz'iXQ^EL fwUbGA-&mq8|ŶcwAw^5dQh;o{"4ߩ,>&%(#ENjwWiVffb~cϴ_O۞ၿ0,;)%ٯr9]$ׂ-D5 4c㛁fa垩E@Ջ^ޕ8}<項J}0ᰈ?zc9 T4t1z͊3AnƬwumspDk,͠JmYs/ɴ.`Oe1:bt']׀?(M-1\+w>H 68΅u]T)22Rs}Me Kٗgۃ:M֥WkFg!C8Rq󒶇-Yx^k|JwS LJH=RF֡Sv6eVc9VSc<'vfO.v/qG6q_?X}&2U3h4DLfx/|sK:r҂_urlMaLw Jw z<|K?1yk#[ )?F,j3gR'f>e0T)Pן> aC)Ӈ*A-r aB6ƪW?N|2`G+C˖]k砫cڛLn^Jh t RA Bt7rN5k-d>Ѡe ZI\T.S~LzIxEy, =ҙRzdCM ;äaq+ ot j .J3ڋDYd[NL)=/a[n?L AX03 ɫi}k aj[уA^_X{>J e3'vՎsLKF J/C WBd5a-kI!>GàcgH%(yh'Z.Pl/7k0 R B 66qI2Q7 Ϛa(BRFvcc'7PymbL!9!TC/\|>tcE (WzX!mU/INtiZOMR٦P1ޗHgP 7N6ZC1MK}!`54۫UbjMH+zOCrOL)_9㨀>8N_gA9CEY͢ pD2Nm]=5KSΐs)2K]mP!gXw-2,p\ 3+Z}Ձ9L$vV18XoOG8LyQ6J2O:.5Wro6cd @ ׏.5H?>砥l!`Ob%G-0®"7ji"{Z66WieuV(!m PnٍV??iiBn6dCݴ"m{r1/NSkx le=T̑/{/ҕpUP8$p]$װ>[ XӦRU3ijj7Vr<3`At}y1hi]| 1{Í#'AP.'Te؇>a[ZkgF^9a~EJx~N9磔71$`h sj ڌ'PI")}o,CLLzPtm Tj%/IJ*^ %(ckUq,ļ22Xt&r rnX`>҃+Ȁ&S04K5[̀"*yNN??CO̅JO:ZTZׂКK} ;@O]Dwd1A2wuwX&$&2 <>X28l̛&(*|& I  p?/Uv,SSvLA;LD-=* , 1wL,R$ .V2w0QXtCUPT[MY <Ƚpfup}}܄eĎMzPUƺAQqCUvź`>&D .2$P5I!%Lp3ArK<IE˻sfd۳L-v*g\f1|N*13g~3PUm˘n qL怇ׅIU+q2ˮv01q'd<]d4O9wIX*\E(%ښ柳i2VC| kj^>z5<{"B w s[-wjK'`T +*'풕(p5xٚHX)$=My[bXc9\ J?&3w-&WSEU"˨c>rl5 w94;v I٨`0%1 519s?vBp60w&# {xRJԎ}څܱb߯v YzSn1 :(eCIJu/QQ53;gKHAsC#B¼s:^~ 48 a V YO+$4{f:ŸgV*cDS!r(C$Qiw]W.-MQPX ,.f:s>MKpzĵHJ~ίdJ]7d>NBD Ez׬" 9hf+_56`(@,֜tePkxwdk~H&i[L޳+SCZJ{,/ĥXڄ"Ftր(8uy(Z OVN/{j=y^^ V_\ Y ϭ.x1>w[&.|wZ+s ӚX\.*YGGD$rW+VYٌR >W߮".*.deYM%J^ݚzh$,[RK R]!9VK!ԎU!y[Sd4#Am|<~}C`73|]^#PBbY0$xXXZ;7Wvx#p)gۨs[eXVf L}(_/< В¨lvBKjqǠ}V(+묟8oj#3X\bB{nj,͢r4y։6&(s1͜j#2{9od!yjc_F,d\NZ|I4wd&zLR YN޶|GXb & D$goB$񊺌тwx VU BQ9mPF́(}9˪7?e>rKf%=֫E P+'x zERPG͒K!7.i0 /|8}[O?H[;TxߞMyx F_@3KK!_Y0qF7q`Q=>;$Jٴs"s8aj8 = #%evY={š$'`QШUx-=E2;_Kq7b< /o1\ R QdMA Q&S81!7n+'Gkٱ|DDK=,YcTPuY2r꬝ѫ8W0n|[ư9/s\Ák+õ.Ԣ̫X}5'mBBP3iɝBQ( Q# OރHݗpSN{&1=P6U3Z"YLbXJ?^IPwR/ƽ`x}b64%eM4N}BC2?ps03r7@*3a4zϸ%@C 9" }}"F_z:22-:RT.N;!Nm.TRyqUsnĊ@t`<${`僙%f8;)<.?ز"hr_wTfApRgFq hN]^h%OII^Ȥdni4~tgO'ۋ84)Ho`{>JDK/̡!8u/.8EP}}{?YL1\CF~l_Q<ӶP7L%:)5D@$GMF 37h9٧BVn҆q)qWU-NKZ먛B2 m*0w2+)k.Qɮ]ƕ T2ub 3b թΥZ`,M}}$=,7b%PC7+;߿TwU?22Mx+}>B4XU*Up7`ha"AIB<>-C(' -#61ܳh(E~ܾڬXJlr=76 p<Ň7Hjt=XWɎ Tʹ@Xh3LܞIL4Ia>mmM-Gu xNf[#X&cȺl^uEZztˊXu)ְ}mD% k,0 *=-y@N@CSM#{3J@~$jJ4i3(,"Xx.Vh*}腪M;R}0$$ѻ:5ty4&(I󯕆긪>JY߯Q hOPaXeYzS:WT$R:RuF;\TPԮ+p%kܞL3z0A%9k!i^TwEnqp1 D(_2C'ѻU- ab.PL,RZcqZIHtuRKGW s/z}oՊ4J$]IVK<˼^UR>P LdqP ۖ`X^O^[.٠*G;C@v{!Dca8u|1YY=gi_,]*O =GUS Nt< BX.4>& Q, TEdtVMe.l 6nqTUx]j,v^KQ%֣@ nG_|ݗпB00~gmZ PP F@矫hIRvi=0J <|#[`Pa%?Gh?дw\xZzcZ7;e/_TWbKglY_?lOA 5f T\ Ts/ -o(@ Vau)F:r6Z)7 #Kӫ{^<eLj9v3|2 r"-GN "T<7A x3[si$#go/mb;b:g "08Pm-TsjVN<6toc˛ 1_l.7V1 <*1rJ(S!Lfr~-tM?i*> {HM -"4M FF_{zo;fMm"ܔXG0E\+\zc}2bqc 0(gH34v* =h{AL`10r30Go,J4Ѡ*[Q66 z^{5k 9[m1oԷ~+w|(8xT='x0%0$( ֠Ű=gt׽y eR-򞠠 67+N=z4Bm6]ċ]oUܿl @+XLW˛H1aOlxs3{ی$tJ7jBIDB'>ImO@+^Ry;OiX"/hjT_)Nj%6#~y[K28Aճ:0($yHͬRT1Kl4͉u%=~rH05Gtʔ Lâ ǃѣ^{F FU]f ^YPҒ]'^hOa=\q$@1!&nU`ps%K5G 7ط&*OHMfKq%q<O)M`郞M _1Vs3SA܊>t&'|"En,ɽ  %M0/`Rr|3[6D:2 OgDbxkڝiB+OJ(nR8^ʐC& ڭ.ZZHE9ݯk}L?sF/3Pm4wl$t?og}NNt`kǶi2ڏ =ՓS7dF߸MޜvY/Z 5!cM nj)/GIraY '^3Mgb[W+4jO*>*vHakh.Q]'S?a5''.wr"o^.жYH~B.GY.!y•v[$Xl']牰BJ53f3MP)PYVeԛk~O1 =cD[k**AD)cHNg=; ~i4RWwZQ*Wֈύ7("Jӟċ<@_AݿoӓI YX$a鳀W{$y6 A \g٥iYUimPN!$7WL/ ᨺr]ԌmF{4, -o<7h+9|6`h>//qkrP9#EHbTNSnUaUqCAǦCQJ >i$7BW= %ڏAw3 :"˺^6gy]>?yDak|U5Ĭ 3qǏ̓,1P,{/|cjCu#y"+ Y9T3F~& _NlbGK@!_yCM@* ,Q5m"Ǔkۏc۶/ C+pۈ\-lq(L?dV\D+BAv`Q)GN@сf*oصg?޼7]*gXĭ äB_8P%CJ|$QڵtGo Iy)1ȋ9 Ї4! ZRuoik$-8 Hǜ6)C#0ˤ`sKߖJBA!>ܿDAD!KZvlBWX;rP1)NOx?q&" 6DnA'?^SR ;d{eϼc-ox T62@__ ]7i]}_wE- < Pl-H(vP FdV+yLZ\|@,ۛ@46@ v(|pvnb08hN,J҉F?yuY c&|^TB-JB5Ϛe6oj= !% [Zswׇ \ #JcXhgYZ