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-Types_To_Sets:threads=2elapsed=0.991cpu=1.600gc=0.000factor=1.617zXZִF! x]ŗXf1-q恈'+]&29?M )~=lЛvLP(Sd2ZbU*_Vo2XfXTnf.A Wh~G8B׍+"m'gYZ7zXZִF! D]ŗXiɟ1KwCe ))+eWi`; S$ޔ;I=k徥LT ;oLrd:fͷi e@ L1S uj$+2gYZ7zXZִF! h]ŗXi%;UL|EP]Q B cz[) "sIsy @uLM"{9u{4M58S3c+T ㆚BpĦxJ $eYFX{9?YI+#^}|v?"=ʫ'/H8f!d5]d7kLlҫ+/H53=Y o#cfsq¨)d,xQyd;|r?^dd}sgn̊>^V!C :oo=f* gUQ:K`;gV‰y r {QS&'K3i}/)x_' UYgYZ91af75b0931c93a09020f0027295eaddf322f3adf82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb / HOL-Types_To_Sets