SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 '6 2$^&[Iu*jD BspZ@ ̉d1q!mzO8EGYA _gYZ14c3540bb5127bd30a61f668d40891bd3ead84f9 695102bf5465b942da3a549ef55eeb213c786883 affe343b422c96f2db65ac34297b39cc63e1054a d255b8e5a56111252ebeea21c6567619a3819b39 e4c50877c72ce92caa4ac0af5698aa3c9e42e18d e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bb8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed