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  -#$ ]S]Polynomials:threads=2elapsed=111.869cpu=199.404gc=7.616factor=1.787zXZִF! IE]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrjK(-4R{Cyz3\S hOw4N5G5Ţ: B%@Av[L-eJG3HR~((ˣ(bߟ+fSpƂjۑV4~S I.I:9{2B2u覹!D> ҵNx7QaU Kunu\bH^Slx[a>Cco%+;3ϒ@WZk+o|0<=؇^,qT*:p$6d:\AVb,En9pu!rEhLd4r^zE he5Bq =#\%"͘Jxn֚IHi1aGZ:rջaYkN, 1>^*@sHGu ͢ iG%} )쨞݆vQp*XDWǕk>&`kd ,!*S%?nr<ۜ#%B3G>Z]0)Ö3%TF:zZCkcݷk@`m}DZYn Ko[tnqX+ЄU9юy%Q/tf׎Zcz$oG5V/?ԳK We2?k`,=-X$~6tj`,`r:[䑽:6cl7A{0C3=# i ; #p2"TޥI_:b2K;Շ9 OX>{ZC P׹xu4rQ+o␏Ukkk כ NjJi>I ;Ji[ Q?؈ Em% L!8CB9'25\h>#I:{>?vzW:Kvu ,Xݕ`Ju넿qYItuIM-Z L`az_z:Ҁ5!P\8FDB~}jWLM[NPy CgYZ7zXZִF! ]ŗXiɟ|E\Ât+.*aphG)%uGEVgwe}ĺ|`eq؞X<%{$k]` Mqw/~qaRj3\?v;  fXWyo#Erئ\y\D3^xy/QrųJ̋k` rxu:p hcpW;M2cvʂ`-Iqq\ 聝ԮBK6g.Ailڞ8 IZgd%S =bϋ1hY"/\|Vv,ꚑ# [<=ZB ;Md)dİeK%yQ=# 4ХJ3  ͵l2Q5.iZ2'u@: gYZ7zXZִF! " ]ŗXi%92,%%$ Dm0~2RJ67_sY於!u_~$v U[ Mkn!=x6, *A%LϤq@IݕǮNXr\rGy}S6$.Bu#,G_Jj\jkW;KkqlYxٚQ>A V";6ĀR/<`GPPү\9OPP  e/>Ȩ@p$ zR&4#p)$InLQ#I+yN 7;cDY ~tM ⦢;&|5ˬnox8gE+1X%p[$ m"~[i ~nAٖxCR!ڗU2~T]Ͽc)r W='zDNEjx@EH>agvoNۺWS=~묰Z+3"Edo5~,&+'`V\ $s } 9+?ebF*)gBvUNF@,펆+mGSb^gc)ߚyE4*+t Cϭ}j~uPsA &K9>s}czSmtOq2SةA c .vevˬdٙ^NIR d+MW&?Xt*aqZfeC P'%UT`QpY1@ 42a/h6#~ŬU :Yp. %G1'#kUm.VN$?0{cɸVuIAz|AhG2 ⴾ C &<Ώ8TIjD2QF>0 Fe K5Ɖ-2"B!yɇ8,~PRF2b_RUnJ6*di\'],P;HEWu}oܻFgˀg/qΎMn CjG}$ !+}L$.| Sz^1 *^,*NVKך&%W29:6 X+zq_~P) Òo2ҝ;]px-{Rvk'0gW]P5y=(~[}q"Sv~d7 iB:feC\X}MD8PeH|Q2rL"9N\3>YsvIߺtZR-ޅv*A=$Tf@̈́+c(t^xG7Q&n*jwh`鬬5zFs1yk$)JHQU2[=Ƈnݪ~I(Ob-|1XFu,L $0RkpYF0hΙ&znjWمfLy Cڻa]⯉~ؑ+83&1-'SZjG./MǦGp?IbX%0@)8ӊU6_:PɌf;hkaf|֏f@Q |#p}WN.S(A;T]+&"~vb$Yui*YbyJܮl'Y\`#MC4r/uƤ'i ؁]r< بu Hm*'}CINhbPP!#e]?h00s;4LpX~afY.'aKD*N Cz*+d}5z,M,;Hgݸzʙ-54K߯:q[½'{ 4i]Ps9i$j+PIȁDOt\ =kmcn.>fYa D]U8Y_@ܱi0X? f;wcX L/z"*&c :aMw/g=zWyd/@ٷC埜oϵ)5lW+U1o"/1K= GXDLgiLFcbî1lgg)_-.-+jDFz#@*XؖK֋xLfMp)Jhadb5yjWo)vtTċKdH9T+8vY/W_DD##JgO;3oa{a͓Xo3`ɉeܨ23&K&܃3~Ȃ]0a؞0rQѮk:2|o%m^k h6Ć0 J(gЇJ1OqM$0-@2`M-aj7[.O{K߉D>^jp0wb"o)N&RO-ϭE/TŸ=biEOo@L[MBăΈr.2~8!` S}4s[B*@9,L.db4{m5i'8PKl x[oV(4ZgӬ;~;of~-TOV57hx#k &ᙙ8 EPڄ oTa߃epP j&~ P:j Ve0M3 ~NͨuCXO,NyĖ{%҈(8 4W-6nb㞖#eqR;.#p㏬~Ϡ܊X KI8&;AOQ@~#C|)w0G{mʩ9Eط{Ll,mȪޣҍ=1b͹ V1U=CxTY"^C2vAH֞.ev*|6N㦃rD_AAHB$V &L=5`S5x5"e4dTS v>Ŝ+ì|+鰷Bo)šn59%<$0[*i6S7P iW!04Pd**`5wWY_/>I?ye s-Ho:\1D4