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 NN/- <$ ] HOL-SET_Protocol:threads=6elapsed=21.148cpu=84.912gc=2.400factor=4.027zXZִF! )k]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa .;dCu ٘ahugnH D"_\[A7|֏ܘ򧘝gpM,mdXwq6SP.H 0 X]!~vV'KxAgI=^cn_REW&Q֝ N Qs`tPyS WJk/\P.6Ҕ\v>Bgd|iWhD d\n ,  ]릲kBo->mDOIQ\3T&vκ}3䱱cP'2FJP҈989B»|*U/z$U @M,p20(u\A TD.@Ⱥp85S2 "/fPep_";'Y%o$r܉/~zؿm 1ީf| 5:Y$ 1"@Tkˏ&ʗ &pn{LnksODeΤZ'}\:ڡ}ЭPqC $ʖTG{|` ^B  f#*<@V!J}<CH}OTjȷZWC6}6r z AT4)kv޸8ٰTՂ#fQ=*+bI%6Kr3ND=5lK'\&a$b-Ӧ4y{Y\z#՗RU1gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxxj;*Bi p.,_)VRո"u$qbnI&|ξ2+ThLјai []dFVaxgER 9=LB!|vRH%ojPcZ=#˲pCr \=/L#gYZ7zXZִF! c]I]ŗXi%;=xMJ=A] mS4rmL!snvBSɊqV6e|Ak+D"m3dSBxRw|O١ 6ǤdFO}9""w>Z4V=m.Hy΃ UB?D:;t$c%+1b,2WޅY?1;˷̚.;[]2_t#6sUϟeOL+Xm;{gXJ;D%@9hv0N J|Ȧk[DBSH#JܝЅ1{"]YX GւSe k.G5evk`6_U)T9%J0`>Dzg=t.}gzKgzpq'3|I@Ihl<<096\̮[1~-{j!>ʷZ'Y+KMtyJO)HG/@6'[1jUT*`i(b)/)@]g$ι`ͳ_7W3>t{/2оԼ/Wq>$lkx$;C=gER4a>p-M8z;"r ƦEˬw9mtNɩ_A{G]jb"djNaA֮I&{0718ꤥO枱nv^xMC +h'>t=UH60b=fʳ򢀟 e]PC3e*ˍA0 uo/]4p;)!|I1Z`b`hW/*rEȰ]|r&t {!G9>)3\tw ʥ=iTNH!!/8i.ܢNu|U?*@e?9s44ƾe?D6ڪ@>BV ^pgYZ32201938296c52d32a673af6a2767473764e0bbc10764ddc346d5177be378b761316527db367ec3e a0b11f9c133aa49ac228f451be8e515f846bafaf 4da24bdea1ed8db5820c4f29605d314f12cdfffe - HOL-SET_Protocol