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 X# Ld, ]/]HOL-Eisbach:threads=4elapsed=5.718cpu=19.716gc=0.680factor=3.457zXZִF! ]ŗXf1-) enȈA XR„y0wn͜cnaB-yx3r2LCel'cK +Pg ^C~(<C*k(J.'}rߢMb23; % )wiʗOkrHmL]YAеicx9ڪ\ 3篓9Hme4ҴD#`6D1+^˒A >rgmx)T9UV=UkFBɋvI6W8e6!G gYZ7zXZִF! ]ŗXiɟ1J2oeTʹ̰Ko䫲d~Ao0 BTcd7nBc_MGgYZ7zXZִF! !V]ŗXi%I oĦDR HpQIQAW$Č#fHi'HmR ۿ4n:zQĆw- ]*TEIxQ,Gꀜ,]Ȭ疩Z)`ĐG)Yaʛ <ʔ%v%Mɤeas261TcS [h @Blc;u^J^az0Wt'v#wWYNb]RоY5اjgϸ(&qja 2ũ ;B_*^ ~I1ҡWvC70:TH$\vg@^L||B^Pw }g|3EoH|e!9!kKC:Ȯ7O;po50"1uIIE|{ٔU"+mlIbZ~"\%P);C8fj6^:xM1!,V%a2 ~yi`3@BegYZ63867fb769d428113dc60ce7b9672d070f8cf68d5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22d0e2054940f08ba641ccd162b50b5c60961a5348 # HOL-Eisbach