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  $OD<$ ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.781cpu=3.628gc=0.000factor=2.047zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk7دqdUELߢ~&8:`N v{?~A1e{D2|oj }% ET I3$z&ºɨBwֺ-qs6IVН6]3f]7Ltqg'&1OF5hM$; v[`M'N2_ =󮨗.2~;Ab<:7&%Pǖx}l:J/9/"$ LeL@rfr uu e1N=%keiԐ'wcL %yk/ .bg&\2<ߛӁǻ2$8 S3nۿw:*=dlTNaJ,AzP`UZʾIЕhz&dAGXHih8nTӕ{^nqq#WeױgYZ75e54013fc3dc730259324024b547a5654fd2d66efc28eccda00132ad1b67401ee486ac0b5a1cdf9 b1cdb922eb1f4b9cbde0037d18a4b856bf1bd352 3d0dbf89acdceaa22c6509bfda5410a0426c3c8c ac7a5eeac414f041641d2a6a34dd631f73b87e39 766c7fde85305d3acbf32e956df1d19184534837 $O HOL-Nonstandard_Analysis-Examples