SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 rr = dLT ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.468cpu=25.544gc=1.364factor=3.427zXZִF! k]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXL"#H[[dUG}m>8]"m17kO$,ovgHȅcd@H[RНw+?5T(t"!~ފqJ@94- o ׅl_a±N({kY\"tx-$5nTLa Ah4 |y{yYeP'v omlb[qT%#^E?!rꦿ֟` MZ5,gFfcA+~ި}27l;d8ZHegYZ7zXZִF! _]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>tվὼb=Q }zꀹW- "kss`}zIdH Y`//E>C2Gf< f?*j' $\gYZ7zXZִF! &|]ŗXi%> b ƠFn(kP&Tj9ffinCs#HOG<25 =)[faD]x2ˆ:VY  iy:476\9'RG&` [>|oۑ&Kp4$f'Tq~{jۆ)zq/ob-z 4fr/g0aU;>7 C,-+␗D@ :}IB}{Zq#lzE# XH c@OJ}e c?5-j(!q*}Q1U̥!ᴾYqhh>jlx0?ʲI.myˮi b4W(N\M#,$wd`7-</]]weUF}j MKs[?q9G܃=L {&cy!5š4)!`@^$v~4.ߖpNЫL@ [x4LwTAO:kY70H ¶Ku"zx? 1 ހmo7#?u[|y3@-8Q=GP1vȅK7E.\qks7) jIL*Djr0)RxidNz<揑x",ґ ƽebkg"9`p@2nZ|<OƸخiEC%غbd #Z5s'pl0SczEutg&a.5!f'~ҺE\NZ]H+nPZU#_3=-Ⱥi5@]5f/eX/7}9+Y\ ;k5{?[Cq>M4$zn4oؽ7Wp;@<9PeLmgYZ54759bad048824a42ddb63c26d57072cfcb50c8791654f4d47736227ca5d0c587bac104f80bcf18b cefe1a1c8d8ccb79dbee55a881d829917092bf29 a9f7bc9322ed28390dd1b938fca489f9a15f93f3 833ac90dddda96fe8e823b79a36d1a3be35832cf8ed500d3d4b5580ae3d5ad4001cc159d5be36084 = HOL-Nonstandard_Analysis