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 b+ T$l ] HOL-Analysis-ex:threads=2elapsed=30.181cpu=40.716gc=0.584factor=1.357zXZִF! c]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bzlN /ȱķ[jI0qa% ِ':s:u"H F4oVcpSMRnRT~ɬVdp<-[omZӓ":V'Q aY?hOwyUXd1OK,P꾍!\.EX}5YzO()XCjc8sM hRxYzЩc4#s﹚swhy]&`1ᣬu(YD`(LphV\>>l?-j϶mTY7"ma&yRM}HFkN;BT3czhuH8 1Ú+PQ \5jhMia^ r7` UķAEvDe(~$׵Z?5kJ rl {澍ĐQ2_fXXQs'F/wOҟW!T'%{n3i|۰̌L>.@:87ה%'*I"T[VR:svy*-{@h"Tn;0!(J K Yx$`~sM[1>}TjPއmx+OO@nesެՑ{2mv[C-"FR]w;X&_/;npcvyˡ͖s)0^ 783Hi()R驡@igEgiJ88PA:FU) 0܅>'Dy$㪙Cma Mh"Lґ R b##;&奜PJLJeQq^_2E4r{gsD;XD"\%1i{) X:Q`LS{}l;] -bP'x!Lx!R=fK1Nxoe 4[?cT~UP1pˮvo~[">rDŽxEPbN <*(~g M 3T$-9{ȊӵysMmdqM\Ԡn](%QgJӊ N>`Q+0YGXUe: SG6 WtMes;`ٛiZ7q Q"_@|44[%P Ǻd'RHVLEՃ_)(2]^ҹӷ<YFW!mt-RXw?yL3#*E̦ul#*ニs~Z?]v.GL5gƩk>)m(B|, mav"ǁ-N҂nr: 4#M>[ry #fgYZ1d1a9a7009a643ce24e6315649e9de6be3d733b04b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 c658babd2a27b58f7ce30acbaf407011b260f1f6 + HOL-Analysis-ex