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 mC << wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.450cpu=12.876gc=0.492factor=1.737zXZִF! ]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pރEu1&~ idI}Xkpu8mh +S+/ݴ-*RVg!%D و!e*lOqlfgsBwߪJR%WnKKw;1 ~- V}7(bʍ,I^- fJw`(߱ Eb 4(hBXC@NJ/ gYZ7zXZִF! ,yX]ŗXi% +%w[{\]D#Rn.njvzNV .Om,ÌhF5¥4#0 )6l'zg b~ [!&oCtlA(ls֜Bnq99&lЕ~sc? nHޚ4zO~Ąc;YDP3h:͝"?'IqH>%##27$$Qĉ+V$Ф5-[}cCt}uwk57C,gYy.Ԓ;"t[},ңz3%6˦e3fFo5 XbIgYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 e05ac6c1d58904a63b7a98671f7c4a10b7cd2773728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b 02182b45aadb0d8356d66d9e1f182d1c5471b8af 27a3aca446d77310878be244778a4e5cc38cddad 0ef680b23b11173cae40e6c74cf302ae90ddc5c8 C Comparison_Sort_Lower_Bound