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 67 ||d ]% HOL-Quotient_Examples:threads=6elapsed=26.433cpu=39.836gc=2.576factor=1.517zXZִF! x]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%:5:9Chil F􈨵!2"z$WQ [Ӆ O%R5 {| Dȣ}w>;W[8ԝ'^1UXᨐ'dPՖ+fnm}6 :Qyf_a"|h nf_k睵peO~\D^TfѡO}Bg7Aví I @.eьכ\ ^P38o| @QH#WK ϻ>`}97Q&1ha}gA8 ! L| ":bdb[|Bɛ5:JkRglk LVWUϴfm nFh AzEzWuۛtG My׺;jpe;=DžpnQ/S+_Cޒ;zSRYuUTr0WŢ^t9 J6Boc9A{>x!x9ҹP/Z7B)Xꂽ!b-I55Soi9h~;´? " SA>t̪x<Y.j[[<7ULTK"7V;kQ,5ڭ|[ F]k1HokIm;!ܓPDptf%ALU95g^RHpRK^&c4op_8\[)0lzgPþt8*Sيrk3Z!/2DMP%t\TwHܢ2 5̴"X ,wpkt#`Ɂ V Df3?Lcǔ_>M@X %_E}^cCn`lyfI`Y|luPCT%gVCm)O [\?7EP 2K-2I"AА2b [.ECEjM e1xIbs $`s`8t#2<>.Ǟ]`+y ?]p[)~{4F3:Ǫ*ݸjeꑞE w$gYZ789a8320235a702b9e7eb81b7e74854bcdc32f00e7fc28fdd000a6a43da8beffa0fdf0252dd408c4 481d810fe6ad6cfb0b1e2ecee5def91c00401e8b 374a22b68ae9c751c8864e23e93d7421f48308be 8dbf7001b1c08532471d3506529d5580dd8ca3d3 a005aa1e7b201e2f1fa178b2876a94b0163e9d2c 7 HOL-Quotient_Examples