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  ODLU{RYl*& 0|Ӷ: GCza#l%U" ֎.n(0L'LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.915cpu=1.708gc=0.000D:Ⰳ&w_,}YZ7zXZִF! ]ŗXi%> &TЯs{yMֻ׳&T 9 ]!7{(30e eNrxQvرgYZad8192205f4ad6be92c80fac19c24b53379dced9542cb8bf72c64bf17ee67b940a85e2465d851528 06cb9253274f1cacab108d3a867c2a08aa7fe5fc 298f1d24894815e1615775e30865add7154b0054 0ce1bb6f013d73956212e84e9e9030912a4af0b6 1023d06349dacb8f8e2375473b6409747d9508fe $O HOL-Nonstandard_Analysis-Examples