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-Prolog:threads=2elapsed=0.363cpu=0.564gc=0.000factor=1.557zXZִF! e]ŗXiɟ11;vW Qr\ ;Hi+㒪)Vy⼏R `%b9l$ !?Ʈn+۳У`gYZ7zXZִF! G]ŗXi%;> d663T \@[w:[C#_[R)Zl\Џc'Q!y 1fkabI9ط^>>5/Ue=$-ѥ\?,w*|,4oL%H 7\yw~8+ֵ=o2s+pg=4p0۬l'"\SZ06:s D}g6P*b?A^cRusp(ii8\dT>[fZ^.ŐLeߔTjNJ djkz_  ssgYZb424ef78ace6d4607408d4fbb125a4ac57f01cc6ec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d  ! HOL-Prolog