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  0 |d ]/ Bondy:threads=2elapsed=0.506cpu=0.584gc=0.000factor=1.157zXZִF! ?9]ŗXiɟDŽ4X.jݐ1Q+nJ44g_)ދ6t႕_JpU@]}YZ7zXZִF! ]ŗXi%93Mydbzţ 0jJJ\ɺU;>lhR.YQa*-URǵ3^iA-_cG !S0yYL6 C]u#;yXlÆ[a9 hd4H( sg\E2pHPnIwHyWD x**L_*eմv\r:ZN7Z`mx"@K.2:ȵE~5" R{Z8NgۤdjZdmIx-RUk o\@EM@2$%HH۷A]e!Szz# H  R7TlX?熿{,O38