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 uu= L ]S]HOL-Nonstandard_Analysis:threads=2elapsed=11.823cpu=21.708gc=1.176factor=1.847zXZִF! C]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒm}*D]o4&ҼnnhݯRϏ_cOCx/ZTc){_HG/#~gׅXIŮ9mܷ!M> z?vN,%"GbVUO`-LhsAiFϟ{歅= +G(#AqDQrM b>54<=ޯ9; b;|5n4c;.e(’lGDǀȁ}AxgYZ7zXZִF! `]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>C:VI'J BwD.~ZX+E.< -CٶBP%|*!^ւR?b"ncuFe] (thі2R;%Y_4J- |^ mہsgw uk-C%Q 6/׀K1Ft$DdĵM;O{' #$k德7%(JFsW)Ɩ7e"2W6N;`!+-J  A AgYZ7zXZִF! T\]ŗXi%>gc>"(qzv ҋԉƛ6:OGo2jt _#̪WGPhXX i/2ۈ !<5${ Aݗo=ך(G>8< E&PG E[M4X4˽2 I& CC0ŠsQV6@g̷jO~|twF3:Dذ}NNQV}EV,$_:<{kIr |e6^ՠءI=xfC2[ƣbd޹IQ^;)!'پ6,XkRi NC]T5;ksc^IpUB$]9i?# (`0[(7(܉E:%M:T6ʰ;2ߘ:S{ . GX`QMk5T-^|}~a,^ 䇔( 4vE=SS90KJHp \ho=R7<#OI/Yg乼z0Vg Ȅ2aobH8`_n-'!)s5yPy3d 2S|R6 @9I{?j)2_#Tޚ8k3jʋObû`&?*ɰ\qm@ОAy_FqH~8Aj|&^=%"] ݨ]DgYZ947576b4a4d02fb01d1940d44ab1634cc419876e82ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253 0bbb80cce0914e272b2dc75eb351ae48ec09b263 2dd32bafbe406e0b35f2388ca047a7d247fea797bd42d6c87662475573ffbd8c1caa425992f24732 = HOL-Nonstandard_Analysis