SQLite format 3@ . BBh77otableisabelle_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 >7 D|, ]% HOL-Quotient_Examples:threads=6elapsed=27.334cpu=41.716gc=2.384factor=1.537zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%kUcrDG]a2ݠрu71#.'l(e>?m UOY; +<讀$s̭ "LT[OP3.Sar~saxGFp pՏD~!D~0؍/ƘޜU^ (f9i$5gYZ7zXZִF! ]ŗXi%;Xߋ Q6hkEo??CՐ `"4E;-~9oٯyw)눈%4S%0-D˸[9z4'`_ `g47s|sc|KOI X!cC='_iT4ʡkC= 9C _M&Rz%dBvө$R":!eS 3]PӋ7ZQLI~:38b5UMīJsc`~,n}4,mcSxi!wSZ/5*IQ/b7]/u{ʛ7L[HƋNϫUiאָė8\,..uTsn7*y/g3+a*a}9z8BH*6u U\8S>ꆙ&?+EsM1F*`8Ԩ[ S).ji9- xǭ.a=#$Un3,09 *Ic.0wb.$PxG#@"ν #v=Q5٢]3 (]x_tP~4>*0h Te6pGO3NSO~~v1!ЬzȖHF] @χo k7.)SxEb֝o(7@iX%p=imFy3Q>vln#`"69eWkINj(Vx֏~?"UfA5:}_@i 1|t (4K@Ղ9j$\7Ez>cg~cqi_>? ٟHX欿$]Pt׿Rǃ+h\z 4Eďy=p0Ƞ Xa'pqUމ7iߞklͽ%sja<"Ny.f.56PiYٽ ¹=CϘe=#ҚĉcZu:w[#hrm0~,s'6 @gyȻ0WP:+U.O@m[5#3qsޏJaB svEؕ_3NH&~cc@}v Ś}7@xm]}mP1SYn<;kxjK;ۆcU'8HT_WK:Ŭ^mkoQ~'$À|Lϸvk7%9YMtf`ǥsb xl/x* rgYZf74b3e0b4c72080e0432bfe85faa6af38b1b5166b121211610e458dc97d612673bcd7347cff880b9 1a49b8a85ced53b842cab647e6c466047ce342b2 f09c2300a0729d3f40460de3221a99f80cdae554 b1c8c1a997dc34aab196d4f526d68129572e7a01 b0fe58f8e07608e9664de6b00e724eb6e16c1ebf 7 HOL-Quotient_Examples