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  OD< ]% HOL-Nonstandard_Analysis-Examples:threads=2elapsed=3.015cpu=3.780gc=0.208factor=1.257zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk*u@PKxoLNZ2?K$pQY *D7c3`IE$@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=1.033cpu=1.284gc=0.000B fxbw_,}YZ7zXZִF! +]ŗXi%;A]>$7q!ok8A!ٚ  /n0"L_\PEs Uh6ͯ+){5LlS (`zViK3K8ؖZ:ou5NΓQ ᓠ\Uf.9q]Jt(˻OX )cr P\'wUkΣ\xQ԰nlI`.;W26آiPboUtF[ejb_ +qr[U5KOR8C>|bysd6-FIh4Ȅ,=Nfa8hU\˕J?|D }]dQ`JpHQ*nKpki|}l_N$o1b-yꄝ>a;Bw(;&>2 w۲(eG\SYRE$uUȹ`;T.|sVxEUw^?ZP DgYZ68fd70d7a2fbe2310d43119f894a6f53f0a2fc893d2535d0e4bd099c4cd2accf026f19c1b93bdee5 50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47 04eaf61cfb455e5f1fdd0305defe2d4d81fca6ba 46559465bd7dbb53c52cee947b8f843b0bf19b46 8f867c0ffbb135be92256a92aed76568011b077b $O HOL-Nonstandard_Analysis-Examples