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  < <A
8MkŞ\MsI5u"^˯dKdmKg͙ |qYYa?&-U.k@"mūN $#c?E~<Ԏuom8zb"S'{ZDc\*HZ4X'K,bZŚp-A] >c;{qg|H<ğUOz^ᕩftՏ<+V G´ZVv ZhgYZd9c98bf5d4c77d6447e65a5b87214e181d9b281587932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aa  Sugar