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  B B;1 d$ ] Stewart_Apollonius:threads=4elapsed=3.736cpu=6.700gc=0.188factor=1.797zXZִF! ]ŗXf[&}y(+O2Z#b1<Qq7㱘V !)Okƾel<>S%"dl21׆CQHU o:k- HO½{%!/Q5<-7[m ' 5"LgYZ7zXZִF! l]ŗXiɟlٞYZ?@Lx!ڿ||wgi5t0kquMH'$RErdt!Kʆ3EO-{瞲x0d0ؗvBY TgYZ7zXZִF! & ]ŗXi%Ge' 랿\qj3X8}0L!D0{=~,}{_-&]?کjru,_>#3 ^镕4uaWHo:"5@)\l( -I4\2g.pVىc}x?YBKBhUҊ08)v܈`/'M7(bBu'Qp+fq18/ ? (b(~`+{7VjLj6dzE?:*|ߴ(j%`? h"(-\׍ej? h_fDףMt߶u0|0b!* ),aj,h$Go7"ee箞=&>>:qL)JZCuBYKؗ>1+ѵyeWpXwO>)X6 bwM!Xd+o#̒A m[Ӂڗ0K.v: k͘4p0y;DN3 C0C{?P@[B's\4cU(j ;AmBx[mʧknpUs۵J;o4ezLo!vi)\@:w="~ߖ\8{pi3 N:4pXj6V6P4g@M)gYZ6fedf25e75f87c6f144a62561bedc1677f2d46691795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac 1 Stewart_Apollonius