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 66G= \ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.004cpu=26.384gc=1.480factor=3.307zXZִF! =]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXL"#H[[dUG}m>8rA TE7nݥ!V&e}zxviV g$,~o%+k2"3ƬrK$AE1^>EhzXvєp{2CD~(/&;٫@S>¹lh8Gbr6E#Wk[ѳ`l @Rq8*FA|FS 2 q5bj_ i|6z6^ gYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^> 98jSJ{bjĕ)KUD)"Xowᖣ@w So[) D)I,0Ԏ iZ(? `P E0eo;~}q0>/*Sv;|9eh_Ni?:4xzKMd Ѵ.h ," giNۋX -0ZֈȂ(oi+J#%k& >pX%cxK c{d 8X̍RCfiJ7m*$I^_h79q- Qp.ST@V p\F/ayǼE=WXS+dFBV;IjF ^bp溧J̭V6TDU[CRӍ6|2 t Ƥ§oUÿGM(f>ۧ8Ŭ!%KyKcJ3T$zf5vqmk82_ Ղ\/U>azOj=W0sl(7 ġs,C 8Kš#(,x|^ F6TnZ4a1ܧ0=#'^iv ذzCs).+6+jd#&dN8 qƼM +&(l䳮D ݙ:pCz v2X[>jD \Hkꏚv uD΄FmzN9gbEq6 $KI0|짷ZC?L$FoUr/B3_af(5vᙘ.pB{@ı1j\rF,sڐh˽-QѬ P))5o&Ȟ[n\PwV2S1,>m( ݇ Cg)-zBwfna è;![K!G."L0.-?&ݶB3SH4>D"p^ ?:R8]gYZ54759bad048824a42ddb63c26d57072cfcb50c8771694b1f2d25d2d9aeaca0f1ab390c835916ace2 24112e61b571a2bcd40de8683c354fe7120c1068 3f3d97eda4172cfcc4674099b18491488b051f14 d19238bc0892c64d4d481e7708fcb3e73650a74990b4c21eb3c279592907ebed6f069b5e9dc31b2d = HOL-Nonstandard_Analysis