SQLite format 3@ .0:  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   [5L< ]/ Concurrent_Revisions:threads=4elapsed=35.924cpu=108.576gc=2.836factor=3.027zXZִF! Bw]ŗXf[&"c\7MZ9T{[y?<tc'5~ΠX _dCs^# DH>xuYs P'?fyϣ^.Brv)<$vP_'"SO=Q ع:z@QH{7*?$x" QJJmI YSSQM?{ɆgL]Y? l$wN7=spoA/@)Zl6;w(fu FA;Y\ 2;LL#o.o<Ĵy+A T?%%SNˆ bu6o'7vmSsO鷽{tVŮI #ܸ5LGk}(V/MqJm3W&bu:fmY6_Y$-~rfj\:ELlf%?lyL s%d{]9b ,?E,l}l\⿱14f!^DSlh>%c /Yȃ*MӚևp<.hKmMHYeUasz.kEd)ɢxԹT7 3}!֝t|'O'!E0zڄDbx6rxGf/uD09wЏHzc1& / 3 c4k} [黬YTtO+V7WY!!&i'Q~0 4 v-m' i?*V;9C$}Eyk("wY!fP8$ -_Ti|^ ܬWB45g\g?ת]ڈ`aڗ3{ B*XgowsmNx1~y׭b<`f1Q0xEi!+xAӦgM-&7oI4F9jQB˘il)QƼ1aeUBol(ërLrcI]躮kxu-XsĞU]zH%^.1nf6  t*u &L9SdQSp ޱgYZ7zXZִF! S ]ŗXi%B:fw`Ε2KA',ڛ(Z22i26f0h1BHɫ[,QHHoy`+fC "+_GΦǽ K(6d]JTS QH1KȻW>xjHV+Ud>=w\z߇fm!O ZC!v Gfᔺ0}1%#Z:Q*zGz%(:NI5'%Xq`@"BȒH"MHO8@@:d S Tq<9٢oi7k\86H r}6el14.oj)p13P~A?ޛxaElŲ?Et ;~Vη󫄓dVզ0)'s).Q -T#QHشkjIuP:2>A>Yfz벀lԈ3$)}/5'1h.>sbs>CIHν$ PVn[a`+W۳ h L{ĕSe,qT4Dʆo J/em7iܧTꎷ9$R\r֪0d4, BwmA>vǕNZEd>=6vD74}Ƴ}!1@ [`\AR'hO-燣a6~nxɋ %d늃xv>^eENu daM4J}QއG qz){³̦FU&eU5A/|mBÇzϩ-Z|cQj2ܐ_? d0?BQǽCmf $OLDȍ ' FE ^wT.XmS"F"W`IIi zK<:IO9WMk` …ea@iy?F?4Ur%CH}8GfO=|CEIZH-}0Ce͗|[:1 \C CW ðdL&,i^,jR:C yz#cQa ’x# ϼu Tlrf"V@)>A-)٠Vo+U4[E c N 46ץO:}ɍTUIGn6P޳(m|9DSn[$nƒ7M-v$wb؋ +碴QT+,_@ѴI)^%5=p7y6Q'-#;@ۙ U܂44#Oj r4ONHJK:n"Q:%Jq0)%m$/;1&syEKD%QdTɔn0$ylqUK;}V).5YH؁)<n/ R%51&Xǩ>FU5uvd[/e?@]HLcr-2wkjQ?o؟䳛ѯA`(E0 qmY|p߀ M;3KE#.Zɨi I!ԲRQ]dgL y'om)$ qeBj4G6nVܽ-aJMlҥLD4]#:ϟ,R:&rZ9Ykܭ{RlTyvC.ahT-m.p0ei]I5к_`@Bp.E-^fL_#X8!Z5(VcyF\ !Dh3l"K.zT Nvh#>q8m֜ hdDyg}I"]N ñ˪2aR(~'U%,8D)\Au0ʨvXF1ƞkNZcpmVZ~v!Ks?閎 4!*8"*fDJ#ERǣN}?J"oQa\G5Ud.8yG|)JBTץDx?+mbnsPoHֿ_s-%$햪Mᖴ޽ӔҾ&؜ZJ>Ds@T p40WMU Hǁ UrIStQzUec G u@?6HYȲ$1qPV]Ub ,v\ix/{B}4nyޢbbmmkC6؈>*H@9 SP\?8xF>G7 ;}Av+AY9Nd>/6.9ypeiUrb.zECqLܛq\i}Q 5r=%X?Fe⏣Z$^;ylwB\EK aE yᲖ]Al ;ZNASLj%ϧ{Κ_~ٝ[Juqr27i'AOxR||Wzd@>+(@+?T" {ZCVQ 4 .?1%*f~md* Aӣ0w_^u's^_Y9#偳p-X~2,&;]oO!;6ma(ĠQ`=+<.^vf_@]TMxN֪c⍽$33}+5e*z~7i):?Pi!0g5Ϧc/g{U3}V7 v>P==x$5cMHdCCП&;lj/:"d.1vdb/t#z(ӣL>I1vUHqf &y+)ⳃ1b!A,-xjL VՇJ]*ֱgYZd9ecebeea85d772224207135bd4e7bc83e485a3613f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454