svrnm · svrnm · Mar 21, 2026 · Mar 20, 2026 · Mar 20, 2026
diff --git a/Makefile b/Makefile
@@ -68,3 +68,8 @@ CORE_LIST ?= 1 8
 # Do primitive checks
 check: test
 	VERIFY_GB=$(VERIFY_GB) VERIFY_MAX_GB=$(VERIFY_MAX_GB) VERIFY_TIMEOUT=$(VERIFY_TIMEOUT) CORE_LIST="$(CORE_LIST)" ./test/RunTests.sh
+
+# Compare committed cyclic/katsura inputs to SymbolicData IntPS (needs network).
+.PHONY: verify-symbolicdata
+verify-symbolicdata:
+	python3 tools/verify_sd_against_inputs.py
diff --git a/gb/butcher.txt b/gb/butcher.txt
@@ -0,0 +1 @@
+x[1] + x[4] + 32002*x[5] + 32002*x[6] + 32002*x[8], x[4]^2 + 16001*x[3]*x[5] + 16000*x[4]*x[5] + 16002*x[5]^2 + 16001*x[2]*x[6] + 16000*x[4]*x[6] + x[5]*x[6] + 16002*x[6]^2 + 16000*x[4]*x[8] + x[5]*x[8] + x[6]*x[8] + 16002*x[8]^2 + 24002*x[4] + 8001*x[5] + 8001*x[6] + 8001*x[8] + 8001*1, x[2]^2*x[6] + 32002*x[2]*x[3]*x[6] + 24002*x[2]*x[3]*x[8] + 16001*x[2]*x[3] + 31263*x[3]*x[4] + 21780*x[2]*x[5] + 5111*x[3]*x[5] + 22002*x[4]*x[5] + 10001*x[5]^2 + 18446*x[2]*x[6] + 8445*x[3]*x[6] + 22002*x[4]*x[6] + 20002*x[5]*x[6] + 10001*x[6]^2 + 21780*x[2]*x[8] + 8445*x[3]*x[8] + 22002*x[4]*x[8] + 20002*x[5]*x[8] + 20002*x[6]*x[8] + 10001*x[8]^2 + 11557*x[2] + 16150*x[3] + 5000*x[4] + 19002*x[5] + 19002*x[6] + 19002*x[8] + 23002*1, x[3]^2*x[6]*x[8] + x[3]^2*x[8]^2 + 30669*x[2]^2*x[5] + 16299*x[2]*x[3]*x[6] + 14372*x[3]^2*x[6] + 7601*x[4]*x[5]*x[6] + 24402*x[5]^2*x[6] + 16098*x[2]*x[6]^2 + 15905*x[3]*x[6]^2 + 7601*x[4]*x[6]^2 + 16801*x[5]*x[6]^2 + 24402*x[6]^3 + 30669*x[2]^2*x[8] + 31038*x[2]*x[3]*x[8] + 14374*x[3]^2*x[8] + 30054*x[2]*x[4]*x[8] + 14205*x[3]*x[4]*x[8] + 6745*x[2]*x[5]*x[8] + 25691*x[3]*x[5]*x[8] + 21351*x[4]*x[5]*x[8] + 10652*x[5]^2*x[8] + 13757*x[2]*x[6]*x[8] + 2581*x[3]*x[6]*x[8] + 28952*x[4]*x[6]*x[8] + 6102*x[5]*x[6]*x[8] + 27453*x[6]^2*x[8] + 6745*x[2]*x[8]^2 + 18679*x[3]*x[8]^2 + 21351*x[4]*x[8]^2 + 21304*x[5]*x[8]^2 + 13703*x[6]*x[8]^2 + 10652*x[8]^3 + 29335*x[2]^2 + 30073*x[2]*x[3] + 28744*x[3]^2 + 11672*x[3]*x[4] + 12688*x[2]*x[5] + 21297*x[3]*x[5] + 13027*x[4]*x[5] + 27041*x[5]^2 + 20467*x[2]*x[6] + 13325*x[3]*x[6] + 12983*x[4]*x[6] + 21745*x[5]*x[6] + 26707*x[6]^2 + 24229*x[2]*x[8] + 1075*x[3]*x[8] + 28690*x[4]*x[8] + 16706*x[5]*x[8] + 16372*x[6]*x[8] + 21668*x[8]^2 + 25376*x[2] + 6705*x[3] + 2897*x[4] + 19735*x[5] + 2222*x[6] + 3348*x[8] + 4158*1, x[2]^2*x[7]*x[8] + 5399*x[3]*x[4]*x[7]*x[8] + 11436*x[3]*x[5]*x[7]*x[8] + 10101*x[4]*x[5]*x[7]*x[8] + 21902*x[5]^2*x[7]*x[8] + 13007*x[2]*x[6]*x[7]*x[8] + 26604*x[3]*x[6]*x[7]*x[8] + 10101*x[4]*x[6]*x[7]*x[8] + 11801*x[5]*x[6]*x[7]*x[8] + 21902*x[6]^2*x[7]*x[8] + 28175*x[2]*x[7]*x[8]^2 + 26604*x[3]*x[7]*x[8]^2 + 10101*x[4]*x[7]*x[8]^2 + 11801*x[5]*x[7]*x[8]^2 + 11801*x[6]*x[7]*x[8]^2 + 21902*x[7]*x[8]^3 + 4573*x[2]^2*x[5] + 24384*x[2]*x[3]*x[6] + 12192*x[3]^2*x[6] + 6641*x[4]*x[5]*x[6] + 25362*x[5]^2*x[6] + 2530*x[2]*x[6]^2 + 29473*x[3]*x[6]^2 + 6641*x[4]*x[6]^2 + 18721*x[5]*x[6]^2 + 25362*x[6]^3 + 2*x[2]^2*x[7] + 9573*x[2]*x[4]*x[7] + 28394*x[3]*x[4]*x[7] + 274*x[3]*x[5]*x[7] + 26000*x[4]*x[5]*x[7] + 24260*x[5]^2*x[7] + 18576*x[2]*x[6]*x[7] + 30423*x[3]*x[6]*x[7] + 17462*x[4]*x[6]*x[7] + 6798*x[5]*x[6]*x[7] + 14541*x[6]^2*x[7] + 4573*x[2]^2*x[8] + 13799*x[2]*x[3]*x[8] + 12192*x[3]^2*x[8] + 6757*x[2]*x[4]*x[8] + 14289*x[3]*x[4]*x[8] + 17358*x[2]*x[5]*x[8] + 30784*x[3]*x[5]*x[8] + 12626*x[4]*x[5]*x[8] + 19377*x[5]^2*x[8] + 27949*x[2]*x[6]*x[8] + 17663*x[3]*x[6]*x[8] + 19267*x[4]*x[6]*x[8] + 25472*x[5]*x[6]*x[8] + 6095*x[6]^2*x[8] + 9066*x[2]*x[7]*x[8] + 25024*x[3]*x[7]*x[8] + 26713*x[4]*x[7]*x[8] + 29550*x[5]*x[7]*x[8] + 19831*x[6]*x[7]*x[8] + 17358*x[2]*x[8]^2 + 20193*x[3]*x[8]^2 + 12626*x[4]*x[8]^2 + 6751*x[5]*x[8]^2 + 110*x[6]*x[8]^2 + 5290*x[7]*x[8]^2 + 19377*x[8]^3 + 9146*x[2]^2 + 27598*x[2]*x[3] + 24384*x[3]^2 + 6747*x[3]*x[4] + 24466*x[2]*x[5] + 10613*x[3]*x[5] + 20790*x[4]*x[5] + 29699*x[5]^2 + 28527*x[2]*x[6] + 1492*x[3]*x[6] + 27779*x[4]*x[6] + 26794*x[5]*x[6] + 29098*x[6]^2 + 11014*x[2]*x[7] + 25234*x[3]*x[7] + 21679*x[4]*x[7] + 31018*x[5]*x[7] + 3042*x[6]*x[7] + 1933*x[2]*x[8] + 29224*x[3]*x[8] + 26421*x[4]*x[8] + 27514*x[5]*x[8] + 26913*x[6]*x[8] + 13993*x[7]*x[8] + 29818*x[8]^2 + 16929*x[2] + 19851*x[3] + 9053*x[4] + 24967*x[5] + 12033*x[6] + 30684*x[7] + 24085*x[8] + 26623*1, x[2]*x[4] + 14223*x[3]*x[4] + 10667*x[2]*x[5] + 10668*x[3]*x[5] + 10667*x[2]*x[6] + 10668*x[3]*x[6] + 10667*x[2]*x[8] + 10668*x[3]*x[8] + 21335*x[2] + 3556*x[3], x[2]*x[3]*x[6] + 32002*x[3]^2*x[6] + 32002*x[3]^2*x[8] + 32001*x[3]^2 + 5784*x[2]*x[6] + 26219*x[3]*x[6] + 21556*x[4]*x[6] + 26052*x[5]*x[6] + 26052*x[6]^2 + 27392*x[4]*x[7] + 11180*x[5]*x[7] + 11180*x[6]*x[7] + 26219*x[3]*x[8] + 26122*x[4]*x[8] + 14877*x[5]*x[8] + 8926*x[6]*x[8] + 11180*x[7]*x[8] + 14877*x[8]^2 + 20435*x[3] + 28117*x[4] + 27251*x[5] + 4902*x[6] + 17749*x[7] + 19121*x[8] + 18613*1, x[2]*x[6]^2 + 32002*x[3]*x[6]^2 + 32002*x[3]*x[6]*x[8] + 5470*x[2]*x[6] + 26531*x[3]*x[6] + 16036*x[4]*x[6] + 15998*x[5]*x[6] + 15998*x[6]^2 + 5290*x[4]*x[7] + 6524*x[5]*x[7] + 6524*x[6]*x[7] + 26533*x[3]*x[8] + 31011*x[4]*x[8] + 7222*x[5]*x[8] + 23220*x[6]*x[8] + 6524*x[7]*x[8] + 7222*x[8]^2 + 21063*x[3] + 19300*x[4] + 28126*x[5] + 12152*x[6] + 18338*x[7] + 9575*x[8] + 11546*1, x[2]*x[6]*x[7] + x[2]*x[7]*x[8] + 25421*x[2]*x[6] + 6582*x[3]*x[6] + 11704*x[4]*x[6] + 16479*x[5]*x[6] + 16479*x[6]^2 + 2*x[2]*x[7] + 19318*x[4]*x[7] + 15633*x[5]*x[7] + 15633*x[6]*x[7] + 6582*x[3]*x[8] + 15308*x[4]*x[8] + 1855*x[5]*x[8] + 18334*x[6]*x[8] + 15633*x[7]*x[8] + 1855*x[8]^2 + 13164*x[3] + 19073*x[4] + 28875*x[5] + 9531*x[6] + 18581*x[7] + 15890*x[8] + 12817*1, x[2]*x[3]*x[8] + 2*x[2]*x[3] + 4362*x[2]*x[6] + 27641*x[3]*x[6] + 24148*x[4]*x[6] + 25764*x[5]*x[6] + 25764*x[6]^2 + 13022*x[4]*x[7] + 2109*x[5]*x[7] + 2109*x[6]*x[7] + 27641*x[3]*x[8] + 29647*x[4]*x[8] + 25153*x[5]*x[8] + 18914*x[6]*x[8] + 2109*x[7]*x[8] + 25153*x[8]^2 + 23279*x[3] + 19146*x[4] + 4068*x[5] + 15738*x[6] + 17240*x[7] + 20015*x[8] + 27282*1, x[3]*x[6]*x[7] + x[2]*x[7]*x[8] + x[3]*x[7]*x[8] + 13358*x[2]*x[6] + 18645*x[3]*x[6] + 13253*x[4]*x[6] + 12751*x[5]*x[6] + 12751*x[6]^2 + 2*x[2]*x[7] + 2*x[3]*x[7] + 16470*x[4]*x[7] + 19505*x[5]*x[7] + 19505*x[6]*x[7] + 18645*x[3]*x[8] + 27546*x[4]*x[8] + 7607*x[5]*x[8] + 20358*x[6]*x[8] + 19505*x[7]*x[8] + 7607*x[8]^2 + 5287*x[3] + 29051*x[4] + 2410*x[5] + 9162*x[6] + 23477*x[7] + 13167*x[8] + 1868*1, x[4]*x[6]*x[7] + 3556*x[5]*x[7]*x[8] + 3556*x[6]*x[7]*x[8] + 3556*x[7]*x[8]^2 + 27162*x[2]*x[6] + 4841*x[3]*x[6] + 7342*x[4]*x[6] + 6296*x[5]*x[6] + 6296*x[6]^2 + 31024*x[4]*x[7] + 109*x[5]*x[7] + 110*x[6]*x[7] + 4841*x[3]*x[8] + 26869*x[4]*x[8] + 14794*x[5]*x[8] + 21090*x[6]*x[8] + 7221*x[7]*x[8] + 14794*x[8]^2 + 9682*x[3] + 18873*x[4] + 6957*x[5] + 26891*x[6] + 31242*x[7] + 31411*x[8] + 784*1, x[5]*x[6]*x[7] + x[6]^2*x[7] + x[5]*x[7]*x[8] + 2*x[6]*x[7]*x[8] + x[7]*x[8]^2 + 31820*x[2]*x[6] + 183*x[3]*x[6] + 22109*x[4]*x[6] + 11767*x[5]*x[6] + 11767*x[6]^2 + 18319*x[4]*x[7] + 15746*x[5]*x[7] + 15748*x[6]*x[7] + 183*x[3]*x[8] + 24423*x[4]*x[8] + 7954*x[5]*x[8] + 19721*x[6]*x[8] + 15748*x[7]*x[8] + 7954*x[8]^2 + 366*x[3] + 28450*x[4] + 25225*x[5] + 6862*x[6] + 17808*x[7] + 1550*x[8] + 14894*1, x[2]*x[6]*x[8] + 32002*x[3]*x[6]*x[8] + 32002*x[3]*x[8]^2 + 16058*x[2]*x[6] + 15945*x[3]*x[6] + 14767*x[4]*x[6] + 5471*x[5]*x[6] + 5471*x[6]^2 + 12371*x[4]*x[7] + 12849*x[5]*x[7] + 12849*x[6]*x[7] + 15943*x[3]*x[8] + 12357*x[4]*x[8] + 9295*x[5]*x[8] + 14766*x[6]*x[8] + 12849*x[7]*x[8] + 9295*x[8]^2 + 31890*x[3] + 13767*x[4] + 3823*x[5] + 29532*x[6] + 6066*x[7] + 2767*x[8] + 21413*1, x[4]*x[7]*x[8] + 28447*x[5]*x[7]*x[8] + 28447*x[6]*x[7]*x[8] + 28447*x[7]*x[8]^2 + 7626*x[2]*x[6] + 24377*x[3]*x[6] + 28842*x[4]*x[6] + 7463*x[5]*x[6] + 7463*x[6]^2 + 27336*x[4]*x[7] + 18298*x[5]*x[7] + 18298*x[6]*x[7] + 24377*x[3]*x[8] + 19983*x[4]*x[8] + 19115*x[5]*x[8] + 26578*x[6]*x[8] + 11187*x[7]*x[8] + 19115*x[8]^2 + 16751*x[3] + 3232*x[4] + 30630*x[5] + 10392*x[6] + 31929*x[7] + 24837*x[8] + 486*1, x[3]*x[4] + 964*x[2]*x[6] + 31039*x[3]*x[6] + 161*x[4]*x[6] + 3538*x[5]*x[6] + 3538*x[6]^2 + 25962*x[4]*x[7] + 7783*x[5]*x[7] + 7783*x[6]*x[7] + 31039*x[3]*x[8] + 12587*x[4]*x[8] + 12825*x[5]*x[8] + 16363*x[6]*x[8] + 7783*x[7]*x[8] + 12825*x[8]^2 + 30076*x[3] + 21093*x[4] + 19313*x[5] + 26550*x[6] + 9525*x[7] + 25547*x[8] + 27716*1, x[2]*x[5] + 27097*x[2]*x[6] + 4907*x[3]*x[6] + 28925*x[4]*x[6] + 342*x[5]*x[6] + 342*x[6]^2 + 8647*x[4]*x[7] + 6151*x[5]*x[7] + 6151*x[6]*x[7] + x[2]*x[8] + 4907*x[3]*x[8] + 20155*x[4]*x[8] + 15540*x[5]*x[8] + 15882*x[6]*x[8] + 6151*x[7]*x[8] + 15540*x[8]^2 + 2*x[2] + 9814*x[3] + 19185*x[4] + 17568*x[5] + 15174*x[6] + 20949*x[7] + 4797*x[8] + 22318*1, x[3]*x[5] + 20514*x[2]*x[6] + 11490*x[3]*x[6] + 472*x[4]*x[6] + 17727*x[5]*x[6] + 17727*x[6]^2 + 8374*x[4]*x[7] + 16849*x[5]*x[7] + 16849*x[6]*x[7] + 11490*x[3]*x[8] + 24454*x[4]*x[8] + 25730*x[5]*x[8] + 11454*x[6]*x[8] + 16849*x[7]*x[8] + 25730*x[8]^2 + 22980*x[3] + 17164*x[4] + 1375*x[5] + 5298*x[6] + 10069*x[7] + 13283*x[8] + 19914*1, x[4]*x[5] + 5078*x[2]*x[6] + 26925*x[3]*x[6] + 21926*x[4]*x[6] + 26011*x[5]*x[6] + 26011*x[6]^2 + 21750*x[4]*x[7] + 8251*x[5]*x[7] + 8251*x[6]*x[7] + 26925*x[3]*x[8] + 4316*x[4]*x[8] + 17300*x[5]*x[8] + 11308*x[6]*x[8] + 8251*x[7]*x[8] + 17300*x[8]^2 + 21847*x[3] + 29572*x[4] + 1964*x[5] + 11905*x[6] + 6249*x[7] + 8876*x[8] + 1495*1, x[5]^2 + 10066*x[2]*x[6] + 21937*x[3]*x[6] + 1469*x[4]*x[6] + 24730*x[5]*x[6] + 24729*x[6]^2 + 24338*x[4]*x[7] + 22187*x[5]*x[7] + 22187*x[6]*x[7] + 21937*x[3]*x[8] + 14385*x[4]*x[8] + 19739*x[5]*x[8] + 12464*x[6]*x[8] + 22187*x[7]*x[8] + 19738*x[8]^2 + 11871*x[3] + 26751*x[4] + 387*x[5] + 19309*x[6] + 4706*x[7] + 22243*x[8] + 27521*1, x[4]*x[6]^2 + 28447*x[5]*x[6]^2 + 28447*x[6]^3 + 28447*x[6]^2*x[8] + 26527*x[2]*x[6] + 5476*x[3]*x[6] + 7617*x[4]*x[6] + 20489*x[5]*x[6] + 13378*x[6]^2 + 22802*x[4]*x[7] + 11690*x[5]*x[7] + 11690*x[6]*x[7] + 5476*x[3]*x[8] + 30614*x[4]*x[8] + 10822*x[5]*x[8] + 31311*x[6]*x[8] + 11690*x[7]*x[8] + 10822*x[8]^2 + 10952*x[3] + 24584*x[4] + 31002*x[5] + 15591*x[6] + 14179*x[7] + 19254*x[8] + 22582*1, x[4]*x[7]^2 + 28447*x[5]*x[7]^2 + 28447*x[6]*x[7]^2 + 28447*x[7]^2*x[8] + 20054*x[2]*x[6] + 11949*x[3]*x[6] + 22602*x[4]*x[6] + 18824*x[5]*x[6] + 18824*x[6]^2 + 9705*x[4]*x[7] + 20257*x[5]*x[7] + 20257*x[6]*x[7] + 24892*x[7]^2 + 11949*x[3]*x[8] + 29783*x[4]*x[8] + 21582*x[5]*x[8] + 8403*x[6]*x[8] + 20257*x[7]*x[8] + 21582*x[8]^2 + 23898*x[3] + 9976*x[4] + 12688*x[5] + 8932*x[6] + 18216*x[7] + 21629*x[8] + 3349*1, x[4]*x[6]*x[8] + 28447*x[5]*x[6]*x[8] + 28447*x[6]^2*x[8] + 28447*x[6]*x[8]^2 + 25531*x[2]*x[6] + 6472*x[3]*x[6] + 8267*x[4]*x[6] + 13305*x[5]*x[6] + 13305*x[6]^2 + 23365*x[4]*x[7] + 25851*x[5]*x[7] + 25851*x[6]*x[7] + 6472*x[3]*x[8] + 27506*x[4]*x[8] + 21835*x[5]*x[8] + 28029*x[6]*x[8] + 25851*x[7]*x[8] + 21835*x[8]^2 + 12944*x[3] + 29263*x[4] + 1703*x[5] + 4577*x[6] + 11061*x[7] + 8873*x[8] + 666*1, x[4]*x[8]^2 + 28447*x[5]*x[8]^2 + 28447*x[6]*x[8]^2 + 28447*x[8]^3 + 28845*x[2]*x[6] + 3158*x[3]*x[6] + 24085*x[4]*x[6] + 25771*x[5]*x[6] + 25771*x[6]^2 + 15993*x[4]*x[7] + 30226*x[5]*x[7] + 30226*x[6]*x[7] + 3158*x[3]*x[8] + 7298*x[4]*x[8] + 2745*x[5]*x[8] + 28516*x[6]*x[8] + 30226*x[7]*x[8] + 27637*x[8]^2 + 6316*x[3] + 21924*x[4] + 7179*x[5] + 18800*x[6] + 12439*x[7] + 19967*x[8] + 4279*1
diff --git a/gb/caprasse.txt b/gb/caprasse.txt
@@ -0,0 +1 @@
+x[1]^3*x[3] + 31999*x[1]*x[2]^2*x[3] + 31999*x[1]^2*x[2]*x[4] + 32001*x[2]^3*x[4] + 31999*x[1]^2 + 10*x[2]^2 + 31999*x[1]*x[3] + 10*x[2]*x[4] + 32001*1, x[1]*x[3]^3 + 31999*x[2]*x[3]^2*x[4] + 31999*x[1]*x[3]*x[4]^2 + 32001*x[2]*x[4]^3 + 31999*x[1]*x[3] + 31999*x[3]^2 + 10*x[2]*x[4] + 10*x[4]^2 + 32001*1, x[2]^2*x[3] + 2*x[1]*x[2]*x[4] + 32001*x[1] + 32002*x[3], x[2]*x[3]*x[4] + 16002*x[1]*x[4]^2 + 16001*x[1] + 32002*x[3], x[1]*x[2]*x[4]^2 + 10668*x[1]*x[2] + 21336*x[2]*x[3] + 21334*x[1]*x[4] + 10667*x[3]*x[4], x[1]^2*x[4]^3 + 10667*x[1]*x[2]*x[3] + 21334*x[2]*x[3]^2 + 32002*x[1]^2*x[4] + 21336*x[1]*x[3]*x[4] + 10669*x[3]^2*x[4], x[1]^2*x[2]*x[4] + 16002*x[1]*x[3]*x[4]^2 + 10666*x[1]^2 + 10669*x[2]^2 + 16001*x[1]*x[3] + 21336*x[3]^2 + 21334*x[4]^2, x[2]^3*x[4] + 32002*x[2]*x[4]^3 + 10669*x[1]^2 + 10666*x[2]^2 + 21334*x[3]^2 + 21337*x[4]^2, x[1]*x[3]*x[4]^3 + 10667*x[1]^2*x[2] + 21334*x[1]*x[2]*x[3] + 10667*x[1]^2*x[4] + 21338*x[2]^2*x[4] + 10668*x[1]*x[3]*x[4] + 10669*x[3]^2*x[4] + 10665*x[4]^3, x[1]*x[4]^4 + 10669*x[1]*x[2]^2 + 21338*x[1]^2*x[3] + 10665*x[3]^3 + 10667*x[1]*x[4]^2 + 10669*x[3]*x[4]^2 + 10666*x[1] + 21334*x[3], x[2]*x[4]^6 + 21335*x[2]*x[3]^4 + 10668*x[3]^4*x[4] + 10663*x[2]^2*x[4]^3 + 21336*x[3]^2*x[4]^3 + 10663*x[2]*x[4]^4 + 10666*x[4]^5 + 10671*x[1]^2*x[2] + 28446*x[2]^3 + 10669*x[1]*x[2]*x[3] + 21332*x[2]*x[3]^2 + 24899*x[1]^2*x[4] + 17775*x[2]^2*x[4] + 21334*x[1]*x[3]*x[4] + 17771*x[3]^2*x[4] + 3562*x[2]*x[4]^2 + 14234*x[4]^3 + 21334*x[2] + 10668*x[4], x[1]^4 + 32002*x[3]^4 + 10665*x[1]^2 + 10673*x[2]^2 + 21338*x[3]^2 + 21330*x[4]^2, x[1]^3*x[2] + 32002*x[1]*x[2]*x[3]^2 + 23999*x[1]*x[2]^2*x[4] + 16001*x[1]^2*x[3]*x[4] + 16002*x[3]^3*x[4] + 30004*x[1]*x[4]^3 + 4000*x[3]*x[4]^3 + 3*x[1]*x[2] + 12003*x[2]*x[3] + 10000*x[1]*x[4] + 16000*x[3]*x[4], x[3]^4*x[4]^2 + 4*x[2]^2*x[4]^4 + 32001*x[3]^2*x[4]^4 + 32002*x[3]^4 + 10673*x[1]^2*x[4]^2 + 10637*x[2]^2*x[4]^2 + 31995*x[1]*x[3]*x[4]^2 + 21326*x[3]^2*x[4]^2 + 31979*x[2]*x[4]^3 + 21346*x[4]^4 + 17799*x[1]^2 + 17767*x[2]^2 + 8*x[1]*x[3] + 14210*x[3]^2 + 24*x[2]*x[4] + 14256*x[4]^2 + 31999*1, x[1]*x[2]^3 + 2*x[1]*x[2]^2*x[4] + 2*x[1]^2*x[3]*x[4] + 32001*x[3]^3*x[4] + 7998*x[1]*x[4]^3 + 16001*x[3]*x[4]^3 + 21337*x[1]*x[2] + 26671*x[2]*x[3] + 2665*x[1]*x[4] + 21334*x[3]*x[4], x[1]^2*x[2]*x[3] + 32002*x[2]*x[3]^3 + 32002*x[1]*x[2]^2*x[4] + 32002*x[1]^2*x[3]*x[4] + x[3]^3*x[4] + 24004*x[1]*x[4]^3 + 16002*x[3]*x[4]^3 + 21334*x[1]*x[2] + 26668*x[2]*x[3] + 18669*x[1]*x[4] + 21336*x[3]*x[4], x[1]^3*x[4] + 8002*x[1]*x[2]^2*x[4] + 16002*x[1]^2*x[3]*x[4] + 32002*x[1]*x[3]^2*x[4] + 16001*x[3]^3*x[4] + 18001*x[1]*x[4]^3 + 28002*x[3]*x[4]^3 + 21335*x[1]*x[2] + 30670*x[2]*x[3] + 16668*x[1]*x[4] + 5334*x[3]*x[4], x[1]^2*x[2]^2 + 32002*x[3]^2*x[4]^2 + 10672*x[1]^2 + 10665*x[2]^2 + 21331*x[3]^2 + 21338*x[4]^2, x[2]^4 + 32002*x[4]^4 + 10665*x[1]^2 + 10671*x[2]^2 + 21338*x[3]^2 + 21332*x[4]^2, x[1]^2*x[3]^2 + 32002*x[3]^4 + 32002*x[2]^2*x[4]^2 + x[4]^4 + x[2]^2 + 32002*x[4]^2, x[1]^2*x[3]*x[4]^2 + 32002*x[3]^3*x[4]^2 + 21334*x[1]^3 + 21338*x[1]*x[2]^2 + 10672*x[1]^2*x[3] + 10669*x[1]*x[3]^2 + 21331*x[3]^3 + 10673*x[1]*x[2]*x[4] + 10665*x[1]*x[4]^2 + 21338*x[3]*x[4]^2 + 21330*x[1] + 10665*x[3], x[2]^2*x[4]^3 + 32002*x[4]^5 + 21334*x[1]^2*x[2] + 21337*x[2]^3 + 10669*x[2]*x[3]^2 + 10665*x[1]^2*x[4] + 10671*x[2]^2*x[4] + 21338*x[3]^2*x[4] + 10666*x[2]*x[4]^2 + 21332*x[4]^3, x[3]^5 + 32001*x[3]^3*x[4]^2 + 21330*x[1]^3 + 21342*x[1]*x[2]^2 + 10673*x[1]^2*x[3] + 10665*x[1]*x[3]^2 + 21324*x[3]^3 + 32*x[1]*x[2]*x[4] + 10677*x[3]*x[4]^2 + 10645*x[1] + 21326*x[3], x[3]^2*x[4]^3 + 10666*x[1]^2*x[2] + 10669*x[2]^3 + 10667*x[1]*x[2]*x[3] + 10668*x[2]*x[3]^2 + 21331*x[1]^2*x[4] + 21338*x[2]^2*x[4] + 21336*x[1]*x[3]*x[4] + 21340*x[3]^2*x[4] + 21334*x[2]*x[4]^2 + 10665*x[4]^3, x[3]*x[4]^4 + 10665*x[1]^3 + 10669*x[1]*x[2]^2 + 21338*x[1]^2*x[3] + 21338*x[1]*x[3]^2 + 10665*x[3]^3 + 8*x[1]*x[2]*x[4] + 21340*x[3]*x[4]^2 + 21326*x[1] + 10662*x[3], x[4]^7 + 10668*x[2]*x[3]^4 + 21335*x[3]^4*x[4] + 21329*x[2]*x[4]^4 + 10663*x[4]^5 + 28432*x[1]^2*x[2] + 16*x[2]^3 + 7110*x[1]*x[2]*x[3] + 7126*x[2]*x[3]^2 + 31979*x[1]^2*x[4] + 7142*x[2]^2*x[4] + 24893*x[1]*x[3]*x[4] + 28472*x[3]^2*x[4] + 31993*x[2]*x[4]^2 + 24866*x[4]^3 + 10668*x[2] + 21334*x[4]
diff --git a/gb/discriminant_4.txt b/gb/discriminant_4.txt
@@ -0,0 +1 @@
+x[2]^2*x[3]^2*x[4] + 31999*x[1]*x[3]^3*x[4] + 31997*x[2]^3*x[4]^2 + 27*x[1]*x[2]*x[3]*x[4]^2 + 31949*x[1]^2*x[4]^3 + 9*x[2]^3*x[3] + 31963*x[1]*x[2]*x[3]^2 + 31997*x[1]*x[2]^2*x[4] + 144*x[1]^2*x[3]*x[4] + 31907*x[1]^2*x[2], x[2]^2*x[3]*x[4]^2 + 31997*x[1]*x[3]^2*x[4]^2 + 9*x[1]*x[2]*x[4]^3 + 31997*x[2]^2*x[3]^2 + 32*x[1]*x[3]^3 + 9*x[2]^3*x[4] + 31923*x[1]*x[2]*x[3]*x[4] + 72*x[1]^2*x[4]^2 + 72*x[1]*x[2]^2 + 31875*x[1]^2*x[3], x[2]*x[3]^2*x[4]^2 + 31997*x[2]^2*x[4]^3 + 9*x[1]*x[3]*x[4]^3 + 31999*x[2]*x[3]^3 + 27*x[2]^2*x[3]*x[4] + 31963*x[1]*x[3]^2*x[4] + 31997*x[1]*x[2]*x[4]^2 + 31949*x[2]^3 + 144*x[1]*x[2]*x[3] + 31907*x[1]^2*x[4], x[3]^3*x[4]^2 + 15997*x[2]*x[3]*x[4]^3 + 16015*x[1]*x[4]^4 + 31999*x[3]^4 + 20*x[2]*x[3]^2*x[4] + 16003*x[2]^2*x[4]^2 + 31931*x[1]*x[3]*x[4]^2 + 31967*x[2]^2*x[3] + 64*x[1]*x[3]^2 + 96*x[1]*x[2]*x[4] + 31811*x[1]^2, x[2]^3*x[4]^3 + 15997*x[1]*x[2]*x[3]*x[4]^3 + 16015*x[1]^2*x[4]^4 + 15997*x[2]^3*x[3]*x[4] + 20*x[1]*x[2]*x[3]^2*x[4] + 3*x[1]*x[2]^2*x[4]^2 + 31931*x[1]^2*x[3]*x[4]^2 + 16015*x[2]^4 + 31931*x[1]*x[2]^2*x[3] + 64*x[1]^2*x[3]^2 + 144*x[1]^2*x[2]*x[4] + 31747*x[1]^3, x[2]^2*x[3]^3 + 31999*x[1]*x[3]^4 + 15997*x[2]^3*x[3]*x[4] + 20*x[1]*x[2]*x[3]^2*x[4] + 16003*x[1]*x[2]^2*x[4]^2 + 31967*x[1]^2*x[3]*x[4]^2 + 16015*x[2]^4 + 31931*x[1]*x[2]^2*x[3] + 64*x[1]^2*x[3]^2 + 96*x[1]^2*x[2]*x[4] + 31811*x[1]^3
diff --git a/gb/ellipsoid_2.txt b/gb/ellipsoid_2.txt
@@ -0,0 +1 @@
+x[4]^2*x[8]^2*x[9]^2 + x[3]^2*x[8]^2*x[10]^2 + x[2]^2*x[9]^2*x[10]^2 + 32002*x[8]^2*x[9]^2*x[10]^2, x[2]*x[8]^2 + 32002*x[5]*x[8]^2 + 2*x[1]*x[2], x[3]*x[9]^2 + 32002*x[6]*x[9]^2 + 2*x[1]*x[3], x[4]*x[10]^2 + 32002*x[7]*x[10]^2 + 2*x[1]*x[4], x[3]^3*x[8]^2*x[10]^2 + 32002*x[3]^2*x[6]*x[8]^2*x[10]^2 + 32001*x[1]*x[3]*x[4]^2*x[8]^2 + 32001*x[1]*x[2]^2*x[3]*x[10]^2 + 2*x[1]*x[3]*x[8]^2*x[10]^2, x[2]^3*x[9]^2*x[10]^2 + 32002*x[2]^2*x[5]*x[9]^2*x[10]^2 + 32001*x[1]*x[2]*x[4]^2*x[9]^2 + 32001*x[1]*x[2]*x[3]^2*x[10]^2 + 2*x[1]*x[2]*x[9]^2*x[10]^2, x[7]^2*x[8]^2*x[9]^2*x[10]^2 + x[3]^2*x[8]^2*x[10]^4 + x[2]^2*x[9]^2*x[10]^4 + 32002*x[8]^2*x[9]^2*x[10]^4 + 32001*x[1]*x[4]*x[7]*x[8]^2*x[9]^2 + 2*x[1]*x[3]^2*x[8]^2*x[10]^2 + 2*x[1]*x[2]^2*x[9]^2*x[10]^2 + 32001*x[1]*x[8]^2*x[9]^2*x[10]^2, x[1]*x[2]^3*x[4]*x[9]^2 + x[1]*x[2]*x[4]^3*x[9]^2 + 32002*x[1]*x[2]^2*x[4]*x[5]*x[9]^2 + 32002*x[1]*x[2]*x[4]^2*x[7]*x[9]^2 + 32001*x[1]^2*x[2]*x[3]^2*x[4] + 2*x[1]^2*x[2]*x[4]*x[9]^2, x[1]*x[2]^3*x[3]*x[10]^2 + x[1]*x[2]*x[3]^3*x[10]^2 + 32002*x[1]*x[2]^2*x[3]*x[5]*x[10]^2 + 32002*x[1]*x[2]*x[3]^2*x[6]*x[10]^2 + 32001*x[1]^2*x[2]*x[3]*x[4]^2 + 2*x[1]^2*x[2]*x[3]*x[10]^2, x[1]*x[3]^3*x[4]*x[8]^2 + x[1]*x[3]*x[4]^3*x[8]^2 + 32002*x[1]*x[3]^2*x[4]*x[6]*x[8]^2 + 32002*x[1]*x[3]*x[4]^2*x[7]*x[8]^2 + 32001*x[1]^2*x[2]^2*x[3]*x[4] + 2*x[1]^2*x[3]*x[4]*x[8]^2, x[1]^2*x[2]^3*x[3]*x[4] + x[1]^2*x[2]*x[3]^3*x[4] + x[1]^2*x[2]*x[3]*x[4]^3 + 32002*x[1]^2*x[2]^2*x[3]*x[4]*x[5] + 32002*x[1]^2*x[2]*x[3]^2*x[4]*x[6] + 32002*x[1]^2*x[2]*x[3]*x[4]^2*x[7] + 2*x[1]^3*x[2]*x[3]*x[4]
diff --git a/gb/fateman.txt b/gb/fateman.txt
diff --git a/gb/four_body.txt b/gb/four_body.txt
diff --git a/gb/gerdt_91a.txt b/gb/gerdt_91a.txt
@@ -0,0 +1 @@
+x[5]^3 + 19202*x[2]*x[6]^2 + 28802*x[2]*x[4] + 28802*x[2]*x[5], x[3]*x[6]^2 + 15998*x[3]*x[4] + 14*x[3]*x[5], x[5]*x[6]^2 + 14222*x[4]*x[5] + 10684*x[5]^2 + 10663*x[3]*x[6] + 10635*x[2], x[6]^3 + 10663*x[4]*x[6] + 28465*x[5]*x[6] + 21319*x[3], x[4]*x[6] + 21332*x[5]*x[6] + 14*x[3], x[4]*x[5] + 31997*x[5]^2 + 25600*x[3]*x[6] + 6409*x[2], x[4]^2 + 21306*x[5]^2 + 6387*x[3]*x[6] + 4324*x[2], x[5]^2*x[6] + 15998*x[2]*x[6], x[3]*x[4] + 10667*x[2]*x[6], x[3]*x[5] + 21335*x[2]*x[6], x[2]*x[6]^2 + 15998*x[2]*x[4] + 21*x[2]*x[5] + 15928*x[1], x[3]^2 + 21336*x[2]*x[5] + 10663*x[1], x[2]*x[5]*x[6] + 15991*x[1]*x[6], x[2]*x[5]^2 + 31996*x[2]^2 + 16012*x[1]*x[5], x[2]*x[4] + 31982*x[1], x[2]*x[3] + 32002*x[1]*x[6], x[1]*x[5]*x[6] + 15991*x[1]*x[3], x[1]*x[5]^2 + 28803*x[1]*x[3]*x[6] + 19199*x[1]*x[2], x[2]^2 + 16002*x[1]*x[4] + 31999*x[1]*x[5], x[1]*x[6]^2 + 31996*x[1]*x[4] + 21*x[1]*x[5]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		x[1] + x[4] + 32002x[5] + 32002x[6] + 32002x[8], x[4]^2 + 16001x[3]x[5] + 16000x[4]x[5] + 16002x[5]^2 + 16001x[2]x[6] + 16000x[4]x[6] + x[5]x[6] + 16002x[6]^2 + 16000x[4]x[8] + x[5]x[8] + x[6]x[8] + 16002x[8]^2 + 24002x[4] + 8001x[5] + 8001x[6] + 8001x[8] + 80011, x[2]^2x[6] + 32002x[2]x[3]x[6] + 24002x[2]x[3]x[8] + 16001x[2]x[3] + 31263x[3]x[4] + 21780x[2]x[5] + 5111x[3]x[5] + 22002x[4]x[5] + 10001x[5]^2 + 18446x[2]x[6] + 8445x[3]x[6] + 22002x[4]x[6] + 20002x[5]x[6] + 10001x[6]^2 + 21780x[2]x[8] + 8445x[3]x[8] + 22002x[4]x[8] + 20002x[5]x[8] + 20002x[6]x[8] + 10001x[8]^2 + 11557x[2] + 16150x[3] + 5000x[4] + 19002x[5] + 19002x[6] + 19002x[8] + 230021, x[3]^2x[6]x[8] + x[3]^2x[8]^2 + 30669x[2]^2x[5] + 16299x[2]x[3]x[6] + 14372x[3]^2x[6] + 7601x[4]x[5]x[6] + 24402x[5]^2x[6] + 16098x[2]x[6]^2 + 15905x[3]x[6]^2 + 7601x[4]x[6]^2 + 16801x[5]x[6]^2 + 24402x[6]^3 + 30669x[2]^2x[8] + 31038x[2]x[3]x[8] + 14374x[3]^2x[8] + 30054x[2]x[4]x[8] + 14205x[3]x[4]x[8] + 6745x[2]x[5]x[8] + 25691x[3]x[5]x[8] + 21351x[4]x[5]x[8] + 10652x[5]^2x[8] + 13757x[2]x[6]x[8] + 2581x[3]x[6]x[8] + 28952x[4]x[6]x[8] + 6102x[5]x[6]x[8] + 27453x[6]^2x[8] + 6745x[2]x[8]^2 + 18679x[3]x[8]^2 + 21351x[4]x[8]^2 + 21304x[5]x[8]^2 + 13703x[6]x[8]^2 + 10652x[8]^3 + 29335x[2]^2 + 30073x[2]x[3] + 28744x[3]^2 + 11672x[3]x[4] + 12688x[2]x[5] + 21297x[3]x[5] + 13027x[4]x[5] + 27041x[5]^2 + 20467x[2]x[6] + 13325x[3]x[6] + 12983x[4]x[6] + 21745x[5]x[6] + 26707x[6]^2 + 24229x[2]x[8] + 1075x[3]x[8] + 28690x[4]x[8] + 16706x[5]x[8] + 16372x[6]x[8] + 21668x[8]^2 + 25376x[2] + 6705x[3] + 2897x[4] + 19735x[5] + 2222x[6] + 3348x[8] + 41581, x[2]^2x[7]x[8] + 5399x[3]x[4]x[7]x[8] + 11436x[3]x[5]x[7]x[8] + 10101x[4]x[5]x[7]x[8] + 21902x[5]^2x[7]x[8] + 13007x[2]x[6]x[7]x[8] + 26604x[3]x[6]x[7]x[8] + 10101x[4]x[6]x[7]x[8] + 11801x[5]x[6]x[7]x[8] + 21902x[6]^2x[7]x[8] + 28175x[2]x[7]x[8]^2 + 26604x[3]x[7]x[8]^2 + 10101x[4]x[7]x[8]^2 + 11801x[5]x[7]x[8]^2 + 11801x[6]x[7]x[8]^2 + 21902x[7]x[8]^3 + 4573x[2]^2x[5] + 24384x[2]x[3]x[6] + 12192x[3]^2x[6] + 6641x[4]x[5]x[6] + 25362x[5]^2x[6] + 2530x[2]x[6]^2 + 29473x[3]x[6]^2 + 6641x[4]x[6]^2 + 18721x[5]x[6]^2 + 25362x[6]^3 + 2x[2]^2x[7] + 9573x[2]x[4]x[7] + 28394x[3]x[4]x[7] + 274x[3]x[5]x[7] + 26000x[4]x[5]x[7] + 24260x[5]^2x[7] + 18576x[2]x[6]x[7] + 30423x[3]x[6]x[7] + 17462x[4]x[6]x[7] + 6798x[5]x[6]x[7] + 14541x[6]^2x[7] + 4573x[2]^2x[8] + 13799x[2]x[3]x[8] + 12192x[3]^2x[8] + 6757x[2]x[4]x[8] + 14289x[3]x[4]x[8] + 17358x[2]x[5]x[8] + 30784x[3]x[5]x[8] + 12626x[4]x[5]x[8] + 19377x[5]^2x[8] + 27949x[2]x[6]x[8] + 17663x[3]x[6]x[8] + 19267x[4]x[6]x[8] + 25472x[5]x[6]x[8] + 6095x[6]^2x[8] + 9066x[2]x[7]x[8] + 25024x[3]x[7]x[8] + 26713x[4]x[7]x[8] + 29550x[5]x[7]x[8] + 19831x[6]x[7]x[8] + 17358x[2]x[8]^2 + 20193x[3]x[8]^2 + 12626x[4]x[8]^2 + 6751x[5]x[8]^2 + 110x[6]x[8]^2 + 5290x[7]x[8]^2 + 19377x[8]^3 + 9146x[2]^2 + 27598x[2]x[3] + 24384x[3]^2 + 6747x[3]x[4] + 24466x[2]x[5] + 10613x[3]x[5] + 20790x[4]x[5] + 29699x[5]^2 + 28527x[2]x[6] + 1492x[3]x[6] + 27779x[4]x[6] + 26794x[5]x[6] + 29098x[6]^2 + 11014x[2]x[7] + 25234x[3]x[7] + 21679x[4]x[7] + 31018x[5]x[7] + 3042x[6]x[7] + 1933x[2]x[8] + 29224x[3]x[8] + 26421x[4]x[8] + 27514x[5]x[8] + 26913x[6]x[8] + 13993x[7]x[8] + 29818x[8]^2 + 16929x[2] + 19851x[3] + 9053x[4] + 24967x[5] + 12033x[6] + 30684x[7] + 24085x[8] + 266231, x[2]x[4] + 14223x[3]x[4] + 10667x[2]x[5] + 10668x[3]x[5] + 10667x[2]x[6] + 10668x[3]x[6] + 10667x[2]x[8] + 10668x[3]x[8] + 21335x[2] + 3556x[3], x[2]x[3]x[6] + 32002x[3]^2x[6] + 32002x[3]^2x[8] + 32001x[3]^2 + 5784x[2]x[6] + 26219x[3]x[6] + 21556x[4]x[6] + 26052x[5]x[6] + 26052x[6]^2 + 27392x[4]x[7] + 11180x[5]x[7] + 11180x[6]x[7] + 26219x[3]x[8] + 26122x[4]x[8] + 14877x[5]x[8] + 8926x[6]x[8] + 11180x[7]x[8] + 14877x[8]^2 + 20435x[3] + 28117x[4] + 27251x[5] + 4902x[6] + 17749x[7] + 19121x[8] + 186131, x[2]x[6]^2 + 32002x[3]x[6]^2 + 32002x[3]x[6]x[8] + 5470x[2]x[6] + 26531x[3]x[6] + 16036x[4]x[6] + 15998x[5]x[6] + 15998x[6]^2 + 5290x[4]x[7] + 6524x[5]x[7] + 6524x[6]x[7] + 26533x[3]x[8] + 31011x[4]x[8] + 7222x[5]x[8] + 23220x[6]x[8] + 6524x[7]x[8] + 7222x[8]^2 + 21063x[3] + 19300x[4] + 28126x[5] + 12152x[6] + 18338x[7] + 9575x[8] + 115461, x[2]x[6]x[7] + x[2]x[7]x[8] + 25421x[2]x[6] + 6582x[3]x[6] + 11704x[4]x[6] + 16479x[5]x[6] + 16479x[6]^2 + 2x[2]x[7] + 19318x[4]x[7] + 15633x[5]x[7] + 15633x[6]x[7] + 6582x[3]x[8] + 15308x[4]x[8] + 1855x[5]x[8] + 18334x[6]x[8] + 15633x[7]x[8] + 1855x[8]^2 + 13164x[3] + 19073x[4] + 28875x[5] + 9531x[6] + 18581x[7] + 15890x[8] + 128171, x[2]x[3]x[8] + 2x[2]x[3] + 4362x[2]x[6] + 27641x[3]x[6] + 24148x[4]x[6] + 25764x[5]x[6] + 25764x[6]^2 + 13022x[4]x[7] + 2109x[5]x[7] + 2109x[6]x[7] + 27641x[3]x[8] + 29647x[4]x[8] + 25153x[5]x[8] + 18914x[6]x[8] + 2109x[7]x[8] + 25153x[8]^2 + 23279x[3] + 19146x[4] + 4068x[5] + 15738x[6] + 17240x[7] + 20015x[8] + 272821, x[3]x[6]x[7] + x[2]x[7]x[8] + x[3]x[7]x[8] + 13358x[2]x[6] + 18645x[3]x[6] + 13253x[4]x[6] + 12751x[5]x[6] + 12751x[6]^2 + 2x[2]x[7] + 2x[3]x[7] + 16470x[4]x[7] + 19505x[5]x[7] + 19505x[6]x[7] + 18645x[3]x[8] + 27546x[4]x[8] + 7607x[5]x[8] + 20358x[6]x[8] + 19505x[7]x[8] + 7607x[8]^2 + 5287x[3] + 29051x[4] + 2410x[5] + 9162x[6] + 23477x[7] + 13167x[8] + 18681, x[4]x[6]x[7] + 3556x[5]x[7]x[8] + 3556x[6]x[7]x[8] + 3556x[7]x[8]^2 + 27162x[2]x[6] + 4841x[3]x[6] + 7342x[4]x[6] + 6296x[5]x[6] + 6296x[6]^2 + 31024x[4]x[7] + 109x[5]x[7] + 110x[6]x[7] + 4841x[3]x[8] + 26869x[4]x[8] + 14794x[5]x[8] + 21090x[6]x[8] + 7221x[7]x[8] + 14794x[8]^2 + 9682x[3] + 18873x[4] + 6957x[5] + 26891x[6] + 31242x[7] + 31411x[8] + 7841, x[5]x[6]x[7] + x[6]^2x[7] + x[5]x[7]x[8] + 2x[6]x[7]x[8] + x[7]x[8]^2 + 31820x[2]x[6] + 183x[3]x[6] + 22109x[4]x[6] + 11767x[5]x[6] + 11767x[6]^2 + 18319x[4]x[7] + 15746x[5]x[7] + 15748x[6]x[7] + 183x[3]x[8] + 24423x[4]x[8] + 7954x[5]x[8] + 19721x[6]x[8] + 15748x[7]x[8] + 7954x[8]^2 + 366x[3] + 28450x[4] + 25225x[5] + 6862x[6] + 17808x[7] + 1550x[8] + 148941, x[2]x[6]x[8] + 32002x[3]x[6]x[8] + 32002x[3]x[8]^2 + 16058x[2]x[6] + 15945x[3]x[6] + 14767x[4]x[6] + 5471x[5]x[6] + 5471x[6]^2 + 12371x[4]x[7] + 12849x[5]x[7] + 12849x[6]x[7] + 15943x[3]x[8] + 12357x[4]x[8] + 9295x[5]x[8] + 14766x[6]x[8] + 12849x[7]x[8] + 9295x[8]^2 + 31890x[3] + 13767x[4] + 3823x[5] + 29532x[6] + 6066x[7] + 2767x[8] + 214131, x[4]x[7]x[8] + 28447x[5]x[7]x[8] + 28447x[6]x[7]x[8] + 28447x[7]x[8]^2 + 7626x[2]x[6] + 24377x[3]x[6] + 28842x[4]x[6] + 7463x[5]x[6] + 7463x[6]^2 + 27336x[4]x[7] + 18298x[5]x[7] + 18298x[6]x[7] + 24377x[3]x[8] + 19983x[4]x[8] + 19115x[5]x[8] + 26578x[6]x[8] + 11187x[7]x[8] + 19115x[8]^2 + 16751x[3] + 3232x[4] + 30630x[5] + 10392x[6] + 31929x[7] + 24837x[8] + 4861, x[3]x[4] + 964x[2]x[6] + 31039x[3]x[6] + 161x[4]x[6] + 3538x[5]x[6] + 3538x[6]^2 + 25962x[4]x[7] + 7783x[5]x[7] + 7783x[6]x[7] + 31039x[3]x[8] + 12587x[4]x[8] + 12825x[5]x[8] + 16363x[6]x[8] + 7783x[7]x[8] + 12825x[8]^2 + 30076x[3] + 21093x[4] + 19313x[5] + 26550x[6] + 9525x[7] + 25547x[8] + 277161, x[2]x[5] + 27097x[2]x[6] + 4907x[3]x[6] + 28925x[4]x[6] + 342x[5]x[6] + 342x[6]^2 + 8647x[4]x[7] + 6151x[5]x[7] + 6151x[6]x[7] + x[2]x[8] + 4907x[3]x[8] + 20155x[4]x[8] + 15540x[5]x[8] + 15882x[6]x[8] + 6151x[7]x[8] + 15540x[8]^2 + 2x[2] + 9814x[3] + 19185x[4] + 17568x[5] + 15174x[6] + 20949x[7] + 4797x[8] + 223181, x[3]x[5] + 20514x[2]x[6] + 11490x[3]x[6] + 472x[4]x[6] + 17727x[5]x[6] + 17727x[6]^2 + 8374x[4]x[7] + 16849x[5]x[7] + 16849x[6]x[7] + 11490x[3]x[8] + 24454x[4]x[8] + 25730x[5]x[8] + 11454x[6]x[8] + 16849x[7]x[8] + 25730x[8]^2 + 22980x[3] + 17164x[4] + 1375x[5] + 5298x[6] + 10069x[7] + 13283x[8] + 199141, x[4]x[5] + 5078x[2]x[6] + 26925x[3]x[6] + 21926x[4]x[6] + 26011x[5]x[6] + 26011x[6]^2 + 21750x[4]x[7] + 8251x[5]x[7] + 8251x[6]x[7] + 26925x[3]x[8] + 4316x[4]x[8] + 17300x[5]x[8] + 11308x[6]x[8] + 8251x[7]x[8] + 17300x[8]^2 + 21847x[3] + 29572x[4] + 1964x[5] + 11905x[6] + 6249x[7] + 8876x[8] + 14951, x[5]^2 + 10066x[2]x[6] + 21937x[3]x[6] + 1469x[4]x[6] + 24730x[5]x[6] + 24729x[6]^2 + 24338x[4]x[7] + 22187x[5]x[7] + 22187x[6]x[7] + 21937x[3]x[8] + 14385x[4]x[8] + 19739x[5]x[8] + 12464x[6]x[8] + 22187x[7]x[8] + 19738x[8]^2 + 11871x[3] + 26751x[4] + 387x[5] + 19309x[6] + 4706x[7] + 22243x[8] + 275211, x[4]x[6]^2 + 28447x[5]x[6]^2 + 28447x[6]^3 + 28447x[6]^2x[8] + 26527x[2]x[6] + 5476x[3]x[6] + 7617x[4]x[6] + 20489x[5]x[6] + 13378x[6]^2 + 22802x[4]x[7] + 11690x[5]x[7] + 11690x[6]x[7] + 5476x[3]x[8] + 30614x[4]x[8] + 10822x[5]x[8] + 31311x[6]x[8] + 11690x[7]x[8] + 10822x[8]^2 + 10952x[3] + 24584x[4] + 31002x[5] + 15591x[6] + 14179x[7] + 19254x[8] + 225821, x[4]x[7]^2 + 28447x[5]x[7]^2 + 28447x[6]x[7]^2 + 28447x[7]^2x[8] + 20054x[2]x[6] + 11949x[3]x[6] + 22602x[4]x[6] + 18824x[5]x[6] + 18824x[6]^2 + 9705x[4]x[7] + 20257x[5]x[7] + 20257x[6]x[7] + 24892x[7]^2 + 11949x[3]x[8] + 29783x[4]x[8] + 21582x[5]x[8] + 8403x[6]x[8] + 20257x[7]x[8] + 21582x[8]^2 + 23898x[3] + 9976x[4] + 12688x[5] + 8932x[6] + 18216x[7] + 21629x[8] + 33491, x[4]x[6]x[8] + 28447x[5]x[6]x[8] + 28447x[6]^2x[8] + 28447x[6]x[8]^2 + 25531x[2]x[6] + 6472x[3]x[6] + 8267x[4]x[6] + 13305x[5]x[6] + 13305x[6]^2 + 23365x[4]x[7] + 25851x[5]x[7] + 25851x[6]x[7] + 6472x[3]x[8] + 27506x[4]x[8] + 21835x[5]x[8] + 28029x[6]x[8] + 25851x[7]x[8] + 21835x[8]^2 + 12944x[3] + 29263x[4] + 1703x[5] + 4577x[6] + 11061x[7] + 8873x[8] + 6661, x[4]x[8]^2 + 28447x[5]x[8]^2 + 28447x[6]x[8]^2 + 28447x[8]^3 + 28845x[2]x[6] + 3158x[3]x[6] + 24085x[4]x[6] + 25771x[5]x[6] + 25771x[6]^2 + 15993x[4]x[7] + 30226x[5]x[7] + 30226x[6]x[7] + 3158x[3]x[8] + 7298x[4]x[8] + 2745x[5]x[8] + 28516x[6]x[8] + 30226x[7]x[8] + 27637x[8]^2 + 6316x[3] + 21924x[4] + 7179x[5] + 18800x[6] + 12439x[7] + 19967x[8] + 42791
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		x[1]^3x[3] + 31999x[1]x[2]^2x[3] + 31999x[1]^2x[2]x[4] + 32001x[2]^3x[4] + 31999x[1]^2 + 10x[2]^2 + 31999x[1]x[3] + 10x[2]x[4] + 320011, x[1]x[3]^3 + 31999x[2]x[3]^2x[4] + 31999x[1]x[3]x[4]^2 + 32001x[2]x[4]^3 + 31999x[1]x[3] + 31999x[3]^2 + 10x[2]x[4] + 10x[4]^2 + 320011, x[2]^2x[3] + 2x[1]x[2]x[4] + 32001x[1] + 32002x[3], x[2]x[3]x[4] + 16002x[1]x[4]^2 + 16001x[1] + 32002x[3], x[1]x[2]x[4]^2 + 10668x[1]x[2] + 21336x[2]x[3] + 21334x[1]x[4] + 10667x[3]x[4], x[1]^2x[4]^3 + 10667x[1]x[2]x[3] + 21334x[2]x[3]^2 + 32002x[1]^2x[4] + 21336x[1]x[3]x[4] + 10669x[3]^2x[4], x[1]^2x[2]x[4] + 16002x[1]x[3]x[4]^2 + 10666x[1]^2 + 10669x[2]^2 + 16001x[1]x[3] + 21336x[3]^2 + 21334x[4]^2, x[2]^3x[4] + 32002x[2]x[4]^3 + 10669x[1]^2 + 10666x[2]^2 + 21334x[3]^2 + 21337x[4]^2, x[1]x[3]x[4]^3 + 10667x[1]^2x[2] + 21334x[1]x[2]x[3] + 10667x[1]^2x[4] + 21338x[2]^2x[4] + 10668x[1]x[3]x[4] + 10669x[3]^2x[4] + 10665x[4]^3, x[1]x[4]^4 + 10669x[1]x[2]^2 + 21338x[1]^2x[3] + 10665x[3]^3 + 10667x[1]x[4]^2 + 10669x[3]x[4]^2 + 10666x[1] + 21334x[3], x[2]x[4]^6 + 21335x[2]x[3]^4 + 10668x[3]^4x[4] + 10663x[2]^2x[4]^3 + 21336x[3]^2x[4]^3 + 10663x[2]x[4]^4 + 10666x[4]^5 + 10671x[1]^2x[2] + 28446x[2]^3 + 10669x[1]x[2]x[3] + 21332x[2]x[3]^2 + 24899x[1]^2x[4] + 17775x[2]^2x[4] + 21334x[1]x[3]x[4] + 17771x[3]^2x[4] + 3562x[2]x[4]^2 + 14234x[4]^3 + 21334x[2] + 10668x[4], x[1]^4 + 32002x[3]^4 + 10665x[1]^2 + 10673x[2]^2 + 21338x[3]^2 + 21330x[4]^2, x[1]^3x[2] + 32002x[1]x[2]x[3]^2 + 23999x[1]x[2]^2x[4] + 16001x[1]^2x[3]x[4] + 16002x[3]^3x[4] + 30004x[1]x[4]^3 + 4000x[3]x[4]^3 + 3x[1]x[2] + 12003x[2]x[3] + 10000x[1]x[4] + 16000x[3]x[4], x[3]^4x[4]^2 + 4x[2]^2x[4]^4 + 32001x[3]^2x[4]^4 + 32002x[3]^4 + 10673x[1]^2x[4]^2 + 10637x[2]^2x[4]^2 + 31995x[1]x[3]x[4]^2 + 21326x[3]^2x[4]^2 + 31979x[2]x[4]^3 + 21346x[4]^4 + 17799x[1]^2 + 17767x[2]^2 + 8x[1]x[3] + 14210x[3]^2 + 24x[2]x[4] + 14256x[4]^2 + 319991, x[1]x[2]^3 + 2x[1]x[2]^2x[4] + 2x[1]^2x[3]x[4] + 32001x[3]^3x[4] + 7998x[1]x[4]^3 + 16001x[3]x[4]^3 + 21337x[1]x[2] + 26671x[2]x[3] + 2665x[1]x[4] + 21334x[3]x[4], x[1]^2x[2]x[3] + 32002x[2]x[3]^3 + 32002x[1]x[2]^2x[4] + 32002x[1]^2x[3]x[4] + x[3]^3x[4] + 24004x[1]x[4]^3 + 16002x[3]x[4]^3 + 21334x[1]x[2] + 26668x[2]x[3] + 18669x[1]x[4] + 21336x[3]x[4], x[1]^3x[4] + 8002x[1]x[2]^2x[4] + 16002x[1]^2x[3]x[4] + 32002x[1]x[3]^2x[4] + 16001x[3]^3x[4] + 18001x[1]x[4]^3 + 28002x[3]x[4]^3 + 21335x[1]x[2] + 30670x[2]x[3] + 16668x[1]x[4] + 5334x[3]x[4], x[1]^2x[2]^2 + 32002x[3]^2x[4]^2 + 10672x[1]^2 + 10665x[2]^2 + 21331x[3]^2 + 21338x[4]^2, x[2]^4 + 32002x[4]^4 + 10665x[1]^2 + 10671x[2]^2 + 21338x[3]^2 + 21332x[4]^2, x[1]^2x[3]^2 + 32002x[3]^4 + 32002x[2]^2x[4]^2 + x[4]^4 + x[2]^2 + 32002x[4]^2, x[1]^2x[3]x[4]^2 + 32002x[3]^3x[4]^2 + 21334x[1]^3 + 21338x[1]x[2]^2 + 10672x[1]^2x[3] + 10669x[1]x[3]^2 + 21331x[3]^3 + 10673x[1]x[2]x[4] + 10665x[1]x[4]^2 + 21338x[3]x[4]^2 + 21330x[1] + 10665x[3], x[2]^2x[4]^3 + 32002x[4]^5 + 21334x[1]^2x[2] + 21337x[2]^3 + 10669x[2]x[3]^2 + 10665x[1]^2x[4] + 10671x[2]^2x[4] + 21338x[3]^2x[4] + 10666x[2]x[4]^2 + 21332x[4]^3, x[3]^5 + 32001x[3]^3x[4]^2 + 21330x[1]^3 + 21342x[1]x[2]^2 + 10673x[1]^2x[3] + 10665x[1]x[3]^2 + 21324x[3]^3 + 32x[1]x[2]x[4] + 10677x[3]x[4]^2 + 10645x[1] + 21326x[3], x[3]^2x[4]^3 + 10666x[1]^2x[2] + 10669x[2]^3 + 10667x[1]x[2]x[3] + 10668x[2]x[3]^2 + 21331x[1]^2x[4] + 21338x[2]^2x[4] + 21336x[1]x[3]x[4] + 21340x[3]^2x[4] + 21334x[2]x[4]^2 + 10665x[4]^3, x[3]x[4]^4 + 10665x[1]^3 + 10669x[1]x[2]^2 + 21338x[1]^2x[3] + 21338x[1]x[3]^2 + 10665x[3]^3 + 8x[1]x[2]x[4] + 21340x[3]x[4]^2 + 21326x[1] + 10662x[3], x[4]^7 + 10668x[2]x[3]^4 + 21335x[3]^4x[4] + 21329x[2]x[4]^4 + 10663x[4]^5 + 28432x[1]^2x[2] + 16x[2]^3 + 7110x[1]x[2]x[3] + 7126x[2]x[3]^2 + 31979x[1]^2x[4] + 7142x[2]^2x[4] + 24893x[1]x[3]x[4] + 28472x[3]^2x[4] + 31993x[2]x[4]^2 + 24866x[4]^3 + 10668x[2] + 21334*x[4]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		x[2]^2x[3]^2x[4] + 31999x[1]x[3]^3x[4] + 31997x[2]^3x[4]^2 + 27x[1]x[2]x[3]x[4]^2 + 31949x[1]^2x[4]^3 + 9x[2]^3x[3] + 31963x[1]x[2]x[3]^2 + 31997x[1]x[2]^2x[4] + 144x[1]^2x[3]x[4] + 31907x[1]^2x[2], x[2]^2x[3]x[4]^2 + 31997x[1]x[3]^2x[4]^2 + 9x[1]x[2]x[4]^3 + 31997x[2]^2x[3]^2 + 32x[1]x[3]^3 + 9x[2]^3x[4] + 31923x[1]x[2]x[3]x[4] + 72x[1]^2x[4]^2 + 72x[1]x[2]^2 + 31875x[1]^2x[3], x[2]x[3]^2x[4]^2 + 31997x[2]^2x[4]^3 + 9x[1]x[3]x[4]^3 + 31999x[2]x[3]^3 + 27x[2]^2x[3]x[4] + 31963x[1]x[3]^2x[4] + 31997x[1]x[2]x[4]^2 + 31949x[2]^3 + 144x[1]x[2]x[3] + 31907x[1]^2x[4], x[3]^3x[4]^2 + 15997x[2]x[3]x[4]^3 + 16015x[1]x[4]^4 + 31999x[3]^4 + 20x[2]x[3]^2x[4] + 16003x[2]^2x[4]^2 + 31931x[1]x[3]x[4]^2 + 31967x[2]^2x[3] + 64x[1]x[3]^2 + 96x[1]x[2]x[4] + 31811x[1]^2, x[2]^3x[4]^3 + 15997x[1]x[2]x[3]x[4]^3 + 16015x[1]^2x[4]^4 + 15997x[2]^3x[3]x[4] + 20x[1]x[2]x[3]^2x[4] + 3x[1]x[2]^2x[4]^2 + 31931x[1]^2x[3]x[4]^2 + 16015x[2]^4 + 31931x[1]x[2]^2x[3] + 64x[1]^2x[3]^2 + 144x[1]^2x[2]x[4] + 31747x[1]^3, x[2]^2x[3]^3 + 31999x[1]x[3]^4 + 15997x[2]^3x[3]x[4] + 20x[1]x[2]x[3]^2x[4] + 16003x[1]x[2]^2x[4]^2 + 31967x[1]^2x[3]x[4]^2 + 16015x[2]^4 + 31931x[1]x[2]^2x[3] + 64x[1]^2x[3]^2 + 96x[1]^2x[2]x[4] + 31811*x[1]^3
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		x[4]^2x[8]^2x[9]^2 + x[3]^2x[8]^2x[10]^2 + x[2]^2x[9]^2x[10]^2 + 32002x[8]^2x[9]^2x[10]^2, x[2]x[8]^2 + 32002x[5]x[8]^2 + 2x[1]x[2], x[3]x[9]^2 + 32002x[6]x[9]^2 + 2x[1]x[3], x[4]x[10]^2 + 32002x[7]x[10]^2 + 2x[1]x[4], x[3]^3x[8]^2x[10]^2 + 32002x[3]^2x[6]x[8]^2x[10]^2 + 32001x[1]x[3]x[4]^2x[8]^2 + 32001x[1]x[2]^2x[3]x[10]^2 + 2x[1]x[3]x[8]^2x[10]^2, x[2]^3x[9]^2x[10]^2 + 32002x[2]^2x[5]x[9]^2x[10]^2 + 32001x[1]x[2]x[4]^2x[9]^2 + 32001x[1]x[2]x[3]^2x[10]^2 + 2x[1]x[2]x[9]^2x[10]^2, x[7]^2x[8]^2x[9]^2x[10]^2 + x[3]^2x[8]^2x[10]^4 + x[2]^2x[9]^2x[10]^4 + 32002x[8]^2x[9]^2x[10]^4 + 32001x[1]x[4]x[7]x[8]^2x[9]^2 + 2x[1]x[3]^2x[8]^2x[10]^2 + 2x[1]x[2]^2x[9]^2x[10]^2 + 32001x[1]x[8]^2x[9]^2x[10]^2, x[1]x[2]^3x[4]x[9]^2 + x[1]x[2]x[4]^3x[9]^2 + 32002x[1]x[2]^2x[4]x[5]x[9]^2 + 32002x[1]x[2]x[4]^2x[7]x[9]^2 + 32001x[1]^2x[2]x[3]^2x[4] + 2x[1]^2x[2]x[4]x[9]^2, x[1]x[2]^3x[3]x[10]^2 + x[1]x[2]x[3]^3x[10]^2 + 32002x[1]x[2]^2x[3]x[5]x[10]^2 + 32002x[1]x[2]x[3]^2x[6]x[10]^2 + 32001x[1]^2x[2]x[3]x[4]^2 + 2x[1]^2x[2]x[3]x[10]^2, x[1]x[3]^3x[4]x[8]^2 + x[1]x[3]x[4]^3x[8]^2 + 32002x[1]x[3]^2x[4]x[6]x[8]^2 + 32002x[1]x[3]x[4]^2x[7]x[8]^2 + 32001x[1]^2x[2]^2x[3]x[4] + 2x[1]^2x[3]x[4]x[8]^2, x[1]^2x[2]^3x[3]x[4] + x[1]^2x[2]x[3]^3x[4] + x[1]^2x[2]x[3]x[4]^3 + 32002x[1]^2x[2]^2x[3]x[4]x[5] + 32002x[1]^2x[2]x[3]^2x[4]x[6] + 32002x[1]^2x[2]x[3]x[4]^2x[7] + 2x[1]^3x[2]x[3]*x[4]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		x[5]^3 + 19202x[2]x[6]^2 + 28802x[2]x[4] + 28802x[2]x[5], x[3]x[6]^2 + 15998x[3]x[4] + 14x[3]x[5], x[5]x[6]^2 + 14222x[4]x[5] + 10684x[5]^2 + 10663x[3]x[6] + 10635x[2], x[6]^3 + 10663x[4]x[6] + 28465x[5]x[6] + 21319x[3], x[4]x[6] + 21332x[5]x[6] + 14x[3], x[4]x[5] + 31997x[5]^2 + 25600x[3]x[6] + 6409x[2], x[4]^2 + 21306x[5]^2 + 6387x[3]x[6] + 4324x[2], x[5]^2x[6] + 15998x[2]x[6], x[3]x[4] + 10667x[2]x[6], x[3]x[5] + 21335x[2]x[6], x[2]x[6]^2 + 15998x[2]x[4] + 21x[2]x[5] + 15928x[1], x[3]^2 + 21336x[2]x[5] + 10663x[1], x[2]x[5]x[6] + 15991x[1]x[6], x[2]x[5]^2 + 31996x[2]^2 + 16012x[1]x[5], x[2]x[4] + 31982x[1], x[2]x[3] + 32002x[1]x[6], x[1]x[5]x[6] + 15991x[1]x[3], x[1]x[5]^2 + 28803x[1]x[3]x[6] + 19199x[1]x[2], x[2]^2 + 16002x[1]x[4] + 31999x[1]x[5], x[1]x[6]^2 + 31996x[1]x[4] + 21x[1]x[5]