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   <t ] Category2:threads=2elapsed=17.201cpu=32.508gc=2.216factor=1.897zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~ͼ>SkaB f16ꩯ5q vb+Æ9E9jo.#E3KB W$ 9-AMafٌ\_0"-'["rL1d#78lC{;CvDkf sdph4VRqv_xa~\;6Gp IdeB\ꀖ)&|'z/CxV q۽ Xd2ꅥS$"ѶSܺnv.caflȝқO^=}I~ J+c I? i>䖚Y.]qC Rh"k4/) (ؙ%"u {ZT B(s̢XSHCys~~0XqgYZ7zXZִF! `q]ŗXi%9#qtxqr!~Pk՚+ |$Y:J>=#9:B#2sF+vMarmFe{b.`7ׅԕ-]sZF[w 7=o<W{I.i6aWJQ|gi["'&zB@H|πQ3IP*0i*pb~؍+ ޹7H$59*39N,13j{@'QniTm2Q/U 8R Ҽ%|uI +.CwEşVLQ%+/ -WQq?$-!_J`]zE.:u~ V*w!77P;%~!shE ,rpe$W5 WGgm'!wS|^DNS/:{s,WLod75{zޒ4tԉ2%Ne wi}6݈tGm 4&JoV<[ϰJ3r{g4 fښ0Q8=ۼ,1*URŽ`Q{-r"VBŁV!Kʯj7e(x3}ʵtxf zU,-!QGY]L+Zjl_F֜Z4圜"7(e ֞ nzˍu+|OTk!UzSx[_&ad`|.Uf1Ԯ;]@bzsK;!JD1RUYG`Xaͬ{RPϗw0%)C٣(W.d7U 3uɐ dpۆi b9y|swV>)8voz^:X[ qKhgYZa1cbd5f75d1623390363fe0432ae902653c7cb6d8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c   Category2