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 ;= TT< ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.050cpu=22.636gc=1.096factor=2.817zXZִF! "]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.`+/Ў"Os 5(*Hek&jaF㈲xFNKT u/dڹCɼ4v}U"Us/qr=O_pKRBL!9k`C?iD],]dbzABG˛OI)W6V5W[)[Q@i`(4" = SgYZ7zXZִF! a]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>P[O`&}-DCa1GHjj ДV*" &ЍwQPr'wRPxa ֹ %`oS!*ȂcMNf)Y8T3{5Kr naL tOL, -w3q-R;"P$`V!؟@ h Y w*FX:$XTEVdNxuIJe>p VaD9T$lCkd8wG QgYZ7zXZִF! (]ŗXi%;sAn* m~F:r5r5Aq],hU5TPsX7MtAc`VQ=; d}I!Z]ZEB ҏnїgPϢcNb +Ͱ_`$?V={t%D[Z 1T)й #p$揹gT:3!Q6$@cV|yUcL(o쮗6b֣xkױV%23H@)b)6lXLqD&Yo̧84_o):xr(/4Ȋ2cv%o`ig<0euhzW$6=ˮ 7 =~ir;D&$b6>tx n*//4jnV"8ݵd}'w3WI;V݉1`H/Dj &<}!0Xm\qKz>-#6Z3eJa]sza,uYa{Ibq8r$XOPY0jy g3m#-Qѣk7;ֆQ73ᆱgYZd820b780975660b03a35591ede474d46ba148b402b741fa2ed8a0e813cd5871c2da862936da19705 9f48442a01b557873bc8bbe04241e035c7b55e33 95f4974c65e4ab5e8a96b646db7d863420f4f2c2 be6fcd367df6a2f08d64c62c8bb3c274993a06099541235f861ebf2ec34b8f63c29fec4e21ad29c4 = HOL-Nonstandard_Analysis