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  ) )TOD< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.937cpu=3.884gc=0.148factor=2.017zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk[`O&RF)X 2 hTUHUUA!\'U?[dEa 杌"@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.964cpu=1.932gc=0.000~jIw_,}YZ7zXZִF! >]ŗXi%6Ʊ|9N:4WH\E%@Ûц:9"O#y{ _W])tnQ:osmַ T__R\qEZ&[U&9F,#-".j$kfhLפ6iRRE [0 u<GWo_:)Bbs΄#r=Sy C;neb3Ea gρCJ!.SUױ ҄b-d,`弼wVRQN׾!H`W)4p7V:fv7]S|,SH0ݳv3sl^4IҏH?@Nx!gYZ9ff0c9774f8fd122f2d0fb02aa156ef758ee933148f87baeea618bf8b318f4114ee7c34a4c78daa4 981191c027fddebcb6f024ef53e3329b8a2eeb45 6f46af6086a370a3c4d2a32ec844330336128dd7 4bc350a99e7d1631649bde157127d0f76f694402 c3a26a2226c0ff05928058a13c6d2a0af2d025aa $O HOL-Nonstandard_Analysis-Examples