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 ::C= td ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.053cpu=31.192gc=1.676factor=4.427zXZִF! ]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c<4D,`бpiimP-xrK,Gpэ\+j,o# hE)|;ƹTcܯju--o$/'Vo6,&ilzyjLlS}ض|lF7Iȷ1Gm}cbqmhA\E|Wዱ/p>!5#@ ͖Gůi@o뻕2j?"t*W-x= gڼ~rsKt2C.LƐgn%VC ^A\Uƻ4y0SďÂ5f܏'pswr0m1O@9"yReϳOgYZ7zXZִF! i]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>DK 102ھN>06 E- g<@q z>R#j\wdϴ(D`]]tEEp}W6d['x<6 =lvRPG 0RD:M5>xɆwXַvS ȒIW[YK}'`i8T8* -Ww4\w, xP}@|m,2{m .yAK6v  \7KPR.)+.`Z>p`pƇք7HAswj4j6g -xYrq fjvGj1e '2ݾ =0pq}<\]{-uS=h QjXb7S/}[҆oŇx@OwAK{MV 3*Gvn1 H>@ΘUvxY4ֹŎ$2:?eyTBٳsomğɥM.\2֋&㮿yY]^.MargYZfb61fda50567f3118ad721457b21aa1ab2c2b0d5fe1281de5d7780f272aca589ea23aa21095812b5 b0fbbd38fa9ab2d8baffe811a6d340106ce50024 f98dc62ed54f1228f5aeb5a8fbd68087be1b7ed8 954a5620d9d77d908241c0dae9976c15f7017890a3fe31ce51b73cfaff9338dbeaf50150cfc5340a = HOL-Nonstandard_Analysis