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  @OD<\ ]% HOL-Nonstandard_Analysis-Examples:threads=4elapsed=1.916cpu=3.552gc=0.000factor=1.857zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk]N준2r~&c(hqh)DU_3\M  A!CxR̦HObk?V @>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.972cpu=1.548gc=0.000^gߏ 2w_,}YZ7zXZִF! u&]ŗXi%ES3K1gU.y{+p+љ1+dɑhTLrt=` xv_lle jkD39\h@&[_;饛GehK9C -.=4PK4:zaG%9SDhPԆ9nor _!Pe[. <ʳ|$Cijv1|XZM9k㕣Tsɛ"^ ԷD^7)OA6E0XUӵ3Y#ߌ5-b;Sc~e,k'C~sdTxwh+|Ϙ#*!]x %嬀+AR_ѲD0꼔o͔sK0Cg6/ażX ^xJjXmTF!iRyg^a0dJޅNG I@1̽>؇c|#p?a?gXNk}o@נeǝ/߇S' ou7IرgYZf4f6f7fa70aadf450587a2da0838604fb8efc37a76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 ac9adae6b4816d95ffdc9337109dbec3aa8b2fac e1139408c15db81a1996c3715f242d70857d9b96 $O HOL-Nonstandard_Analysis-Examples