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   g5   Lam-ml-Normalization:threads=2elapsed=9.839cpu=16.060gc=0.784factor=1.637zXZִF! 4]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}erQZ.md1GkW5ŋ KnN S膅58xq=~0)WX;Bm]5 gvx!ٮ$68xa'd8€8;Cg<l:: I[m T0jQ%#BZ0jȿ[i~y$E ^B\.-&bbC{bP&G g̒\^SV#\%ۆ1UْWߛLKj` JFhֲc*FV/#I"ƾ0x(Iy_l   @JZM />o$l?o?jvnUx56R טa4i|6-yP2|ZO*6lWB'[*i>4'N7؍BtV $"g -Րod\ _lti`E$ ?Nu)Vu$3IsFG~+iKES 5 Lam-ml-Normalization/>jȸH7~d? GDX)a\*O%'^{I.m'Xv%;=Mˑ1L+SYT%*Kt:kzgI돤{2*[$A,+Yv DߥsO'AGTDeZ?ΠvHx虗10PaZqN=;풾g5 *z斄b=1b(}ZUS5v0ۼi/U m|0JBL <)aWx5ˁsFi S +1Al!  Xܓ~ ":}F'ZG1& *Gqpskoc 4VzB)Dge iO,ҢX|ՁEY%Dυ|% iCgYZ7zXZִF! 8 ]ŗXi%Vg%{g2 *CfLnx3Ce,Dʁ0@bL 9顰ѳ=KHh5zsa'9{_p j,kJ݆c>`Ľ h/TZn; pɶG=u?.1a4vܒ~5m~~,1;n,|~rӆ{yߍ6}SSt!&SG'cug%l>^ wtL0.>MʁaɨlN-m$Is_w-;:LigCSP|\rRAäl4C#M*{͸;ۛB+Q-Tgfz9lf#Odr3LR\ 9dT> NLyqp #t|Y"ݗܐrޭf IĿW/)-~8ȟ_{xk 9+̖VO4Y:㿀@iTA'9kZr <$(XWA,6;.3MRl>݆H 4߫9I(>*2EAՍ "߈0r&%"OQ7AO_k>p1z 9 'sjYo^1B/*I@