SQLite format 3@ . YYQ77Atableisabelle_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, "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   e)T ] Card_Multisets:threads=2elapsed=2.100cpu=2.656gc=0.000factor=1.267zXZִF! a]ŗXf1-/6vRZy_Ĭmu uS@!bV(ۤ/IHI˦nLw%دgU)HBԬN{K 1$ }ܰgYZ7zXZִF! B]ŗXi%60nVP i|la޶ `2г"wbonE_=T{Ql1n>tI0>r-8х0@$JgYZd32110e234f5b9e8eb4742ad24e590f566b2ac3ae3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d ) Card_Multisets