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  i i+<| ] HOL-Hahn_Banach:threads=2elapsed=3.474cpu=6.576gc=0.208factor=1.897zXZִF! T]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{"ލ*aO׵[M}%/+;[ll;Dy XS8'aJ!99{d3O1&`j;)戮פd(7QqH5g$iݖuvA76o89e4K8Y2!_T3gYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļ|5`3vrFh1qpvWşLvyMOXJK9*@ԧx]SU'+ ŸEߠǃPb**z߽NlJ=5q;z-V;Dx#ʉ?@B ƒp "4ׯV" IۖUt0:]Bмe9UJ@f}EB H0g\]v}͌G "Nj|x_'v tgYZ7zXZִF! "]ŗXi%;P7^emrABk՗΁KkPEE1iGLku8u&s]fbxK4 (ؖ#`x5ZDR:V=lnQȬV^.WgU]8N4>pLXBbC3vF|# gYWԾn6* |IA5h;24ʢD|E4~oA>җAh7Je,zq.Z/ WPZUbgv dLbb`Vn |m-ei#>Jf+"_YXY6 YyeM[%AނeQ.V'7̟yI.q8M~+Ï{L6g6BkAM%LC f(yZqvA<EԆE|%H:̖Mm\@SlRE.V=|R#i]w9w;hsO*0rQ ;Ӣ;7apT;$ w-էޞ>;c+yL&K"+ssoaVgDOHH9i7G`m(uWݴԮżNbۨE`P+?\pX:!O0X)?rkƔo5|_iEdgYZ7da70cf1918e4ad8bb1289ea002337f18deca7774b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 01763d1f9d1dccd6e1ba7f81275e973e88524c05 + HOL-Hahn_Banach