SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  HOD)|Ӎɧ|4_9&&$S1# ]wRb}j!Êp6Gakk ݺ@ſ ҂6XǰuS!ChNZ󖥜>0`RS(G!4nlYsEgYZ8c2d5e0dede49769deee9539ef531b16681f8fa03ef6c9a0eb470e4693e1ab85852721e78e1c146a f550ffe99d9ea6d3907e695610a5094009d15b06 91b9d88e00ab12aee1558ed7d5ea87a44009d22b 2c03974d8ee1bd0862819731c0fa31e5db4b39dc 1b2a96fac554a235519c2481bb6ba8d8c25944dc $O HOL-Nonstandard_Analysis-Examples