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 22K= D\d ]S]HOL-Nonstandard_Analysis:threads=6elapsed=6.817cpu=29.180gc=1.068factor=4.287zXZִF! f]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`cHPAdNU ".]w뮸 -MVo_ewʭ .pj"i 6 ]#yRӲ H_t3&T]y T^5H\pMˏ+Gqi<v4NL͝e5N0X>Ad lBIQ`CT-ؿ">MHߛ=M(avURDKy@Y%Rd<6G>XnhD0};@{VJx jD~4B ސ=yh۠yN P]i1>$wR!,(;`*{)X9}zTz]A,@4jS>[[} v4Lx.LGS?yx e}!D7_N:FGRbEx[7 ]nHT]&'b.ziGi=Ň.jymf K9xUi,?M~! R Flz _Rwfd6gF/MjlZ`fVwk>SYi)X*<pJ~G)[ [F&D )p>?g *(שvc :~:RRAZp%O'k`('-mIc.dnƌm'%V˫( l9}RIl^J( uc ;*+&p?,KV(cU2W+i|1KTBg $t)[C~m$5 s9.[lqPvН1!gX4Q4hr])yjTrd:^N>Gӓy2gRz)6CD9> u:j)!>z/YO}WO5< wvԎEIkM/\فyS nw)I5]ݫ)$d$nw0 :r.2!G T@'@7nԯD=y]ѫ" Ud꒸z=xw>3.>e̜ )siFZ E6-( q>p7۳OWyڛ0s֋ڒ'::