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  tOD {ۤ/Qa-MOǤàw׺m:.):,?Z"9!gԻ?#?I~t" D@/M?yԿP0EzJF'@'Ŋ(RH$il{-DzЋ'KP;0ybE_7PISZ)T%lqR?g^?Oņ=Te@\ڝ`qGQ*Ӫ/G?H%Fd~PzyEɊ ^IѨl2̘ L tƪ臕ތ>~}?ӗL_(>}:XOA":}<縴RSI"&{cYv%$m;$DLPwO t0]v$h`?NF;rL/ii.`i (K{gYZ9402f7aa608b92fd040a7234927f8764e07a8d0e49fe4d0140f29b61cf1407e8018459339b5bee72 18021962fea9fbcbf99b9a3117b48e25bbf47f7e 574aaf06644e5a75b8b5b57bfd3c5bde518a6675 315580fea37262e12fba8b69753297efb465ea93 bd2bb6d9e42b6efffd6cf27491a9cd42f8b424da $O HOL-Nonstandard_Analysis-Examples