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 j $ 4 ]]]ZF:threads=6elapsed=13.112cpu=39.148gc=2.052factor=2.997zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw2!gXRMAėk'\Yߟ8@&:2]px`զE= ^Bɰ#Wo {qսG!) Œ[&C&qMV\Wcy՘`g.Ť&p._̢OibZ&b[9*20LWG?sl'py`v(3ߑ)MNLc??7   m~\]h{D34%ɠ$m4Li|SGUᘥݽ+1 y%|a~ B,Yu> GvպR솧 Pkeo!cLR^( +=59׭ĩ >JQ,c Km8p95]gYZ7zXZִF! >]ŗXiɟ 1FE`空;QV(Ѯͮ960ԄqW{gysY  qf hЉ,@?<6AB5Z&9ked'D0k$dǿҦܟ%,̀YOF)Êhk^rS  [aRNNv,i9F:dʳ<ЦQi\5bjs̝]z!ݻ{*>m"?cL! Mn6RQ*MpM}*> Ukt*<`XQl:c;ț Q1X^r~+!dLmҾ!+v2ȍ,\;QD"P핞->/(&N-jֺ<"U] G8f|[ar(7k<:=?EB&fJa?J-I^jJ臠 (g/Ȇ.$'4h)籦;h_tv"싞彤tNxy~A R .5 rVq/!ʥgYZ7zXZִF! ?]ŗXi%;%kE)$݁mWZkV~Rr63g,\M N{QqC7"M %vJaXndc+2JB5Ew?CǻS7rH9bnŗ}BU4T78阧z7whz*Vc]%twqcDZG\,Ji!lbٱFNfr8oII21LO|Rl 0&ͧ*9)8'"%aKuWRRc/͙({Yt O No?,':4H֛8+>By&F1DK_d TSI ve"fjgU1q 9"IiAPwUkI}g8 kO IźSM ( Jm+m~Yj=suqgZ=EepbQ461_=>%;&Aur3<!he,c48d9'ԁ 6y=(G"\)8ـM1lb?+1ȋĽuST&r;b fɪZB(UY1]d77k1;JJME5ѩ^ڑvR}29lCu%9Vk, ]#㐂 0̍^ C6'hfUC瀰ء*K;L0}p"?CsUb/թu|_hw}mz }eEdd } =cJ x,>z}-@x藸!n@c%SYi$' E(0 84;+z L%gYZdd4a76cbeaf59a9fa1e398059c1fcca967481511b121211610e458dc97d612673bcd7347cff880b9cd6338306971cce36188568f57a5e36b08616631  ZF