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 ` L\  HOLCF-IMP:threads=2elapsed=7.110cpu=13.356gc=0.500factor=1.887zXZִF!   HOLCF-IMP _]ŗXf1-q恈N|5` 6y}P7(/H> QwdQD ͩR[\vAÞ#t?~:5/(֙g>p]/$`k89Sogؤ}Y\-[ WJC]-uYR9-41c􃰙٦hmSjтd e80E(9\d@˝: +$->w9|fjXli`nˊ35Xb)IOuG {/,^QW[.OH57S@FPVra:נ{;e ȰAt0c='jn#KHe *,@.yGן*V_*("-2J-""uT/`>aJ=^T |ǎV<;K_ IMfDa/˨:φ?˅e[LW2~ V܎/߫Y=ޜFDWsP"BS k/Y:v[/k/1,!-~ r"L%"gYZ7zXZִF! "]ŗXi%BO"ؒf IOm]0G