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 r7*۠/10L^ޱy.*ىږ +QM醺OܫRՐ%1^Bq7'>shu1pi- ADJe-lAo80zR\w/'}vۄ?XŮs4 'pcRw"-*-DZ(ҮMYvDeVқ|V9 3WVV.%MVZuѷGE=6J@.IvrRnvڃCiMo<<쪣"igsG+J^P(^Cc5UIwP쫕|m^\`2:`E#kO^زdZך6㫿G;HPهlGR4zp? /2 #L־8Xh3i8 J!9Hw>^k7CIzt۵ ZG%F{yǫfeKN &~#Lu@]1wEozLk&\Ba`IVҩk]9QrgFU"~Ŝv1?#:gr^{1ܾ.SsS̶Sw$)T9j[Qyx|1vt}߈ąc| gv!0: S5u%ɑq +Z5iLKW7ד#Tή,JrJet*n{&M<ljBٸs%HpE$^1~ qֻ>ϷK9aK{k7}Q0>r?sH` n}|H r" TF-=4k}!b (wQL.%rcCTUKd6$ꩮ\֥;x*+`&e)uOk-nv71rAH>bBt?1 hlv 8'B47`8;_ tSR)+d_ºzUX[/Ix4;ݘk̙Ppϑ/qo#7q5`=ʬK@3 )kYR)PbWiJ&c~ rz4+ 0lh+7ec:@$#/uZе,4tዜF`q V=a ,}Y87,b*g"r ~Î芖M-pB2UBv22yIWV!Cّ}Xsq6 6Wm\z'Wc6Cl̓ɈXiET'> 8+E{ a{U#ƍwu K ?mҭ1ā)ӨZ*=D䕖!3k$AF}DS<mYa^u֗qtuUp=wm P'?@h X {PH4Oᐨ峰F9S%֛Q dAPv}#HnP2'^B.uSU2l " vU2>XL¦Q5\ iGq?\A‘-8z瑙t$s_R2u8b4qfݢwDX'lAw'ꚝAwX]eg`s~@@Vzi ׻ 96WR:|j_ٖhwPez};uJeэ-x-ϔqޜξ8oɳ\4"$+|i90}A dK?s CZY0A2Z-A̒vr&;..N `K +,iŨ[Wxig\`\)vݞޝ 2$5 K[ټB?߂MW_yW0N`qgOg28fnΟɒKQ4mce הlV^ U93]Pp&>FnG[O_P&:erJfU ('Wl;)\-at%TGҹXO LEM2\dcX8"Knt?eQ#oknXz[g y@B Jo*yI) a=q,/c$)ybmHqBt`wIB#X(.Ϻ[$C,[/n,ou:OYO#>UF==M`@P[k9kY _,zي4 M7W Or)|F]AcQ{Hc8;>Uua#"F:4ð3@JJ"Rݷd=8.43n %m[7.od9t\J:u/$~_*[zU)l]nz6ݣ@BbSK'_Rސ0߻׏o[a?7^2(0Il4Ɖ YH@?0I-NABd| y]kױά]SM%%G<t߃>&ֈn|LdAq"o? [4}PZZ b{gG/degՐ҄oR01IN6^yQIS'Pf=Y\z#Z C|#<3LHIsE!~+)r'@ݕ|wM]j󠻃_d"`_/c;Q NIIkp!R"DDZ .h5UI)~ EqSUwm%-vh7lחW.WxԢv<0{ ;T =$W2:,`e5tQ]'b4D o]ɉ r*ᣅʭGM~ɫ;`:l8sy#@bfP^4 c|w=7+8?"Pp_;4̂Z)Ku bƮ0:]oSN4M9umŐB߆UZ ͱPoEr |39FN;򑺞|D) _E4=I!emV 鸹Fl|ߡwc [(1iUV0 2JZtOukd"],߫c9F(m"~M+sǨTGc-d&%M>&(FWzY5ɫ+'\b_D͕-hэ h1DB'ʭk2ZDN2H>TX9m~QF؄_S$y4iO^!az}X3Pܬ{ #v9> #<iȴ^!r>!J&%ݷo<:}v: ،(CYXоkV s`UO7ċi,yMXC,tbnMZʥb {,ȝִ]/\XS"TӅX<:AͫZeZWj:(K#M/lƻSlT+\tv??3$c6)Ygx;v20vd_*q&ؔ "ib4Zj}8Bz?h޴ 7ԗ5L]߬5:I׶O)T+0x<8LV|4;F$z&_ލc^k#)$. KǦ\~(߳^[%/XiZBYGg d.wJ4^GԥU!T?;A'ph8diǶ(;UhV/C=Ys&Ҽ@ `DCaFZ1v\Nyd_#mBжJ5(7lSizI*onzҫ{lw ̻pv8W_ XD)ZV|/saMF斟QoW/c)Rnh m(`/+bq~gYZ7zXZִF! +i]ŗXiɟ*#; )zhWfLծYw zSQ>vUFkN1*1?eLmûZ~΋;Cr6'}mM 3>eObcȡxdH!ON @ 82<ĮJf"U)˰ؕږۗBJqBݐ (_6jߤ'LoV>[ w0Ʃ%dcqf{BuY`'vKRȕ["q1mX/簸Ŗ\7s)ǹ=*D/9hy$ڶ1rFӚd>ONk!UVߘ`:`e +R=@x#W6GZÀϪ:K@V6.tO:A9,F_lH\~ c#<"-*rו?€^uy+5p )K_ Aْ2_O!{XJZ22w~0. B>yDWc@OSmSe-Qm/7T+Eء(FI94uLqd-ʡ}=!(=9 ̋&}s*T&HFq.!3~Q0R(4[I%c AvgٓV3O--rK DElGlKlb<镣q?lI)m 9{;B"01\X;Onip6Mx&Ito%z1@EkkͭR\A -n4!@L KI⮰:*^ =5D$3?Gdj=^!ϣ ~ƾ+Rt'"ͩ-b{u܄"z\/1x6j'aRkOԣY}#ct{ᗾuA⦱잽xG]2rG' 6TkTdJmrc?pcm uhEru=7BfvK䏩Dt:p(BAW~5ZPA%'N#(q:qDwl}v-rO=Q zg>EINybw%}U=OˮO|]yS#9i> Z [獂G-UW 2#"ǨjYbP,*3ɫ9Rߌ<-ZQl{S3//)"x]CGf Et/kĂNlc iyA FGT,) uKGfp=}{E@s0v{F+hOJ*t|L _|&'C8"\^j^c = AM,cW*=<6e훉 [Zw' $XV볒Y-7Nl_{{?fQv{YFС.^_-U?I}zEkbů(c; S _eZBM/@z٠Ѵr$. O.a4Jyt?dmX^j86D6u y<7`qrpnЁv!@ഘx%xY8.#lc*@~:y8 #&iy]焿Q5)K Rj"PJv @CYOY7^@0>Oa rDӞsн;0֕IZ61x`UX0DGSss.%(`,1W^$&RebЌtiMpxяⴌ0~qqժƏ=yRxTY1}LKSoG3[im=a2f8ј (jko+9W(")ud*:J:sv^y 㤊;]P[aѓ -YO@ұOA|A7>YIM /JW6Š=57M~Dg}0X} #v3w`m8–+:+VOnh4^9))Zu)&:ឳky,ÎhَUDYQLyB{Rsp)ݼVEdZU¸)#\Dչ~Wk7W) Lҕ8xBS/ķ .)DF#ߒP׼I@ru<a^C-݀c.1,@<;n=H+Cr5Tˠ:Qk)x0 t'8eɨSl^zu 'GyG:t\3-`3&.ˤT>BF_mZ 8xo&#Rz<xˮUZIצ66J_ ʧ8AWNg;TyU83NjpXu 9gpN]=Ew,(~@D`fMeGxUküc˟FM9HѺrgilR\pڋ~a= x'hYp Mg^K`nFz!*$F-E-S"Uߨ|z`- ^.'DvRTI%4'Q4.Rc! qgz*(F/]]_+ ~aшQeMm HWTK7w #XJj@ ᡃy6 ,YbՈRP1 xk* 5nK ^`Uac7`aN~b;OhmN} LPe{HTUG&0ϏJL|ArPY ; hARO]5Q<)𾮬^㖢̆ itZgCv:Ga'~u~ ;AՇۀ?M࿹]4Y/CL\×Gqo{Wxw^B%T{u Us("Yؘam,ھP;Q@|bjq1W@Q"ΙލƎ܏4XO{ o QJP< h&z`%$,^'f Ix'ځvI?d"< 䅁 VC=ad-:XYɱyX)/DA?MD|hzފoVhD&16~I)oJLFj8VnhbfKF R@)R>:9, Q8$,{ n,tq2FzZ(gq'[ 'ns>VQYX=9VRlfP:z VR[q'cO[ű) @`:w#Ka=^ҚꙘ&@L<[|oFBxT|Np2q;1rfjQbտ31: ;K2[Z {O-R}oha7o]NB*-,"Y5wLq{ !ƚ+ȑcEl5n*VGR+/8E n}bO *:rg4l@/U1ڕjҞoʰ[sq/#P숡'~)Ż}H0={SWϔ6ӈТ`FT4h]y@2)Ife$ @3{&9О_2TWނ:eDJR-fC'UXNS 2O Qm6`Pvp h (WϷBNcsv>2[Uk?0O*,]ΓD U.c.hAi^Sւ a}H1KѰ~b rd' зz韻u==N|U {3:3K ڮed yo/!q`nnY&Wqw ^81ޫ S 4u{ڜir3؀θ͢'mV|قV˓#A? Iб䵢XՌشxMKVo]m&Q i$+^2o!z5u~'8_X(թ$@uЁ+~HfDlNJA[s+gk?ҢwTu. mo ET ٬;C(hĹ|gv]Q))w8x+}1:` Ǎi]?@*y++sO4LiZY-RLo q<_/KwH2=7ؽ뀿җ?G*nZu`9AqAbfX Q|>j>CP}u&yWZQ2!b&~H@?/!yq;h`FJ'Ǔӈk/9  Muq-ҋZ \"q`O ǼeAO+=jӖr'g{2u4XKbݦ!'Ǵ|Ld !G/[=11[\I%0Ej-2`h$bc/5մby2>blIԉr2 f3mq9]* N,UW+95oXgҽ_7D{Ommlưd^IĢ2jXg_@#[A9?ʯ.f>367q h1_Heic>e|@?0" -je-H poy=OVFnk' 7Y]^ .OadF2%f2m"G@ULlg6SNQ6Nf Z O7{NTaav pw?|XYh8*q!i{e:p|d]NEVi iͅhJPUK~ѷv$b_I v;qqK}kn1 HѕSti4`ηչ%JBt<\ 8O/Hޤӌ:؆Ae3I\(8sKV錾YL h(e:[w4x`J!"Ӎ3С+UPxo=DC5[ޤ'`J)!}53IjLϟ@=xikbmH$an+JӷmE)> pu;4V)XIIa '{ٕdUE馗-ܠ!ȱDTe{!")5ѣ7%A2)[5ShdbNema(ʂ\FV :"kv"Y >F;lMKEi ]a |(QQ`pr;?ɶ2GfK0Xt!>MˈeitJ`OP\0?g5se?Z*YϤo>zܸlV*feBؐߔQ-0"y{cw_s&}HM͂V^GMQ\X80TBj(8PR9B€CdE(gEE\K]$Л _d~) I1+_"gcdՓ;toHmע_kR W#΀ѿQ IMٵ5Eݹ.79UEp*Z*{ 3{:ށTș:qb@h#2- 5%U>HY={rt[cvl`]oJj( gqDf m|ͲJ`mH`\sK%[WS]ە7}gHJuOVm U0ILtBJ{O]-Y#Z%60T=')ÂߠhK 7G*3,-XK.~uj]r ӵ(,[F /.0nѼ밸؋Nǖ|V2*ϯ^zFW!J+lc&#L)V1y 3HDKi`#Zx_ ǂ߬q (k奈Pg{g-;4`}0z+ʥnD3{ 7:B\ı4 .  7[j`iXi.y(HJNw86k \4rsD#@cX} ]# * 3ѧD =¶& ڍ,K> Q]zG.a'ZY\! !d%kFY~&>iFo[rWmΊ+yAp2&VB&4@5oV'Z!e 2>3L?M52/z/X,/eX6 ޵{? E0` G܃[t)L]dY b#(}#&q-0':|b!e*#3hB;TxJ ?9H> yWD}j]3jQ@ニgm4UD19B>񌫾Bg&]]sZ+?KͼF B7V>I D5'`F"^BJS#A.g]E&GnJFn wKl 6QɃ%rcg?6I1pn9hkxn/ )g+,f!3lD#D[4I}doasRH@-&b](ӤoC0G*Sg8D77*4c$EAC2ugOótnL?-^J+c}l.vj :F|y2_mOny7hUФ50₼*€0 *14a! -VB3iKOQEM,)6xnO;v/%Y MY_j'7~$UJKG ؂WSV0TD;bb-9Nqpu q?=UwNxu{omתּQFQAh7jCeWiFK;y*Qsus8uIn@+_i'O +ϩ?}*0/ bc#+ Ͽ!kQ4_ߝ22Ӈ>sKi |8a4܋@Ү;̲J2ttwMAyN`V͕l M%1Cx?`Z+tr~(`l}ENTa n`RiIjk8%mOwyh`8F~+{Q1xl〡ѱ@椷]jonIg02ÓɃ؇- - "G>B!jCD;m}8ϩ5^rU3OZSh{n$3bZ_6 mB#oi1:V]JS74f7%?qNXSMY?4Xt؇eboװغO]1U)t! RZ\׈ҹ˥%Q Z[ U:q \TmBc{ K TFr0X#lPc4ߋ1'$*aonm/Fc;k\]vO3\ee*.fH=;q߂B.|cd8a-CJtr '?Kb5^K#HfosbU{RLSϟrWЮ|I}$K+5Fp2MD? o:IA-i9\{|=$ܣZswM > }nK>՞ؼ8Ҷ?ܕd1OF.ok rcw"C|/s]AZ{2;RXG)ϑ7Hg]Ă'5~;JIe.h~;x X'4QrX&lU9H^mm;0*M, k|_-(os؂8|1)3ݛuB٩::Ta`,?:f񂶵 ީ.Y#/DἕAP-gi,{6HuRf[lMIJp!ԵKlr$96_[V'fLrs>ki-Y^2fW.Ғt]?*aliFOb?R^|׭G8C(_ pr4oYu[\tL5ӈ>1ܧU'%1Ѡ] `qӺ p&fctOhy<q -{>,&9 ٬kŔ̥"M lMھA{抳O ֠F%cq 6dhCS