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   w)T, ] HOL-TLA-Buffer:threads=4elapsed=0.427cpu=1.072gc=0.000factor=2.517zXZִF! a]ŗXf1-q恈&'ŵШڿjM{%gP[e0`%4ae&4r2i}s)gYZ7zXZִF! P]ŗXiɟ1zVU'j$ku)>ށrԪ(j(e0g~n]f(Nl9gYZ7zXZִF! _]ŗXi%G̋2cݖ$~z/`}[ 4"-&x$L E_oGS4DDm.?mrE8%zBI}ئIˇ@w|bdwX3яvS$r.,OviidJ}v؟=ц, U<%|vMUH.;t`LpPDޓP;$ B I 7+:E 3U4pq*zk"&҅ra8 Q4/~ :_HQm p-QJs!}]GubYrۆ SC'j4 ) Em04ANv`%t u-gYZ03eaa4fa122eaa1b93b788876f44f0aded7aac5d78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 04f8c3808f9390b0054e5f7876b7e9bfbc57b8d6 ) HOL-TLA-Buffer