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   |ODtZ:Pyg6 ml_j7=L{ILOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.927cpu=1.712gc=0.000ۖPw_,}YZ7zXZִF! ]ŗXi%@^";bщA~N^cW׶{|!yIҋ`Aaq)b4}&f ԋz$7PĪ>,@G֣6 M)/g", dKv7uGvXZҩ }UuI0]f6ex07 kQ/QO\I;lW`yQcɉ;e>qD'Q?,p a!XLfw~wor8-$"ϳG+6U/N6IH#1Ьffqn=$F7۪B:` ED $D`|EïؚVk UF ]iݽ~O$bI$*[~V224  !%W[o]}w+i [hYf:hdumk{L/ұgYZeeb655544d655eeb6fac33a3bd0a4983645a5a1ff695e2210c65e40e35d958c5ecfc154ad0d6ad65 874e40ba742cf3e6e99fb67087ea49c26880e3eb 070f09888f0cc4dbf5f4381a99cf7572ce551dd3 cfe82dbcc429d7c9e60d5573d73277f7bdd83097 122dbacb0806c084ba487533b564dbc259c20e1b $O HOL-Nonstandard_Analysis-Examples