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 IC  wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.434cpu=12.660gc=0.536factor=1.707zXZִF! 35]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pgkƮPXz%ed7~6nT'"qB/gjvI=ΰ`?+tX Q ´@KSLb&vH Bu5J._zxsY!͡N >iunw*8FpP4]0掮X 3t✐oRߕGh^v竤~#c]h-kN邰Rae=;_%ڟ+FC[S]Ἐ cQp[;ܷa5Wp:,PgT N\?ic;1YԽvXB)֪NC"V",5Zh s8yA|68Hԣ8Twp_#j<#(IY{݆|l;8r|&c+Zu&Zॢh 4nҕVPu) B IJK2VwNW w /"LkEz\  #z~?<@C61n.Er69Uuw ֠TsrZ4Y{3gYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 e05ac6c1d58904a63b7a98671f7c4a10b7cd27739711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 4392414ee18e21cdf5931c628c2aae793eba06bd d00086c2e0d495a9fdbe9779be4367e8473bea43 c982e070f961a6aa0facaacc2d948606f8fb859a C Comparison_Sort_Lower_Bound