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  \ \!DL ]] LCF:threads=2elapsed=4.034cpu=4.516gc=0.164factor=1.127zXZִF! ]ŗXf1-) enȈA"XxBT/'`a_0r!nˀ#fr4BO0v}T#% [8 \)呍}Y\&HޑCR&i_gYZ7zXZִF! ]ŗXi%;UEMm4+wvld,NxTߵȃioHIrHiSgI1icCouEal4"G]Xqd:] jHMJ=n1?q9q:0!n}̦mt)㗲RGM)-fV;Sp0Stꍭ't,; tV*wwBVO&wWv{7Q XSNHM}"tP4'Cx (bdAdy+qeb1M[cXEQMUyݔHu ~>dߪe,`^3 J=I$۽5bYOk@o-/]#e<"92F8 hXvz6j'CLd?MfXivk.ڔ,g([pEM9I@Zt <6ĐD5Z"s%H t]w @T|W9(,{n.#41:Q)C7gYZ1dc0ad94d92a8a019391a8b4b4767fb21c810250f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b  LCF