SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 5 t S Show:threads=2elapsed=12.475cpu=24.384gc=1.356factor=1.957zXZִF! mTq]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVFFRe ,.߸m 3~7`0bGj!ҝ)iP5W㻈rRrjl*+58i*nma˞ݬi}@V2OM`@gwʑPDxX7=ixeS^[[Wiۘ;EΕJRrϼ*q[G|S,j˧Ě MoNPgT$ @go^Ѫ Sԩy79+"j)z=0J˅/uo  ShowXy X[WdC4PاY{kWq1=DO(CFZgI5/ڑ^]gLH&z}K~C?R6}zof%>YMy !k;:v=܉`.\@' ˘#‹cF Ӱ΄y0 a"u|,.w&sSo IT_`P(c;7>iNWIJG`;i0\SB4|Ka&"9g6̯;#ǂVUG_kt"',.Wkcg+!(Lfم/Y<jQA6T/e*_w};`RF`!['\g kh3Hw.)d!^+[x JJdAݺŧ#ˈabe ."k5"zɏKB?3vwJ@*FPGJQ{TE^;lx K(6)Jg2Z#jN}vW?L<_m{31(R@P$ h\6]֦uaK}N9+(IWeیZ7 Я:K} QFٟ> .WhV|(_nWW[ DuP^1#}1[qGL`Vqm;^[e"15K)ގ彳E}q^>3_Bg>hѩwL!fbstgYZ7zXZִF! H]ŗXi%s a#mF}NQWG'̶P Þ)8*+ԞP]TH? od~!GԑEZLeXexsT.RAcĆʛ>w ki-2j.W̯S;q#o 4x]OONzyYRQp*yۈ ,Ke5ʩ2Hm㛂 x # PوG^? ,)i/M"xm%u%ATvmv=tl0LA\WA /鑔Ip8 GkW py@dQF b'KY3Pde.p ,.ӐaF[W0[4| 0Qi%rB)_g.(2@W0jaB٣:t|v.a6*x& VA+4e?q:?(v}w*J#CQ?݌ 1L)gtG\' 놪̄φ*'h#n 5ys6#m~ėGOóU=+vW$njz:=3oZAϿ w#dͰ8H= 丩[$F@saڗ::5Ь1w Pr(ic7M̷..rk^iY/~TcZ0}7F uSHxpߚo ֳ(BU=>++r+;nybD8,D&/!JƱŇ!h2ӬƝЮ$6Rʽ9XƝrϫadyU בdıgYZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287 0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac 8b48747e6674abdc4e2841cd3d9ed677b51136e4 cf0eb34815c10b600e671c786585de3d3713e6fc9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 f9d5221e11ed39fba78a2170dc91d46b611687c4