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< % Trie:threads=2elapsed=22.217cpu=24.628gc=0.932factor=1.117zXZִF! z]ŗXf1-/6vR[ltǧT3(*{>-~Ζ[h DngB]YGPSt`.A2G34٠s#Q8|3ǰkD`ɢse0Yш77 Şm?5(GD\[0 ?,ӧLbvO09*ɯ+Is e~36=@HaEAz4ϊmJT65 8;4 %;ׅvX@|.D@ *ҋaMZXH˟iR8zb2()W, Zvby;_l{5 `6J *롩#Ȯ{J?xS_4 n5 E{gYZ7zXZִF! p]ŗXi%!\~(zV#xopKfHLE]R[%ݿk8@ BZvEL:Gd3%0 8/1B=Lv%,/Oc$iSiCv 4&ٳ%k4(:zYM4l8ln(QK7\ZhZ,{Ȅ 5 KX&2(H`WݝpyuJpEye8qs۫SKR.FpiD'pa]u R|LF'lBVhV#^ eBŴֻGyE?V4Λ\RBExcC BfMGXP^n-|!?Octic RYs\Lo@{wn o;ESG@(u'6''(g\M[q8jW>݉W/겖p6,O g*1M{ Ёd.uh}44AY7\ y?ND;D WwpO RI'&w4,0EX<},X6-r9h1ִ*?a}DӰa`Wv#g2]Py=6}8hN͙߭ r-٣IJ4[U֚-ͿM;9fA9}͍|.IRX w#,.f-7}PXM?R'벫5Iņ^wԙݹ޹|c 4ifkpnNoLxU!%Qw :!VNMMSgcG2*1jžs)Z;aQ!sޙLp3dZ;v?.1M(@4텯v2䩮jWcdrDc\v=X('ŋ /fHN<AOjਆ̩oAuJ^xc_ ?l֩!N|Nizo =1U9[|Z:b!7_( Ψ/DwjF:gy087Cl% J8GJPj>0́LX_^ՇKnh&Q}и,;m̙CDNW-6VaәfmywkpBpmٷul1JE] [+ԜvyyE((T9B'-쁓 ƱgYZ2a1cacfbfc3873f8c72195bc9d967d52c2901f54 3b5243a5a993cf02a40cdb507d37f2f7f70303e1 5274e26cbdcdc5e26b1451b8c884a7696451249d bb248e78745608e8bfa64c29f326852971dc57cf e6aa67045fb0ae0372e3ac731b90b4144bb0b9a0fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c  Trie