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  ' D ] HOL-Matrix_LP:threads=2elapsed=14.178cpu=27.308gc=1.352factor=1.937zXZִF! ]ŗXf1-q恈{RI $ϭ N/XttF9qMmc(U# T!d\"f2 [uHpdrG-z{<|Aҥ ·H.|(; WA٬ʺ=2& h<;$ܰYϿ|ALZLbOqgu4K{~0~%.G=TQ2`72]wnmWwC|zS J BI>ݰKoYȡUoMg < EEyTo˪Pw(Ns B?3*"=~+&E){VcL8kn %u cYg&w\nޱgYZ7zXZִF! b]ŗXiɟ1#vX@;- ̕^EĿмII,[}P~ l[f32A*ꚸVfh*D!qb eG>QD]_:|nTgV;RհaY2E*mi@7*~}7[/"Ee#5]hƭH>堲+gYZ7zXZִF! RZ]ŗXi%;ULO- [H?҃墙NJhb$r9&rb*~9ҔSҝrƭ^,OBDh~_Z>i|ե'*sb[C\ N#.ӨTb=üYƒQuZ D*IS h[q "Kdx||}韣;JNuWc mH}}o\xk%C::d)|se@pp-W=*s7fӇua6#+1i.}//aF<}p@MKpVIթ{'X}{.'*>f>cxZH֬ _(1L!CV ](Ȧ׈ ,٭xJ @~K'=F8@@hkCp#a;}-@"̆'C}_fXߥGAcݺ`DEE2s n!A(7⵭MmK|}oUR KM^jM_5DY-X 97*Ui'jx/_x zr8r;%^c!OJV; cR)YMɢl`beΕ9=SD}B7:rʳ8 7v(-Os@RUߎS$^%㗮HƓMt's:hEM,X;uqzUtaoۈZL|9qϩ; I_FɃ QaQ8*h&IDg'@ǵ{5'*IKje+|S+L‹@FBB\뙰 qA].Hf<:vrFi^CʶohXnDuzZ2 K!zLhOe XYŮA|^A 0X(G(og