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 OO  %]CAVA_Base:threads=2elapsed=9.586cpu=18.776gc=0.800factor=1.967zXZִF! 8]ŗXf1-q恈͐7ӺV #`91knTy   CAVA_Base%kh ^F+k7O..n?N8) qqED:Q/{4< s谷L2axM2ѿ٬aRn$d!~&8?#HhYb".O84JYT_˖[ew"MM /y`o="ͦ4F-AdXkN7WR{zq=Eݜ8 JT)J(==7YˀG%Sю-|Yyw'[~9G2ܧGx !MimDD~2ʣVRZfƌ]FŒw5蘸.DWq s# LLH`?ZO-p?ѥ\6UFKFsyݲ! {wq}.eGs˸ P˹/?bQ5t];A:#D1+9^NaP?DVD-0T*bh.FU]̈́k@y\A<ŎH