SQLite format 3 @ .0: B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 Ml$d ] Transcendence_Series_Hancl_Rucki:threads=4elapsed=249.475cpu=835.848gc=35.152factor=3.357zXZ ִF ! x%.] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e@@Nrh*`dHQm@Lt+_ 6\CYQ?H_^0[C M[%"I߲(k7pKZ0RR|?E \b>7e V'{pd"R\?tL(HVh4ڄzU=P-0ÕJnl.h& ]Ցs|(¾n #M Transcendence_Series_Hancl_Rucki b=-1+0yXHTʳ.gjƚ.۷I8z> +L5R;ѶVXCL;n%'4 >= Q1kng8ZW[n\ c0^|BgmnLuޔThl37(C5[TlO\#$j{y]2L*(PlӘ pFU0l8wh>$0,uq Gߢ2QH1O|+v[5F{NM_Q̘O0g8D (SmB&sT4O!nTVA1mNKhCfg Ԫ6s%zX{HgTzȓ.E8 icw- XIl:X.dRCIZXҏBҹrJ4|w^~_vw=_Z|v! jhN]K$=qܒՄq(VEx~KG"0X|vZB)9;{GE!|frZvk|ST~eQ;盘 wV\~Ms/i2If2>|7(M-5"\(c ʞ:/ |j'24YPxCz9Gm^@rpO] xEpg8983Ux`T/FM`-ãNc1NriזJ(2FFu`\;O52(mNaZ^ kavMN Zsç;([}QߊL N~uj4.3 #gUƥ9YVl۟3lAjVx5 EK3m!/z}C .D stR;##