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 ) 4\ w% Groebner_Bases:threads=2elapsed=32.040cpu=62.448gc=2.092factor=1.957zXZִF! 9]ŗXf1-/6vRZnihNsDJ,anj 1#nE> !A xw)Ao,O_KĭS,gjNyąIf)~ct2`t} EF\8,϶[ԲJ%xHZ_siW2:'A!S!(l`ަs 3u*r#^#Y?"dĥheQmb$E+(k " 2b"o L~*^{E*G;mpU3(\:ٌ{ "glŸ3".eq7q[`/-8ࡃbDϤTQ/va"xLC?R'J{Sׅ.s,eS [i=пڸ]P$`n3YbQ:◸Nuٔ&F[EB!Kg!4G:k~B&iٵzu>dLuw<ҿ]WϣAVNoY Q븲 CɈ5nHG\"j&C!6p'mcrYb9 Qau`qx)gEYنN(Y4"_rGx&_Rj: ЩxkkdMzY:%KeYsꚏ ΢aѱhFR6m.n&)OOy6!^{e0Hv.&}b3#zЭ6F7-Px݈aއKJW;B)<35E1//`[ Xo'` F'A5nnF 0rCŔe>8uC/]}4P|O0q f)~ӍY>GYV~FpHgQMGw5(MاE'FZM> OD~D 6mnK7ݍYb V_GDؿ^hn6 =x$ĤCpWϮ2| `>]gs4S !"`7. PnH;\)/5r}tIEنbf>'ȸ o#.'Pj-,1S zW6./Y969=f '@ l=;47,ih" Tا< ]mpnnj7pRC4qm# *:XslbET/%ry83dHI&P_h4u]<(޿` p8a=PHutTJRxR@?ҍL5Umjfxlv- ǦLc7 VE?~a= ?Yl).i5fշLIϕ3DA~VۻsJZje}O;+eIcC5NJQA.ReK"TjdPS[aJGL_ZCB@JBPWRj$wp#o (YLzܻI-=rYš@Yǝ G#<:+2AR g] ǂӿ#!ްK *6R k/<⯿_<8a on8-K:LAcG˿H<2=*cx0D!@nTh Џm1՚xU1L<ˢkϰРqHQ)8 mM6Jmwo7W  N"ZZi+jrlGBI7ۚ{ٵs X%<~>'$aU<2o Aq$&x&lk2VL\^]v5LdŰh:͚,5 `aHd Ķt C6͊{I~`?ayBN\yIR{7u&*)ϐa*mR%*ճ!i^'8Yo)I>i% Lxp Y8Mhr?MFYQ=~ )le33o)6wJfGz /G+>EgU1r+K%Qwo3ސtQh[ihhff+(t;1B12cl"S loE ulE)!ejSJ+V߿ggYZ1a45e567e3c8fc4008920f44a417d7812da6e9dc 2d7cdbabc6a88c3a844f5c7bc3c7e11b434a3094 3ed95eaffc56f303cf0a4b5e6debeb7de56bc6d0 add16f085039827b1b43145890e5419d06eccf30 d92cc33c39cb0a77d32c803c7801eeba83eaac6f e9484ff582e8f8ad3ca3bce341cf82fb8c4d93d19711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 6e298f860f1cfeec73d8a545b0206df8583b8fd7 7345a3563c1bc0c4625c36af70ae137e5fec5248 ) Groebner_Bases