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@wG^obe\%_da'!*j@xH- ,3x6іi#S*[\h.ȂF6!Ҡ綁%6.1ӦJ '9b {HTLuW?K;gƼN,^0=NQJ(dF^՜eh+ <N4h4@+s#e)WJs; 9omPԃB=r{Zr~Kn8p7'4e7"xKY^C1ƥq؝B/Z$금W1Ƒwo=+,% HJ,!ؤ_+ac6W=ͦfJhVB $/cSGٳ7$))ȝ v'HLF^#כ⽺꛷{~7![t?_T^~__GoG5pV1ȢgtPhgE7{P.gڱgYZae889099477778c57865cf695237ffc5337956456a4a8939512f5187f2e67f11383402b7a93008e4 c57ced0f4fe1cec403fa9d0a4a34248bd37ba3a2 cfd60e59d1fab428755f5079f87cb77b601d57ae 74952dd18181ff5f33cd2cd1056db340183f2b67 b2185b61b571722d93a4e9eb6073e826a7bab997 $O HOL-Nonstandard_Analysis-Examples