SQLite format 3@ .  YYQ77Atableisabelle_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, "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  r r -lL %/ BinarySearchTree:threads=2elapsed=3.303cpu=6.432gc=0.276factor=1.957zXZִF! C.]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv8LMGۆ#^!ُ =)۳(|rMQ&N3 _窋B} l \ɏ(LnP)q* }̩I]Vk[7P~ 2 7?w!qgg~v&s'Ą2+`C5P+ZܢsE<&;\eˢkbf_,z5B|Cy,HNɨӻgÈo^՛{t‰QS0Ms\QX2uvI,P&k+ NUS idHg aK,v[7?-tC'^B$nF.#P `i@2KΐX;$XP-;IR1ZȲwm?[Yւ&B,+- 3"Uez=GrTmZX,NgYZ7zXZִF! _]ŗXi%s@cYině#ݧ|d,^KemhJ')'TR~48HCVg6ZP@6lZ/8)ڊ݅R`5M(93_s# 7oUcSZ(wg4cjc+-Ն^xvJx+T5f"eXOU~QgVzndqa<Eӈĩi-%S{ᕸ$mt$ߵ7îS-ГH@`s,eFuKѡ_,-]dl] VQi+$6CrZmasEQ*)BYVE85da^Cfio:B6ǜZžxʑI 1]/+Ƨ6—?=;7=Aу>p>NJU8LV9]~IH!ڠ@^\[F]r]X0N%4.Fv7@h[y%^̒y  +€7` =ҟ3nzgYZ4f64eca183d2ca10ae5672a18aaeff8524653053 972a71e76429374e8f923d38c3314d7ea58b344b c95c3542f7d09a276a7aaa667e0f6b256423db1b eb898f687919e77e04a2e8ce0bd6df1bfd218912 f6ed8f66eb0af42e1e543b894a1ba4aedf3869cc9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 - BinarySearchTree