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   o! t \ ]/ Prog_Prove:threads=2elapsed=5.784cpu=11.148gc=0.736factor=1.937zXZִF! ~]ŗXf1-hg3㶌 8UA5kGc,SnW8a:SLi&#Weϭ+_K$n?nΞ}ږST? 󤗙~/^kĎ6Zߔ@^è$~Z^'VW_+Z@d(Pgc x{Sjӷ]SVu^2Y?kt@5w]i3{RрB,O))r+άvegYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȵ+ySC̮: ]_x8$hGaD 1 gpE@3J}%#5ւ RמD%i#''%QNj䥾h W"tR/6[ޔ<?Z_O̗6uI%2=+K]+NyY1ݷ 5e]pdqQXa˻¯R2g:4-~d [Vx$ jot P-V8 m(9tҾ7ovK%SFv)0[Rƈ\hP8榱gYZ423c5bf4199cb964f4ab8f9801b29bfd73232e44f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf  ! Prog_Prove