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   i/| < ]/ HOL-Types_To_Sets:threads=2elapsed=0.882cpu=1.400gc=0.000factor=1.597zXZִF! x]ŗXf1-q恈'+]&29?M )~=lЛvLP(Sd2ZbU*_Vo2X~ G'lok(_>cew677hp%]'gYZ7zXZִF! D~]ŗXiɟ1KwCe ))+eWi`; S$"!7 w71G)E9KV*~D-2[x(W411 ӉtfhdgYZ7zXZִF! V]ŗXi%;NH?Kt%q َbEJ?bnne # ܼJlHCt&c1> xޓ H2l&L$GfrKY< #Rщ&dd$*rrٴSºV?@VP`':6 j F5 IT`Ғݦw5Z|$C69|G%kd V-a!m|/nO.Dr5ѿB,9 ~t5Uܬ[X' h3̌w=;+k0јeG]c0ω$ gYZ430f43786a606ba3d64cc2a8f7d497fba6e2e026b1e9d096eff3e2d2097c331d061d199548b5d3ea d6c569c3cb498e2d723179c18cc1cd66ffdd721e / HOL-Types_To_Sets