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 99D-$, / HOL-Mirabelle-ex:threads=2elapsed=6.427cpu=0.036gc=0.000factor=0.017zXZִF! Q::file=~~/src/HOL/Mirabelle/ex/Ex.thyoffset=31name=MLelapsed=6.423j QWjR:}YZ7zXZִF! ]ŗXi%B\ʏ~|V7ʝ/kyV. ]̺Rߠr YCV4L09*Teb`%xDb]&oKQft'0ZXV$0K̪٭<*k ::?\VX1e3xw=NYp)X/Oap?JSeScrAWֻHb=1yQuAҕϗVb&oA響`=]X 4 NfZG+iԚ%_YD/i5>vm Vu#7*?wVG?agYZ8f7a6c237e30308183f8de10800a3ffc2efed788 a78bb1a2d8018a625682c6a5e0249c3cd0b315331d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b 03ff92b8c32d9059671defd34f8fe20e00c31b11 - HOL-Mirabelle-ex