SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ee % \d %/ FOL_Harrison:threads=2elapsed=11.869cpu=19.744gc=0.656factor=1.667zXZִF! %e]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]VFS>PqҋlVXtJz9JE;wNVi SgQNUC<󒚠%hVD+Y8@Py~?Vk xcDg4.J1)U#N5:ä}MKwok/'_Ɍ'D+2~f_ !G}ٛxҏ)p  % FOL_Harrison{OgōL  r0]ٮ125r" |)JoŃv!ڱrTdE}r!<42Ca gb?*B>2AKF˗8H'{i&Y@6f(=wX-modt&QS!^I6N6IH _)<fC!bh A|tdZpe#NoR-t[ ݑ" *~[R /gfT' SqzY*$vnuVZrM%& ӽer.k?$|xIR6Ƽ9EfB}#OOXH R d^:r"𛋝gYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 31755525071793d62f6b61cf93fb27d5793a7c4e cb72c8320c53088e3a80641bdea9438d4132586e daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031cc80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4