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 pp C tD wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.938cpu=13.296gc=0.304factor=1.687zXZִF! 3]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀¨5_Gx`(Fl2ARS~]\뎵so 9|qn7Z vnWqx2~J-8+eI.+6Q&2=pT;#C8՘ܸCU$-ӵVO__ք2®z?Jh&֙_nȅ :Ng׾*^9{9B+V>[(>>a$)i*Hzqiy< YV9gYZ7zXZִF! .Y]ŗXi%6ב#_Ōt75?k!e-&d_^tAQcF~hEoqd k*xɃm[o7P7 Q@Tdj¨cAU*Erbj|~ "\2BJvYK(BfJ9$=Q3ݷˀտ޵92$,_/]geA~ܗ$ R߱ -_y:\nKTV ъ=SNVpT?ìTO覠_p,?;8E/a^!K+,0먏I]n꘰kլ8N#Db.Ikw/'t7K*qq~j.@21eA2!mLVJO˾p@l~USmΆ-<ٽ\3pm0ڤK)7l]YƱgYZ4eefe214acc9f42eaa94b978559c9f400baa288a 68f419cd412071fc1cb358e405581a6757e30acd 79b9a12952b4b038d65323baa7d33a28cd2888df 7ffc5ba9164a5135c8a774215c31f31768f1b221 98c6f3f02eb8f7c19f7711f9bff9451de0aab771 b8d3a5b7b8837bd2db3847e3a0f26b566f587ba5238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 662e2c93275b3f9c97faea279c1f2e9b30a29203 3a002d6a995019df178bd168faef100dc685caf7 4df3fc803775cc0087965a4f4932d2dd7493d666 a33190709e9156fe2575f11d8a96b3d18373f087 C Comparison_Sort_Lower_Bound