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 4'< w/ HOL-Mutabelle:threads=2elapsed=1.453cpu=1.548gc=0.000factor=1.077zXZִF ' HOL-Mutabelle! ]ŗXf1-q恈͐7ӺV v,5w.:O_tvhuNq1F|SWKdZU okJ %$g#?Y m9mNJS <`I// Gsij4 gYZ7zXZִF! z]ŗXi%BՎ/*ždPAb{'aWk;'=}7AJՍD:A>*NW͍ZS t!;CujV8sXȐ[vb,au>w9t({m& 6i\c1KXu/Qtw6mj6#F5&^Ҳw'&h[sA#k611$]U zظ885k\ip.Tv%)Wb^RUlI00-RgYZ14c3540bb5127bd30a61f668d40891bd3ead84f9 695102bf5465b942da3a549ef55eeb213c786883 affe343b422c96f2db65ac34297b39cc63e1054a d255b8e5a56111252ebeea21c6567619a3819b39 e4c50877c72ce92caa4ac0af5698aa3c9e42e18d e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bb014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa