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 EE8-$ / HOL-Mirabelle-ex:threads=2elapsed=6.354cpu=0.032gc=0.000factor=0.017zXZִF! Q::file=~~/src/HOL/Mirabelle/ex/Ex.thyoffset=31name=MLelapsed=6.348M"TjR:}YZ7zXZִF! ]ŗXi%H9KQx +(;~4nz%DsV ~Z5h'ϝk̸X(kliQբ#uAEA}z2y^ Ep90R R0 g ؏ߢ N X@!J-6 ylrܝ$Y?@BOPM£wgf;رgYZ8f7a6c237e30308183f8de10800a3ffc2efed788 a78bb1a2d8018a625682c6a5e0249c3cd0b315337f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 087a7391f4db080ce84d04393b100d59981b0c6c - HOL-Mirabelle-ex