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 VV') l< w% Groebner_Bases:threads=2elapsed=33.911cpu=63.668gc=2.068factor=1.887zXZִF! ]ŗXf1-/6vRZnihNsDJ,anj 1#nE> !A xw)F*aDЎ4خFQ 8nr ʮC{h« P։lIi\`YePCՖZ^RG˽uYΐM֪IYYwK`RgCX TseuPk&rטyᮍ6@$3S{毽r5lK+6;Nn&VT80xȍXsYIagy@>KYY7ŗ@3wL3N֨ bݗ*&Qg$mvx+kwӋ t}$?͎S ȖWR9xran_jRʆǯG^9p ̱QtSW8IdRh)ܐcKxG9>~6 YUbx{-rnnz#("gYZ7zXZִF! ੋ]ŗXi%IeG~S&3#=l} 1fB>*m2gO{-V4}F|G Y]AU&pޚ#Y'{3e8@\')ªC%jNHcl.'i5w B4wJ@$b<2ԙ$dy^_5Z~=L 2 }wptLV: , GBA }~,qFEbG;19TV Dz ig5OVBJG]LΛZ!KtGRIB}FQQTۿVuT|Pѭo%b[2:@oS4۟X^nWcfsGU $Kgnx%Lѓ^E~|c&] v繯Ju}ז8r戨Fn?+?F Nr|r*X*:{t}=Tv"F e05(ﶍF"@Yv1$GkՑ^0s=NE˝ސbHB*@06;DV5"ov#;* ڊ̳"#1pu[>*QN~QM">+ v4pАkd|H2J"[w6FY*l޹z  癣#;cr]lNCXk \2̺úFOw߰df>9B?d+~[ ؙ &E5`D/t!RBPPm^7 lSqnMU$_D.nyM8PUHPir̄ :p *%3Gr\Z,[cic|p\%rPgukɻY^v.a4V ɩpAk??1Aw7YԨlK0 ~do7G(Xrh2.E@? wH\@HVRi*2N)K 9%gYZ1a45e567e3c8fc4008920f44a417d7812da6e9dc 2d7cdbabc6a88c3a844f5c7bc3c7e11b434a3094 3ed95eaffc56f303cf0a4b5e6debeb7de56bc6d0 add16f085039827b1b43145890e5419d06eccf30 d92cc33c39cb0a77d32c803c7801eeba83eaac6f e9484ff582e8f8ad3ca3bce341cf82fb8c4d93d1735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 815624065e3f6f57661deb840ca3907dcbbdb191 686d7c275e39aad0e04aa469661390d2dd46a7d0 ) Groebner_Bases