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 '- l4L ] HOL-SET_Protocol:threads=6elapsed=20.259cpu=82.976gc=2.092factor=4.107zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nIcd0= DvѠ0š 5BםĤn鼮1(LhvgZ=YFNj4xV7)ƾr/N?PǙQqoݴ)>NjZUU̫j XHbb.`Hڐ%ȉ>DC\b Ѩd~~H&உIUDY#d ic;b@e] UA]PԦa5@/7_k]Zz3$&8&e8+i!h(%JEY =`Ud6q'"=::~"MTSy/jNQ; )R;ޞtBBA/@*^q>2@%vwPxL9XUhړ^Ԩ/ KnPKl.qД E%٪< 7(%::ҦhYHf6O(FF $+[K uܗ_kƩ4Qf+&Hט'?ݝTKS a(\ ">{UznU4/W7Rڂ ̨xp!~=I%]! t9a"&|b a}o'_bܐE>j&sreP|(xd-XLyPddQiUۨLhdH&Ǖ\Rt3j2E ybU::&<:+M!WVͯ{dMb0v`82ѫuwDD"ncd~ٗA TbJNVfYeN- (g?Ὦ`EȗJa6tA|e鱎h5(Hɒ4‡NJ Qh~[3y^@=G,덇*r Z~s[^ {M~dBS;/ЩՑq.=oϘR{s ̱.<ъ+@Иp@c[@ƕSҜqTZAcӦ