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   lOD<4 ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.878cpu=3.676gc=0.168factor=1.967zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkCKM2knǘrBgB;mqḊQ݃1=@ĵ6sO@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.878cpu=1.704gc=0.000aq Չw_,}YZ7zXZִF! ]ŗXi%947Ξ\RdȷzUuX@yV9̂IP}&4[q3yS#Gx—VRA"r͝=hʿ8:׻=ru{>M2en>xo3K4Q;:ueweEYZ;PŃ |nni ZR',ܧ兪?Gwyw' j͕Մt! n\yϴR^-;|!$LX[;gYZ37f1124ec58e798dfd5ea23c399f5393cb26912d8fad6a4949c9835d07cc1dcd7a18516b5d86c9a3 26287f7258648103b1684486e4620d0d4bfc2934 ab3cb2ed7f63b936fa49e464dc4e11c5fa3dc928 cb463ebaa18ab67dfd20651ea5c6864d62281421 bb56692e356fc95e470b1e8a72b75b0c34521f17 $O HOL-Nonstandard_Analysis-Examples