SQLite format 3@ .  YYQ77Atableisabelle_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, "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   | ]w]HOL-ODE:threads=2elapsed=0.133cpu=0.132gc=0.000factor=1.007zXZִF! 6]ŗXi% ?m;*V]i*J<eM*_#jf2DJPƖz p٥R,kTv~[H $4'Aj+({Ч֭Za5p7=ۃb7M$@P^hRgkyUYNkjjە 19mM!NvT9 =ٻ=#AXKGh\)+4_2c%;u}Qڠ&ʼ/\ ogYZ38b948c64a12b7dcb7ba87d8617019031d53e871728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b 02182b45aadb0d8356d66d9e1f182d1c5471b8af 49a874010889b4e4948e9ca8d9aa8dae7a28f1e80c330b5e6e2a90d3ac659ca10e8fb9b218c17d8e   HOL-ODE