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  HODNy,B JZU=6q,ە0Ǣ@RKFgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.800cpu=1.472gc=0.000k.5w_,}YZ7zXZִF! .]ŗXi%GV8n59ԔcqY""rsւJ);+M4oqۇăպ[ޙ'-O" )y&!}jҪ)gM $y$0jL T\PG ,=ݽv; ERYS*c^L6QE_9THqSAi]-wo?&m1v6#e`}jfWzɾn_\նOKRE~"OIgvJ~7 ,ln3 7#hXě"Cy/"׌<-#ʳ*<߇yq !ϯf6|&NY8O:ܩ 4~)*&D7:s<1՚H;% JoAf ųeKi湼@(ڦ| a2,jFK%K \g b EN{x/|[ (=xҷKpGx= 9Od $mJ!*Հx`7–nm扱gYZ3e616917cb4c827e37eb94af140314c96c6e1da85ba685b34502b4975dd781c9ef731c56a0e0c185 7db66820c4732ce3811ef4ff9263cbcff2cc8580 46b086d6f859329f35c9e2a18da6cfb333cde927 c84ba0b29645c777361129c6c4661bb967caac02 4d36966009b354b9d4f6145117ce1eb9c4587abd $O HOL-Nonstandard_Analysis-Examples