SQLite format 3@ .;  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  OD< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.747cpu=3.652gc=0.000factor=2.097zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk{j Wai(X%ψU0B\b߱\m*d]:<\LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.751cpu=1.424gc=0.000Yaw_,}YZ7zXZִF! ]ŗXi%GP窊RA#ǺΛv3KkgZC!ODI_1ک3­T\c.lM? A%Oc$Rj6b3N>Bf/7Ys3ޭ8V$=UmV櫿isca_M V29\Tn2{ t3Jľ?N~88b4`X a1>YgYZ3e616917cb4c827e37eb94af140314c96c6e1da85248afc86b05a1ac2f695003788f35082c9fc933 f1ca51ccd42b5a485854d78f2467698d231bd356 39fdd67748314a5f3623ade681f853796ccafdf4 b87b8b49a787e251f1400f11b47f20ece909c6bd 46524ca4228c7ed27df489cab4b05d8364c58f9c $O HOL-Nonstandard_Analysis-Examples