SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info h5 \D  Lam-ml-Normalization:threads=2elapsed=9.827cpu=16.212gc=0.852factor=1.657zXZִF! e]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}X*$:_AظD@7*@-&VuKn_]}/IokgVC!h-9:c7:)5T\26L4x&xr'9 )QA$&1Br%EYZnqH' %ULT+V.;#'Cx<Ј#VtcݵL]`"]ŗXi%<јfT16.$ ie.%$UAW kxEJߩ +btݗ|OC/0f[R͹>D|cy"c_: y5ljCHpm5}zBOYN in1'7; 6{s;o@ EzV `DMؓ8R4y*#(oPC lRu{ sL,U f\l,(BJr bB"`',ݒHXk j5 DA+<>R}f JSbmŔ2͜I7SKzJ& ,&s`l5ialΫ"C.Pw(fz; MHǧ2QIWĉrB vzAg:q3p rgPVkVJsY iXTp c/ƒF.DPT3-+wAT5IFv$سTi$Ni< ]~qQ^ΏIٶʿ,Q6?NZ%vb\lvjȭf~; xo)}E) A H$iQ Lh~)7DrQ瀢 u;\|% A7~ aɮe)(5o~E<96DlQ }Z8H\p%TgYZ22153a9ee83c690aaec55d637858de1d3e4ec0dc 41caa02d23e239f82f825159faa07a2ce18fcc1e 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 8d065f375f639d3b9a5b76c07b27058e95555fe3 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4f60f18aa580163f9123b4864e1ab9c83a94e8e735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 9225d371ee1c9fada831ab20815fe4cbed54c959 5 Lam-ml-Normalization