SQLite format 3@ . YYQ77Atableisabelle_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, "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  05 q+ѻ,VۉX0Y+S}:pӅ4,+ Ew> Z`Q7&JQ)gYZ3db4c420e550cb534dd1d1232a688862cb263b38 9a5f18dab761b5f598b5fef1b7e6f956fdf59b27 a7c11f23f8d98012fb34e0388c49434f4e640f73 e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a fb5a8a18a72dc7fae95072da75a324b80b4a4a08f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 5 Priority_Queue_Braun