SQLite format 3@ .0:  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 = TD\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=6.711cpu=23.324gc=1.000factor=3.487zXZִF! d]ŗXf1-q恈1`VnȆf ס@wp  қ@\]ϭ:2[cˬ8C %O`8TM"l݄St$6ӿ'׸KUCX׃%"z5xFUUž~2I;;o:<E2H3k@f2{'0nOl&zT/Xd gC*!,O|37q@UrM٧8R"Р(%NJp 5ڏDEḰegafM!ıtxkN½ ~gfTe1Ɉ$_[I/Ͼ Ȋ4<% W@cgYZ7zXZִF! []ŗXiɟ1$BQ0dE8sM \`Nᵝ^> 㨙r^ \͒Y~X}U\X{j¢&do~\ 2uy¥8U |[(pK`*m.੐QԴ::Ğ <8Rv |"pM];FU|0dѿλM͂. k?8)/\xԘɀ boUukVŞ 8.-PZ7D ~ E-IUSƀK.Ms(f'v +gYZ7zXZִF! )(]ŗXi%#8=u lz60^5ʎnO ق|/fp+$Ťbr=h&+r ʴ&XvN-R/qm,;Ɯ#BY X^۩?֙]>R vDP<_x4酎,F'9 ylzɊukdf(%%\y3ߩp=6*OQJd_ca\$6Q_;ǒW*sĞwW*:ðUp~S^!ͱgYZ723c501a551764703d6207280644a324829b2c8c202f6f92237c25fe02f241fe1e163c0a4bca399a 63f007d29bfc488e0cf2bd9362b622634a9cd39d 809a914e409100418d2c13df98768aaad39c3c52 6fe55a48d15d1c2b8106bfd96a01346d616dc219e5649ed37be01af4f1d2d039f5a3cc1625f2e303 = HOL-Nonstandard_Analysis