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   l ]w]HOL-ODE:threads=2elapsed=0.151cpu=0.156gc=0.000factor=1.037zXZִF! 0]ŗXi%6% a~ɒX?=%wL NKL>Btkٻh77SԲCZFwCdž46"ͳEnsAב2zQ?<{'f |2Ltdӂ&6e<ᗒH4,ئJJTPan4zn=$ƏT-M[}n]6{JJN{}f\YȬ܎p_1 hI߳p2y@:2cHOץN̼c ~kwgYZ5d864ba5236b935a5cf04b87d434fffc43ad4316238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 2171a9640c882a444ab08dd88e02b67368cfa3d2 4518b99268cb9cd1d8874025c47728c782897bf20be2e4b00e200a16b82502fa7eac157fe16367f4   HOL-ODE