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  @LT ] Eisbach:threads=2elapsed=1.396cpu=1.868gc=0.000factor=1.347zXZִF! ]ŗXf1-q4(~$Q?bִp;w~ ѾA`Feń"DТ a~N8kX>>J mϋvzUsL ^PO6{5Jv%kȓl--b(Չ̺`<]0_DZgYZ7zXZִF! b]ŗXiɟsмHI:j|W?iUF|1G]f& : Qד\->xio!`3[ۂs 'XnNڧ!/ -~|gYZ7zXZִF! "]ŗXi%;id  z<ކr q45 j?sYf`l>Gu-Nw$q,Fnjrэ \Ҷ0zl}(DXS9tȥRQ==ѱbi27V({Xh@cR^eNujj$7㊃],ӳ2/Qe;C? ]\ r^וȊqYyM_*g`Wqo8 qњEw DS%HJC1@2'"3G=IWv3rgGĞv(la AN}1aF-K@ XؒsuN'i4&Wx4j~ݱgYZ41ac20028506f9f849617a5ee2192b15227c7111b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde 9c4c0b0cfae2d71bae0f802bd44503e412ad1a2d   Eisbach