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 r/,ËaaCiqzM"lӑMfJ[ 6^~q9!l/ ~׭m͑*!=dCpN >`LgYZ7zXZִF! b]ŗXi%#" rl~C5C[qvlP+t}dcZvTt 75gQʠ'OP'}j/:U mtCk^~!g7`؆eYٟzZ& d@VgǓgRd?OӻF_R:#hTbwFl+=%. QGX]=M٩ĸ";5InP?e7-X#JN xnIqM@e*jeP;3ql.-SXެrMx wɾ?L͎,꾬 Jq7X z5<ױgYZ10c9d15ef573882b97aaeb35a7ae2b5882a48823 329fa7e8f61a08ff01e37f2938689d344ed0f5cf 3d25c66814292285c616395bfb17b2d602aed3b5 797477902c2504b4a2e2a1dc7c289a6d4971d165 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 e14af5b9076a9f726d4bab9022de27f313a84125 f82d3b244f15f3b4829fd75e899ab0647ef25bb576e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575