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 \| wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.514cpu=12.464gc=0.464factor=1.667zXZִF! ']ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p5E. 2ǚq[iܐ&5VtX*A% Urp(є gBQnG.Ma=6pTM&$Rsj/?9M &miҿdb5o@ٲhsF [%Ӟ2`mGkvJZUq1RZY;ϥctӏqY!+WQӲB v4G /NgYZ7zXZִF! .w]ŗXi%B|'@@tWc˚9jX.WUM0eI}LaW I'&*5),l Lm!pA76Lԁ%8'(hbhDV ^$up" L gOC"hesiY#}Ͻ]r:%4`Ѥl6[E$C*Bz 1{WFŎLX*چ+/7kW~Teԇ>3P9^DD7$#&_lA}gܟu.CGg]'1*l(ʋ@~ )d8tT5EyqX+ dYtW:Ff-G/]p1V&ȍKVidȫ"5,] 'gYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 e05ac6c1d58904a63b7a98671f7c4a10b7cd27730ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d 813a7ba5208d944fd8d3da8c497abc38abc3ab1e 70879df416a9d40940e987c541b08ec672f73307 C Comparison_Sort_Lower_Bound