SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  -$ t ] HOL-Mirabelle-ex:threads=2elapsed=5.208cpu=0.028gc=0.000factor=0.017zXZִF! Q::file=~~/src/HOL/Mirabelle/ex/Ex.thyoffset=31name=MLelapsed=5.203b&.jR:}YZ7zXZִF! G::name=HOL-Mirabelle-ex.Exelapsed=5.205cpu=0.024gc=0.000~`}`H.|=}YZ7zXZִF! ?]ŗXi%;P0XoRa*.FVWjRу9EbIĖEgE ;QyU5LGg _`I]156]ږgePwZ-?nz xWDzdQFv0[Ap&aB(QiPo U"0xn|xm7⩌@6љ. ?tv0} [ǧP_{ JG+1D;lDØ-QB"ta(Rg"LcۛzcB:V6>D)6C(gYZd26c15b7b0e7d2a19a9ef5233b687b99d7624d014b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 54dd2057a371824318aac9652dbe460a7ef342cb - HOL-Mirabelle-ex