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  Y Y$+|D, ] HOL-Hahn_Banach:threads=2elapsed=3.975cpu=7.368gc=0.196factor=1.857zXZִF! ]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{jϖ. |.QI,sI|'d`dgXhŏ6K7d -^uh`RbZbYݗ-^OCxv?!dC$~9[K\ z_S` \Zz#wf rSN {ڱgYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļri84=|m$}szZjIJGxȥ-۽X|wtLC)BljiT H^kS%{ k&s@xD;5$[fD!+:[P@=q?P_3,bmK?@ e)`1G8"Zr,9MDլ2)L 8F*hT HJbeD(2F@s{jWfkgYZ7zXZִF! %R]ŗXi%96}$鷌.bKѱ˃: #)W7{" S{Mׂ)+ Wu"8ć¬#SG}6i4(^FX7 ?3|i޶eːT& I.ȑ'3^j.߭ fwt~-MTgK?ɣ-0(O~-t~ovLpmvF\ *|^29xGܗ ՟&C#<" eg&T㹊Oo*-5.BE jO&':(L{` ˑ/2eՐc\+?!tU=`+kVDr )`B5U>q{ԅ/f6m给H.H) EZ{OG'{hrtr+Pc KS(ľwۉF@c<\PcLoIDWKոYi&9FuTs,WBj̿sVn@-[9SF2ߺ"ltߪW2p/ EKR#+6rE1bϤq !_v`xGb}z4JF^KK%0ߝ E*`GL oyQ[ѲRJX~Zg2(*x耒㞀]/c(J(}gYZd3edb1ee83cf0e8fbed157a809579f339d931627ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d 3653d2dde4cafce91f7a86412f9a6c796dab12b3 + HOL-Hahn_Banach