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  + +RD ]/]Cauchy:threads=2elapsed=2.699cpu=4.836gc=0.128factor=1.797zXZִF! {]ŗXf1-/6vRZy_[&~ZD2[o$Ëҝݲ168Y-q_~u*";,"@\)G}U6"Q+9+H6vù-S6gYZ7zXZִF! Z]ŗXiɟy?}ScOZh`KρqD.N+o?V>/C@XSF_2X!<5FZ4QQϘW#Sn *K XvdűgYZ7zXZִF!  A]ŗXi%92*4z`%?6 a]cla,ey&M0sYDXD k,,5&yk5B|<.5٣{.O)zI McCH]gҿ.5yeee| &xlᗸ؟`882Ἅd ȅ 2 *v=z Ҋ.H^#M:&Ȑ*pfb%iPmQ1UgD^UOư4sW=:P#R3o/(IC M [}*:3DV؎d Wq#cMs<Ge؛qGKhSXڎ'uhlvb seS&'d@95iwӅõTvj'%OeŽ(Mf'u2/.8@v.Ks,# BM]NՂ8gYZ3b55e7d841f843e3707347a75106bd3a8b573439f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c03e62a8e77ee66454c0c3a0bee242a7e0dd5aba26   Cauchy