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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
#D ]S
Dirichlet_L:threads=2elapsed=128.088cpu=245.432gc=7.904factor=1.927zXZ ִF ! R] ŗXf1-q恈͐7ӺV7V?AƢw䳘FWc_Ν0 l#=٧͡Ȗo.5GXY]f"Fl%Y*{'&;?1cUqZ'`J㖶Lv xO?H83{JdPq>c^.ݖٵٺ o6Ni)=l0_k4sX_e,OG>~ƞHnRc6s40C[KFMc/&^Zuܙͳ2}woM]HKRQDz3R1!j|PJ2X\ ԹjC:!Tq͟[g@w*~3ʩ!pIL!ⱈvl%k]':B *GR>tѩ|bn0. ܂Ôwh;շ܌Mce(ݛS~̂ha#F>3KZ ~uSk-<p==oSruR'-v4G3JDWEMCw2TT'pY!Qoi0~XȎ
"e ڛdIz.-xbum>)|$-B'6ts],$fMY
{;Tz$f LRp8mUmiOgTI5\O=q&PDúe;9
20 Vu0}0z77wH:!-GuϑsǶ!0:in;SUZ
FGKYTiOqtЫ-Pgmߵ^[ݥ@ xH;G?+)5D}ۚ DacU)(?K%mD;&4
x_/IIN AWU[f{-wHZpf-eE;A
)0,1oHƪe|8,4|ZtCI~08iH8`1ǎO\0.U";cJf$Qf=2`.wf;Z'}&tN!oB
j2h݅}]PBc|#jKXx1;oRӿ#S%W
@T^bX5L@:PCZ?M̑ZOy,m X|.mCEE|/i>ntr[wY5eCdd!>(8(-%!M#H2?)e!zZ{p5(Tʻnw2o9hf=Sy1O%Q)Vt%')moe|Jka"~J8TmC+>^ɭ7k*P44DF{MAQ˝&w}d6!RT4t0HP@5{-2ķed%q0&g<x>2jdpcWzZLp