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 ""[) !A xw)X^ :+B-#MDxe/RKmTQs \S'U{SLw3o}1;N4ЙEZJVooF(uYmC6KPK%ǁTQcw4θqY ~[t+8;z=*~{ݩʽG=vu5`\{9;676gH0}V/XzE| *{Sej^.IqZr/R* oK+F,"8`Y1i`f>ntlG҄+Itd\ĭbGX.$&ۀ\\L٧SMUYb*/VҦxqzi8-~,_mRG%j#_߀:"xu a:]߹(7R[YE% U»Gr,k _%(>JP}bhEԘ һ#*Y8ặElYq%rȎ,f<@$ pM"իs Mp OPJCtR9={7šM!Mh,b` #gGgN M<`dREwe=\nyQNO)ǖB.20׬o:2I'4ἢc96|ϑ|e5Rj"0\]蒥LE3c/|f~ Cx>yCt"l^}IM&K17?JI qr&%ԲǏw)OD|opX;шZUL`+BaYJbU#D'EIJ .LcyHm˜gYZ7zXZִF! 7]ŗXi% &t^!7#>KP WbtŚ ip9!4lNiuyRvfږhK10{6σI_mB#&QB VK_UUMOx^RHom³{ƞndsg9DEeQZj*_M٦,GKOrȅ UV.rkGqEv0x&c:'S]*/VB7zUl$Lrz[GD{:Ջo8(" `MaY N!]!ѸU[2ݻ|x}w0w}mSgYZ1a45e567e3c8fc4008920f44a417d7812da6e9dc 2d7cdbabc6a88c3a844f5c7bc3c7e11b434a3094 3ed95eaffc56f303cf0a4b5e6debeb7de56bc6d0 add16f085039827b1b43145890e5419d06eccf30 d92cc33c39cb0a77d32c803c7801eeba83eaac6f e9484ff582e8f8ad3ca3bce341cf82fb8c4d93d19711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef df4c4e52006aece17c1a6660d071e24987d1e046 814691a42fe2f754be85fa35d2fc4eaa926e6936 ) Groebner_Bases