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 I1 l4 ] HOL-Metis_Examples:threads=6elapsed=13.452cpu=59.924gc=3.356factor=4.457zXZִF! \%]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓kjw#h2Ή^|Hݡ\uhN3*( 徒4νcߗo+l!0qΐ zXjQr&4;5ˡq]ȽqV*\oܐuz"A;0^HQ-> t3|'>{E|6B`qX_T4T m̏^'Q?.:ƫk׋=] r&CoG2R^_~Yz pTLX$4"H4VIVa'oQGk.B`-[bw|=`%SMı[]Rb}J{4S1b Qs ]Sl&gɑT c$zҫӃ)Dו X m廊Hۅ! Y*'rϭ!}V8WP;= 7}",Y%JRe) /Q"sUIjn DMXqk9@KON~-6OM' ֣Q3]Ȣ%+RMh-D$WoPCP0%Gm117zب/ 񮎉]cF'zeSҙmIH^>m[J/vFk E [٢РՎC]^ìtITs&M\HfpQnOvk!`JݵE "V_v#YB4&mg_&G+5͘SP#Ny-f߂g]VD %sTLIGg1R#!s){k2 bLhoHt=Ga/9ZԖ`b6*LD!IK轶p\F)V ,ЋO뉃K2*e P7cn "bʟ#Woc[D贬M!$`MJVzhq+ϓ6c{lNԏثVq-Ǯ[nRp'E~~6oI0TQ}<п=.IHZ{Y d (m;kj?=MT+rn\*s~} Ys%wv*~>J@N}37Mj6wjN=SvcnUh3 4!uqnz%_ L}:8 jQ;O:)cuK\fHx i[jF1a'đ_8Y;>H,#l3s)PHSoX4Vkʾp6nBɠk=.x{-[i\&E>Z@CB;r <nƠ pO-@׌L&0Ss<*A=rᔀvM¯pҶtE[5H NZpR?JSHl )V.qHz>9{k^࠷(\d*gRzy`(- ogYZ7zXZִF! .]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMdN6t.-xzp:Gs<60&կ3NffA YW4f U1#76-\)O=)ĿFɿLyu64>ȇ4I!D.FCҔ|e3؞O3by{qB bBPCZ__T*D|p,2"$kd`b9L=nTVFQ U,}Al8eLo[UgYZ7zXZִF! @]ŗXi%9 Ui ]%? 6*HQl*_?` O S7SؠomLi[xT~GtA:_!]V#rz v &qc֟9e@F}`m2P &6ZRJOLHm7.~.ORKb-RI ub˳ޜ2N]Ib_Atkw隊Q/7Ly^!zQqf)QG?vUI<B>P9 1t*$̖v-rP/ıupY dkJND J:t._Ņ\W?:R &o >YvGI)]"7  ;SSr,z2#h/fFq~5`şd?_-r}&ٝp0KU aܾ.hH%r(>tɒXՐ IهO'Xߩl8kj]k[=հ'Yޞu⟦tI|9\ YԴ uA UR{Q:V\2V2!a PӅP3_ /+%S˖HOq@@>PpXV9uV Hb hَvmq=IJH}.z.Wz9ՌL(eSwe4jِ Q8l苿NpZ"n:e`5ǃv'{0k1PP T_C`gg1RSf̫:,f($QJ6.Yfd7uF**L@> O52܋=N@_glkwЌIn(mMa8_!gZ='j+v]COJ^}k Dmkml~;|^p[LkK"]t3(ҋ00Sk3Vrv8!J8yK}U|w>/oO`