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 T3rt ]/ Impossible_Geometry:threads=4elapsed=8.334cpu=18.728gc=0.5967zXZִF! %1]ŗXiɟH)0%ob$RQ_<ɾNa;|{`,u-q[|Uqp2?y*sL%.ŔRQ%?_&+ '‘/ ⛑02iˈLuE/)As㼩ua'q6f.l{\5ж:Ck8 ^, k\51lHוɚi^ފA-lE͌!dʔ-Sm;vϙYg0e$SC̵ G9YSkX9O=q!2;% G2yAZY$t+hSt#[aO1)( QN VfD/c ot33 x\,m7C{||AҚм*9A 1|j1Rى_ΥRF ib[h/&rt}=r5#Q:}]Qsh9`u$[v!,B&Tg /{ ږ:z%/CA *ݏyΫE N 97Kr|WqS94)D}'_.EuB9OFj8tzڕ/ !: e:(;v,]2|1ɏX]zVkXx3sQ=CQh O8}Rjm' %U!p$4*M"[پbQhp%njELp+0ћf"ke%/1STj`(z:TWCuj! jI:H e6a .!cpkmӯHT7c n)e~fB-X  LSFʨ_?xIÆ49L1^6q $%_$A՟%`GcIdP/@c\(?W :O>HA+CÎː[i5!x 1|->#BzRv%7vo Dh~?~W2<"x>M[_`YաywHG͞(GȃZGY(%ͼ *; qu 9J1^{Ϡ A,. ,җْYzoFE(#ĄKyA?Gn;#ga%2b$҇έٷOoVcX9e[ZJɈrVil 3>(D{P:.azͱg!F%C>$%hb Y,&RBDҐ,!S+xu5*h \)^QhU7DSԃ,N饅&QȀq9R+pB%RiM5W=|'ІuLƨ8b)× nI\?%wuՂ"Ї{WO݆aK= dֿ^VARQ>*Wy!LMf #yX][Vdڣ- q1[ ϳsy֐Bݢ96 *iflЅH`ƆttDm/}:|!|m#2ڌá7ZĦo7m"x*`x:4xՁ=EԀc)k"30:׿؅C'p jהJc{OVM:.*4lJK? _I~oK)Z/B.ˎuc/ru.@t .dn]znYIqsysUdn{P 3 Impossible_Geometry  :D@hEVGyI[ݏ8 gGP >U5]rl(iY 'f||D%xck \s8L~G)J`xdfج-ڇ}ڿFY^<@us=e YK3.j7ʞLJ> Sm!6qJc࠻Vk)vVZG (Zi)ponvJ!e9Y8EErg9t:&#y+ w 27yY΅B3;P8n0NBVqf 0.-BO:?NGp撃GSx Ka}l@bEt@<g{@5YoB1.@j˔iL%M:m[VmSa]~ h[g: @"UUsKa;~n1;SE h&Aqv9L@us6d\RǪm l ҸѕY^3 GGٜBʠp&&/їig)i'j$7[IN(,G_pZa0)ߙo$'vGdU'3vz34^` | ⟞opos *D-5鞋8t~f8 9ڽ=mh'Pq E‘6dWӱg ѽ!(⤹tTDC.WP*oW).q؋";jVy/&˝7Z|yF&^[zL4']GI#0K-ٳ!\_كab"'!25C͉N,/Da _x1mcBeB[czQR7gsz8J0cc׬_u%3p^k}"<Dby>p%3V( QKO6`Y.⠸y,Ӹ+$dRo=̷@zqS޹j)ެłs Nmm7w~ fv1jKi<ߋ^S۹uV=,|‘t~1nC\Pz# =v| 9 o_O6 ȹP7N\`FwyHMI+[ hEUmBD-XwTxfZL R.n?6F.p6lN(l=3(2/%#|:A Fl s yH}@1Ů49p7J+G [tv3wh&}4pNz΅\ĶI}j% ?'qN\ٻ^sꇃ{c)vq6j2?}eADh. 4BPL0Vbz4Se݇bՔHhFizTSA~=ڲ\\%.ryNw,jzAr 1.ܙ9E}t $3pLWH%=%&j 8^ll˖n߭p@>6zD6jZ΋ F$,a* ;_ї+wLW6+9![ 'ߞC𤎑Cqw ̾rwu1rS$ 5!;PJ s%v.>U !}S:ǀKӉzql@>v׮Q E⪾+N #] B;~maQĦ^yN@^JfI@t &X;ͮ}AδoK`!@ॆx嵤Z]6kU64i\9;G}QI`4 4W^dcQ%l5L.eΘ4?^o0Dd\a:t<a%v1W( qF,<5nS2WDSǽmY7Rutm"Ɓi֚$kY} ?w%[BOcAFA9`?O>DC)x\Z.p^A`K-*J*=YJ'gS7Yͽ*e)[W{\B^h01 z`hʄ6ݪ$HoRh7s oq$ 2jeF(~k $_S#l "f}kʆֿ pMEo}, 3rLm>#οK߄bei?pX\~-Ce5HUdBZ{w"[Fvp:H/Éj!(hM,IO尭Q;WtU)тᗗ5"D'ڶԻx5![y^'yGuum,qr[qM/u6{ˠYkqnprIc9 )nkDYkC* E-$غ(t +L*cщV^^:|-rԥwzelhW:Ol@'`囍O|(5t 0Dq,Xv#e˂B.U}<$d<$[+rrE R5&F}g~d؜uDS3D+֛?QSV{ veN#VP zAQz{2Oa0F-!eJmnB{ylS4D\.ڟ4c}jp5uʰ(zVtgh_{sԸejPkT` ',ha" Pw ߇HPKd=%Ha2N/e6"'~ ݆VhjׯŁ{&5  U|D'CzY3#Bgg=0' 1Q6sK6MN\[d Wdy밅$rЗvVxFiO=Ǔ1hOEi@:>>[W<ڬsPT*G ׆`،1mk߻oeg\"X]1 9L.vJLiԿKIN"B\zׇL}FAA',B(lC6# k4$l/OH`"V1싏 ~?]~pŚ*gN{0| #Mn%Xxzx41 .f0`A(cza +S_2~uXDe7 )P** aybyk<*|(sbb'&Z#.W(;Q|NmZcJ3.CE7dI.sPu;JUZWgOܧ&3 2|'{6xB!E_ BE oiA`+TǣHޠ8 \ᣳfULsuDz0$(k?j?l=O,·{Ll'NDq0"O`#'X_I1jV2J1pZ}<@i*W_}ir).蛵ڇ@i2%%4$Pzg[h~Ew2R T%}R}ߛaow1w̚XU&Mq1~f# k.| >Q0MCɿrk4īWOk1kdB]l!DklBF]{Æ! 7apRCc*4daHT ǁ#HzB `z2)U6Ö_E .;BxWG)y-h'Y%aK$J3 T"Ilۺq~;6eu?zDlLbvn|yh[ԧS^-'OPKEΛ#q頒9 0*Oi\'1$lkR2ZY0lO#x ֣HJw?haOXq$lI]y Rڨ4;mbL DL3%K= ˫8ʼn2Z"8g'#T2S(.%ⱰWTu_[r SfY15lX٪zvMeavr`u/rc;W9-g&OQ;-`NqSQB| I=,0]: JJgYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J8$K~μK3_tMTA |Fa4qg\Uh}YZ7zXZִF! 6P]ŗXi%L&DCBKj8hѢ]nQpDdxxX9%,@b PXtp4-`VfcXgyң0Nj*cϱqTһ+lQ77p-׆+c{8G`am|qSS컑XxE'gʶՂFxorfAY6dq w'ֈƍ4rP^,(?3?I<̴Rz-"oυ*lDqq@HOonTS,nb("T@\صl1U KN9(8t+q$]>#-/K\.o8ƧTz?/rj[Jhd*Udq' ;w|n$Օ #>J8%ߢ3x@5(7!:0&KiAQYj_ّNbTf4uҝKS4ʝ^L$?|ժSF…]'v'sHHTZ[:|Pu!|\ u4ʺaVͯ=q4Ղ@j8m1cm!^#D,_h={s P:Ci08E6⪛!=oKc,sH|5 bmVyAyYbs)),u%[.1)~\% vUF^ w߹DMMkǔc,B| S*'YEh^PsNhr 1R߱ Rږ,Oh{Gbf>!}<{ Y'XvLڕǰ..G|6O*,k+aucR, L'K8Pzn(&N2e.[J&j}q{N ~zn1߭Pӱ5M׻x"PܪPg̠2D;V' qHQ8"T<:8%nI5۫Z 7[So$rW>F1\5Pb$L֯Z7hf m(ocqL>7q@[mt5jRH䆟F]t4T-NQ@.jSJ6V@> v[ޟ!qP/./YI lJgYZ60840092d64d24ff20ed741ee4cf30b8e1c24cad9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535