SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [ [ -d< I/ No_FTL_observers:threads=2elapsed=235.694cpu=265.036gc=5.376factor=1.127zXZ ִF ! 06)] ŗXf1-/6vR[x:Ys8?ƊeTK(DK-&bD`i>8k%xdDZ帔P). nK,OO]h0aB_F٨u6gNݺ$E+K[hJ2? V ~D-~6Ү?ۮl8%Ewn}YQY5r3lOJU黃Ĺ nqRw⍏% D~f\ftţ-n4zAG#i9{p[7@"xF7| -} ww(ki{3y{yi5Q;kf {zrnb-B\̂Zg:d"a/Hgv&tZag9bB] 4g) Kx4hN#6f}trr}&U5lZmjك)IYK$FGK"B7EAX ʲ)v I>?kl=m