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  f f1l\ ] Stewart_Apollonius:threads=4elapsed=3.308cpu=5.816gc=0.072factor=1.767zXZִF! |]ŗXf[&}y(+O2Z#b1<Q #W!Kz(GR*GIy wK(jw6u* c2/#u}nu .$P+i.1N5gYZ7zXZִF! o]ŗXiɟlٞYZ?@Lx!ڿ|z7l]8=%hcK+;+kWӬ!RE4mAjt6l)]PV!V=o)_y.ұgYZ7zXZִF! #]ŗXi%B۾2<$!ru5ԢLO-VSZ',|dnz+_ ZxNLk#=2&`(h&xN\vV,0FLD;OZրJa5`s~;`D*gmY?믡 iq[%cI ~rlO j^2G< !W$ XE΄D?.R"/00(^p&B%m B}-X1 "Q+# ~xOтH#6 S[Qlϒu9;@>AV$wbE #GfcQE^NX/:lMWi3ȿ*C"Ht5Mwv}Hwj/H*Y dP#Y;/=pd+&3`b (r`~Ϸ溭&Ձ8-&}iHۜ댮K9xpψ J s`d\;mUk$aWȿU' |)+K{¸fX2A&.2%_ ېA=')QBruKoHaR+]kXWqYW~,p-UܪJ'cۈG9F+jxZc4,<8_Ss*!%p>.GkJjgYZafe1286ca305920d7c7c6e5b2cfc4a5f2d4061a976b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 2ba2648cd2e9eefa4e482a87a5d42b21c90574a9 1 Stewart_Apollonius