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 ) | ]% Groebner_Bases:threads=2elapsed=35.676cpu=67.344gc=2.292factor=1.897zXZִF! ]ŗXf1-/6vRZnihNsDJ,anj /0:ևY4Qn_G;GYL@N-zm <5[{em4@gSH<&U;M}cWV;ruVzmy&SI~ +5Ϝٳw77Da$R.´>(. 7K[hHoPC5Hϑl8IC(Q-ˤ>@WD\H`(nԣFJ7]K>QMA; b [Dk^9nW6Я1l1 W)48,[k;XM]T|pײ?,@G;xztܒ9B=(O6(\<6B /4gapn:}w@'cZ~"?oS)Ga^oE~fYAyUEBǖ1 " %@R*_5[G!c nvNͅY9m5(E Y/JݘK<5 ^ |y Q߽ŦtY[gl`y۠08P>@4Dž…2u$/pkK0eV'L`tr T{I~|`Vb!# T';t1q4?cS^K8K(΀q#_MeZe\W#EULVB(M0o^NX8|`_b 3"HX٬SB_:D1WpJ%(m$2`φU9xLuQS4"2h ^,VN3Է>O,iQUAbdϐSa Kj GiN>*{4Ƨ{_͈,lB8G_#b͜eX_~_zn#3GwFElH NbA'C?;9+,3$Tp՝@s@clr5pS8^m*[LVG=CB,3;PԮtJז9>U,̛=lTySs-+#0py-FJ!bcitp0U>~\"15C m{RJ_`b]i]J @Xp-Ư$yqrUGcTX Ҟ=)|$<)#܋L"H.cgL%i}]koAq% :u.B <46em6GշY ' !{\o3c&^bf>_Av-)̧{ԉg~%|#]%vO(|@7a1W(b_ _ Z|t=`遒Pw4AnƌZL=}ܠkq ^`,Nyr@ o;( \[Z.}X0mQgt 7)ݟs4QAJdo 4QH]F5}v.~|Yf! |Qh/ zJ⳺ R϶Z{fg)ˋ] sk*z/a:u2Z;t viػώAj@)Ck.QN#<^Z($`vӵnFpb>w$ϗ=&6 L=Y^m i,ϗ9'lqCw q ė>v-5J}ks Kkgp@׹*^FJQR*p8-a=_u?@&([S`c˻m"7liͪkAN3 W1+̫MnQ޲dJdڝ!ax>Uϸ*6ڢ M#w~Q/NvM)V=gYZbbb723b52b67f66f610dbb010a6afd212ad23b4800b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 0c0f7b402039ea0133872268376c719c47886800 11ba28431664b66cd8e673be37e98f603567bbf0 ) Groebner_Bases