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  h h5 \ % Lower_Semicontinuous:threads=2elapsed=7.954cpu=14.000gc=0.228factor=1.767zXZִF! ]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&WnSˆs6MNl! ľib<2tKT$9q2(~DtjjX٘]ۦ9\^9:/ #ll ;FByOlߨ +⟗}bj.e"_%k>^ǜlh|\0y >\殱gYZ7zXZִF! 1*f]ŗXi%]!r!q\/ ꣅl !=uW߫G7,#c1F;Lc[BGF"׏J&ct%hD1V-ޟ]1S׾N@ -aQ7SÞG?-$k Tu(Zw?#M&lK.#K=rm&Np!4pG"ԳcsdP+3* ëi ر'>t>uo#}ZKvHywQVʮ,)VbT<4gYZ86b65e55f934fbae00684093cf22aec3241178a0 a225c696c3e9d48f7c4f8098500d46711fb37700 a37c0ff6a586dc734eef0c613efe285630dd0169735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 87d272d7a214823a6656954e4786f6c505a2d5a0 5 Lower_Semicontinuous