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  F F7#|\ ]/ HOL-Lattice:threads=2elapsed=2.081cpu=3.576gc=0.000factor=1.727zXZִF! ]ŗXf1-q恈zt`7MDc(e%hN17}:]BLp\P@bD{e *&v(ǴʾΜ`/|IϿjHryR-gYZ7zXZִF! %v]ŗXiɟ1XnWT#4@ΉoLaIF?ќy :{@ͬ񍟵Lҟ>S}dU~_UP$N]8M@[9 ҩuVűgYZ7zXZִF! w']ŗXi%96}kJ]{|2:b=wK 0wZ#i[?mX:}ewq:,h;K &+0&|Ap?bv0-ev@qZzj :I? wgYˍ #xv֡-Gة & 1R SJrڳk$B͆vzSijPpr Z t`ߡ 9Ēx_qu:!8ԎvQOZ(`fhl"Ac>Mcɽ3%Q1L{caOy