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.769cpu=3.684gc=0.000factor=2.087zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk6Ns'8죾>-D&;D 51Wp^K'@dz$OT-RE@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.795cpu=1.496gc=0.000Vɿ^w_,}YZ7zXZִF! ]ŗXi%Ǧc-?4_׀vIײ䁵˖ڵ^1]jcɚ[&?J&f&T'; ĕ wG;H6퓕g.]mr+:e.oۯ<9˅*ʚk4:!Sv>wXM+o|S%/(AJCaN9sDˑImR(2b 4݅&/tJW7cK[K  VUmV!4-*$%]N-aAyGNsco۲w#p '##\, ˥Fi[z'Vm>ߺQ3dfSR\WE:2AwLuӽ rnQ7EKn,XkNd<.WGe~lJvWmdqv\sy.$7EPS9D0_+/dgYZfbf5019c0bb6720b48eb7fef0871ef7b3f94c822171f1401f05a7647b01cb7cdef953bd877fc895c 92d83a3f9935544ccc941b486a98a794a1901ee6 8030f58ea4d7d95c57348141e6cb398300b7420f 03b85f2538704ef61884b7c833be572df1af4f8e 45555ed92f0b60f2faeb05f38cbc2d4eeb83a820 $O HOL-Nonstandard_Analysis-Examples