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  DODI6bxV]zLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.773cpu=1.460gc=0.000`l 47w_,}YZ7zXZִF! )]ŗXi%Ed}lGE·^ >u<ȍz9\ݨo4"F\wJRˍ`!㜗}1)kW`1՗g{5Hvz,0 (B""T,'_7VjE2ZUs7'w&x?=\XU,Ix/gguGd/"?;r sxAFj$1M^" E槣qMTт=譛 PO4aHJ??jb.%h5.eLcLb2g˘tQu>i('sS&O«Lˁ7V[bjSPr]@ce 2hc`[K_ʐ@S؃H(>}A>vkNIt-5gEKqJ9S^.I*0Q؄d;M5f nyXFjniQpV tXrB2'oWh.TPUb37m}(TN`*av^]gYZ6ac20538d4e671de87f1900157edbdb5025603ad95c43f5c6a1a4c9b387d257d0ce0e9e4c84b7546 d01107edcd6213a1a6600255da677abaa24a1f97 811832a6b2c59f06298f225b4af9a73f6d01f3c4 c1a09554330f4ebbbb982f576bad19af9f79d8b9 a252cf9435d91569bbc32ae76c8da967bb8003af $O HOL-Nonstandard_Analysis-Examples