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  + |t m/ SenSocialChoice:threads=2elapsed=19.004cpu=36.884gc=0.668factor=1.947zXZִF! W]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR EUïO#@|_%5g7>d Sk>M:3$ 2lgQ# f<b(%~w T(3˴QeRo46)uuL޴:RjW@nK\L~C T !{)t8 N7z r)  %+;._M 0ڊ1+`K#`L4?6k(bez&3bd0/IeSVPmin.#9ð6oG=ŕc"œX #qrM9tm-R !yx3<DF^(2…h'qѫ3*Ob7& (I5_\,Ța㒑m^D҈5x0?>#tw(6"Ӭ*S#ABrLxu~0Z̊.Q/y&FFrin\_J_DTnMT[7 /G;);O!bt+{T= _rFd9y E{ *ی+bz^ Vov`+}YK%)dS;- 4Ha5yIpPX6~_BNߞ0d^y9M=z4OS(q:n@rD(I*~(|]5qTXԿd9,E'D0(E^dk= cobqE8\G3qs`x}f㱤k.Ý=GP[[ֽsd>/-{pt ʰdf)LhCi4feU]֧iN~63'0]R7rZ#l%AWolužc5W12x+sQ/ic7DMu\\%TK8tDX{lt*hzs@>YBo>`va=g+@imhDlȮj gxLn^^,S;-x(\>%eU7`9/-ؘ͢- +uew2VI7S`[mSQ3ELn hqeƠ<: uN*!ƿk=Z$*BE5 zqY)]av^j!@sgkcC?5,&:UqU@u1FH;ok*%hC6Nlx~I"0rƴh ~̙jcVSNy% ?eYfg`hx'xn mɳ+-DVg *!vV+GUt.{vj=k`E|KjLt֠kCPqh#I/7-"s%RDk)*:.#gYN^6bi-$fA1+\~~.¯Vtɞ@{<|֭mC.gTu\poE%Zo0y'έ0h^K#è<T2b2P``:S#+ $ū+04!w;B0˖?5ͺqq +ogYZ7zXZִF! e3q]ŗXi%s CI<"KghXkGqoeۨ-G̙8bgaB98K{0'4Djxot}4kʬ#BxnLC#SR' 12O {cS벭SX *@'G|,MH:lqwh&0zi/}uX_c{А$ dsF4\ù4M\QJz Czp5手=͖2-'abj OY8*]yj@Z@C evy$Z#hIl 5+EPHϹu@Hk4#:D/Mc9 neRb- 7]_b 5XhPM|[xLDܫԿpc@ΛWLYµQ]qhH$%,]GRh~7zƝ['$-,/|N:x@2`Y5#36Y ;- ;n:S/G[f(ĵsBЬX]e/^G|2AOZ!V5ГBפ*p7ڑ5Zg)zH