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-TLA-Buffer:threads=2elapsed=0.595cpu=1.088gc=0.000factor=1.837zXZִF! P]ŗXiɟ1zVU'j$HZmNQMICn*]t(ɀx]84l9gYZ7zXZִF! F]ŗXi%96U\Fٶ˟R+ XB UTW|~o dhÒ{fT@~NqY8xx|e[OޜUH'*_-gAQǡ!`Ԧ J \Rf9e.1WX%3Hwex]kضP2cQxC:%Ƿ/nwQWOu 8WhIA͂>z-*;OD)jo9ɁvtՈ*bcGV!ƣeՅхx.l J3j>،M@k*Gi sПΉa}rQ /gYZ21dbe1dd609bd128b49d29b14ec32cbfc18314a9e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 d8052b375d845d4f36c3be0d03c4ce989e4b517f ) HOL-TLA-Buffer