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 //F/[FI߇0^ rM,TD\7z$9 FgYZ7zXZִF! Z]ŗXi%DQ A>)E9/+/a\H2+eQU=)[`90-j⬙::dž࣍k6]e4ڤ1=Qe}i;[r  tzKo!q^D-] IK 3m4d<[w"eo1+|4)CZDZGmܼQ+p!8:`dt/CNU0x80~{OINfM)|NIԍbaF[5Z 7[-FYt N2ŽJ~?pT+P 8yhuA^ίw76[h)7sq 9^,b4&;NF·cѓxZ\Zq)(E{9OOkQ1tF4>/cRrO}*Gl}$߹61Ĭ# {0&`Qyqv=Qɧ$cEe^0#f?ᱴN3QgYZ63b9332e0c2b071f8797a7aafcddf15a927e077b a1bc38e60e42695d8caf1161fed157c8935b0253 adba8d4b718d4b39467be2e3f06ca5716da6c0af f960ddbe27f8bd882c523a07c322f5b997e8cf0d7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56