SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 >; LT ? Stone_Relation_Algebras:threads=2elapsed=48.438cpu=87.168gc=2.904factor=1.807zXZִF! _n]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQĄ'6qԃ%̇g4Аk^*c^"̮ V{9kV] =^3s5Q[w]V: ,>_6zbcx€v345_,Xh/^F0$cg^cռu9OqŲ`(GY$D٩}SWPv ~y3h+z;Qdk! ׆ RU:`.5|ܠr5Q{qlp"Ĭ ; Stone_Relation_AlgebrasQX*䔋ܒdIO2_x{0j>@˱l[>)y  = vpĿ*b鴔cTA>}\ʕPW]TڍfZN$ǿ>==רb:%Q-92%vy2imi+;N*( ݘxVE4 DX+?W\lt`e}H2Ze>67@*\V ۡR=ZHHqKM3zo1/ Ifx.S}cэM;&`8hlt/O#8tӟ/6Ñ PoE|fT"Vh"[F/A NƯdC:EtK iLVJ6I2ͣi? :Y}q~]T;i}X8z N?#OnOBuu)^,SڐcFAŽ1K1d NSOv=] 3M@i\t[e<ץ{P6Eơl :Uuؘ?Ͼ">5Rӵ}ϭn҆4p$l cE2?kol5 `, -óiRpćI;(Fu䌋J{_#,T_83&4) l@8O F*=#o>0pw7ZK|p5> [mDžI _jZ4RQEBSZLϣm,9 +RL qu:kH֜άvvcGdwxZ JR6>.?<#-!jc_+`GzAVs$z.*Vu?(ڶc{N[{@|:>rm`S&йvZP 2;462f`k)/x1۳f['mJص>^X2 '*CMN2ftMJs(z;Ed;B_ӡ}9Lk EGU4o:·f6z:%af=4 YC+`V:TP/qSL{^ |Χ14bI:0W23涡 C,>. x'[>3Nm=?Z <]MM8qe%ԩ%o.VՒ #hKϝj@UMF f)E+&wSh?g\4T/ "Vbq(|Ў;A@Zjg`mQu%P`ك6F$0/+_TºhSCF D#%yz Ք].K uy.ȘeV,:ifЗRbQ3v$}zY6Ȗ8hrhq'Q]9[ZS_F#^y4[SodG= 3"am=Ppt<_k&/ˡ`Ê"0J6e1k%xNlknxōu$!Su/5oerc81/)ETɃO_!ҵygo=:HlC?Π4\-48fKc sC(Wi:9w[X4'"wfܟJgDP]7.3gn#%;GQj96uw7jp 9DUւhBg*Ÿʕ^EM⧗yBic6IP̂5 A*#h YG75;nH-w+0 y E0Mb Fށ5̃CkfMdY+.A1F& #PIlp@yڈC=^IDѦo<ܧ^FM*UvU#e?S?7wh8jIJTF&R[W"nL3Z}J "? &e@"d}}hRW=wh I Fɰ:!GZ,r@@. =5ANH޲;'Uxoq wBh\\o#a>T6dԝ=bqOG|ep[|2ȘJ9GZBEruMֹ47V+4pmFFhJQ^n|ED?<}(+IgLm{6Y tKͫ1ARl-?l-N+&wkjI܅ٺF(;nz=zs-jrkgx:i҂ja)x%TAxȘG_{$c*ڣenw go z!yvb7h5D!tz͉B)W?FNwR@$X`Ե_"!$#"pNiLOIRvF~Αb}R$!z)3w7QyԿ!je # `+4,.}V)bAUL/cjFӮx·=NHyGX@&~ VҔ@AkgJ'Ǯ.Gb,R:iHèG!:eD?+K9Ћ`bǏE&FـTwrDDwɆzi]~HЁE,Y($R E.y?šDcL36z[Z2.p7 l *Rl;GEׂ?YQx*iiFG?auoȵ<?T%@}!gmD.4JK`eXZSmHˎypbTTM0Xh[NX?8{rYd(Q5ю*ȍ(,eҳ;Ƕi_@)oV7$:SrlG K\$+<)!=h.?J /ՏjZ#!:%urC(a pDƹ,K'g 2\ ɏi500݆Wal:h.`4By\we`~_JwB P4mիЊ(ſӇCpbT8ؠD]!J5bUԶyB瀿i,E] ?Es~-IB>{^ßҏ;MA];:>+\ves(ZS7WjP,V!i0yam1]O`"Zp2Ĭ8&`9#;1lؼ3 ^ؽ`R_& n4uܭSYEƂAϸ OF_N]JQÖ 0Z 7ds84Et0j;7-XK]A\nx.w!."WeeȮNbx糯bYL<t+f"k6XAo="@>qqq6DbMS)s)\]@)>J]!dw`Nƛ ԗHባBGij691ߍjLKn&>W Y;7XF {zeA̰H;؟2WN{WJ!v;oFy56X\ϛ– ^Ӹl$aGFE 9QK P2h};qFf7ҊHP>"S @}}&O:;AT {5!BNhmļQfGv[3?U.>=r@9%JxFMuBw??FFÁgD&0wu Mqq:{v~i)C*?Z!AF)\{MXKy5}f#nnwHf& ?{ UJoUd-MŏɘELl^6 SH*ea]tig/aw(1eĥA1~Aly2)a;)W^]?`tvзY^nݔ?Rd&"W! ۄnE {@ ;oz/Tgx3Y㰕+ mJ˱oUD҈f (.>ZaO)e_S۠lp{O_Lg{1+&x\ 8vwC zOݟ Ode{vp/G'7\LI MR;'G{gTh8[9a⨴W&J U,1g`O|{әMWh)9mz3%NM&G 率"Hؗ!mfѲo:NXS5?/CKSA9ۣfqȇ9y,5QPleM[\N-jmj|9 c `Cgb1M$޳W}&1_TXzʙ|b9Ȕ[,1s%"w"esdݛZ=Vh*άLyƠ7;yRFp0 <*%愱cƆ3;l MвbWzW蹀bю.Rp2\5)E8 ]%܃ߠWSaAVq&IB ܢ~ef#-W̥]p#ŸK mY3sʡ77&;tۇt5g*e=2J"-Ds<1@9i|qB2`uY_)费Z@hn1֙"1g l0!uNgePVO4Ry"D"E܀ܺ%xcn<-ٻP]K{.%~]r<̂s}< AA&@]TgP7EOhHd;1'[á/i(J`cee%kʕU/}4u{dmlGJN v~*X7qQgYZ0a28500c9cd54c61d25d49ec3b240af715f8c432 10695c7814284f5bd8111213b7ff4a17bdfdc2f6 2eb9258a93463f0c98dd4d337e90707e66103296 3c8cd887c248fb46907e322f94cefa929221b95c 6969c3c300be75bac81b6017a7cadfe044512696 6def3dc46358ea64f147563ca9a5264abc407f8f 74348731017fbaafabc74dd4316c2234aa5bd72c 9cf71692657e5b1cc055fd134ecf3fdb9b919708 c7f3c508346e5bff5867083ea0a1150a6c70e2e1 e291d123f5649812200704f53f7e2eb04737dda1728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de caaa28907f1665fb265931a14df26b12420765c6