SQLite format 3@ . BBh77otableisabelle_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   q/4,l ]/ HOL-Proofs-Lambda:threads=6elapsed=110.644cpu=139.384gc=5.544factor=1.267zXZִF! ;]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%l.. j}KD}DZ&^KǢ|nSE`hJA3)5Jƽ -ᅠ/1I3O]Ţ3_ws[Ɋ br m)Y$'V5S#d&ޝOxŧUO0l.,'XksMzZۆwdU"t 5q]ZSwIP2fFU lgܙt:LLBR;tN* ^X?l QOr={z2 0P^m_vr"(PUh$Cu)ɦ=o5a2PHm&*"TO&e|[3 Qn 38LQK%uX\ ne2@Hթpغt25 j {e{!LOۥ`)sK|tw[c#Lp<n/#чǚY7؏nPc~08DZg~W4&R6<@\߮D>~kr_{`s VԿSAMʺQedn}j1neoՋ1JE_k{ u eLJdaZF;/#{H8·;;o7MK*n dpBY9;Vs"2#0 8h _Px  8l*5Rpln pz7جub?=m'QK+ܭŸ3|n\ zV(_ozwr}]rK˲| O1c"gq) {o˰JgOȼX|1 ȅ0o R$ lϸryݼv?914);N&a+u,ZЗzFҘN,??|3ijrasSd p tU_AVۣx:1gsY,H 1~*v=ȄE=)]\P}d~N/x5w'yx8Ƀ)_AF3 ٠dM鍧*Ab@0SOTDAè,#sfJtN+v ^p'̘Kt(-j5XifEYgNX |pwb#!)ʴ9}<_˴"x]N6Kyw`&b!xH ~ 2TWJ樣NT'twM{CW] Y`ߵ7g2T BҨy안jsWD,' 4۴6v!b <hR敌X/<-HQDQpw/cȺ|PNboKi%INΜq Mo=~l@8A{cCَŠ9*pMoF"SF)ypW҅ņr?_OmCBvHLt־}UOKM n $+1ūQv@G>DqA,|L#ottv`lH E'JѪ-L?mJ2;BS1j7vٿyMyɅq.$Rpx]a_sF+ebc8;]zysvQ ͥSJ"yaJ'4Ӊˬw緃U+vLUR?2աSru (fPS,]h m7LK6Xt5%J/,ИGs /|gS.eb޼߹-R nycip >w`$ؕ_}ϭ,T&ٳ#hy%yX x@̉`f?@{zzt h]",ec=b@-QBms٠m 6r T5*Ԇl ]תY|ߒIJ[]kβNI3t+9e'^}k&!V8$.kmkӘ#I✬]ar٥o4jp]C{VZGEh+"*k )A0do3dQϱ AW Um.3ʫHRɚ8'S׻5jWhg0 v,?6sh*}v{RY LB';D*2Fz,^H?|3BUzesZbka:u8eߒ38Β82}% ~}#(c`3б;F-cY<㭩<;z + `k`ܣ z{TJ@Is#g {;gxjbH 5=yΧoJ>uah}7PcI3TV PM.:0z ~r/kJ2PO) ֫Y`k.MzFuO}W^~NuN1Cvm,Q5B ^eTśyTOeV\]u1U 8A3kиxA '#-& WusbI6f5 `֔EvO.(N?HsԣT'hE`޺CqZ-#KvP&z"o N2mdҔ% u:A8`szӆ&rN-썛k*uD@pic3xgc1]4yArzM垫IB7Gƞր ؿ2]oGI8r(Y[d2cb~v&p+CyӭJ8_̼ MA=iʙI< @v=h|T'-Qzg\{G-.'qNQ5Grd,)¿U7qνM?ˤ)L+%Y֜02.8a:[~v)S]~.1\zo)=V<9L) xA8ʖbǞN!Wgu1QE ELȝr"-5,FF?kwg6Kf͢9Bؚ8Ļ2o`(- Zd {~1E\}0'um$Ҍ$ˣE`ҿH.G<jo%y5g?mڱO9Z+Qn | 0 ]k&6GP֬M/NT<6^q(W\5ئOQ0QVD -I2,]C $(8RM}_ф6dž2j||fO',c/J/=vyp:D[}u!Iyɉx|ݱO ÍJX*%hڒZeQ&וּfX$fnuOf?3J|q2EKˮ/Of^3ݎ*T#ZWޠ!Ol> :[t8̕3=s ]t"D 0_9Epso=޼ <9vC7_p.mNj\(~ߦ$ԓ I_gYZaecd7632bb71821824b400b551fbf20938590f5e5a65cfc9184ac5fcff440c336649c488e962f666 93cec15916b504fcb8f631043f389b4b37686ba5