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   |ODɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.893cpu=1.684gc=0.000TY7Jrw_,}YZ7zXZִF! ]ŗXi%>mMݯPV@v+^5HdH`ipX Nfա!Ԭ!=[5_sF / 3+Ys\#ި!C%x3.Y[Z2x4P+dAp8PX~hå!D5Vs{0^> 0=iȓB'ʱ/` ׬tJ 2KU"N,v!ݽz4Q-0piSy zN8 @vC_p^ A2hm[`PUuNJ)3Wmxhep.^-~(IޘkϕE EL6FtgYZ67ee2b33eb2027615e13ea3ab53351a917a78649ae96c4661efb67fa55c859aee66272e43d21faf1 df5aaee0a1fb0d2bd927fe99191fb28d9ac1e456 4c87dae7a22a56cb1a92c51c901d150667bd40a9 7ede7a58b97b7332a0ce68a911b7865636eb892d c6ea5020215d1bfb7865c24d037c996900451c75 $O HOL-Nonstandard_Analysis-Examples