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 g%l, ]S MSO_Examples:threads=2elapsed=80.658cpu=133.684gc=4.660factor=1.667zXZִF! /]ŗXf1-/6vR[UWdT-]!"C+|1jW.M#OOBRyc()cnwdU g1Ub/;|b44z^XДM)(UφKj= PDs /LP;N| XbA`lSy/y}BWp" =fԄC% RbjfLnrFe}EQ 0J\"wr~^F4XiP^DFGPwL īy{OSNgYZ7zXZִF! tL] % MSO_ExamplesŗXi%6Ar0;2Eˬy;čm5o= s'zAyyܵu~u=qrTX5&rr!C_"V,\"Y }t%v'wX72b? ) iE7-t`@M%IB6(Y2jnn+G&cSk_eΆ\4ht՘0{Lb!04F9tE*-,g&d@`B`L&z UŊO(-T_sMaoy.(-x47OQ~ hvMv=$f_v{<1a4AsĔ 24QJִ)l`e/UͨL|'{Agj!,`oR̗뿎J!@㶪ʮ.(8u]B }BxI$)cp} n\Y}^3&)FWy[]e2,L!j|P&7gkIʀH\K&h]ajcV1М5'n o⠆jg]:GM _(L1p#1 id ֈ9`[쁘QĨ-'\ >کD^zBCx4) w9~ԿdM;mX0nz8%3>̤ۘ]X1?V!y &/i %+rrϊpdŬnyrJAk`\5ԫVA0KE&w*#͆1I/+d^T 9nWk\Ov YcPX&r:g{Ύyv z0.c:Vo`m,j| Wx,_ i{K%C,`_#e"?w_<$tY0E|C;e,mJal/&Rlhc:7`l͸|T v9qzN풪uU0 Oɖz#?Wɧh2[@Njl?(h] UYARرbu&Vp~ aAsgSٜ}".f, .q>Șc-#iH/BsR 21%%Pa?+F6ծ _VV!|ClfPg dI/Jn[Ev y z *]z tva}Iث`,*q C 8(A%:LG袡Oe9 oЉgNz+Juq)ㅄXa!D]~8T< k.Ч;[y3)bDŽG4$c5<&vʅ?KX$:72?N&Bm<5]o7 8~i[MoAϘڻ2^-dJ{|k! ?4a{/j]BJxm}ρڢ9.;ܘesx4Ӵbh#\ toDں>qs5!4,I97y&5@:a>LO9h>lطM s {Ɣ{_/\ʏ҆vy.+8Myg䅝tϒ5O#y((i!P}NjyҫԑNolvcjWC8|:isqFAJ߹k$O|+3E5dc_.rK"%}ǁHz-&t8M+tDH׮-rdH.MdIzPh p=tf3Hns9<h44 oh)E qܒd|BB{A`e NZG_1k< +C[s=;?'̢Fb|o+t6M%mI329A~Trvwπ}l+!hʾD,.{K䍌뢈(QsC hwYu3c=&8Oa[EZ5;Ko2LV:}=u+Ku_P_!``[\(Wvp2$a߳rs_be`ta3uԎMoĎqpyh<ς&WnWsg//qE.%9az!N>/z ꙙ:_R5ĪwFwP l.rf77|U-`p]11UtB^^F՗ejlɚNsA]DHggׂ̣t-ZLmklVm MB< VAyQKZX˖Z-v+B()ۗx$Vxuqs?Vʹt,xG" :߹=7 _ܴmϴV+2l4lDLiF&R"nB΁q>#>*0*GLX|:UBUxtdK_Pz\5OH 61{H8~-"*| #9Җ:}-]04 &. _Ubj^m$pR2Vb;!h5Su;@N3_>g4a,`yidNr63ip3YUP{+z/bb`!.)Ԝwq&8