SQLite format 3@ .;  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  1ȹau(* Mlnʌ{ nK{9ƶ?V@_ /;BgYZ7zXZִF! o]ŗXiɟlٞYZ?@Lx!ڿ|ho*J.Y3c-p~GVJ˃8! $w0م_.ұgYZ7zXZִF! ,?N]ŗXi%I o̔Bۺ`!γ+ ׂtO4xcG9=i@- Ә]q6^/k: }H'ҷ7᫾(J5*(yC(,! wm$'SpeQ{ߜ)T &&b0bY-#ݳKk4? 7&;I;V] x!G)0 2<b^UI i!yM(o@g~E6ya\Dv"IK7tI|T\gR*P}Sk(Q- tJEi܄&|}Ffu[qkddr0!L&"@oSGQuO=v$Eov.i$xsV:4r ǫ$_IVcR[SrHGJcm1w0) A_Bv^ێw^5dkH>C4JOܵLoیƤO-zx)49+jjhxPZdI yZ`*NƝL%ܛ5s)a(tN؀s7ۊjC?Nk4 ppo&r!TwExvs'@TN`B8i"yy&no^;40.K5U*DipMYmD"x0#PB繳kBvrH/P9cUEb N4X(gYZ750a6c76c0f0a168273f56175a5f71a2294a0e735a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d92257d35e39c8204c9a3171ffd1fefaa3a30d32 1 Stewart_Apollonius