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  NDT ]/ ZF-IMP:threads=2elapsed=1.169cpu=1.360gc=0.000factor=1.167zXZִF! \]ŗXf1-W^E=J8,kGBxZ~>$b>IwYPԻIW_~1,xgYZ7zXZִF! b]ŗXiɟ9)Sy6\Y.+!aϰRyPBZ$8g27tl:ݑFmR[ %T@R.*~r”,gYZ7zXZִF! ]ŗXi%96@4;, )7 ˞j)`]? LWAZGJ u$v:M]8nL7IVNw;p sێ.ErSyHٟ|'بwdzBF9T̨h?%KeKoڸC$ [=%Wt`wķ*$lW4fh%B$B9OK0(wkfL-I흌Wʔh̪qЈ0Bx<fjD-*PSszM_H~Uә9;%[-عugYZ6bf00dc245597179c5ecb966525a30d5b54c1b5f3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 11e57a7c97c6f41036a70569659a4d0c597962b5   ZF-IMP