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  DODn|ɷƭĪ^S Ҫ9Fa;}(|Tb Gz)f Nz~ixx~*Vyl4ͧ@WvH!6+ %Tl ^mL __U'?x?wWV`u.73j/ s9~I4G.:wCM4V fUFn5i7`{õ"xNiX%2y_ Zv'-~s130^IO$֫|gYZ99d197539e7688d2f85318da98500f11cc8df7403ec2aed6e56052c24ce5cac914b0579704df917b 463e1b5d04f25a3da6ccab4b394f1a960d47251b b75140eaddb22ffd906dee0374b7b79ced3a3e38 97d1408f056a36a863614e4c0dd4b25a6a73f760 b42bf632b32a6ff11738477cc65a8f9d15ddae58 $O HOL-Nonstandard_Analysis-Examples