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.910cpu=1.696gc=0.0001w_,}YZ7zXZִF! ]ŗXi%>mFkՀ*]## ᤶ>-zHfN9Au+|"O3Lcyyl!w. +.ܴ"Pa gGSym^`Du.2 /K,rZZ+ V4]I&X}0,Ζdt+6<'%Lk."qxsU*LI?%nc cVvA 2/ȰH"l1Hv!K]|F2[IHy}gYZ958922dd3e5ec94235921023fc4c792870e9e4fbf446f03595bcdb30e30624659ca93892e4038ac3 d314e9ddc2049cadadddb9589ed87cff70c95a7e cfeb17add6dda1e3feaa2447e359cdac203451c8 d1f12e9284037043c42afb1d3f22d6115bc5c689 9636d7a392ee7e65d1a445df3b557e2dec859f7f $O HOL-Nonstandard_Analysis-Examples