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  -$ | ] HOL-Mirabelle-ex:threads=2elapsed=5.600cpu=0.028gc=0.000factor=0.007zXZִF! Q::file=~~/src/HOL/Mirabelle/ex/Ex.thyoffset=31name=MLelapsed=5.596e sjR:}YZ7zXZִF! G::name=HOL-Mirabelle-ex.Exelapsed=5.598cpu=0.024gc=0.000mn`H.|=}YZ7zXZִF! E]ŗXi%;c/d̎(z)9Q@L" jBO 7 [y!à$ ;jE6—M b1m `X$<0(?PbKY}*D=tt'%5홙$53vԙPx]}M_C![W%:uR&c0nU7֊H9~Nd/ANiTREl/d\z..BMۃn}~hctcٸTn֋口F bmzI 3QNmH+Kù/iJ /> M~*#A"chh˝%D8)E/oJys8; az<Ѣ~[6`ϫu7xLekx%uVf\hd6;ègYZd26c15b7b0e7d2a19a9ef5233b687b99d7624d01047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 7f59c98a9ac387b79f48e38b84ad2f73788346df - HOL-Mirabelle-ex