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  e eDl ]/ GenClock:threads=4elapsed=2.292cpu=6.740gc=0.068factor=2.947zXZִF! ']ŗXf[&CJUN`e3z@qÉ GDxgIG-{T/'ǚ8[ey/ ˡ%&'w+)lC yJlugYZ7zXZִF! E>]ŗXiɟX/LO18#jS:t *R@}jxrnUhՠs,dcAZFPm}YZ7zXZִF! !-]ŗXi%BI9+EWUHHkz wQPCQ [7+}Uc9=SQ5nk_O7vn;Rv[=<פ-TEC! \&?aˑ+c%}^T{H~^%vc(K2#>"-H!3 qz5 }iMjP hEWNbRyG:b] YA]PFO{F̯qQ)_1yrYw%U >∢[@I WN$vB#pH +BF k.Jo\G*j;V>8(7!- Ik\^%_j?&R`JX%(_}"Q덖$f)C~&1%ZxAWY9uB9&rgYZbafac9aca938cc80973f2dd2f76f2903a828e8103853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0   GenClock