SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 WW&C d ]S Comparison_Sort_Lower_Bound:threads=8elapsed=5.569cpu=16.844gc=0.372factor=3.027zXZִF! /]ŗXf[&!9sA~2jP;QJ&[]xa\-]_A/kzh7Bnߪ-й$59+CQPvhO @Lb: v(>;u5Q_# %H_*nG1lu,g=8ڮ]7A:^lY.[7;WYJ%d5zR`Y1@l2"XPCw(˻J-PcٴN+d̽RV(/w wqƋ:J }M([] pldJWMbSd_@*yfol`T8_ +Ә$WD8)4> %X,Q^+A3 ,+*l2 6ӻI>؞0u`O\%vf]GKIWEgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۾?kUEmT֠ VfBTUdžD;R~eM=fd.p=VL5ҧ.NP'$[Ίwi\ǨcwPZ(OGZ-s4eSedS(h~V0 r (#֛K,^1gYZ7zXZִF! .PE]ŗXi%>rF;_~Iލ7'lK ^[ǰs5e~ kb[EB8v0u6U(tYB/dzcgpiloYSA^_ykxlsVe(ٟݖ4VD*j ]¶&kT @ rXNY)6_g,wGjs ~]`Ҟ5˥kB[/+M'a9p*A0"5~`_vqLܺw-ۋB"R~n8.UEZLSJx.f:8 w@c[Ymj\,}WCB; S|.@,щv`zns(fx<4jG nDJUvizʝE"IB"]7jz_ǔK)4N˹(C;tXGdfTcذ. uOx @6آ 60a [C~ سK{Y!#WHY^Uۀ.)f?䚀 ]MOF:f]z-HXUO?He?%Gf*нw^h6#U:2O{T wbE(  _5,^,_~2F^ ƃЕ|_Į#KS!Vn0iBL>h]Qz/B g׽N"2MNpq/) YXET,[qdAew8H |i/=K^,/e*)q-E\rCjgYZ684a30a556387c52f500749205caa67e648826fcc58d21ba3dc8b698b4c6d36f436849048b45c256 62a71e53b0afa041c6e33c7ba1f783dd62b7fc3a f7ebc104c7f06a176741a7633e7defb2046e414c c9693b494187638dd0f4ee72813b4591822345f6 C Comparison_Sort_Lower_Bound