SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info oo  $ %] SML:threads=2elapsed=0.016cpu=0.016gc=0.000factor=1.027zXZִF! C ]ŗXi%B !Ql59_#UBfT-s#ի ^)稁<{ޟ LNo|ghNG3o|XQng"n#Sn6TQ@(YM-OA7uYI0[Ηm.b".QnRΏ/'>iJCWV*mr2\f\pZD"ӨA%؄붃22R<mbgYZ6b68b525cdc63f9cdb935d6322b5e9045e687917 ae5b33d4f8dcb3d973bc0ebf92772363ec8981a1 c9854cce0cf91f565b16ca598a38c7d4ecb13448 d826171ab4fc677612b2f18634a6eea0210ed315 e34d130dec5778e09ba5c82cd51121b33508f635014fdf73a0b928fde39c061b3b448884e65fa152  SML