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  ODok> Avld̵s*1-ugYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.954cpu=1.764gc=0.000p 7Uw_,}YZ7zXZִF! ]ŗXi%@fbk[-g{pmk{^8bihv%V7Ɖ#:i~˵BP4p2oelxyrB932S:#|luȟl{[ȓ/4_pL9 Qҭu[`;[of ">T~("igA%}]Mge/d>qH_BtK]}Hf&JNOף0^'k=!Ǝ1 d?hlvL|a@fnt⬚ss{Ly,%ЕOMUxpԏ]Gۆ2-*-*(P!  )}"n85aePK :;dlTA1koyjYc%xYʔ/9t{U:D@e^-38P.3 vMh#",jyե6ah- :iAW?BD}gYZ5995f2b967661d77686a19daba3e5971402ecc37f773f64b5324612793822c6b9168a199158bbc25 919d4d74d5325321cbb68f9d83a169ecec0e086e b4d77f62759e3afff6f1ba3babead3c892f3048d 43a2669c8da8a9587d79b7b1a7631f1eb638a9f9 50291b2ceee8bd50ff09bbce4a0a71c766aaa1ae $O HOL-Nonstandard_Analysis-Examples