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   x+ <$ ]/ Binomial-Queues:threads=2elapsed=6.501cpu=11.204gc=0.552factor=1.727zXZִF! ]ŗXf1-/6vRZkc- R0vP< Y8^j߅_c< v&q&Icb$(nOŪoZʉ@lQMdiӿRU>uӹ{CH:k]guPϨ^z :ZT `XW2q'#.#J۬V S[B˵S|q1ligYZ7zXZִF! {]ŗXiɟ:Jc6Gx&?==Q7#54ԄJcXl;֏ez1h.瀆%ab"Oxo~lX+i}1-%w'/2SW5 u\ygYZ7zXZִF! ' ]ŗXi%9(O^U.8qCrgx!H)TRP\Zk(:kFdqUgX) )Э[T78̄}SB2*?Da 5DE\ŝB{) "SNfؠ&{:Mۏ4O^u#֥PY0Ûl{*ܟ),]CB;o*O<~ǮGs,Pzc%3+9 qg<?'%ub1 jVg+dŘ|E6<<[é!UK= -dK=yp h/AbW>,<ꌷsp]؛)f@,`;&xKNYgpX-N/!~x6OŦ5ˢΡ.H`V:GN Z^MFAAR{TXrC{8NZIQӬ%-ߩXL53JΉ20v:FDdS]}Gf(Ɔ{'MrkS2wnaV_Cvؚtx\A|_v/tjMQ=rظ{dA t|uaϒ} wNKnQک_'I'ԭb.*8hM$rs )kYowCI:T)ɹ4G yIic1}nSHݭϑ, u{ke,ߎO {`gYZb793f74882b395009354f49c5dcbeb46e26789363bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e + Binomial-Queues