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 }C LL wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.514cpu=12.360gc=0.432factor=1.647zXZִF! p ]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p4$ JehawC 0g³ax]=$! 0,>臢5Y?e\c:!<( \74C itL+NtdP084a*"{KbvG>nd5ܢ Ea5^N<1:k9Yp~¯ܸ nP~r(Qie.QyaZ(٥3|h&J8F LF, ]gYZ7zXZִF! .^]ŗXi%Nq.F B̰UX[=ͼ̾jeMicR.u.q E;#g\f!F}G~CqQ37q3P5[Whӱ L /Goyf&u({k̫2+ٱ"ݤR_ΉYۺ⢗fؿD#T˝_cP/RlS=;U̶XoƮ"p쬉# T ס)®qSj|ETԯGMw4e\MiumU]BFguqP+*-~A]OdP(8ủ.m%~{OL[$=+jyfV5j{/GM|X39ą@bߌO]R/gYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 e05ac6c1d58904a63b7a98671f7c4a10b7cd2773735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 86e95bb3182356f659f9dccb3c8075066387911f 789a5918f20b73029674139ab24a17c0ed8c9391 11aa8e1349511ed38a920a3b32fa09c09dac2915 C Comparison_Sort_Lower_Bound