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   z|D ]S HOLCF-ex:threads=2elapsed=4.758cpu=9.448gc=0.228factor=1.997zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRD0UeOuU9 i(>%rtSs5TWdBUecjQ]EH 4zncNJ I3&T˓/}n`xHz/Ͳףc 0g?Y]8:37gYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4QC,jhAj>gEr9X7`iJ񰳌ϳmI\mbF2WuLi1MݴZ>2l,%ʈl6ޖODR<@ix9X+O 8Nvw/4HI8V/+w ? @ve˜6J9%2XgYZ7zXZִF! [[]ŗXi%;c.OJy$