SQLite format 3@ .;  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 ::C= #2q05 WKLE}p%i,e[ ^Z]sIx.MR,Fv:wp2v!dzؙ^Y~.i\Z7u#C+* ੋi viLkZXg@~7(`CIuD 䩨m@.02=L"=c&!:N9"6Bows@2Tz`4"1ȯ𙲲EK~aG#oa߃\@.T NG`&bdc,3`sl˿RwoYP&((/;ߌI9spl@~Y^jsX.z ߃ǿ! `gYZ7zXZִF! r]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>RDLp,̚,ھUwMm.oeFf u2>VܓU WO~v1ti'6wR1@ Z1EGgby nr>037D&2\:P-QAӖo`aҲ@UzfqP!Y, DW\t.!; (^m~wPz Z$΍?^t g p ` `D2N`m8̾ٸ;3_p,QN$ =A%(&!G`Akl78.:-pYܦXvܲ6-'ԙYJVbY3șxkk---jo̩ 0 :Lp +eܗO2aL9*sUai4 9>e)wrD?{B6 fHp4tvYrF<.]+a4,8DİbǬFN$g(ۓ]g.EZ0vOzȄ8IATMDgYZ8f9469c2f2132196586d9759861b2527144f90074a94cf884247418bea313a9db35e86db2b51269e 14acf31a4772521a6ac0f6c0b1425c28333b3578 8341fd756dce31f2bdcc7e1252f8ed212dc9bb83 ee9f98ed6b123b1e9f72898820e1a925522362bd1a9a275c256d1083b42368c561946c239c0d8208 = HOL-Nonstandard_Analysis