SQLite format 3@ . BBh77otableisabelle_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.904cpu=3.684gc=0.180factor=1.937zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk믢8b/fLd  OWV-LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.895cpu=1.812gc=0.000YjՖw_,}YZ7zXZִF! ]ŗXi%;?!aQNYէZ{;%Q=PMmc]V]E #l…?譏 Yt腽"c+vE-b{8$h!D5fy Q~w.Q|O:%;ʚuw mUV.89Kspui "Zǿ-j&U1bM䏅ϻaѬV[A[`QK^ϖ̚#% x:?J: I'P1 ~ڔ}AL>]iFkeu \%~~gYZ9292e9f512fb2971f445ebd93d756966f8c5fde332e67617b84c9c11cb8188110a1a4623e5435f37 4cfe04fff283b1f341f7b2f228821a9a87ea40ea 089e08bd04413689c9c2f25359f75795d5eccbbc 64f6bc3c1d5a58e09f2f19a334c361d58b7aa031 da54ee9e9087e2625ec95fbf844c8e09face6b9f $O HOL-Nonstandard_Analysis-Examples