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  9TT Sw Hermite:threads=2elapsed=70.203cpu=112.488gc=13.912factor=1.607zXZִF! p]ŗXf1-/6vRZ*F"QT%mO䋙 ?ɱPsyySHgYZ7zXZִF! 7 ]ŗXi%Hޱ3Gy\1yW)Yq=,Զ$/"8S"xj>UW~dȠu>P۔u@M^~3k `_]m9Zˑiwl' k W d=48<_t! σxe"ꋖ;ru1.qe@5,2Sz6= K c^-!<[Թ}'xA3h䊙'w,O%)}MɝVՆ9Gg1(`^:E!$WQ|5#ڞ8kbN$տ됡a}25|( ķ;cfqXz*S@"OKQh{?bBgo@◉-Y[7W`3*5 YjB%jڇ6z9N 6,Ғ!O[;Gji93Vnm|3IFn/KmReumL>n*A)lf b+5V5K:tӶܾǯPNw-]J0aJbU|i>Z!dR!Ccg4L}o;  D^icZAE 4z/{MI|eoA ƕ2ng>Uôgxc7#},Ck-tDXo'SS [6:O!RmXBi訖>bk3k[H}cea/mȄ߷Bx_bpfS$߂?=`v߽"E M훛lZzq{WpA]8]y-TZ#)[zL7E]䤶vÑC0_!i}x3ts]T.r,9\>@U&gu+%#a{a56N"Ъcx#YwU}c%/Dabd5ebCM<6A]pE%f eA%=*9k9*y5>6$%S͢/Kr/8mAFO܏ӻ)[^ڧtIlqexzkL7StЄO=/U"Oe ,Mգ[Y[# U_ Z~ȯX nWjڐg٨ZM[ᘕ;M*4pKi l/cdv( CUYf]o+D_-g?JɷTu/po69=T? BO v֘wRFgs.xh* =;:fZ6Aovn;F^WhuZ"m–PgSw[IbǼ ^=pqoޏ"Ԯi6=%YveqM ^H)ܮ5U `&j_w@ۤMTZ[s+wb-5wٜe?S僜OA%.{}Fkq`ċPAi9N>ir&DdSתwJ bI ski/PF 55ژXSVIǤ줪&h, 6SR.Y8&gqbMjV> !BZ2u(RĺuJB%M*%1T[:{!x)omwU!gT3|qaRe8쟥^?Yp *)iĤnܯљG~(.WAW6E![x?Sk&C'4z[IGsc#pkmR>\]j-6-tv+*) ]̈́Y@g=R$ޜߎ;qIM,:i# (soL䝺yV㨄R^gcFm"=V1:/ww:'~sJL EY>~ˀ:{2~xL%\B `M|r>&PO\zqrE#:~1U(!xPc}"iլV}#j\^-<(kVٟϊfۑCfZ qDl}F.ք,Şڹ %S9!QAOa :)jz&.<84S /