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  <ODr~[j\aF\qazb[Ό%R?]!@迳ȔT6Zcm p)j챇(x'j^C;Ԝ&D6Lc#vy[}]?ͲܴDqZ\TaAY~ś#̅u {B0'tmOOPVUYߡ&R@#bgM@z|DiМ.,&+g{_πujFfU s1 "h` ɋ$c6&s' wose'cQŃ{gYZad9efd0a993a359c9d57adb4ace509e0d8ee9e0aa52852326379afee2cdf8f94e7105ca039ab9f98 4b399c4375d1ace873a060528c4c23646f4c8a2b 0bc5bc6abe597e017cb6fd19fad429eb4d8def51 03c14194ac04f51ab050d82d95793b4594a838d8 77b9581693b4afbfdc49bf96d91da79665389b4c $O HOL-Nonstandard_Analysis-Examples