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  }# $ $ ]]HOL-Nominal:threads=6elapsed=6.285cpu=14.536gc=0.936factor=2.317zXZִF! 5 ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ1i PYPmF Y(Ls|}rWeWN#I|Nӆ GWۼh`YD"䦋f˟;$S]bb<3+xk Fo {IZg1woCM7"Dx}k>nExnk{saҝx.yn^V5χdA=1 qEs cra5Ө(ޕ!C@:q%1iv G "udz֜AA"dC"TT$"G|֎*%grr6v1MEyD/D:}5c6I0BB*OI1G/4egYZ3e25016b14d953b5055d246014898aa7f5e3f1cec8b758c55bf2cb56ac81c62d74f7a65f594ebbff 4e355dbf04f38016bfcddf244a1ff37122307044 e4eed2c1c047c11687d10e18c9475647942cfbecda79d6b6638c96e793cb8528cde35f40d6dc2484 # HOL-Nominal