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 2# ,t % VectorSpace:threads=2elapsed=52.806cpu=96.708gc=4.376factor=1.837zXZִF! { ]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##TȋqlZQg-hRP"2zidtbzJ^dw@AINRF, ~%ȲedmUÝ4!4ImX4X1jN|""RO .$l?H} Y=I_yՅ %Z>\7bH,$E\f;y2D,U=hTg?|2ۮKpG WTؗ٨|ϨX(zeG!_0?R!#$ӅRPo/rı}NHgu+J|3ܴ+M4G&GFR1^jk.2 ėMlw {ϵoB=%&SjЩ{/x2Ⱦ 9l2Fyd\DCPfQU?!W|Vxh~AU mFi%8{MS笕˷OV J6 M$ B P*A 4&thN54T7jGdü\I/L b$ 3dGmLjK+rFt\qP]Zn$+ghMǐj#;DYT hg׶x% KS@@Hn\2Wn#WTt]8\z{N2/.ðԮJhq*D7ES5[q"H˪ɛ13ۂbNס*FK;ebW]h)jr=|*b`G@2$~i|/Xӎx(٥=.OˏVLij) ;A]H9{R!bn@ě5 4LPݕUI,* U٤t0RxAu,Y<Y[lMi ⤅4볠bA_R52EPj8>R$㛞/8a(|yR H/dyXt t/ J ?tb!q ~KMGG*BaOp H}ՃSHg/{쁡g"i6;{lAaP,bix*R}6GVW[+%xƭ0־%:{ffx0K&j{6aYSJZpȢ;+4ދ;I]ٶ/Lz4g|E&H!yok+c!{flK;kES//L:etJ"xyɺb0P8y<,-yvoUjL]gtP(&-e%c~+b ZvZHR_[̼#յ.msC~)lZ+`hQ%z.m܎/RUo=sKXT{0Kό | )N ZV]n7L]rղZ#~u6I-G3bb>O_`#$DaoBÁ?ʳkHm^k0Cdž sBZ`7+/Dt,#-5Xx%ɁyZ^́E+Rn ϊ\} {#mnA.܈SC@\՚=]Qmb޴3f'hC.ԛ MA}WѿD` >j3cK{\̵#9)z3u)j`zջ|}W$ץ4у~ I l)dH5mgǰm*;ܠCQAohbjuւ (N-^e5y$a9B@@@^zҦasj6@!TlˡdN7$D2Qy7 U.ldWى,8KjmzE`֥c@pqeJWJ%gFS~Wrd*ΈA|JcHKqa,e?6NYB6'w*#z| eIdiFiuDv%l Rܐܨ9À$Ws(e i7`0 tߦͳI $Zbo&ү;͗!ѓ:kU~yC"И*mDͶN~KVKѶ"&ZxJz\M3j1ߝ sqN̲`fRBK{9h!Lo_p07k^\[ EI& /[_k1ns\i͇tLV!ERkf~~h#}yvQKNw^ޔ$p4='ӵPs-;79V}~ H e"jVğ.OΆu+7;koS8F+J]m$SG#升Rt^Y/|jdΪQ!HZ{qSː{AJE{e*kSFjD@sW)>te (fk> 3o"30̯sŮQ; -ܜ2FA9|mO)M2[cC|, wWd ǞC7Kxɹ=s0ȵ]^'T[l~lk zX4.lwLlՏl2*5.3g # VectorSpace䂤6wG@u[hd<6hଞUDi޹'~mfxMA/B7m d^<:֜N,y7y'G+ h? j"ᎻT{{ Nhw W yī肺X*CTV5cOè \t>"Qi:# `nj]`Qc F#PD(%:C\b};%L)ԮXA,4| mQ"2_|{gYZ7zXZִF! U t]ŗXi%rF+,2pDŽE F݊.#d~Yρ4(&;2ExG׭}H3Pp9oW{YmYdYvCU[m 0 Osl\ -=S֭ w;G&bo(v5Gb_ kV2;)W݌^etL {hNZXfPw`ܓi?PΛu)hCZ0&H5*# g0kgJ INr92Đ[-m%2T@6Ttt=vNtȚ]Ez ze&~ع7)HHv])mK=Gz~X,Tn[ʯ@lq#Pb(m2Z1hXZP̪/ޓm|,WtĚ6 J J9jE $zĄ]vvZlh6 R9;xOG2İoAg^1(ٝG)+ U h(5^NneFw a"blYЩ ܰ\_ZLA[K] =wKfړ0!L/@۴9l^7p?_Q`$! 'kn5ʰXKSeФ .CBha~ AB#W1T}B;:ZOB0<@wDZ7O#1(7 ҷf+ iΔA%,ū9OKVr~FWT޼S lфJui< 1ǎ}Zd{nDX:-aMy04i?[eZ-EA"ilͿugotwUoqB=-id8a690+Ƴ'1Eˣf~0s,/TkF]l.6sf>ߗ+$(ꛌ@w8L0~>ܬIU`>Γ$& G`MeAT8%1? O4l~rq3@)+ڋ  ;u&lKekU-~ VAnd{]#XImAևdGp@p&vVU=E[(C /jovfv{V{U@#Y'-^D{jF2dY'^`dog g4~v2 oP6:P+B,zlÍ h ʾO${SMX&a!>D}HM*"]oH.Qv\.NiVԥw: Џ'H`^ i$70nrEW;Q O(TRx-6WXw`N6J]ﺸ(Kh"_̮aѾI SQg+5 } gySXhT!.^_MXq(2LRh' ABKr.G~qzrD)pJGyw^3 U=<&aX~xm5*2|)ckܭI6ZBf4@,8ꂎ5A":)]'Dgm_?*a&netjviIVDly8/Y=5%,fѸ\K*yH#I (dSt*G#?okcƒms[-l]#Ym$-]+SzK16Kru:w,6hO$wIt9O ƿ̂-VgvoDkglcʒ_%x }O טN!vg0BKЏAEКu |XsdGe;lNMq>K }yK AsO:8F[rHurd1K9U~P ʞ[za坮< !0 ')$v:=.5D)*clC ua&J1&_G+vORR[0-q4#6=\Ys8s߁e4phGaْYA %Wxxa 8_ʙ AwC̢U^q~FJ(JAWNrJB6YnQJbxH".oS!p-wc6 _m~q{/_\A; ?'+ 18mEq՛HrTV6!mdV,2fw'1RzqnF %exO.@SDҖ&c~ʮ@&KJJ=١o;mhRS