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.750cpu=3.484gc=0.000factor=1.997zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk<" J;ey"pmNGw@$-o8&wUlp@XLˠJ 'ZJ5LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.825cpu=1.496gc=0.000&w_,}YZ7zXZִF! ]ŗXi%Bɟ_Od޾n쯞kwa%R(WѫȉCyK@[6. Ol"2V[qKrl0n+7/1Z] :Q$*u(h&= {mJhWY &7sy:N,K|E 2j@QLrAolFB&(T~nxBR8Ƶ8{5x)Nj`![0C3e;3mX@->mmp9 `~ k|T&791ob)h '6] $d6{ 3dBdPڇѤlvltܙÞ\Wr-=x͉b>g~&xE HZMSan[=-o7,JmP߳99ĭ7 [h"󒮞\3>wx+=ͤ͒ffLX~+|C1ʬ qxogYZf7ff26d12136d9f89ad181531a66890d3b4b63dda8cc758d6ab7fd0d9728cbbe893e534f8f965816 1af3aedcad71efe17b78663b69931936110aab93 34f15badb9a644c12492cc350d37337dd4eb1074 13b49a6fa69f44d1405c577ddd4e80eb8fae64fe 1733915ac91410a322232f9c0f5551a4c6397ec2 $O HOL-Nonstandard_Analysis-Examples