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  tOT<4 ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.994cpu=4.116gc=0.188factor=2.067zXZִF! ]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkZq}PPG o0A^g:gk;blD) q`S*v;%V`Z /[n(ڇ@P08YFxv#m3?c3p> ́Ѩ׸8IZDP%-l:prqxN u\8;;^t02S$SԐ?'hS]1~y8aNZjηw.lxt3܎#c*UЁa" :cۆ0,iYŜu [٪U{t*~=w*X[klߢĞ N.%^DLk&x4&*PpBm.4πڲ 0!en|i[7#4"mZe6cޯֽ.v#{]*`$8m䑐kV2g$/Ů34JEBU%w7gYZe6525aa26e0f7dcee8ff64c5e8a49cb35ff63fc5eb8afa5f3e15914627405f139746db5363a9c9cd f9d10642c34cf1b033c11c0e6a9a4a5dd6b1321e 4325d35643247cd98417e4f049d9670952babaeb b148511cb1ebc2dbcb74d28cd00a6320bb0ea2ad 322a8932fdcebc5284c713698ffb649f501cedf4 $O HOL-Nonstandard_Analysis-Examples