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 ??>C 4| ]S Comparison_Sort_Lower_Bound:threads=2elapsed=7.730cpu=14.744gc=0.704factor=1.917zXZִF! ]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkIFAAjY ة> llrgWs4f^iSׂ[']PPTle͑!-%n1CyӥS+?  ]a%56R7.)_"n -lGTb P؂J ͎!>=K2}@xkh5LleZ7BFdCjg@ȽL"a SX,elkX׎驽Irb x`iN k<|L!bƲCƿ<+ЅmAܜe5 ?څB`S|ʮgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۵Q?" ˌC`$w3840勄3lCWv|܌`]g_U<@~ KbW:5(OvL963EYo XD(c4\2m]aP+QGЦ[&"T&gYZ7zXZִF! 2y]ŗXi%>ggyTp6?+X} Aζ%HCk`l0uU^FWqb;i^]}/)+3 x*r;nzmtaYgC=s5j8++rkl/0mWtFw^2%jXIlb+.F'3ZL_ GʄFՍΦqEdiصIJT؆`rtK^Јoҁ22i#)ԣiI 8Gךk5AB +5@Qտpɣ+PjX9N "@ ngԥ\~NpuLFԾx7wN2B3+IvɜĶm:%şs2ڪ ay43k4|zxUAKq} P lF k}4VEJOF{[ K(ikf(o#H(^A[ Qn6.)7t-YykNuYDW^QAmQpW(^'p@TSO bkfSp(N?_[z2$s|fIg ?7wFH.K*S|$//H@ş6skJ,Sa{>>')^(5!F\З-|`d$7V&N-NU mtv_aw4Kq d]ȘBn2X*|a'Ѳ+K&IVz9ȵpK;G顯*}p&I6s\}nn.]4ޱGn2rPbwu}NMk -[{?w7: t,.$deٯegYZfcc57cf455d39c40a13bc3a41cca8839e73caa9397833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 28c701d29bb3453132b1214a9015bfc334954436 f3ac9bdc07fc6e2a1f9cfc095264018fdcc2d069 C Comparison_Sort_Lower_Bound