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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info - 47]־ e!+P^ W`<wRxL'?jB54<5HC^5zى$bik F(І{U7Ə14*|-;(ٳ 8-5vyZa*kRlIID7Npڻ}SGi j@EWOPv.gvHN׻8`/9+j\e:{!4M* ] V@^R7<9'zvaM8׀viYiP>s sSbe>+>S @^t!I#cigYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 X%rd`|-E!ēpV3ԏxyY  5 xY\D"9n^#!ZP02}[Tv$WJΥv<*]Kp;վHU s6i;l$ >$E::/g$v7zdpE Q3 ? I2yy*⣭l:Q8*4 ⡆gYZ7zXZִF! gaq]ŗXi%Gg Pv pt0;S8o iZΫ<ʖSo tMu-[ 쌕)e-;I'_rXM5`!]Il@]6XXq|MdgIoKGA W-`#ء~-yq˰?" \+<ޛg:_b0js Fl+E՜mAg3 Vؿ&J'1ո.`5O I;N>vȦM$oF/cq+.Y`ڱ{, *e6&܉`L^W^ vr]jTQkDԿ¼ 隆. _JcLx)Ɍ iJZˍ}R$r͍YpYăk"o;.w b5q%OյP'l7*RL+0lly]Z-^b<@E~`NBSx3ԇRMcZ7QL6 *tcrtT by-|6agQ>~p{ ن91ry~(P(kN8JU+cnFuސO1ĭm{WOkI+V'ɢXFyZnNY,F'B5д5Emr1SC`̌kȘܴ3~(OY㝐u.r/ &ˣW2z R)lxt𿚞.x0/;;& PzG8bX-@9d,3*Sb$dr4wzrI!:9mj"گPՌ6Lj{Up {g{ WJ%%1& w*F ^:Oe3HRw"Aٹ_>0 vpC{sZ,)0QB?>})g:CJ FPVP x?u..L'D>OK;i-ɀXď0&{a@4OeugZo%T0Py?0* UJ*"c ggYZcbeccfff4c2f77bde31566666615e5fd56162ab01795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b  TLA