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  \T } XML:threads=2elapsed=19.172cpu=29.272gc=2.004factor=1.537zXZִF! ]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=ge;Fᅄ Hmevdz%:(Ծ}r7J`-۪G[A_; `\(NҞ۰2qX9?)mʳHm{>\hSy }SQ$ 2GEkhșbm4ˢ#sJD\܉@P[by_ k`2CeZ"i?k(\,LeNu/N\{ )]7OJ-S&T@9t+R:ao$ 0a 18E(z)[!oBWm!0"Wi ê:;w9ru,[^:aj3,Х{qoTt,z{I[%̥nv#Zx;+*{*Wa~.\UӝZ^oEZAFƌ"9+d N0@ޱ+zva5bj3?SpS@i۠daU ufq 앪S`'D`j[CFxAs>C6f 0 .%magYZ7zXZִF! `<b]ŗXi%\;["!CWڱ% 0ebF:ŒrsSS1>q&^*bVN2i1dVoON鴷xw-!˵gW( [$CdAמ"ny)֋[)_0xC,5݅3ꨆGE1I/y_ٹi62E:z3LZB,ĥLD~!gC0#W>XgkLnZ!@K^ߌpOX MME\ˢN9fT_L' =ѿ*Ey" (X❙̆?L, =yVR?wr ĚL$(*TҶue\xcZ,za[mJ'(rO(}&}#qy'R:G!+SsF ~5[SBnWhP+ Iýo'M6wަ;K{￞EH݃ CMv:4F:L惣)w^kjJD*/M߹S O|{jQHz/|eWE;.c#\ s>9V).wk(唢oB$6J~mCvj!6)5;Petf "'.Awh] aӅ 'WnTjR!0b f(*ZT儹Qݘe#/(2(YGr_R3k$kpK}m\1\Vrc1OgC#$_Ĉ3vsP&tako`>ňwx-&SP@C V!Q$G2y%Ff|:3w-:l4jKk#e wU4)IO7"r!5H u;>ahScL^3 4Ͽпcn 9򼏼\ m;p XzvJ6\Z̧^,ƉdޤCD}՛nw[5+e+\bC!?q.qxG4\ayIuΥ^myO>?wWc