Library check tests.
#include <iostream>
#include <string>
#include <vector>
using namespace std;
int main (int argc, char **argv)
{
cout << "#########################################################" << endl;
cout << "# CHECK CYCLIC6 256 BITS #" << endl;
cout << "#########################################################" << endl << endl;
vector<string> polynomialArray;
vector<string> variableName;
for(int i = 0; i < 6; i++)
{
variableName.push_back('x'+to_string(i));
}
polynomialArray.emplace_back("x0+x1+x2+x3+x4+x5");
polynomialArray.emplace_back("x0*x1+x1*x2+x2*x3+x3*x4+x0*x5+x4*x5");
polynomialArray.emplace_back("x0*x1*x2+x1*x2*x3+x2*x3*x4+x0*x1*x5+x0*x4*x5+x3*x4*x5");
polynomialArray.emplace_back("x0*x1*x2*x3+x1*x2*x3*x4+x0*x1*x2*x5+x0*x1*x4*x5+x0*x3*x4*x5+x2*x3*x4*x5");
polynomialArray.emplace_back("x0*x1*x2*x3*x4+x0*x1*x2*x3*x5+x0*x1*x2*x4*x5+x0*x1*x3*x4*x5+x0*x2*x3*x4*x5+x1*x2*x3*x4*x5");
polynomialArray.emplace_back("x0*x1*x2*x3*x4*x5-1");
vector<string> basisGivaroInteger =
groebnerBasisGivaroIntegerF4(
"115792089237316195423570985008687907853269984665640564039457584007913129640233", 6, variableName, polynomialArray, 1, 0);
vector<string> groebnerBasisCyclic6GivaroInteger;
groebnerBasisCyclic6GivaroInteger.push_back("(1*x0^1) + (1*x1^1) + (1*x2^1) + (1*x3^1) + (1*x4^1) + (1*x5^1)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^2) + (1*x1^1*x3^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x2^1*x3^1) + (1*x1^1*x4^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x3^1*x4^1) + (2*x1^1*x5^1) + (1*x2^1*x5^1) + (1*x3^1*x5^1) + (1*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x2^2) + (1*x2^1*x3^2) + (57896044618658097711785492504343953926634992332820282019728792003956564820112*x1^1*x2^1*x4^1) + (57896044618658097711785492504343953926634992332820282019728792003956564820115*x2^2*x4^1) + (3*x1^1*x3^1*x4^1) + (57896044618658097711785492504343953926634992332820282019728792003956564820115*x2^1*x3^1*x4^1) + (4*x3^2*x4^1) + (57896044618658097711785492504343953926634992332820282019728792003956564820115*x2^1*x4^2) + (1*x3^1*x4^2) + (3*x1^1*x2^1*x5^1) + (1*x2^2*x5^1) + (57896044618658097711785492504343953926634992332820282019728792003956564820115*x1^1*x3^1*x5^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640229*x2^1*x3^1*x5^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640230*x3^2*x5^1) + (57896044618658097711785492504343953926634992332820282019728792003956564820120*x2^1*x4^1*x5^1) + (3*x3^1*x4^1*x5^1) + (1*x4^2*x5^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x1^1*x5^2) + (115792089237316195423570985008687907853269984665640564039457584007913129640229*x3^1*x5^2) + (2*x4^1*x5^2) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^3) + (82708635169511568159693560720491362752335703332600402885326845719937949743021*x2^1*x3^2) + (82708635169511568159693560720491362752335703332600402885326845719937949743023*x3^3) + (33083454067804627263877424288196545100934281333040161154130738287975179897212*x1^1*x2^1*x4^1) + (99250362203413881791632272864589635302802843999120483462392214863925539691630*x2^2*x4^1) + (66166908135609254527754848576393090201868562666080322308261476575950359794418*x1^1*x3^1*x4^1) + (33083454067804627263877424288196545100934281333040161154130738287975179897212*x2^1*x3^1*x4^1) + (33083454067804627263877424288196545100934281333040161154130738287975179897206*x3^2*x4^1) + (33083454067804627263877424288196545100934281333040161154130738287975179897206*x1^1*x4^2) + (99250362203413881791632272864589635302802843999120483462392214863925539691630*x2^1*x4^2) + (49625181101706940895816136432294817651401421999560241731196107431962769845815*x3^1*x4^2) + (82708635169511568159693560720491362752335703332600402885326845719937949743023*x4^3) + (16541727033902313631938712144098272550467140666520080577065369143987589948603*x1^1*x2^1*x5^1) + (66166908135609254527754848576393090201868562666080322308261476575950359794421*x2^2*x5^1) + (99250362203413881791632272864589635302802843999120483462392214863925539691630*x1^1*x3^1*x5^1) + (49625181101706940895816136432294817651401421999560241731196107431962769845815*x3^2*x5^1) + (66166908135609254527754848576393090201868562666080322308261476575950359794418*x1^1*x4^1*x5^1) + (66166908135609254527754848576393090201868562666080322308261476575950359794418*x2^1*x4^1*x5^1) + (99250362203413881791632272864589635302802843999120483462392214863925539691624*x3^1*x4^1*x5^1) + (33083454067804627263877424288196545100934281333040161154130738287975179897212*x1^1*x5^2) + (99250362203413881791632272864589635302802843999120483462392214863925539691627*x2^1*x5^2) + (82708635169511568159693560720491362752335703332600402885326845719937949743027*x3^1*x5^2) + (16541727033902313631938712144098272550467140666520080577065369143987589948603*x4^1*x5^2) + (1*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x2^1*x3^1) + (1*x2^1*x3^2) + (57896044618658097711785492504343953926634992332820282019728792003956564820114*x1^1*x2^1*x4^1) + (57896044618658097711785492504343953926634992332820282019728792003956564820115*x2^2*x4^1) + (1*x1^1*x3^1*x4^1) + (57896044618658097711785492504343953926634992332820282019728792003956564820116*x2^1*x3^1*x4^1) + (2*x3^2*x4^1) + (57896044618658097711785492504343953926634992332820282019728792003956564820115*x2^1*x4^2) + (1*x3^1*x4^2) + (1*x1^1*x2^1*x5^1) + (1*x2^2*x5^1) + (57896044618658097711785492504343953926634992332820282019728792003956564820117*x1^1*x3^1*x5^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x2^1*x3^1*x5^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x3^2*x5^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x1^1*x4^1*x5^1) + (57896044618658097711785492504343953926634992332820282019728792003956564820116*x2^1*x4^1*x5^1) + (1*x3^1*x4^1*x5^1) + (1*x2^1*x5^2) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x3^1*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^2*x3^1) + (2*x1^1*x2^1*x4^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640231*x1^1*x3^1*x4^1) + (1*x2^1*x3^1*x4^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640231*x3^2*x4^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640231*x1^1*x2^1*x5^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x2^2*x5^1) + (2*x1^1*x3^1*x5^1) + (3*x2^1*x3^1*x5^1) + (2*x3^2*x5^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640230*x2^1*x4^1*x5^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x3^1*x4^1*x5^1) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x2^1*x5^2) + (2*x3^1*x5^2) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x4^1*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x3^2) + (33083454067804627263877424288196545100934281333040161154130738287975179897210*x2^1*x3^2) + (33083454067804627263877424288196545100934281333040161154130738287975179897210*x3^3) + (24812590550853470447908068216147408825700710999780120865598053715981384922907*x1^1*x2^1*x4^1) + (74437771652560411343724204648442226477102132999340362596794161147944154768721*x2^2*x4^1) + (49625181101706940895816136432294817651401421999560241731196107431962769845814*x1^1*x3^1*x4^1) + (24812590550853470447908068216147408825700710999780120865598053715981384922907*x2^1*x3^1*x4^1) + (82708635169511568159693560720491362752335703332600402885326845719937949743024*x3^2*x4^1) + (82708635169511568159693560720491362752335703332600402885326845719937949743022*x1^1*x4^2) + (74437771652560411343724204648442226477102132999340362596794161147944154768721*x2^1*x4^2) + (66166908135609254527754848576393090201868562666080322308261476575950359794419*x3^1*x4^2) + (33083454067804627263877424288196545100934281333040161154130738287975179897209*x4^3) + (99250362203413881791632272864589635302802843999120483462392214863925539691628*x1^1*x2^1*x5^1) + (49625181101706940895816136432294817651401421999560241731196107431962769845814*x2^2*x5^1) + (74437771652560411343724204648442226477102132999340362596794161147944154768722*x1^1*x3^1*x5^1) + (66166908135609254527754848576393090201868562666080322308261476575950359794420*x3^2*x5^1) + (49625181101706940895816136432294817651401421999560241731196107431962769845814*x1^1*x4^1*x5^1) + (107521225720365038607601628936638771578036414332380523750924899435919334665930*x2^1*x4^1*x5^1) + (16541727033902313631938712144098272550467140666520080577065369143987589948604*x3^1*x4^1*x5^1) + (82708635169511568159693560720491362752335703332600402885326845719937949743024*x1^1*x5^2) + (16541727033902313631938712144098272550467140666520080577065369143987589948604*x2^1*x5^2) + (33083454067804627263877424288196545100934281333040161154130738287975179897210*x3^1*x5^2) + (99250362203413881791632272864589635302802843999120483462392214863925539691628*x4^1*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^1*x3^3) + (10771357138354994923122882326389572823559998573547959445530938047247732989789*x4^4) + (20645101181847073602652191125580014578489997265966922270600964590558154897108*x2^1*x3^2*x5^1) + (113099249952727446692790264427090514647379985022253574178074849496101196392792*x3^3*x5^1) + (32762877962496442891165433742768284004994995661208376646823269893711854510596*x1^1*x2^1*x4^1*x5^1) + (32314071415064984769368646979168718470679995720643878336592814141743198969360*x2^2*x4^1*x5^1) + (85273244011977043141389485083917451519849988707254678943786592874044552835829*x1^1*x3^1*x4^1*x5^1) + (99635053529783703038886661519103548617929986805318624871161176937041530155522*x2^1*x3^1*x4^1*x5^1) + (76297113063347880705453749811926140833549989895964712739177477834671442011013*x3^2*x4^1*x5^1) + (95146988055469121820918793883107893274779987399673641768856619417354974743171*x1^1*x4^2*x5^1) + (39046169626536856596320448433162201485404994829111352990049650421273032087984*x2^1*x4^2*x5^1) + (2692839284588748730780720581597393205889999643386989861382734511811933247438*x3^1*x4^2*x5^1) + (48471107122597477154052970468753077706019993580965817504889221212614798454062*x4^3*x5^1) + (93351761865743289333731646828709631137519987637415648527934796409480352578177*x1^1*x2^1*x5^2) + (93800568413174747455528433592309196671834987577980146838165252161449008119413*x2^2*x5^2) + (109059991025844323596619183554694424838544985557173089386000747728383296521601*x1^1*x3^1*x5^2) + (44431848195714354057881889596356987897184994115885332712815119444896898582888*x2^1*x3^1*x5^2) + (70013821399307467000298735121532223353139990728061736395951097307110264433642*x3^2*x5^2) + (100532666624646619282480235046302679686559986686447621491622088440978841238038*x1^1*x4^1*x5^2) + (23337940466435822333432911707177407784379996909353912131983699102370088144525*x2^1*x4^1*x5^2) + (84824437464545585019592698320317885985534988766690180633556137122075897294609*x3^1*x4^1*x5^2) + (29621232130476236038587926397571325264789996077256888475210079629931265721922*x4^2*x5^2) + (62832916640404137051550146903939174804099991679029763432263805275611775773753*x1^1*x5^3) + (35455717247085191621946154324365677210884995304595366508206004405523787758058*x2^1*x5^3) + (42636622005988521570694742541958725759924994353627339471893296437022276417902*x3^1*x5^3) + (93351761865743289333731646828709631137519987637415648527934796409480352578176*x4^1*x5^3) + (81682791632525378167015190975120927245329989182738692461942946858295308505893*x5^4)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x3^4) + (86170857106839959384983058611116582588479988588383675564247504377981863918313*x4^4) + (93479992307866563082816443046880935575895701906148362330857783767185682732798*x2^1*x3^2*x5^1) + (61165920892801578313447796067712217105215706185504483994264969625442483763441*x3^3*x5^1) + (82900980832696478783320755047748319409899274735699473589711326756495944975003*x1^1*x2^1*x4^1*x5^1) + (68282710430643271387653986176219613435067848100170100056490767978088307345991*x2^2*x4^1*x5^1) + (15002961728423028642921157526042619289958569441727514941989520851523628092919*x1^1*x3^1*x4^1*x5^1) + (77515302263518981321759313884553532998119275448925493866945857732872078480128*x2^1*x3^1*x4^1*x5^1) + (103097275467112094264176159409728768454074272061101897550081835595085444330825*x3^2*x4^1*x5^1) + (22312096929449632340754541961806972277374282759492201708599800240727446907368*x1^1*x4^2*x5^1) + (6347406885102050579697412799479569699597856302269333244687874206413842654704*x2^1*x4^2*x5^1) + (71167895378416930742061901085073963298521419146656160622257983526458235825412*x3^1*x4^2*x5^1) + (7309135201026603697833384435764352987415713317764686766610279389203818814487*x4^3*x5^1) + (87901968075504154997627807556429192506552131216275311903707833707003821005946*x1^1*x2^1*x5^2) + (102520238477557362393294576427957898481383557851804685436928392485411458634958*x2^2*x5^2) + (45393576511638907176017861232641771185002851131380686234737524627686874742714*x1^1*x3^1*x5^2) + (65974562472424343904127654249136133544304991262981251603876995539392364562444*x2^1*x3^1*x5^2) + (30775306109585699780351092361113065210171424495851312701516965849279237113674*x3^2*x5^2) + (40584934932016141585338003051217854745913566053903918625125498713736993943657*x1^1*x4^1*x5^2) + (98480979550674239297123495555561808672548558386724200644854290717693558763796*x2^1*x4^1*x5^2) + (25197281877223291695162456870661322140827853805978262274367015789097375386790*x3^1*x4^1*x5^2) + (63281723187835595173346933667538740338414991619594261742494261027580431315015*x4^2*x5^2) + (53279748702220242744732828650176994145109278658442585114501247126564679253092*x1^1*x5^3) + (54818514007699527733750383268232647405617849883235150749577095419028641108744*x2^1*x5^3) + (57126661965918455217276715195316127296380706720423999202190867857724583892298*x3^1*x5^3) + (87901968075504154997627807556429192506552131216275311903707833707003821005946*x4^1*x5^3) + (113099249952727446692790264427090514647379985022253574178074849496101196392798*x5^4)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^1*x3^2*x4^1) + (99250362203413881791632272864589635302802843999120483462392214863925539691631*x2^1*x3^2*x5^1) + (99250362203413881791632272864589635302802843999120483462392214863925539691630*x3^3*x5^1) + (16541727033902313631938712144098272550467140666520080577065369143987589948602*x1^1*x2^1*x4^1*x5^1) + (49625181101706940895816136432294817651401421999560241731196107431962769845812*x2^2*x4^1*x5^1) + (33083454067804627263877424288196545100934281333040161154130738287975179897210*x1^1*x3^1*x4^1*x5^1) + (16541727033902313631938712144098272550467140666520080577065369143987589948600*x2^1*x3^1*x4^1*x5^1) + (16541727033902313631938712144098272550467140666520080577065369143987589948608*x3^2*x4^1*x5^1) + (16541727033902313631938712144098272550467140666520080577065369143987589948611*x1^1*x4^2*x5^1) + (49625181101706940895816136432294817651401421999560241731196107431962769845812*x2^1*x4^2*x5^1) + (82708635169511568159693560720491362752335703332600402885326845719937949743023*x3^1*x4^2*x5^1) + (99250362203413881791632272864589635302802843999120483462392214863925539691630*x4^3*x5^1) + (66166908135609254527754848576393090201868562666080322308261476575950359794419*x1^1*x2^1*x5^2) + (33083454067804627263877424288196545100934281333040161154130738287975179897209*x2^2*x5^2) + (49625181101706940895816136432294817651401421999560241731196107431962769845813*x1^1*x3^1*x5^2) + (1*x2^1*x3^1*x5^2) + (82708635169511568159693560720491362752335703332600402885326845719937949743028*x3^2*x5^2) + (33083454067804627263877424288196545100934281333040161154130738287975179897209*x1^1*x4^1*x5^2) + (33083454067804627263877424288196545100934281333040161154130738287975179897203*x2^1*x4^1*x5^2) + (49625181101706940895816136432294817651401421999560241731196107431962769845818*x3^1*x4^1*x5^2) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x4^2*x5^2) + (16541727033902313631938712144098272550467140666520080577065369143987589948602*x1^1*x5^3) + (49625181101706940895816136432294817651401421999560241731196107431962769845815*x2^1*x5^3) + (99250362203413881791632272864589635302802843999120483462392214863925539691627*x3^1*x5^3) + (66166908135609254527754848576393090201868562666080322308261476575950359794418*x4^1*x5^3) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x5^4)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x3^3*x4^1) + (37699749984242482230930088142363504882459995007417858059358283165367065464262*x4^4) + (102584353698618999267836974537043550700571414986171042338389886164264123712270*x2^1*x3^2*x5^1) + (98096288224304418049869106901047895357421415580526059236085328644577568299861*x3^3*x5^1) + (16798187918148861130108304580440881427218569203985508182911343859398250257892*x1^1*x2^1*x4^1*x5^1) + (22119751266264721717127347634550015619810711356393131004215319204169451675464*x2^2*x4^1*x5^1) + (64115221061636874542398109085652219187857134366356901461493678852665077320176*x1^1*x3^1*x4^1*x5^1) + (67513327777903628893145208867191786804813562487773817238952843831856326418160*x2^1*x3^1*x4^1*x5^1) + (5129217684930949963391848726852177535028570749308552116919494308213206185613*x3^2*x4^1*x5^1) + (13207735538697196155734010471644357152698569679469521701067697843649005927936*x1^1*x4^2*x5^1) + (74630117315745321967351398975699183134665704402439433301178642184502150000681*x2^1*x4^2*x5^1) + (50779255080816404637579302395836557596782850418154665957502993651310741237585*x3^1*x4^2*x5^1) + (103481966793481915511430548064242681769201414867300038958850797668201434794753*x4^3*x5^1) + (108931760583721049847534387336523120400169271288440375583077760370677966366971*x1^1*x2^1*x5^2) + (103610197235605189260515344282413986207577129136032752761773785025906764949399*x2^2*x5^2) + (30198269120030967909469509379342195237480710286554100588363522739605251417810*x1^1*x3^1*x5^2) + (10771357138354994923122882326389572823559998573547959445530938047247732989783*x2^1*x3^1*x5^2) + (112714558626357625445535875772576601332252842216055432769305887422985205928857*x3^2*x5^2) + (40328474047769594087168410614875245869162137516438491019279523998326333634385*x1^1*x4^1*x5^2) + (21029792508216894849906579780093927893617140072165063679369926663674145361026*x2^1*x4^1*x5^2) + (61165920892801578313447796067712217105215706185504483994264969625442483763436*x3^1*x4^1*x5^2) + (103674312456666826135057742391499638426764986270399109663235278704759430026719*x4^2*x5^2) + (73796619441944042598300223557585704285223561655676793582179224359417503995529*x1^1*x5^3) + (100660897066769893031565031264473984124935700955180335294545075798684171392669*x2^1*x5^3) + (15515883496916123639260342398727837043461426516658370153681470282344948711489*x3^1*x5^3) + (108931760583721049847534387336523120400169271288440375583077760370677966366972*x4^1*x5^3) + (73604273778759131974673029230328747627659990252577722877794743322859508763563*x5^4)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x2^1*x4^2) + (29621232130476236038587926397571325264789996077256888475210079629931265721920*x4^4) + (55395550997254259604631966250003517378308564092532362862730538528702626804630*x2^1*x3^2*x5^1) + (87709622412319244374000613229172235848988559813176241199323352670445825773997*x3^3*x5^1) + (96301062034578585562681959846649633220161415818268065995163505636702946134899*x1^1*x2^1*x4^1*x5^1) + (64051105840575237667855710976566566968669277231990544560032185173812412242852*x2^2*x4^1*x5^1) + (34622219373283912252894978906252198361442852557832726789206586580439141752895*x1^1*x3^1*x4^1*x5^1) + (43790695985097985312457908505500465705306422772221763698200182656370247809679*x2^1*x3^1*x4^1*x5^1) + (56806085860610270844564724649887866200441421048592214694883399463461258505675*x3^2*x4^1*x5^1) + (98993901319167334293462680428247026426051415461655055856546240148514879382349*x1^1*x4^2*x5^1) + (68090364767458360764026791848962656777504276697071029352106286941530312114023*x2^1*x4^2*x5^1) + (33596375836297722260216609160881762854437138407971016365822687718796500515772*x3^1*x4^2*x5^1) + (25774318866778023566044039852432192113518568015275474387520458898771361082710*x4^3*x5^1) + (49945757207015125268528126977723078747340707671392026238503575826226095232415*x1^1*x2^1*x5^2) + (82195713401018473163354375847806144998832846257669547673634896289116629124463*x2^2*x5^2) + (106238921299132301116753666754925727194279271645053385721695025858866033119526*x1^1*x3^1*x5^2) + (69116208304444550756705161594333092284509990846932739775490185803172953351146*x2^1*x3^1*x5^2) + (112586328184234351696451079554405296893877127947322718966382900065279875774223*x3^2*x5^2) + (47637609248796197785001795050639598856577850834203177785889803387530152448888*x1^1*x4^1*x5^2) + (66936290788348897022263625885420916832122848278476605125799400722182340722261*x2^1*x4^1*x5^2) + (10643126696231721174038086108218268385184284304815245642607950689542402835150*x3^1*x4^1*x5^2) + (52510366049480600250224051341149167514854993046046302296963322980332698325222*x4^2*x5^2) + (29428886467291325414960732070314368607226424674157817770825598593373270489959*x1^1*x5^3) + (19619257644860883609973821380209579071484283116105211847217065728915513659973*x2^1*x5^3) + (111047562878755066707433524936349643633368556722530153331307051772815913918539*x3^1*x5^3) + (49945757207015125268528126977723078747340707671392026238503575826226095232415*x4^1*x5^3) + (2692839284588748730780720581597393205889999643386989861382734511811933247447*x5^4)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^2*x4^2) + (96942214245194954308105940937506155412039987161931635009778442425229596908102*x4^4) + (58986003376705924579006260358800041652828563617048349344574184544451871134560*x2^1*x3^2*x5^1) + (41931354574310515950728363342016551348858565875597413555816865969642960567393*x3^3*x5^1) + (16413496591779039882853915925926968112091426397787366774142381786282259793964*x1^1*x2^1*x4^1*x5^1) + (92325918328757099341053277083339195630514273487553938104550897547837711341048*x2^2*x4^1*x5^1) + (94762296729099300573664405228593979959652844593475500360087657344238984279218*x1^1*x3^1*x4^1*x5^1) + (58601312050336103331751871704286128337701420810850207935805222471335880670641*x2^1*x3^1*x4^1*x5^1) + (80144026327046093177997636357065273984821417957946126826867098565831346650219*x3^2*x4^1*x5^1) + (95403448939715669319088386319450502151531415937139069374702594132765635052415*x1^1*x4^2*x5^1) + (95018757613345848071833997664936588836404273130940927965933632059649644588495*x2^1*x4^2*x5^1) + (79374643674306450683488859048037447354567132345549844009329174419599365722378*x3^1*x4^2*x5^1) + (39238515289721767219947642760419158142968566232210423694434131457831027319945*x4^3*x5^1) + (73732504220882405723757825448500052066035704521310436680717730680564838918199*x1^1*x2^1*x5^2) + (113612171721220541689129449299775732400882842097184429389766798926922517011347*x2^2*x5^2) + (107585340941426675482144027045724423797224271466746880652386393114771999743252*x1^1*x3^1*x5^2) + (71809047589033299487485882175930485490399990490319729636872920314984886598592*x2^1*x3^1*x5^2) + (29108310361983141042248741524886107511287139002326033263518130199109945103357*x3^2*x5^2) + (77707647926703891945386508211810489655682846852024564571330338769430073712049*x1^1*x4^1*x5^2) + (512921768493094996339184872685217753502857074930855211691949430821320618562*x2^1*x4^1*x5^2) + (5257448127054223712476644945023481973404285018041265919842481665918536340254*x3^1*x4^1*x5^2) + (35006910699653733500149367560766111676569995364030868197975548653555132216815*x4^2*x5^2) + (113355710836973994190959856863433123524131413559719001783920824211511856702068*x1^1*x5^3) + (101302049277386261776989012355330506316814272298843904309160012587210822165872*x2^1*x5^3) + (83221556938004663156032745593176580505838560407531258097018795150759270361585*x3^1*x5^3) + (73732504220882405723757825448500052066035704521310436680717730680564838918199*x4^1*x5^3) + (1795226189725832487187147054398262137259999762257993240921823007874622164965*x5^4)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x3^1*x4^2) + (96942214245194954308105940937506155412039987161931635009778442425229596908102*x4^4) + (81041639421909009421591209884264405053451417839075123447328010069768657732700*x2^1*x3^2*x5^1) + (25389627540408202318789651197918278798391425209077332978751496825655370618789*x3^3*x5^1) + (90851268244339451226578120574369194589193559397127729370936542934226414562685*x1^1*x2^1*x4^1*x5^1) + (26159010193147844813298428506946105428645710821473615796289420971887351546630*x2^2*x4^1*x5^1) + (108547069257351228600279998682009207085042128482242234174308798297561975903054*x1^1*x3^1*x4^1*x5^1) + (36545676005133018489166922178821764937078566588823433833051396946019094072498*x2^1*x3^1*x4^1*x5^1) + (96685753360948406809936348501163546535288558624466207403932467709818936598823*x3^2*x4^1*x5^1) + (92646494434065283713765267628767456726453559159385722611858365942101036727652*x1^1*x4^2*x5^1) + (86747894096394691255864641592887452561170702797680887677400947487655849614194*x2^1*x4^2*x5^1) + (65589871146054522656873265594622220229177848456783110195108033466276374098538*x3^1*x4^2*x5^1) + (80592832874477551299794423120664839519136417898510625137097554317800002191458*x4^3*x5^1) + (24107323119175464827941689016205234414634282521750194949521623248602069072385*x1^1*x2^1*x5^2) + (88799581170367071241221381083628323575182131097404308524168745210941132088440*x2^2*x5^2) + (80015795884922819428912840138893969546445703689213413023944111208126016495575*x1^1*x3^1*x5^2) + (52510366049480600250224051341149167514854993046046302296963322980332698325222*x2^1*x3^1*x5^2) + (34622219373283912252894978906252198361442852557832726789206586580439141752894*x3^2*x5^2) + (91492420454955819972002101665225716781072130740791298385551479722753065335887*x1^1*x4^1*x5^2) + (72193738915403120734740270830444398805527133296517871045641882388100877062514*x2^1*x4^1*x5^2) + (93479992307866563082816443046880935575895701906148362330857783767185682732814*x3^1*x4^1*x5^2) + (92902955318311831211934860065110065603204987696851150217704340657511697036931*x4^2*x5^2) + (91300074791770909348374907337968760123508559337692227681166998686195070103926*x1^1*x5^3) + (15836459602224308011972332944156098139400712188490154660988938676608274098082*x2^1*x5^3) + (8783785285444251812308540944734354028736427408190895500224634002815115592863*x3^1*x5^3) + (24107323119175464827941689016205234414634282521750194949521623248602069072385*x4^1*x5^3) + (78989952347936629436234470393523534039439989539351702600560212346483375258453*x5^4)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^1*x3^1*x4^2) + (96942214245194954308105940937506155412039987161931635009778442425229596908102*x4^4) + (14874731286299754893836361307871314851582855172994801139066533493818297938280*x2^1*x3^2*x5^1) + (75014808642115143214605787630213096449792847208637574709947604257618140464603*x3^3*x5^1) + (60524768682185209568023814976855694913337134841840914979650032836915832990243*x1^1*x2^1*x4^1*x5^1) + (108867645362659412972991989227437468180981414154074018681616266691825301289654*x2^2*x4^1*x5^1) + (67192751672595444520433218321763525708874276815942032731645375437593001031542*x1^1*x3^1*x4^1*x5^1) + (64115221061636874542398109085652219187857134366356901461493678852665077320173*x2^1*x3^1*x4^1*x5^1) + (85657935338346864388643873738431364834977131513452820352555554947160543299752*x3^2*x4^1*x5^1) + (62319994871911042055210962031253957050597134604098908220571855844790455155210*x1^1*x4^2*x5^1) + (111560484647248161703772709809034861386871413797461008542999001203637234537102*x2^1*x4^2*x5^1) + (68346825651704908262196384285305265654255705234536456957952261656940972423306*x3^1*x4^2*x5^1) + (72321969357526394483825067048615703243902847565250584848564869745806207217156*x4^3*x5^1) + (18593414107874693617295451634839143564478568966243501423833166867272872422850*x1^1*x2^1*x5^2) + (86042626664716685635898262392945278150104274319650961761324517020276533763672*x2^2*x5^2) + (85529704896223590639559077520260060396601417244720106549632567589455213145111*x1^1*x3^1*x5^2) + (33211684509927901012962220506367849539309995601772874957053725645680510051849*x2^1*x3^1*x5^2) + (56677855418486997095479928431716561762065706779859500891960412105755928351034*x3^2*x5^2) + (11540739791094637417631659635417399453814284185944242263068862193479713917631*x1^1*x4^1*x5^2) + (88735465949305434366678982974542671355994273963037951622707251532088467011118*x2^1*x4^1*x5^2) + (98993901319167334293462680428247026426051415461655055856546240148514879382349*x3^1*x4^1*x5^2) + (35006910699653733500149367560766111676569995364030868197975548653555132216815*x4^2*x5^2) + (41674893690063968452558770905673942472107137338131985949970891254232300258112*x1^1*x5^3) + (40649050153077778459880401160303506965101423188270275526586992392589659020989*x2^1*x5^3) + (39110284847598493470862846542247853704592851963477709891511144100125697165305*x3^1*x5^3) + (18593414107874693617295451634839143564478568966243501423833166867272872422850*x4^1*x5^3) + (78989952347936629436234470393523534039439989539351702600560212346483375258453*x5^4)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x4^5) + (110406410668138697962009543845493121441489985378866584316692114984289263145328*x4^4*x5^1) + (53087403039035332121105634322920037487545707255343514410116766090006684020956*x2^1*x3^2*x5^2) + (26159010193147844813298428506946105428645710821473615796289420971887351546611*x3^3*x5^2) + (64948718935438153911449284503765698037299277113119541180493096677749723325604*x1^1*x2^1*x4^1*x5^2) + (83093326495881389406947949375005276067462846138798544294095807793053940207118*x2^2*x4^1*x5^2) + (62127649208726131431583767703997000393033563200999837516187374808232459923147*x1^1*x3^1*x4^1*x5^2) + (79759335000676271930743247702551360669694275151747985418098136492715356186566*x2^1*x3^1*x4^1*x5^2) + (91428305233894183097459703556140064561884273606424941484089986043900400258336*x3^2*x4^1*x5^2) + (43406004658728164065203519850986552390179279966023622289431220583254257345369*x1^1*x4^2*x5^2) + (108675299699474502349364794900180511523417842750974947977231785655267306057864*x2^1*x4^2*x5^2) + (86876124538517965004949437811058756999546417066413601480323934845361179768806*x3^1*x4^2*x5^2) + (577036989554731870881582981770869972690714209297212113153443109673985695734*x4^3*x5^2) + (47060572259241465914120212068868728883887136624905965672736360277856166752836*x1^1*x2^1*x5^3) + (28915964698798230418621547197629150853723567599226962559133649162551949871322*x2^2*x5^3) + (92967070539373468086477258174195717822392844831217507119165834336364362114575*x1^1*x3^1*x5^3) + (83926824369682668775999124793118754916904988885561184013095225618138586212107*x2^1*x3^1*x5^3) + (91812996560264004344714092210653977877011416412623082892858948117016390722686*x3^2*x5^3) + (73796619441944042598300223557585704285223561655676793582179224359417503995412*x1^1*x4^1*x5^3) + (93095300981496741835562054392367022260768559099950220922088821694069692268814*x2^1*x4^1*x5^3) + (47188802701364739663205008287040033322262850893638679475659347635561496907292*x3^1*x4^1*x5^3) + (100981473172078077404277021809902245220874986627012119801852544192947496779164*x4^2*x5^3) + (78861721905813355687149674175352229601064275270618988797637224988778045103989*x1^1*x5^4) + (33275799730989537887504618615453501758497852736139231858515219324533175129246*x2^1*x5^4) + (13143620317635559281191612362558704933510712545103164799606204164796340850984*x3^1*x5^4) + (47060572259241465914120212068868728883887136624905965672736360277856166752835*x4^1*x5^4) + (94249374960606205577325220355908762206149987518544645148395707913417663660793*x5^5)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^1*x3^2*x5^3) + (12865787693035132824841220556520878650363331629515618226606398223101458848915*x3^3*x5^3) + (12865787693035132824841220556520878650363331629515618226606398223101458848913*x1^1*x2^1*x4^1*x5^3) + (57896044618658097711785492504343953926634992332820282019728792003956564820117*x2^2*x4^1*x5^3) + (32164469232587832062103051391302196625908329073789045566515995557753647122283*x1^1*x3^1*x4^1*x5^3) + (83627620004728363361467933617385711227361655591851518472941588450159482517940*x2^1*x3^1*x4^1*x5^3) + (19298681539552699237261830834781317975544997444273427339909597334652188273370*x3^2*x4^1*x5^3) + (77194726158210796949047323339125271902179989777093709359638389338608753093490*x1^1*x4^2*x5^3) + (57896044618658097711785492504343953926634992332820282019728792003956564820117*x2^1*x4^2*x5^3) + (25731575386070265649682441113041757300726663259031236453212796446202917697823*x3^1*x4^2*x5^3) + (12865787693035132824841220556520878650363331629515618226606398223101458848915*x4^3*x5^3) + (109359195390798629011150374730427468528088318850882754926154384896362400215779*x1^1*x2^1*x5^4) + (64328938465175664124206102782604393251816658147578091133031991115507294244575*x2^2*x5^4) + (96493407697763496186309154173906589877724987221367136699547986673260941366859*x1^1*x3^1*x5^4) + (57896044618658097711785492504343953926634992332820282019728792003956564820120*x2^1*x3^1*x5^4) + (38597363079105398474523661669562635951089994888546854679819194669304376546744*x3^2*x5^4) + (19298681539552699237261830834781317975544997444273427339909597334652188273376*x1^1*x4^1*x5^4) + (25731575386070265649682441113041757300726663259031236453212796446202917697833*x2^1*x4^1*x5^4) + (51463150772140531299364882226083514601453326518062472906425592892405835395660*x3^1*x4^1*x5^4) + (115792089237316195423570985008687907853269984665640564039457584007913129640232*x1^1*x5^5) + (25731575386070265649682441113041757300726663259031236453212796446202917697832*x2^1*x5^5) + (38597363079105398474523661669562635951089994888546854679819194669304376546743*x3^1*x5^5) + (109359195390798629011150374730427468528088318850882754926154384896362400215779*x4^1*x5^5) + (6432893846517566412420610278260439325181665814757809113303199111550729424457*x5^6) + (6432893846517566412420610278260439325181665814757809113303199111550729424457*1)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x4^4*x5^3) + (64131544273529607603824974726689841870191185749034866815488212192332158888336*x1^1*x3^1*x4^1*x5^4) + (67788728821841343610886254622493881719784261066462775786608106730968870951776*x2^1*x3^1*x4^1*x5^4) + (2814625492758378365434469642886109130398362965451248404311888066081561861148*x3^2*x4^1*x5^4) + (86581030962397033247170369779394640331539448082169261884362641744886745247167*x1^1*x4^2*x5^4) + (101806874863627951096568379099444959313047234148899415983550064219299472066765*x2^1*x4^2*x5^4) + (22221615959318771322905422997658546747642847640279271509904651508224145068687*x3^1*x4^2*x5^4) + (1071836394543670322069498184847183986688432073800025629228215245554297920143*x4^3*x5^4) + (67136062040911864569626087748781160762010727625198718185608248628689088491247*x1^1*x2^1*x5^5) + (67136062040911864569626087748781160762010727625198718185608248628689088491247*x2^2*x5^5) + (63924772685605828683425740824888613463310346490703365808274895078032314013927*x1^1*x3^1*x5^5) + (77758776544315799310136389969208894971290306393358552243261111534760030607903*x2^1*x3^1*x5^5) + (75596817832486899985962087200035506798665476869171361439949081570958251207284*x3^2*x5^5) + (36408678787884990310297757239612218256487369813963075310948980860797175019553*x1^1*x4^1*x5^5) + (6608251156910975292759189596341299697457026092798583210123563285582797413187*x2^1*x4^1*x5^5) + (73914512940263501422713898447965648467852662223154523313233930083185363658119*x3^1*x4^1*x5^5) + (69006149293596654193236846064731726523562263638475797022955902393734284140612*x4^2*x5^5) + (57332697537273924530697783812701831634418828231039559887831285172139640519555*x1^1*x5^6) + (51009284792298767138488559285168346579093570504309881126419944441969894719056*x2^1*x5^6) + (7283423688906988094062810500182045515843439997554504866330313046561882717147*x3^1*x5^6) + (88638197270822384751142339720784412746935552948222460680617582422869895782872*x4^1*x5^6) + (31579788574671840420974151900267884101236205365989993965620289341128008668028*x5^7) + (87653570661661532749241225902683325095122032670453408265316072354775396381147*x1^1) + (12228359181056952683610475682374007858629769335407510246319539681399329355287*x2^1) + (52414487624515468781201720291286898813610294443583143073400242382007616008066*x3^1) + (66678210667652068388742069823364155003917440696036108812493046447025146269445*x4^1) + (50780710758029283638047229291680594088494003296970636815724951033305100215091*x5^1)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x3^3*x5^4) + (91766496669070577397182449908579868372125937373591564354375522982072991024830*x1^1*x3^1*x4^1*x5^4) + (106113912973985849424884394115195717012837232849654899548768955402878553735340*x2^1*x3^1*x4^1*x5^4) + (24012933083270692786364092208161025497049302031334826154028184467821780765946*x3^2*x4^1*x5^4) + (84086409117615931782353762127391384687980479206992955515023744450935895691552*x1^1*x4^2*x5^4) + (71921699013794019888866179873973197138271512432398373299836195241795532190442*x2^1*x4^2*x5^4) + (92410020488629277098424963582553079230275488126562052182947581348006181705205*x3^1*x4^2*x5^4) + (110310532243173566492987212795630852740245286776403425093129034385964180828180*x4^3*x5^4) + (95091721389150940443602782859995541527679025854514478511193765554894986147158*x1^1*x2^1*x5^5) + (95091721389150940443602782859995541527679025854514478511193765554894986147158*x2^2*x5^5) + (105930350441849433444529972181964014243463426569299383348487745311612364918306*x1^1*x3^1*x5^5) + (70853027490494080876802792412112766647606766673776891053371449135745823732677*x2^1*x3^1*x5^5) + (57862285992058297071720311459151916635715671637582485936918454515907610554916*x3^2*x5^5) + (32163531492960059822101240806713528923382792387810217897549041738641176170487*x1^1*x4^1*x5^5) + (107981187007787322328489720677380279666812158804995495379215747710586336529318*x2^1*x4^1*x5^5) + (112053321341388274536352184253669777883955217668054647868212707206491444769200*x3^1*x4^1*x5^5) + (51964020950824378990331960719505651212905608916503801593399801525854382531779*x4^2*x5^5) + (111550106813634996245380579298775972016189093554666250008821114025261720253535*x1^1*x5^6) + (1485379570391228162867965988449640800450110590463027643654849474153987668856*x2^1*x5^6) + (21559102912297683761626244985764814913351178996237523384751778305263417614137*x3^1*x5^6) + (14359020832808953497724350190900611459464811965051327597859485932322390739198*x4^1*x5^6) + (1584545536028142543059435308701250342525615132724053636910215845297790822881*x5^7) + (58371830262299037982704137860019229495529168381327970561836985976146513995297*x1^1) + (42712047348316516072468280521562931170329280877895312648191683707437854225074*x2^1) + (74190911695549369163247568255475453787254600415413978741243568266586176704437*x3^1) + (37542757650222043062487432976532220998308299419607787467858755849941732366135*x4^1) + (63912464852991318033401976902162349867662677487231252653083626202181132771450*x5^1)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x2^1*x4^1*x5^4) + (115484041769593014582976207971310567573631183321595674783813254429466421970274*x1^1*x3^1*x4^1*x5^4) + (59444721613923952074775672952528664647558829226854177318653024268202341736232*x2^1*x3^1*x4^1*x5^4) + (20757335530552418560078195162453929254017312484339866418006262964100753815614*x3^2*x4^1*x5^4) + (93034555080725588939630812918605769112282920988461279714938824876911835611453*x1^1*x4^2*x5^4) + (106687809626182460305992471883460350958465684668697432956544692699710776243775*x2^1*x4^2*x5^4) + (21613960680522359801732164184201875511095075125998942019318576723342968295105*x3^1*x4^2*x5^4) + (54342949169029080344925187497882029057376489159042244303940771386804128407689*x4^3*x5^4) + (109171178595430294890787352520399594171718213312127807298280144164311974377635*x1^1*x2^1*x5^5) + (109171178595430294890787352520399594171718213312127807298280144164311974377636*x2^2*x5^5) + (66479175431657410448357773244419435142872279097029936074257098340403186747538*x1^1*x3^1*x5^5) + (86417864267164663486855328060966460092096064721853247484112677219316799632002*x2^1*x3^1*x5^5) + (15934071755105902110765453330641601313919368152239751086479294359106413174984*x3^2*x5^5) + (74420892339260511023691614125846207831642472651721464555388992403919677636113*x1^1*x4^1*x5^5) + (111665097135490567175602602233961349038383029672819992915893826093928470719368*x2^1*x4^1*x5^5) + (56765130627564776269601927490410704680837749042354113245582486154316596935875*x3^1*x4^1*x5^5) + (96893588083915299607081821147120531930497767962831844431195528979507920052271*x4^2*x5^5) + (88027728773142656509963649153561738402811170376005648183130646180651306153794*x1^1*x5^6) + (109445467436553675091316948512584897160437693960934900471114136254709727782399*x2^1*x5^6) + (28281289433982986214605420609629240467660912435463668374360230613011435672334*x3^1*x5^6) + (108552973745821445669593724630320411281758153080585666531815838914415499396136*x4^1*x5^6) + (84350148387926874282862989042954176023287672138538237411979506076318350888434*x5^7) + (32342874196771500722447515109296227031391683581261009587478959643901245704357*x1^1) + (85436754181607957384961003935072876324753307016504798827437243972894066299598*x2^1) + (59655713030172706075183054484978897715804583572090402836217633568508305893731*x3^1) + (21337561925236492061198494376692070191693136933739486591308938539942155248755*x4^1) + (36959366384294238251361023039307326564608788655029623911792611134595741470625*x5^1)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^2*x4^1*x5^4) + (31195502875210776468232174335831859606271271451866415222962614268837412615828*x1^1*x3^1*x4^1*x5^4) + (90138064918462694022038279241128969551405205337058375809811868402311559657182*x2^1*x3^1*x4^1*x5^4) + (35489600178705417884523203284259003011208863886114076956437542748664395149425*x3^2*x4^1*x5^4) + (52227127246886575228839965490471091849008064585013374813802869323335919836199*x1^1*x4^2*x5^4) + (92239117441467786358094984541268390444996427106920709513720247814758350737648*x2^1*x4^2*x5^4) + (80394481316095234283225400072577206459816269674049481408678210914182134863474*x3^1*x4^2*x5^4) + (65577820101442733358617439337792039475326416534180780663221087409496107866657*x4^3*x5^4) + (69322495757025619357847646775718775970552064653433311148957773271326359734106*x1^1*x2^1*x5^5) + (69322495757025619357847646775718775970552064653433311148957773271326359734105*x2^2*x5^5) + (26522464988133372867209488155124097610764304213574492459941647485660918455348*x1^1*x3^1*x5^5) + (53550465409598760319395062461998953653045435838334981259968098854854927032090*x2^1*x3^1*x5^5) + (38876434392330417099062491643150144222689712635845968964384651237175731805741*x3^2*x5^5) + (25524897572109263953283388269699395664098377669297618212896174713814319918656*x1^1*x4^1*x5^5) + (38516905019042540282368313511854947074398947231563440682454556989454368881352*x2^1*x4^1*x5^5) + (102312269636015799845544193663507417589185231057188588173289825029965691545380*x3^1*x4^1*x5^5) + (24191009838584641162707922221549022206648718698714200490852714717280014514889*x4^2*x5^5) + (95616668032777840396616348112731721401474462665462207598894513494056224971030*x1^1*x5^6) + (49476643144667818079529339833449853571356410940513938966830622484547371078930*x2^1*x5^6) + (27309040987908727780728206508098566489184476412615141189422510957201552834538*x3^1*x5^6) + (73079408914750933089101482342527625983735966524709542714713206472574357522689*x4^1*x5^6) + (48174404123580508389014981015167015074143615121715955072421853883058960298791*x5^7) + (46967111239805137998683943886486781457641408758274272660917159466708233389532*x1^1) + (115630469812469649859258930754831029322993736837189615293003093283878761095582*x2^1) + (1833937390034169771540960280057425829192096768793272198671584038259440457057*x3^1) + (41606241335756796356333193909991259659653282354512254710635566364534296075576*x4^1) + (110202082655221706936777818687951432943166969042952005177100825205606915251223*x5^1)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x3^1*x4^1*x5^5) + (55041293078860922241273911073161284588826308041252612859540085848834285025371*x4^3*x5^5) + (57711446433086868456479817447521346308142386722947664158694511630598458029604*x2^1*x3^1*x5^6) + (37956004647166621143936133583750801238547999792023409753154721311126704989073*x3^2*x5^6) + (106638185051267262838311019387330253811726162494669762598832100650856291288355*x1^1*x4^1*x5^6) + (33371666881626445009607089512238074519352093204026822328449970843355033321915*x2^1*x4^1*x5^6) + (16172749518864049950052389125566757647519729216410896272691001785468138954719*x3^1*x4^1*x5^6) + (5737391411127889926753211078396598703384883445013792949306323398758576478332*x4^2*x5^6) + (66332886623209712973057304890778404233718248438061320646783157726295471457802*x1^1*x5^7) + (81177952999174591854604345271459532228999019008570541092285357463633027719543*x2^1*x5^7) + (827925858674454084523634348584246028434050620826537589910646304573353367709*x3^1*x5^7) + (76594989998881802123717478910286199614598312819784264636101242867515051073156*x4^1*x5^7) + (112685293820958599168607464987503190241420188309478609047452999341675609277340*x5^8) + (73864285437718158873647333480671632989900812797887434039530837825392081502314*x1^1*x2^1) + (73864285437718158873647333480671632989900812797887434039530837825392081502314*x2^2) + (10870586502741588706322090604386415325525129827794021595712223465684758364967*x1^1*x3^1) + (36796297357967422539332026332968937526920006140960530628858473927854119763692*x2^1*x3^1) + (98479542943485706401799361724755757459883564939637915034325010429846920942142*x3^2) + (10223948194539264214967642226973603239764215826948349731117934962902077962006*x1^1*x4^1) + (72219065046262326782874567811231754997504930978756473126938851072754292051184*x2^1*x4^1) + (90591894978313168991553908047059299517654075255582660303974505954261340293974*x3^1*x4^1) + (13923495494663572769368338996518845676566295753435713379042126138587002275027*x4^2) + (79446375902472598664407564435923413959175384611560803506396497392608708345254*x1^1*x5^1) + (56108516832353017401615139075283161242053987004040834822822932545894443261237*x2^1*x5^1) + (101187111238329366607536145310563416732990911810841860521162395879628075669728*x3^1*x5^1) + (5132544143659651490003289268435643871990423035235243816762742358887111089891*x4^1*x5^1) + (16549335014671122994853279692234689544739883094051259994113519142574541676146*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^1*x3^1*x4^1*x5^5) + (101915331383913905618017882543204386924717893750560768790029239395397359748527*x4^3*x5^5) + (62844532147793130808281369850937468126175861619471230039619044739195747997*x2^1*x3^1*x5^6) + (54966660632679416504214804246326275327171033750256048916263492017307149854506*x3^2*x5^6) + (110762249996779616506412160489444641144673375504509230200519769070972764015081*x1^1*x4^1*x5^6) + (78840654672723183235419922630320216990176454635051130495767004657830888844065*x2^1*x4^1*x5^6) + (107358428066416876731759858914229761263271353921809963517092970459572700492118*x3^1*x4^1*x5^6) + (45453388507036315324768503435161725471824274714014016976115306136007665691759*x4^2*x5^6) + (109954325979577082416454889115415179098919425224555543284385323633929721781345*x1^1*x5^7) + (57016460761654692622535190362904798707377720453763319489400349097754201830159*x2^1*x5^7) + (67236579377742240093346125116545387266891480125168803846555270488689043022927*x3^1*x5^7) + (84014278102095165120062041705603600045625313439621923548728158613649546280438*x4^1*x5^7) + (75314657742094438167802993219122622144151733324398297165192198641306219906989*x5^8) + (108624621626983730139748685661333735362188015845491887848612368992867745342524*x1^1*x2^1) + (108624621626983730139748685661333735362188015845491887848612368992867745342524*x2^2) + (67291730267136818837794383823486496461784954354344805104290661912452006721043*x1^1*x3^1) + (35928476791504838772496189385130457658429562976669723372338752931183273358695*x2^1*x3^1) + (103984217538621876106482950864697200143736658573822385916417678981573833190129*x3^2) + (93417417800261401890365318651182001519498786909974281915368032422974842749242*x1^1*x4^1) + (50085233274873162586379860467123998793141503373385262825369599279727501312644*x2^1*x4^1) + (76136838016496372310159914610483600709544674412195219982512889199059009334572*x3^1*x4^1) + (53252815081684967113365192590765506097697773216313909981981932694108881055412*x4^2) + (88910100515842327327079487302577485679285365489327071844111764006368567591930*x1^1*x5^1) + (103940194848047520071606612768670796469312630235986756132921781967368174934011*x2^1*x5^1) + (50204437159127839719284297206991445349042598313224624198979351944002444220721*x3^1*x5^1) + (2361082226273698455272243617573919740438093250961624088455700804415482336113*x4^1*x5^1) + (17015781268360117835749284379526614453104887147731066111259758740484109538256*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x3^2*x4^1*x5^5) + (67781761621582272424657784566036470301837841572465178615232385259556911608112*x4^3*x5^5) + (19955846893155705219843796524494060190679918626263893415754540758762835242086*x2^1*x3^1*x5^6) + (14590036259384601448489104153843588339516175424668643028667660639184102949750*x3^2*x5^6) + (38658707927138447788785198708678095992428592572464001268365057061403214255768*x1^1*x4^1*x5^6) + (15427144056561551517145188874258319213192956112633416666640724261642950843783*x2^1*x4^1*x5^6) + (110512756780369605385007783987656084099539654060370572757120742584891691091957*x3^1*x4^1*x5^6) + (71917556713118042437062079612486776984307407089114237016340482571529479126143*x4^2*x5^6) + (111480179731970092538502728377776881995187915150720059753336129428068996634999*x1^1*x5^7) + (113447236565802805030823970384100046796493800779412241927316359397550896016579*x2^1*x5^7) + (63351254520695274767776945943538915826552510235487513355528672873463415386581*x3^1*x5^7) + (113299530016546484306654777714922925778419632109730783727105417642759027855969*x4^1*x5^7) + (3641620105426371007064966692372662374030389514476952690063964616818902371723*x5^8) + (1599748222772764257024451484966037848690082079594465245678676057629342668695*x1^1*x2^1) + (1599748222772764257024451484966037848690082079594465245678676057629342668695*x2^2) + (95206314656011170857006228561236397394878141301347457446779413468714765730336*x1^1*x3^1) + (8012709924183048350421659735928162026001431589988934547201389189094640250597*x2^1*x3^1) + (11778772335181387864751900621612596028475092711989719688609593251044029874237*x3^2) + (35361716835047177032780368473314828036179368755656568829423869270580948359327*x1^1*x4^1) + (100945892270435279969508537297881371215343447218544544360312491799126227141408*x2^1*x4^1) + (59205438072544411630089753309641378591858287150387754893954356045713207163395*x3^1*x4^1) + (43192935935344411691625836590088096538072821371100135684239349931691761849087*x4^2) + (65069600339008933796613979420091482292445854137139139574789606737342121271574*x1^1*x5^1) + (94386682670128488954043156664299877664168645908862056938183274790449867432331*x2^1*x5^1) + (96607181243253327313530806065393462902265083579709016571142652664011365351699*x3^1*x5^1) + (12433163447318531327052153031590607314421214264857245426029148524632189829735*x4^1*x5^1) + (20041535482041393909564211823079730645563470591107769799996373211665322708229*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x4^2*x5^5) + (44189028748703207528803348934768591715466120483725591423068424514177795348639*x4^3*x5^5) + (28103289766579980868084560053169513257900075093528421695566288631550811893525*x2^1*x3^1*x5^6) + (35173534366372494072693095882732487932374654370924516323257236553819259149307*x3^2*x5^6) + (26785931374127656293415325709382168064878466202340262205546397669203915614557*x1^1*x4^1*x5^6) + (110432726038363345062942419023606526414275861119126813006032406942480303032971*x2^1*x4^1*x5^6) + (54526359435265856531981983701933122736544060298738067464713753654791386283684*x3^1*x4^1*x5^6) + (41447339443244966223690562286584930661902466169676346852990729358061024808696*x4^2*x5^6) + (34395516780061736014497924032239565711373856669428829441760707066357658349678*x1^1*x5^7) + (78229608959308888119894438413870963407965062408066153354306619723965635545966*x2^1*x5^7) + (58214574997481729714551835588685800267717311700820808083166647492629137322735*x3^1*x5^7) + (74105135928000860549739513499328194634475522831934498228515584046634328799690*x4^1*x5^7) + (69223801037890279953047954182884093689450621093878995627264104087593931283336*x5^8) + (97145555463901246308515323930202941433301455913025960101793932278857857232754*x1^1*x2^1) + (97145555463901246308515323930202941433301455913025960101793932278857857232754*x2^2) + (35091605007267318384242691952368820715412984573025178388990831525006546731417*x1^1*x3^1) + (1418561239829495907313242168455212535403899662445638746658761586107007189293*x2^1*x3^1) + (12994850413451931817760367417377204280897849137664148056631465392893832340990*x3^2) + (94019647331240634841796077513347036627971742238561645053115403632833229701454*x1^1*x4^1) + (8872769133286966700347483296552473403662931406656193872989187152334091801468*x2^1*x4^1) + (50157014903765847185595099431978675161833472153044477695893600124685366078986*x3^1*x4^1) + (31842647124755738766272119342835042316330939559053744157475612009322892469360*x4^2) + (59938011755349994428245611888523191006871448400539816927165479851480181290838*x1^1*x5^1) + (64379711254335062266963828834954135280696538049254659629828532800135722235039*x2^1*x5^1) + (80954223006423670393615425312535532031548195218392629484022508779995240101781*x3^1*x5^1) + (21969555558616907826979485380838174110189652068118483445235752589298025051464*x4^1*x5^1) + (78748516316267283013346778394897555407493173252688929105707108351884518792413*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^1*x4^2*x5^5) + (29585606866988909421665480286802209500926364476246753114682954698539990600089*x4^3*x5^5) + (49110471479132558245255438114434027578735623796331060740653815879073483737285*x2^1*x3^1*x5^6) + (53844168577850783752721914960322381098883842112530541239003088630839882233299*x3^2*x5^6) + (70303628420176843724929032267223507793814488456818140328443372762754176504834*x1^1*x4^1*x5^6) + (24157704441247699066380039797931229436879030588688389020878145991950908714575*x2^1*x4^1*x5^6) + (18014214373001766617619770404330609934595817332168970246127203858496477147921*x3^1*x4^1*x5^6) + (36858893847303535287516088091753287512810149790582087584194384580883155034783*x4^2*x5^6) + (57414367963511724327896315737752217544361772398581274470078684114424862681549*x1^1*x5^7) + (94120235187443246709613432738754011973069429306057321546265688973790030427548*x2^1*x5^7) + (4516360391780729558946171551227298373303091320538252793068602077855227762016*x3^1*x5^7) + (49901811742349342980208215617337556031340873657549930721182352319391709639021*x4^1*x5^7) + (84029389662800010466855517145310913951044048644927284813044090650302524018153*x5^8) + (85381743902930077428748450503841965830487725706605676883948838313478131559892*x1^1*x2^1) + (85381743902930077428748450503841965830487725706605676883948838313478131559892*x2^2) + (107389390482281162021182120006716779482316749071809229046200834274737218599037*x1^1*x3^1) + (53569899154294563707637953889008908748112039873482531708476092866035775289390*x2^1*x3^1) + (79246547389962456194994011547966497250746080516317938365635565808704374873717*x3^2) + (86089596684250458436788759999508675739593325112954794999905713447728274014323*x1^1*x4^1) + (90805665642971550436345077424124901386128090646550187283067701087262831316016*x2^1*x4^1) + (63385789504064290751144978423417987381301018464552378032272499242010565257499*x3^1*x4^1) + (207214662916010398529175088113059956235856806031040433615528175699602063887*x4^2) + (56589629496114515754739261519708485022505877915793140429252893118529855201297*x1^1*x5^1) + (60173345041016809544584394555960726221808947574348104391962654150234494835094*x2^1*x5^1) + (4792560012065498041935303626644086193615381325230367772840401544142021354450*x3^1*x5^1) + (112366544889195957370779869544373134631525807642952372995321429894028134280791*x4^1*x5^1) + (48060636366529962830657581766536377687880642409073886668877217328498846616670*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x3^1*x4^2*x5^5) + (68037076009908113179268648359881799942860534713037815365676780601194383314571*x4^3*x5^5) + (11939392260573083175277726301986576881554038140499660103251070118718326148430*x2^1*x3^1*x5^6) + (96160314272458638385555667211736673179482713982824734453415824886587742917576*x3^2*x5^6) + (108546433208235729123981943929876377577964937090987253910956590402340530746574*x1^1*x4^1*x5^6) + (42058295549824669992234176002455948004972267147056758630994905104257740418899*x2^1*x4^1*x5^6) + (88963975270038282360525894501536747415511141247211993387415318780772576273426*x3^1*x4^1*x5^6) + (26822199002533700564604551469740974207458694620906166616837884194782025013137*x4^2*x5^6) + (15068895419955888806936645335941601356958977217935234606159857231959996379569*x1^1*x5^7) + (94690917867194353024934845493903875266750670738580425732370275939023394849705*x2^1*x5^7) + (84005681765332489543429977623935219153943956999767093749278842124673544627470*x3^1*x5^7) + (44205180933856904557379593310702609997396056060970842602863600878114810196727*x4^1*x5^7) + (26278425996831102434105974099326040297174711173275415231880959323726843421793*x5^8) + (21106536871341985723775076785424010116227872833716293488334210981933262420054*x1^1*x2^1) + (21106536871341985723775076785424010116227872833716293488334210981933262420054*x2^2) + (129078915763263803989763462158843747010964729214565700273579456956290898971*x1^1*x3^1) + (55223490823788045040778450832792924145342132940924354224143164809525861655015*x2^1*x3^1) + (65688121177876699530296418146306725584455568930523550425101783067636312106048*x3^2) + (98312814995445731102049155031415479345599817360379000952477665135461666361338*x1^1*x4^1) + (3152590962780858699199612875171294459779561913503406689093411108478014967893*x2^1*x4^1) + (30975343829840202094290768954269741272736571564000991755155590107174965562528*x3^1*x4^1) + (19587823439417590088594986698979607692162354750431415704788174534611482102674*x4^2) + (104212508301205987709980370481247411416047384764689343460170848815087642114193*x1^1*x5^1) + (87839101624497338086042388867337227296824916951865403164064973881622708500686*x2^1*x5^1) + (28780511224057399374402804729429818879844372034852788476180114395335266007956*x3^1*x5^1) + (22582296479639236653388117766794116767585655727719055306428868470102400259855*x4^1*x5^1) + (8239438536738870880482200037791332264096084853456347208384918755033376357420*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x2^1*x5^6) + (96710917896648010880470172545364238803127221937816058879368668540767760801418*x2^1*x3^1*x5^6) + (96710917896648010880470172545364238803127221937816058879368668540767760801417*x3^2*x5^6) + (24607624119293384733474719815174876070762246845140460298606609063901627381972*x1^1*x4^1*x5^6) + (5526452778625200190373907351851207020619484117315955138517693596756258543156*x2^1*x4^1*x5^6) + (102237370675273211070844079897215445823746706055132014017886362137524019344573*x3^1*x4^1*x5^6) + (5526452778625200190373907351851207020619484117315955138517693596756258543156*x4^2*x5^6) + (32951457978141981198012145867812556159962726131869606213039323325638635199364*x1^1*x5^7) + (108567452323957386657882569469841531968342069667852491062585796322630268544501*x2^1*x5^7) + (13870286637473796654911333404488887109819963404045101052950407858493266360548*x3^1*x5^7) + (5526452778625200190373907351851207020619484117315955138517693596756258543156*x4^1*x5^7) + (35902554344564874210389405370724633076127062315493199968352304155070298060421*x5^8) + (108865637412182264384099211458581628548452920129541689706643247489355805843103*x1^1*x2^1) + (108865637412182264384099211458581628548452920129541689706643247489355805843104*x2^2) + (111834116765811091972444257265770033964803090645012635849277963140166087470445*x1^1*x3^1) + (89784466071514079840998398995257959498310157401717184546554332022210437004287*x2^1*x3^1) + (96710917896648010880470172545364238803127221937816058879368668540767760801417*x3^2) + (43092425283511813824142248301018351960683308649586568170580622197595921623581*x1^1*x4^1) + (24011253942843629281041435837694682910540545921762063010491706730450552784765*x2^1*x4^1) + (4930082602175444737940623374371013860397783193937557850402791263305183945949*x3^1*x4^1) + (24011253942843629281041435837694682910540545921762063010491706730450552784765*x4^2) + (26025006153008050158540372317706276855145661595770731880224986807081311402233*x1^1*x5^1) + (1996369222958486301531150175735265444419281342161316482411545255252139851185*x2^1*x5^1) + (6943834812339865615439559854382607805002898867946226720136071339935942563417*x3^1*x5^1) + (24011253942843629281041435837694682910540545921762063010491706730450552784765*x4^1*x5^1) + (74492785941739632858875000864173903488679279016615499822603607615603959215864*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^2*x5^6) + (33963682694672171506290163739903377286168617609442356767081881770532051051571*x2^1*x3^1*x5^6) + (33963682694672171506290163739903377286168617609442356767081881770532051051571*x3^2*x5^6) + (51178188639995381583927154605553616624047939778889636334775273341942666218421*x1^1*x4^1*x5^6) + (85141871334667553090217318345456993910216557388331993101857155112474717269992*x2^1*x4^1*x5^6) + (3313464792023529172936497076672463343115190332133785829481452875093638681330*x3^1*x4^1*x5^6) + (85141871334667553090217318345456993910216557388331993101857155112474717269992*x4^2*x5^6) + (6303338591444276239395741412200965375078695409878396448819842152216066482565*x1^1*x5^7) + (106215400439708239032702868760452160289351101227891502654975677029938698552384*x2^1*x5^7) + (40267021286116447745685905152104342661247313019320753215901723922748117534136*x3^1*x5^7) + (85141871334667553090217318345456993910216557388331993101857155112474717269992*x4^1*x5^7) + (26245636375237219776593044641213523203658174269217896796231621078425318820483*x5^8) + (36509621743910589401879788612374874544155430520008429494819043301677445744569*x1^1*x2^1) + (36509621743910589401879788612374874544155430520008429494819043301677445744568*x2^2) + (53946095064324964064951589209553616269023098773044978008313048746076577465533*x1^1*x3^1) + (70473304438582760908169952352278251830324048129450786261900925072209496796140*x2^1*x3^1) + (33963682694672171506290163739903377286168617609442356767081881770532051051571*x3^2) + (40833974099602313915712166153116902975000678919572861848549075020019991142244*x1^1*x4^1) + (74797656794274485422002329893020280261169296529015218615630956790552042193815*x2^1*x4^1) + (108761339488946656928292493632923657547337914138457575382712838561084093245386*x3^1*x4^1) + (74797656794274485422002329893020280261169296529015218615630956790552042193815*x4^2) + (42812960335354865641275530024575839919234125929886825943638885453893512227134*x1^1*x5^1) + (86313217241775144516969687772077283615046624672815123201383286153064720290504*x2^1*x5^1) + (76776643030027037147565693764479217205402743539329182710720767224425563278705*x3^1*x5^1) + (74797656794274485422002329893020280261169296529015218615630956790552042193815*x4^1*x5^1) + (21335611065991699549384482387161349920397892227411899392738523839787771912559*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x3^1*x5^6) + (152435426267426281563664514423188386245008756199859396513674587474041488972*x2^1*x3^1*x5^6) + (152435426267426281563664514423188386245008756199859396513674587474041488972*x3^2*x5^6) + (86886855819570985523906635813196124121179157623777751983000535258559139577956*x1^1*x4^1*x5^6) + (87039291245838411805470300327619312507424166379977611379514209846033181066928*x2^1*x4^1*x5^6) + (87191726672105838087033964842042500893669175136177470776027884433507222555900*x3^1*x4^1*x5^6) + (87039291245838411805470300327619312507424166379977611379514209846033181066928*x4^2*x5^6) + (1619292115875905499768401113741062594234259682087980080509297591500563536356*x1^1*x5^7) + (24952609557688086318066171084658933997527266661803299985453346288184984435960*x2^1*x5^7) + (1771727542143331781332065628164250980479268438287839477022972178974605025328*x3^1*x5^7) + (87039291245838411805470300327619312507424166379977611379514209846033181066928*x4^1*x5^7) + (8314416495884707182130403076170047242732144263602857258965163025557806828294*x5^8) + (37381445409931308135033378642233811630398813932660256920493743573897402330620*x1^1*x2^1) + (37381445409931308135033378642233811630398813932660256920493743573897402330620*x2^2) + (4819098914629862445223218508606762666903610152142923377502484326810925668893*x1^1*x3^1) + (37533880836198734416597043156657000016643822688860116317007418161371443819592*x2^1*x3^1) + (152435426267426281563664514423188386245008756199859396513674587474041488972*x3^2) + (61876748688817115608408556183623180469191054325863978716406066099660262299664*x1^1*x4^1) + (62029184115084541889972220698046368855436063082063838112919740687134303788636*x2^1*x4^1) + (62181619541351968171535885212469557241681071838263697509433415274608345277608*x3^1*x4^1) + (62029184115084541889972220698046368855436063082063838112919740687134303788636*x4^2) + (39000737525807213634801779755974874224633073614748237001003041165397965866976*x1^1*x5^1) + (16229024286032919117001721153984538981190098894716609609530425159407382032005*x2^1*x5^1) + (39153172952074639916365444270398062610878082370948096397516715752872007355948*x3^1*x5^1) + (62029184115084541889972220698046368855436063082063838112919740687134303788636*x4^1*x5^1) + (48172269006230694908882261373770042130374433779439777357909128845086128786768*x5^2)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x4^3*x5^6) + (27537110297613851516697973745763594892836475344854016490055879222049929149736*x4^1*x5^8) + (53920469886140398805285936476434621196018519870110413914652577234897362529789*x2^1*x3^2) + (14804150664794927746230864229802235517855046058692341020650939612056120416164*x3^3) + (41826938357152993040759314992934203449038341399629346602008147692654334584583*x1^1*x2^1*x4^1) + (7012858225717409434716874182098805463622413837192756849688637590875411033048*x2^2*x4^1) + (44488905354625508217663737997635732183000070338821443602435053735573345907787*x1^1*x3^1*x4^1) + (86830166317034287480592575973201562593691591742367801113141872569679395474022*x2^1*x3^1*x4^1) + (64109617714586109639076756645866582355255842650412278673466792010143499867702*x3^2*x4^1) + (71164177773162096335050619177908492707660946758192901272509375909785266169473*x1^1*x4^2) + (91229709683614188543204846892199128360265415289387637669983208144529876330310*x2^1*x4^2) + (86190738213202769474652087940740620965690340926687192956381362501928614685874*x3^1*x4^2) + (86176837602249910387566425157426252669429444169824571039930047065673162929724*x4^3) + (96908109257857125617698093876118577382841740467768690540345563854881918761817*x1^1*x2^1*x5^1) + (15930100151976513800169549678266067514987683364564716253207489948747712673119*x2^2*x5^1) + (29052276891475492009035217127029739185274221842879805383249261773894170582207*x1^1*x3^1*x5^1) + (97206972393343595990039843717377495752451020740315061744048845734374131521572*x2^1*x3^1*x5^1) + (79525395261306837217076783341501022908590346011059984017975610817439497559773*x3^2*x5^1) + (16319317258656568238568107611068379810292792556718129913844322163900361848402*x1^1*x4^1*x5^1) + (72853102003934475415958647350604240703359902717001464121344201414822654555104*x2^1*x4^1*x5^1) + (61114036054244976372116426841620214511032591546517255678208315497093646393755*x3^1*x4^1*x5^1) + (57117610405297988834988376638739329336024773948513454698455127573651266469518*x4^2*x5^1) + (47616542819018802811937864243368598841701840632911374803981026893049991066430*x1^1*x5^2) + (14164722560963409740290376197341293889853795243011732863890429544305339628403*x2^1*x5^2) + (71337935410072834923621403969338096410922156218975675228150818862978413123111*x3^1*x5^2) + (94183589511096744548908188346502391315705976122694794915887738348813374535017*x4^1*x5^2) + (76675770015970724364515912762055522175106510854222491145455946385071887526588*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^1*x3^1*x5^7) + (28266892372638953588695269869767930446533555080141667103749939625461146353351*x4^1*x5^8) + (17141770073367397557803155623835170672395850671089926637213818809014590761046*x2^1*x3^2) + (83438417244536670231690856844495698306032783067888053499020906123349166946728*x3^3) + (63685649080523907482964041754778349319298491566102310221701671204352221301064*x1^1*x2^1*x4^1) + (91441694000645289621261204337743244878244090831542621895865768547425515611845*x2^2*x4^1) + (23782786956095826412978550352274624211039276262207547221829768480056667314035*x1^1*x3^1*x4^1) + (58293370415060653284317353727412981061425624633143558464962224890258227519507*x2^1*x3^1*x4^1) + (39505536328025525497453630179434697973468583003571486554638469837993891290270*x3^2*x4^1) + (67034537935916875880018300634931578026819535240255640260097748388894806914810*x1^1*x4^2) + (50744180283412097406211990489101465500403610927001306005527000050526636223576*x2^1*x4^2) + (86219697819354559239413885405978888249567209170150988615654936327460805845608*x3^1*x4^2) + (62493671691316240765368458085571267914926594665132480886001372545447233202977*x4^3) + (6641016882728428855175394728439453538643425591117620584615949671042076553233*x1^1*x2^1*x5^1) + (94677061199923242140449217154162465832967810991317872949909436335881911882685*x2^2*x5^1) + (86276458647412067178347008437845892125965870927340028107831141025503900515904*x1^1*x3^1*x5^1) + (82530243995616543208760888334623636283654194952863421624201630954659652204073*x2^1*x3^1*x5^1) + (66864255451744352063218931539330566397623549968688521783569134294765522899778*x3^2*x5^1) + (25655894281993588397771610403885752132195114249445850463644523515478791469331*x1^1*x4^1*x5^1) + (83892503868996733743155841099431729317222077125400369436430543707693924317328*x2^1*x4^1*x5^1) + (108242899105667639545465621770376392292247970959498311580022359168181538346335*x3^1*x4^1*x5^1) + (70496948447424860154938805578818814487137902428787049282846234969523581869617*x4^2*x5^1) + (74299923927277892063458048713908074205848240160452695258651949738410924852322*x1^1*x5^2) + (34170018490619779237740065183936333591994377827801774290075228221942992177593*x2^1*x5^2) + (83778982212881717865289595035697721564424753611022290452078134311607734974513*x3^1*x5^2) + (65218191438076621834158363615187453982062359010206376510459198051515777430050*x4^1*x5^2) + (66296647171169272673887701220660527633636932396798126861807087314334576185682*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x3^2*x5^7) + (19801420302347769553526634831317638023647430150804919984898838945891026791418*x4^1*x5^8) + (29128730251716216988006362435258764814709154005624225923731496673299155242033*x2^1*x3^2) + (15116914411234257205658276854375522183725223088101334140805536927803784932115*x3^3) + (47222692175354462011177418716128163780976432521803753837860422865812191304546*x1^1*x2^1*x4^1) + (54945639943913756477853566745869283045259655688728780252937090658736929552915*x2^2*x4^1) + (74295290390293605701096161119469951440427941241498487953168177926325774267771*x1^1*x3^1*x4^1) + (32018898945664835511233749466037839745620604703311032719234164461411832896655*x2^1*x3^1*x4^1) + (21647884790585884954738841214909560043636549354056531220181906061823535082508*x3^2*x4^1) + (43257542901051407419992109775704607272555632626740852170122694673944577833236*x1^1*x4^2) + (27432855715467408363555502870905832670879749668384352116671013450134040976618*x2^1*x4^2) + (105733838828676574326503489382132914817156106345795055660559922924072496341049*x3^1*x4^2) + (46084000461466088460743542382959494178937973188807308515223500045886434938837*x4^3) + (10507703496115398246170592287052901281882873458403617010823526856100240086045*x1^1*x2^1*x5^1) + (2784755727556103779494444257311782017599650291478590595746859063175501837676*x2^2*x5^1) + (17978123499031085964123866419916329830759805542324345277034630890384271428382*x1^1*x3^1*x5^1) + (67512950629544442793883194760667753556465398622277544551297187986686604858552*x2^1*x3^1*x5^1) + (94633042598572521698011285007000299561474971261252903547813604121072981320485*x3^2*x5^1) + (90488343766128370565302831782099485893017588256714468792579718210905782662855*x1^1*x4^1*x5^1) + (44057986415086876518008191714890314998912270876080164192444275211654341463482*x2^1*x4^1*x5^1) + (87575007387258320230266006779129797135004642964256625469658191362367352081478*x3^1*x4^1*x5^1) + (7930298548606109182370617880847113016841599790125803335475456383735226946395*x4^2*x5^1) + (63626571483974256362849974925692284060189680349436167076783580600266551337864*x1^1*x5^2) + (88831854294245996020928016770470597255260724730585357082131295390464448374666*x2^1*x5^2) + (26582601678850860870149129291510305216254898040287311560398885932508908552764*x3^1*x5^2) + (52737759570901304812414127996103785322487220807048999189919822200162675601895*x4^1*x5^2) + (101780273396834235641222899427804665222286053748117672256531624262417759330322*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x4^1*x5^7) + (2189346225075306215991888372013006661091239205862951841082181210233651610845*x4^1*x5^8) + (99192442991110302262108677934113100735049107512192892143845067212861157373807*x2^1*x3^2) + (106652437535811345664747704979490753061730367028466653972717684669953599899713*x3^3) + (10437042057105031220151806471871529109223314944351955602196006721801693658181*x1^1*x2^1*x4^1) + (87869236985760504240245869025950592739193624317848789367877701429774414254425*x2^2*x4^1) + (97785006132133319694685321123533310738633310879852423103149379291996667052521*x1^1*x3^1*x4^1) + (13639974497492979202806606127223890706004942671447755517853271825662035829508*x2^1*x3^1*x4^1) + (64035481122837527841286555134856618108531059947144961785726443016781090501152*x3^2*x4^1) + (9666716533467423477487993896533619358098619668214991065518942962645408831941*x1^1*x4^2) + (60502409172319176540347264375788009475553134244561891354350436301853769118904*x2^1*x4^2) + (33170332886259996558162816683911346952564886063431548131951459764571753373743*x3^1*x4^2) + (61284318538417500188915795937221226140228576818084374154736929591222930408327*x4^3) + (29706763990505940692651839841414579800891444145161587282832030230921690772502*x1^1*x2^1*x5^1) + (68066658299166663096128762296023424024191119437305317556607919530862099816491*x2^2*x5^1) + (64151319547444686900333744995809687244038532921000144422820738318909855136888*x1^1*x3^1*x5^1) + (13865859425476939367948626356082375520244514970465361660187147664813126868730*x2^1*x3^1*x5^1) + (110892123876433367225874853890373083421303877871566338490368892727866385558883*x3^2*x5^1) + (91419684699969929400042238264162161742497670966510137194817852440021050332186*x1^1*x4^1*x5^1) + (19333433066934846954975987793067238716197239336429982131037885925290817664022*x2^1*x4^1*x5^1) + (33865363433902950912445955849629761765609723906562643954517231577344341186606*x3^1*x4^1*x5^1) + (98034058745038711671636779324582409379974377773641065772902114191573511018880*x4^2*x5^1) + (44209734751322254885360010432738835566427060471830453447037802057443023136479*x1^1*x5^2) + (29689388226814866833794761362271619430565323199083309887267885935602376077311*x2^1*x5^2) + (34566185902776263219681454508395830035429935398386498908937718155223367231631*x3^1*x5^2) + (97819757659515467412399478081819231479285552772008977894277667882635296443229*x4^1*x5^2) + (7459994544701043402639027045377652326681259516273761828872617457092442525890*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^1*x4^1*x5^7) + (50257658900062029358213793073098575131272224436809538929730959781585824755614*x4^1*x5^8) + (112379489248389289544040771705010491121219830855866883550659644407199723478560*x2^1*x3^2) + (56332225886461450414648429381477520597284107185775316418955805425218242240940*x3^3) + (19338066603919133317337875387505361481617538255384189436521657737375968249446*x1^1*x2^1*x4^1) + (44026710040442943572065450452432986332325253173139264880428815480079575012367*x2^2*x4^1) + (30445813139499615489372911154295160885429121718357652507493634258503209146993*x1^1*x3^1*x4^1) + (1944927149154200601402317765402030785170471231028516476813218122741958229960*x2^1*x3^1*x4^1) + (3882903992831971659261804139146877422210494083625721995400778527356190581762*x3^2*x4^1) + (75847525280029537092328505256241077856228079091157935290231734974851220382675*x1^1*x4^2) + (64241673518638270966390553087353081169734361840607186879754288654570291552512*x2^1*x4^2) + (81762235240471078647278019556504787915239649136203560740266453101545942671044*x3^1*x4^2) + (20986447386079006727579387108867535279888878673343438362373479886668289012527*x4^3) + (44098529863699382188674708166223889196339886416929478115427278567399409086366*x1^1*x2^1*x5^1) + (19409886427175571933947133101296264345632171499174402671520120824695802323445*x2^2*x5^1) + (113266811580880127936342246039911000699207073835597582550801946421506060586475*x1^1*x3^1*x5^1) + (67415646352874429184283555277467175482639121324239191136137979932898442565046*x2^1*x3^1*x5^1) + (51833061474719392561255575182060315374173856881240022794213375890537023798346*x3^2*x5^1) + (22847970869516052806467728174383356287493969363196223340478805391877536704916*x1^1*x4^1*x5^1) + (97658742249311516320323884175094465380930165338350274028716597412676313599917*x2^1*x4^1*x5^1) + (856045957846905446358733072443180911400225276789799688126842282731570656285*x3^1*x4^1*x5^1) + (2773171885095387873589725271216475104048902994093072332037429532962625373742*x4^2*x5^1) + (41531550374404737440188980847503877153494285316298630877417694672225984763828*x1^1*x5^2) + (78253489359120230748738638668236323800718292758130078662680248400065661861906*x2^1*x5^2) + (15350908028940718504933600373500721837450318495288803067736013438103889495739*x3^1*x5^2) + (97226664925526813030077865993739517505487291145870442792354875935736021509538*x4^1*x5^2) + (59744825875388356294178642685154937329334260995548996907753745025931648402613*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x3^1*x4^1*x5^7) + (33326714759479661287876522996197990285499974578136044692028758422445585631748*x4^1*x5^8) + (48130865424274589034107387226000225803355020636828385712679698034501706047987*x2^1*x3^2) + (101648217592782074313909102986318166407807534557922764050244127617990967646367*x3^3) + (36037333895287183269580765742499808056374842166347318400035268492258678102201*x1^1*x2^1*x4^1) + (62014100613442602260913092061225561693925656553372024768430989994634147611812*x2^2*x4^1) + (18435685276229364247360266370680952916014323789052316693557097333792891739015*x1^1*x3^1*x4^1) + (95514573009833002137360399848853155682686840592290843416101191370272880196921*x2^1*x3^1*x4^1) + (17792782019659631469648362642391419213947848784156053057683758406978248012078*x3^2*x4^1) + (97217397851558240305354090804863271974646693307962028181387332311565720338728*x1^1*x4^2) + (50702478450553520144955002139158360611620920656413440256173053741760280955784*x2^1*x4^2) + (2241473516148527792563123809441887772069602044097784027774614096191595696938*x3^1*x4^2) + (112230057680646054357869896784381031936415190719593697948808003467453617098785*x4^3) + (76644493641326791418573171499598193508519493151281591833440486653497121074906*x1^1*x2^1*x5^1) + (50667726923171372427240845180872439870968678764256885465044765151121651565295*x2^2*x5^1) + (86948321510133589720820709631373693111909214175700087402978053777850735402115*x1^1*x3^1*x5^1) + (114575785778941025303575491468680681930441518440161146349967483335561100967485*x2^1*x3^1*x5^1) + (85314999723172646988255332591935418301253845244342012219948490017835154041610*x3^2*x5^1) + (97373779724777905035067797117149915307581781822666524741464630969439552596619*x1^1*x4^1*x5^1) + (78642706465800285187137196601038636096023401950283492323317080615218311037106*x2^1*x4^1*x5^1) + (11902398128385593317098758212927853673392848063620015961438842293730566297184*x3^1*x4^1*x5^1) + (109224050562090276775595319892648887869996267048051708516211040377212174807773*x4^2*x5^1) + (50511345049951707697527138868585796538033590249552388904967466493247819307348*x1^1*x5^2) + (66271162717755697680897319451250852423825288342549986681646342347866247966271*x2^1*x5^2) + (82917144333804454465978502470206887196249154685539731632096577263769726086876*x3^1*x5^2) + (97078391742029649434497462971719589012037725739335809016874177949011202776146*x4^1*x5^2) + (53517352168507485279801715760317940604452513921094378337564429583489261598396*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x4^2*x5^7) + (30018369352699198561488780567378335775406546444832028576615684593648067642027*x4^1*x5^8) + (115243015104678261483687305067770360150964562769566998339630624275822785268294*x2^1*x3^2) + (33118205595186774981591581246482465841586523225196715945259026878613809287899*x3^3) + (80306146243159089275054843004324708881910713854843914991991161153787371202296*x1^1*x2^1*x4^1) + (12861540284132870326009490261619266115394724287140928196579607395356737478360*x2^2*x4^1) + (29778583813762379309261097555205482664906077388951800517830493318241524846947*x1^1*x3^1*x4^1) + (73616477222095653615079628534284966306354149614707117699795607455851213502908*x2^1*x3^1*x4^1) + (41108740124588606874666737855025174808892008961727214252023516819455993844954*x3^2*x4^1) + (98477719911284130867787516492032664168967999263506415272973265198726679573141*x1^1*x4^2) + (31325026782267952747541082198928955623930841589918488723039335601660532729764*x2^1*x4^2) + (92354500786549703006553060442053429666042977865521461076168815528200180941074*x3^1*x4^2) + (103250263005099084100531738763299112551875885786339939921258231646431782555280*x4^3) + (86648299990401047757888487891505244050944859173415164372903828945337234996354*x1^1*x2^1*x5^1) + (38300816712111071283362855625522778964190864075477587128857798695854739080057*x2^2*x5^1) + (96794587601742109739831847812384569630044416953390611555993154458795729418948*x1^1*x3^1*x5^1) + (74324249996445395465857958584708218724304809484962283612441751751857965425742*x2^1*x3^1*x5^1) + (38683083513314696178218582166667907111365524889199689831268973192879662376804*x3^2*x5^1) + (3401016146466189973625494317582109818499406512388162225088510070500529698153*x1^1*x4^1*x5^1) + (38706251198236127990028020138858520938467019483970726358687832253305415303931*x2^1*x4^1*x5^1) + (25057009626774576062497638822758384701621478974614556229867016803473078304525*x3^1*x4^1*x5^1) + (21552897282408014526320145528928043352520421515495281457764583914077948080350*x4^2*x5^1) + (67762003242449834770834652961716852197806465516066187221049922886263448825093*x1^1*x5^2) + (51856229159640824373065013154250929201275351476011059321632234950962776725078*x2^1*x5^2) + (10527396028298615286208614563414923034919143863958998059129557057462130073446*x3^1*x5^2) + (60765362396177427604384385360151476413155097895213155940554486637686064841496*x4^1*x5^2) + (33667279727824708921475261187400013543891945121270281645085986610704153659874*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x5^8) + (79205681209391078214106539325270552094589720603219679939595355783564107165672*x4^1*x5^8) + (722831769548672528454464732347151405566631356856339655468402685283491323314*x2^1*x3^2) + (60467657644937028822633107417502088734900892352405336563222147711215139727767*x3^3) + (15202634845443554909353197351480793344000753088754169292255315451379070766362*x1^1*x2^1*x4^1) + (103990470538338830487843281974789224327768638089274556972290778627034588580357*x2^2*x4^1) + (7700938467883934245457181956160036128536803301892541714028751685520272965126*x1^1*x3^1*x4^1) + (12283506545343146621364012855463451129212434147603566837479073837734201949102*x2^1*x3^1*x4^1) + (86591539162343539818955364859638240174546197416226124880727624247294140320058*x3^2*x4^1) + (115134126985547531968182946598474475163587538174143126660761986691821746508686*x1^1*x4^2) + (51835378243211535742436518979279376756884006340717126446955261796579599095284*x2^1*x4^2) + (17663042984099613323515509998123981782179479053438248504138147668594031617169*x3^1*x4^2) + (10647867989890060707617692018806114935846915756768388001707624171676045294309*x4^3) + (99926858603119690696467861652555559054166486166434750063022899428357525161712*x1^1*x2^1*x5^1) + (11139022910224415117977777029247128070398601165914362382987436252702007347717*x2^2*x5^1) + (14016449377466246144709973175321365396404229836477099088409731557580520895961*x1^1*x3^1*x5^1) + (38467624043545380328390809025295198519321625157829050126273583930920160156159*x2^1*x3^1*x5^1) + (31155902682341500521332185001937474686089931048089922072881664460552536363744*x3^2*x5^1) + (14577107352564895990498372102334220012260399029936183051946120819883741730569*x1^1*x4^1*x5^1) + (2543811804373212936676289346529398215744106505859810710590724834747671397364*x2^1*x4^1*x5^1) + (60819806455742792362136564594799418906843610192925091779988805429686584215220*x3^1*x4^1*x5^1) + (31721194194424436729482471523388452067366399160503213341901825534940907782110*x4^2*x5^1) + (80818152079922732316043422189737274460853744399283822247947946389196510892282*x1^1*x5^2) + (7951149465035397812999112055818665461232944925419736210152429538118404582533*x2^1*x5^2) + (106330406715403443480596517166041220865019592161149246241595543730035634214736*x3^1*x5^2) + (37262904427630926114300034471383279510043906229735150700492912788781007944583*x4^1*x5^2) + (59744825875388356294178642685154937329334260995548996907753745025931648404433*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^1*x5^8) + (11027818022601542421292474762732181700311427111013387051376912762658393296877*x2^1*x3^2) + (49625181101706940895816136432294817651401421999560241731196107431962769845481*x3^3) + (104764271214714653002278510245955726152958557554627176988080671245254736345231*x1^1*x2^1*x4^1) + (82708635169511568159693560720491362752335703332600402885326845719937949747275*x2^2*x4^1) + (93736453192113110580986035483223544452647130443613789936703758482596343039533*x1^1*x3^1*x4^1) + (27569545056503856053231186906830454250778567777533467628442281906645983248988*x2^1*x3^1*x4^1) + (27569545056503856053231186906830454250778567777533467628442281906645983242918*x3^2*x4^1) + (66166908135609254527754848576393090201868562666080322308261476575950359792420*x1^1*x4^2) + (82708635169511568159693560720491362752335703332600402885326845719937949747275*x2^1*x4^2) + (60652999124308483317108611195026999351712849110573628782573020194621163141946*x3^1*x4^2) + (49625181101706940895816136432294817651401421999560241731196107431962769845481*x4^3) + (13784772528251928026615593453415227125389283888766733814221140953322991622592*x1^1*x2^1*x5^1) + (35840408573455012869200542978879590526012138110793507916974966478639778220548*x2^2*x5^1) + (63409953629958868922431729885710044776790705888326975545417248385285761470890*x1^1*x3^1*x5^1) + (96493407697763496186309154173906589877724987221367136699547986673260941367999*x2^1*x3^1*x5^1) + (22055636045203084842584949525464363400622854222026774102753825525316786599333*x3^2*x5^1) + (74437771652560411343724204648442226477102132999340362596794161147944154768646*x1^1*x4^1*x5^1) + (35840408573455012869200542978879590526012138110793507916974966478639778223773*x2^1*x4^1*x5^1) + (63409953629958868922431729885710044776790705888326975545417248385285761464823*x3^1*x4^1*x5^1) + (57896044618658097711785492504343953926634992332820282019728792003956564818477*x4^2*x5^1) + (46868226596056555290493017741611772226323565221806894968351879241298171521620*x1^1*x5^2) + (102007316709064267396955391555272680727880700776873830225236443054590138018556*x2^1*x5^2) + (68923862641259640133077967267076135626946419443833669071105704766614958120953*x3^1*x5^2) + (13784772528251928026615593453415227125389283888766733814221140953322991622572*x4^1*x5^2) + (38597363079105398474523661669562635951089994888546854679819194669304376548588*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x3^1*x5^8) + (36586408027925117209464445683417355758680264062420884099862228224349022474561*x4^1*x5^8) + (48902349332158268367361671699947666245834790642703902075727704746679278518154*x2^1*x3^2) + (104949612694086107496754014023480636769770514312795469207431543728660759757618*x3^3) + (108860317908823797330187143729256250784502801910146435035734953128527853856224*x1^1*x2^1*x4^1) + (36614209249830835383635771250046092351202057576146127932764859096859925991193*x2^2*x4^1) + (8840788566018379386481530187938236421930337364627538863036617458467316978415*x1^1*x3^1*x4^1) + (111779446208924205618176328225273592999291120851297037490511194742172722668047*x2^1*x3^1*x4^1) + (95367458210581910132370468725442757880592349915494761466991436336569349105179*x3^2*x4^1) + (66824870387377917983142886986606522891551009157577759686957073892041742921993*x1^1*x4^2) + (88769301544958130129042534245555939922086689324703558458100375927314915476266*x2^1*x4^2) + (81587319219314268468116762866465653520623364945682234958254067195331508068663*x3^1*x4^2) + (38977313111816880188198444413488702715554506242791853729488483260286724550843*x4^3) + (106844729320659229702766040148672847826672772165066257150294214871487349193371*x1^1*x2^1*x5^1) + (63298748742335996225746427619195098406703531833426000213806724895242147418169*x2^2*x5^1) + (68692185792045322014983587545169997355931473496123303796917114162357428849528*x1^1*x3^1*x5^1) + (19428420575112717383394683479048755407313367174991231893455208073036404666196*x2^1*x3^1*x5^1) + (68094459521072381270300087862652160616712912951030561389510550403373003330244*x3^2*x5^1) + (59860664299995515353225832546108006464841733969404179544848040328060413038004*x1^1*x4^1*x5^1) + (13997915229529100695262422797568874334723034160660269866474644309239918554793*x2^1*x4^1*x5^1) + (79784873332426873509342488630035897772127085472495593125066832294207930338362*x3^1*x4^1*x5^1) + (26174850424233660982303020980955501859268593172317068677826966469015657034776*x4^2*x5^1) + (43244800674344619923496918890999769667649810599616782080042322190710413723397*x1^1*x5^2) + (16861441085818072634908956160328743364467766074360384655445624177862980344630*x2^1*x5^2) + (1190819004961595127005111770597550713016822171231277509329355705883700454698*x3^1*x5^2) + (53716594258831798861362882321157219517525367436125292473366617503150736770240*x4^1*x5^2) + (56047263361927839129392342323532970523935723670091567131703838981981481239464*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x5^9) + (82708635169511568159693560720491362752335703332600402885326845719937949751286*x2^1*x3^2) + (82708635169511568159693560720491362752335703332600402885326845719937949744273*x3^3) + (90979498686462724975662916792540499027569273665860443173859530291931744701969*x1^1*x2^1*x4^1) + (41354317584755784079846780360245681376167851666300201442663422859968974855446*x2^2*x4^1) + (66166908135609254527754848576393090201868562666080322308261476575950359804093*x1^1*x3^1*x4^1) + (90979498686462724975662916792540499027569273665860443173859530291931744712409*x2^1*x3^1*x4^1) + (33083454067804627263877424288196545100934281333040161154130738287975179915167*x3^2*x4^1) + (33083454067804627263877424288196545100934281333040161154130738287975179904706*x1^1*x4^2) + (41354317584755784079846780360245681376167851666300201442663422859968974855446*x2^1*x4^2) + (49625181101706940895816136432294817651401421999560241731196107431962769856963*x3^1*x4^2) + (82708635169511568159693560720491362752335703332600402885326845719937949744273*x4^3) + (74437771652560411343724204648442226477102132999340362596794161147944154773392*x1^1*x2^1*x5^1) + (8270863516951156815969356072049136275233570333260040288532684571993794979682*x2^2*x5^1) + (99250362203413881791632272864589635302802843999120483462392214863925539686996*x1^1*x3^1*x5^1) + (57896044618658097711785492504343953926634992332820282019728792003956564815780*x2^1*x3^1*x5^1) + (49625181101706940895816136432294817651401421999560241731196107431962769841300*x3^2*x5^1) + (8270863516951156815969356072049136275233570333260040288532684571993794974588*x1^1*x4^1*x5^1) + (66166908135609254527754848576393090201868562666080322308261476575950359787625*x2^1*x4^1*x5^1) + (41354317584755784079846780360245681376167851666300201442663422859968974889734*x3^1*x4^1*x5^1) + (57896044618658097711785492504343953926634992332820282019728792003956564826349*x4^2*x5^1) + (90979498686462724975662916792540499027569273665860443173859530291931744715188*x1^1*x5^2) + (41354317584755784079846780360245681376167851666300201442663422859968974863304*x2^1*x5^2) + (24812590550853470447908068216147408825700710999780120865598053715981384916255*x3^1*x5^2) + (74437771652560411343724204648442226477102132999340362596794161147944154773500*x4^1*x5^2) + (115792089237316195423570985008687907853269984665640564039457584007913129633304*x5^3)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x3^2*x4^2) + (96942214245194954308105940937506155412039987161931635009778442425229596908102*x4^4) + (64499912388006695789652497740166132502984277172555042870262640925781067784093*x2^1*x3^2*x5^1) + (8847900506505888686850939053820006247924284542557252401686127681667780670183*x3^3*x5^1) + (49496950659583667146731340214123513213025707730827527928273120074257439691175*x1^1*x2^1*x4^1*x5^1) + (75784191294854785709114564939240923080047132821033857527485528403850121392445*x2^2*x4^1*x5^1) + (83734478706497758152371930465861798259341417482462113308710744581580590980145*x1^1*x3^1*x4^1*x5^1) + (53087403039035332121105634322920037487545707255343514410116766090006684021106*x2^1*x3^1*x4^1*x5^1) + (113227480394850720441875060645261819085755699290986287980997836853806526547424*x3^2*x4^1*x5^1) + (51292176849309499633918487268521775350285707493085521169194943082132061856137*x1^1*x4^2*x5^1) + (78477030579443534439895285520838316285937132464420847388868262915662054639894*x2^1*x4^2*x5^1) + (90402461696907993104781333810769629054878559456563231060706087182257759021448*x3^1*x4^2*x5^1) + (6155061221917139956070218472222613042034284899170262540303393169855847422737*x4^3*x5^1) + (90274231254784719355696537592598324616502845187830517257783099824552428866803*x1^1*x2^1*x5^2) + (63986990619513600793313312867480914749481420097624187658570691494959747165533*x2^2*x5^2) + (13848887749313564901157991562500879344577141023133090715682634632175656701160*x1^1*x3^1*x5^2) + (110406410668138697962009543845493121441489985378866584316692114984289263145337*x2^1*x3^1*x5^2) + (1538765305479284989017554618055653260508571224792565635075848292463961855682*x3^2*x5^2) + (66679829904102349524094033449078307955371419741011177519953426006771680412979*x1^1*x4^1*x5^2) + (105277192983207747998617695118640943906461414629558032199772620676076056959724*x2^1*x4^1*x5^2) + (27313084172257308555061594470487845374027139240068040022596307191235322938391*x3^1*x4^1*x5^2) + (35006910699653733500149367560766111676569995364030868197975548653555132216817*x4^2*x5^2) + (107841801825673222980313619482067032673975700004212308258232367830182660052533*x1^1*x5^3) + (7565596085273151196002976872106961864167141855230114372456254104614479123780*x2^1*x5^3) + (50138102870200035892155321304980035404904279074491096942888056862784090464376*x3^1*x5^3) + (90274231254784719355696537592598324616502845187830517257783099824552428866803*x4^1*x5^3) + (78989952347936629436234470393523534039439989539351702600560212346483375258454*x5^4)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x1^1*x4^3) + (113099249952727446692790264427090514647379985022253574178074849496101196392786*x4^4) + (43085428553419979692491529305558291294239994294191837782123752188990931959156*x2^1*x3^2*x5^1) + (29621232130476236038587926397571325264789996077256888475210079629931265721920*x3^3*x5^1) + (64179336282698511416940507194737871407044991500723258362955172531517742397494*x1^1*x2^1*x4^1*x5^1) + (107713571383549949231228823263895728235599985735479594455309380472477329897891*x2^2*x4^1*x5^1) + (84824437464545585019592698320317885985534988766690180633556137122075897294590*x1^1*x3^1*x4^1*x5^1) + (100532666624646619282480235046302679686559986686447621491622088440978841238034*x2^1*x3^1*x4^1*x5^1) + (9873744043492078679529308799190441754929998692418962825070026543310421907307*x3^2*x4^1*x5^1) + (53407979144343516493817624868348298583484992927175298917424234484270009407703*x1^1*x4^2*x5^1) + (33660491057359359134759007269967415073624995542337373267284181397649165593091*x2^1*x4^2*x5^1) + (66872175567287260147721227776335264612934991144110248224337907043329675644943*x3^1*x4^2*x5^1) + (103674312456666826135057742391499638426764986270399109663235278704759430026720*x4^3*x5^1) + (92454148770880373090138073301510500068889987756286651907473884905543041495689*x1^1*x2^1*x5^2) + (48919913670028935275849757232352643240334993521530315815119676964583453995292*x2^2*x5^2) + (93351761865743289333731646828709631137519987637415648527934796409480352578173*x1^1*x3^1*x5^2) + (51612752954617684006630477813950036446224993164917305676502411476395387242738*x2^1*x3^1*x5^2) + (1795226189725832487187147054398262137259999762257993240921823007874622164965*x3^2*x5^2) + (109957604120707239840212757081893555907174985438302086006461659232320607604096*x1^1*x4^1*x5^2) + (13464196422943743653903602907986966029449998216934949306913672559059666237236*x2^1*x4^1*x5^2) + (12566583328080827410310029380787834960819998335805952686452761055122355154753*x3^1*x4^1*x5^2) + (79438758895368087558031257157123099573754989479916200910790668098452030799695*x4^2*x5^2) + (80785178537662461923421617447921796176699989301609695841482035354357997423419*x1^1*x5^3) + (111752830310433072327399904136291818044434985200560079247383482240195229769061*x2^1*x5^3) + (32762877962496442891165433742768284004994995661208376646823269893711854510609*x3^1*x5^3) + (92454148770880373090138073301510500068889987756286651907473884905543041495689*x4^1*x5^3) + (105020732098961200500448102682298335029709986092092604593926645960665396650444*x5^4)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x2^1*x4^3) + (45778267838008728423272249887155684500129993937578827643506486700802865206604*x4^4) + (111175793320878340456518321154520948071744270991262867134230039130521244073179*x2^1*x3^2*x5^1) + (108482954036289591725737600572923554865854271347875877272847304618709310825733*x3^3*x5^1) + (14490039959929933646581972653357401536455712366796659730297571420702307474362*x1^1*x2^1*x4^1*x5^1) + (95980485929270401189969969301221372124222130146436281487856037242439620748301*x2^2*x4^1*x5^1) + (55010859670884438357377577595489604063181421286334221453961576455586636340707*x1^1*x3^1*x4^1*x5^1) + (91235959570709272473832509228883107904320702203325870779705505007342405026609*x2^1*x3^1*x4^1*x5^1) + (107841801825673222980313619482067032673975700004212308258232367830182660052529*x3^2*x4^1*x5^1) + (81811022074648651916099987193292231683705703451471406264865934216000638660539*x1^1*x4^2*x5^1) + (81169869864032283170676006102435709491827132107807837250250997427473987887342*x2^1*x4^2*x5^1) + (67962134325335087014941995630791352339128562428338315549183299583824981959385*x3^1*x4^2*x5^1) + (65397525482869612033246071267365263571614277053684039490723552429718378866577*x4^3*x5^1) + (13528311644005380528446001017072618248637855351301306208375166237912331314554*x1^1*x2^1*x5^2) + (47829954911981108408628989377896555514141422237302248490274284424088147680848*x2^2*x5^2) + (69949706178245830125756337012446571133952133593695379494489603628257599356313*x1^1*x3^1*x5^2) + (68218595209581634513111588067133961215879990965803743155029274299235642268664*x2^1*x3^1*x5^2) + (112842789068480899194620671990747905770628556484788146572228874780690536083507*x3^2*x5^2) + (71616701925848388863858687848673528832836419087220658932488439278426891366632*x1^1*x4^1*x5^2) + (52318020386295689626596857013892210857291421642947231592578841943774703093258*x2^1*x4^1*x5^2) + (111688715089371435452857506027206165825247128066193722345921988561342564691738*x3^1*x4^1*x5^2) + (39046169626536856596320448433162201485404994829111352990049650421273032087986*x4^2*x5^2) + (40969626258385962832592391705731768061040708860102060033894460786852984407592*x1^1*x5^3) + (27313084172257308555061594470487845374027139240068040022596307191235322938394*x2^1*x5^3) + (74373656431498774469181806539356574257914275864974005695332667469091489691404*x3^1*x5^3) + (13528311644005380528446001017072618248637855351301306208375166237912331314554*x4^1*x5^3) + (67320982114718718269518014539934830147249991084674746534568362795298331186183*x5^4)");
groebnerBasisCyclic6GivaroInteger.push_back("(1*x3^1*x4^3) + (26928392845887487307807205815973932058899996433869898613827345118119332474473*x4^4) + (81939252516771925665184783411463536122081417720204120067788921573705968815181*x2^1*x3^2*x5^1) + (100789127508893166780649827482645288563311415223913049097468063156389501547312*x3^3*x5^1) + (3333991495205117476204701672453915397768570987050558875997671300338584020650*x1^1*x2^1*x4^1*x5^1) + (47701724469857834659544193159725251075765707968569534687351297066382817526209*x2^2*x4^1*x5^1) + (94634066286976026824579609010422675521277130324742786557164669986533654124578*x1^1*x3^1*x4^1*x5^1) + (102969045024988820515091363191557464015698557792369183747158848237380114176202*x2^1*x3^1*x4^1*x5^1) + (83221556938004663156032745593176580505838560407531258097018795150759270361586*x3^2*x4^1*x5^1) + (111047562878755066707433524936349643633368556722530153331307051772815913918536*x1^1*x4^2*x5^1) + (93479992307866563082816443046880935575895701906148362330857783767185682732811*x2^1*x4^2*x5^1) + (9489052717122257432274920144676528439802855886220821416301064470194431443388*x3^1*x4^2*x5^1) + (55010859670884438357377577595489604063181421286334221453961576455586636340708*x4^3*x5^1) + (34878680257530459751064571342594807238194281095298154395052561295849802062173*x1^1*x2^1*x5^2) + (106303036520193937991296064864011379413467128779419742623156519537718698196847*x2^2*x5^2) + (75527730410608238210944972502898314203295704283568429921639553688439461083166*x1^1*x3^1*x5^2) + (62832916640404137051550146903939174804099991679029763432263805275611775773768*x2^1*x3^1*x5^2) + (81298100306155556919760802320607013930202846376540551053173984785179318041979*x3^2*x5^2) + (74886578199991869465520991412041792011417132939904860907024616899912810309961*x1^1*x4^1*x5^2) + (113483941279097267940044653081604427962507127828451715586843811569217186856707*x2^1*x4^1*x5^2) + (72834891126019489480164251921300920997405704640181440060256819176627527835715*x3^1*x4^1*x5^2) + (16157035707532492384684323489584359235339997860321939168296407070871599484683*x4^2*x5^2) + (68859747420198003258535569157990483407758562309467312169644211087762293041868*x1^1*x5^3) + (7309135201026603697833384435764352987415713317764686766610279389203818814499*x2^1*x5^3) + (69372669188691098254874754030675701161261419384398167381336160518583613660429*x3^1*x5^3) + (34878680257530459751064571342594807238194281095298154395052561295849802062173*x4^1*x5^3) + (107713571383549949231228823263895728235599985735479594455309380472477329897892*x5^4)");
bool testCyclic6 = true;
size_t i = 0;
while(i < basisGivaroInteger.size() && testCyclic6 == true )
{
testCyclic6 = testCyclic6 && (groebnerBasisCyclic6GivaroInteger[i].compare(basisGivaroInteger[i])==0);
i++;
}
if(testCyclic6==true)
{
cout << "Test cyclic6 256 bits pass" << endl;
return 0;
}
else
{
cout << "Test cyclic6 256 bits failed" << endl;
return -1;
}
}