SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info _+  m/ SenSocialChoice:threads=2elapsed=19.474cpu=37.616gc=0.660factor=1.937zXZִF! XJ]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR E}S5 &m.OK'v)y)&;}ҼYx[Cc+N\t(j2#W40)=p:ŊF,2odj e tq#Z*f$IWՑ$7sbu=nɍ%|ZP!^.dȬؚ%mHן3xZG%+UF, zw1rhn#pqFLvj4@j? RK !=1,HVBr7|UfI5稑3żC`mx+/<4L{8*p=1u.b9j$]#ɶ EWlՀ~M=*Lh$ ]-F=D(X׿0Ē( ms]j,fV4mk3NMGlz1P]lpdШUnӄk F /䟹d]u7HM\k(6JaY<>$z [OYyA?U'I1 >fRIŕDۗ]5-4(31[ _qr'L>*]t%Dtrn7Y<-?D8za%xHE<3@08a@ʼlVV./ZPjy8OSn;OM׽qS$]'g$@xbԼ Y=j7t|>X#±F¿ 7 ( B#ymm!>.ǚ6Yiu(=A8g;2S$BəU6x{.2XApٵq@ C널S;?|;BƮkbjYI%h)HNDpFAj<4RjݷƆ §hԗ͍-$sT6kiT]-+?LC9zDl9EF!A}K#D}`h`q9yyQ}z8&;I[6!d% Ois!ԧK?=۩+,{mc _jA ^2SĔ> }n_?IcEA6$YTT[]d(5%?NЯz -YT݆(|6! <$@48/;j;F"C ; M4OT 3`9cA6#-Wz ^G^i"A0TWlS߄k@7{/x]~ujdD!R;i9h2QC=T-/ڢ|6*lr@W-xM*+63ؚ[wS?Y*ݍ4ך^ zYD++W*{tjA5'.FpWz!BNw|i>=[˄%0S7d)\:8d^% m+lOw> ˆ<\[F:S@f\?o/3ë6˰XYgYZ7zXZִF! gl]ŗXi% -ڑLj\%8bգWDMQLJQC'pu]3ysC8H 8I",&Vrb.­˶!a/h`<͒HR,BY;lXd ( a>Jj7+[dXMd~/WB3}i)Y[,=!Uf(_7#CX?b1mW4 EZ>b{B yx}.aAh8be`Nin&D)g}$#u[ZZp!joP$ZevٌN֞zfd{jնNܿ`6G<',TmrPb{mKSC) Gn^"T \aE2<r?RcZ . ~PwgGs֍PL2mH Tl#w8[lf'*п~pD x5ƽC[UOt F~ lLslcdϛ%& pw=7i0)Ԧ"Ȃ\Kpuzvjv+duc 5ہdvwN}ADjsy/ ;n7e$5QqbAϫX_ l؛YE !ÞAxuL's _Rh%fܶ|_P}"հUOKh 1ljQO箙ݮ 9ofP gYZ05a06f3ddef7b225269b834a7be4c0c2069565fb 10b1972a0c90bd8bbf55a586c53ec664a27022a0 2028f07189c74e1fedb96a09f47f629122e10add 3e8366e49c7f38f9c28d271592b022632e6a9555 451f33ba83231717536c8ad5edab9d27e21f34c4 6861795d2a3ffc5f9e0482235068f61634116440 6cf8469af468f73785f7d3a24c68536b67bbf316 dd8c37e0488041a63b0450f77c7860234ec4a413 fc8b365e685b24bdf1f0714a47f7443575e6b6b870d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9