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 27 L ]% HOL-Quotient_Examples:threads=6elapsed=26.529cpu=42.756gc=2.664factor=1.617zXZִF! W]ŗXf1-q恈N/|p~p%++"yqL^ ?DS^  SBr~'\9Â3{<}ۚU plV} hdfVY-z0 U9tw0%B'K384~Vb/p-`R2T|F-RMp!qM/}s]ڻtfg=|gz?3{_iSV7b_ࢷT )̂?3%Uw87kfwEZҦ`:Z5fWdYxk蘧iɌzЙ'#׹H}?;oc<ނMjw[ @c~w6`&YLŐm*3zooi۲UFcp|YH]|3=:ny$l$n gTXڴE4@\zv6;: x hOm%Dwx_煘"kk51[bVAcEc>tW)Np1( JRdd@c:U)M\yls1R7 /y"\,`iԟ [Z>U{e.R (VXn"jfWbQ!(ŠULFk}r+ !"% M:WgX/'9#9J{a]B{OYAKV>*HyG_fΟfoI4`&yq:$!ܭ$ߧOH6[H/;bLFl^3'YLnR\\Gzpm@|vל_/5 }j ג垦9#CV{:>ʜ}3ltm%3 XᖱgYZc9581951a456da2ae6e46604e6f3ed5394c85585f84da1efeb09fd4a6dddd2573e5e78b0df151cfa 98f128cc9d5b9ec281c2dbbcccad4799d2c3af76 4ac9d0760ae4fec7561a961e3605e7cb0845082e 80923c4938556760f323cdf10d53a5bb038eddb3 43d16f0c574458e4e4b87ef01f73e762bc5aa274 7 HOL-Quotient_Examples