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 c l S CofGroups:threads=2elapsed=0.987cpu=1.612gc=0.000factor=1.637zXZִF!   CofGroups ]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uLaFHq(obN'cQF:wkI{M޽0#_,kȘ[ cBb2=ɣ⫢i;fmNTKrf9Gcv`Ws%0 7"NgЮ#ϫc6`5ϱgYZ7zXZִF! ]ŗXi%:4n^L5@aC0BJ.V 퓹>3!r ÔY4*e<)R2[>Ubަ% KASյuGJǼ#^|ҧ\s7*3ɟ)?6&&UG Lo%W:Ђؚ.!{ynL|SǞ^ɦ$7OeE EYm@V@nOރ%O[/ m%գ1[ }{˃P *FuHq<~ 'vHY*t$ϪjP:JqSka{阈hOL -D'`2;/B\up}D7}9zx]Tן}lVgYZ78cd132217dbd88b090bf7dec933531007c48345 98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12