#C corps p = 65521
#vars [ s1, s2, s3, e4]

#weights <2 2 2 1>

#list 

[
    4633*e4^8 + 19252*s1*e4^6 + 27922*s2*e4^6 + 4644*s3*e4^6 + 16747*e4^7 + 
        43856*s1^2*e4^4 + 9760*s1*s2*e4^4 + 31862*s2^2*e4^4 + 38422*s1*s3*e4^4 + 
        57726*s2*s3*e4^4 + 46807*s3^2*e4^4 + 34022*s1*e4^5 + 56375*s2*e4^5 + 
        19847*s3*e4^5 + 19474*e4^6 + 17762*s1^3*e4^2 + 30378*s1^2*s2*e4^2 + 
        59703*s1*s2^2*e4^2 + 41838*s2^3*e4^2 + 45718*s1^2*s3*e4^2 + 
        55346*s1*s2*s3*e4^2 + 63146*s2^2*s3*e4^2 + 22322*s1*s3^2*e4^2 + 
        58986*s2*s3^2*e4^2 + 45361*s3^3*e4^2 + 64223*s1^2*e4^3 + 57569*s1*s2*e4^3 + 
        31680*s2^2*e4^3 + 56256*s1*s3*e4^3 + 13684*s2*s3*e4^3 + 52295*s3^2*e4^3 + 
        26617*s1*e4^4 + 8754*s2*e4^4 + 7771*s3*e4^4 + 24429*e4^5 + 741*s1^4 + 
        39186*s1^3*s2 + 3903*s1^2*s2^2 + 51021*s1*s2^3 + 53089*s2^4 + 51007*s1^3*s3 + 
        64864*s1^2*s2*s3 + 41040*s1*s2^2*s3 + 12682*s2^3*s3 + 61481*s1^2*s3^2 + 
        48515*s1*s2*s3^2 + 22143*s2^2*s3^2 + 28017*s1*s3^3 + 58581*s2*s3^3 + 48367*s3^4 
        + 40693*s1^3*e4 + 11595*s1^2*s2*e4 + 65274*s1*s2^2*e4 + 65388*s2^3*e4 + 
        16901*s1^2*s3*e4 + 4634*s1*s2*s3*e4 + 19418*s2^2*s3*e4 + 1041*s1*s3^2*e4 +
        56554*s2*s3^2*e4 + 24835*s3^3*e4 + 14893*s1^2*e4^2 + 43437*s1*s2*e4^2 + 
        36147*s2^2*e4^2 + 31771*s1*s3*e4^2 + 63075*s2*s3*e4^2 + 14577*s3^2*e4^2 + 
        1567*s1*e4^3 + 31940*s2*e4^3 + 32930*s3*e4^3 + 14948*e4^4 + 44481*s1^3 + 
        11777*s1^2*s2 + 50294*s1*s2^2 + 20663*s2^3 + 24914*s1^2*s3 + 40644*s1*s2*s3 + 
        40945*s2^2*s3 + 36439*s1*s3^2 + 30378*s2*s3^2 + 54933*s3^3 + 2106*s1^2*e4 + 
        11466*s1*s2*e4 + 20549*s2^2*e4 + 39547*s1*s3*e4 + 60892*s2*s3*e4 + 
        64223*s3^2*e4 + 30213*s1*e4^2 + 44176*s2*e4^2 + 12021*s3*e4^2 + 33349*e4^3 + 
        37336*s1^2 + 51346*s1*s2 + 9672*s2^2 + 60581*s1*s3 + 42774*s2*s3 + 5344*s3^2 + 
        13596*s1*e4 + 36721*s2*e4 + 1129*s3*e4 + 4513*e4^2 + 6927*s1 + 58226*s2 + 
        58009*s3 + 37040*e4 + 15323,
    37965*e4^8 + 5864*s1*e4^6 + 22573*s2*e4^6 + 9957*s3*e4^6 + 36281*e4^7 + 
        20007*s1^2*e4^4 + 15525*s1*s2*e4^4 + 28085*s2^2*e4^4 + 26281*s1*s3*e4^4 + 
        9344*s2*s3*e4^4 + 13415*s3^2*e4^4 + 19928*s1*e4^5 + 15743*s2*e4^5 + 
        39572*s3*e4^5 + 17400*e4^6 + 16021*s1^3*e4^2 + 56184*s1^2*s2*e4^2 + 
        41573*s1*s2^2*e4^2 + 52312*s2^3*e4^2 + 46552*s1^2*s3*e4^2 + 
        41886*s1*s2*s3*e4^2 + 16746*s2^2*s3*e4^2 + 8309*s1*s3^2*e4^2 + 
        34046*s2*s3^2*e4^2 + 14656*s3^3*e4^2 + 48834*s1^2*e4^3 + 1294*s1*s2*e4^3 + 
        48179*s2^2*e4^3 + 35122*s1*s3*e4^3 + 33468*s2*s3*e4^3 + 45308*s3^2*e4^3 + 
        13688*s1*e4^4 + 60518*s2*e4^4 + 63951*s3*e4^4 + 58541*e4^5 + 7371*s1^4 + 
        38571*s1^3*s2 + 63336*s1^2*s2^2 + 42105*s1*s2^3 + 21268*s2^4 + 48926*s1^3*s3 + 
        19298*s1^2*s2*s3 + 50932*s1*s2^2*s3 + 22508*s2^3*s3 + 35520*s1^2*s3^2 + 
        11639*s1*s2*s3^2 + 12025*s2^2*s3^2 + 25901*s1*s3^3 + 11694*s2*s3^3 + 65267*s3^4 
        + 27660*s1^3*e4 + 3386*s1^2*s2*e4 + 51511*s1*s2^2*e4 + 26625*s2^3*e4 + 
        20018*s1^2*s3*e4 + 6891*s1*s2*s3*e4 + 16318*s2^2*s3*e4 + 26742*s1*s3^2*e4 
        + 16056*s2*s3^2*e4 + 44051*s3^3*e4 + 31318*s1^2*e4^2 + 61681*s1*s2*e4^2 + 
        53281*s2^2*e4^2 + 7612*s1*s3*e4^2 + 48570*s2*s3*e4^2 + 38583*s3^2*e4^2 + 
        25005*s1*e4^3 + 5388*s2*e4^3 + 35099*s3*e4^3 + 55708*e4^4 + 22573*s1^3 + 
        14622*s1^2*s2 + 34527*s1*s2^2 + 29228*s2^3 + 35827*s1^2*s3 + 48905*s1*s2*s3 + 
        32830*s2^2*s3 + 17743*s1*s3^2 + 56184*s2*s3^2 + 8764*s3^3 + 5957*s1^2*e4 + 
        20287*s1*s2*e4 + 24046*s2^2*e4 + 63744*s1*s3*e4 + 22390*s2*s3*e4 + 
        48834*s3^2*e4 + 62788*s1*e4^2 + 39996*s2*e4^2 + 52446*s3*e4^2 + 32972*e4^3 + 
        47990*s1^2 + 36731*s1*s2 + 64731*s2^2 + 19262*s1*s3 + 39929*s2*s3 + 47105*s3^2 + 
        19900*s1*e4 + 47209*s2*e4 + 39862*s3*e4 + 39020*e4^2 + 40081*s1 + 49904*s2 + 
        6521*s3 + 57416*e4 + 53348,
    21037*e4^8 + 64216*s1*e4^6 + 43731*s2*e4^6 + 36370*s3*e4^6 + 18700*e4^7 + 
        26092*s1^2*e4^4 + 51932*s1*s2*e4^4 + 62180*s2^2*e4^4 + 18569*s1*s3*e4^4 + 
        7783*s2*s3*e4^4 + 22335*s3^2*e4^4 + 27726*s1*e4^5 + 41426*s2*e4^5 + 
        63808*s3*e4^5 + 64482*e4^6 + 64861*s1^3*e4^2 + 19025*s1^2*s2*e4^2 + 
        61636*s1*s2^2*e4^2 + 11996*s2^3*e4^2 + 2483*s1^2*s3*e4^2 + 
        31701*s1*s2*s3*e4^2 + 62298*s2^2*s3*e4^2 + 57753*s1*s3^2*e4^2 + 
        50074*s2*s3^2*e4^2 + 63218*s3^3*e4^2 + 36068*s1^2*e4^3 + 18808*s1*s2*e4^3 + 
        64850*s2^2*e4^3 + 27654*s1*s3*e4^3 + 4220*s2*s3*e4^3 + 3989*s3^2*e4^3 + 
        47067*s1*e4^4 + 44625*s2*e4^4 + 38838*s3*e4^4 + 46933*e4^5 + 35825*s1^4 + 
        31070*s1^3*s2 + 7463*s1^2*s2^2 + 7861*s1*s2^3 + 8867*s2^4 + 52067*s1^3*s3 + 
        20832*s1^2*s2*s3 + 58436*s1*s2^2*s3 + 37968*s2^3*s3 + 37716*s1^2*s3^2 + 
        64706*s1*s2*s3^2 + 45523*s2^2*s3^2 + 17511*s1*s3^3 + 20694*s2*s3^3 + 30529*s3^4 
        + 62576*s1^3*e4 + 51638*s1^2*s2*e4 + 23121*s1*s2^2*e4 + 3238*s2^3*e4 + 
        34433*s1^2*s3*e4 + 64767*s1*s2*s3*e4 + 58264*s2^2*s3*e4 + 12797*s1*s3^2*e4
        + 16575*s2*s3^2*e4 + 1139*s3^3*e4 + 21644*s1^2*e4^2 + 65333*s1*s2*e4^2 + 
        16090*s2^2*e4^2 + 20265*s1*s3*e4^2 + 55674*s2*s3*e4^2 + 62866*s3^2*e4^2 + 
        39573*s1*e4^3 + 26135*s2*e4^3 + 24974*s3*e4^3 + 26692*e4^4 + 9595*s1^3 + 
        8911*s1^2*s2 + 4072*s1*s2^2 + 65130*s2^3 + 20389*s1^2*s3 + 19780*s1*s2*s3 + 
        15909*s2^2*s3 + 35681*s1*s3^2 + 19025*s2*s3^2 + 42056*s3^3 + 31927*s1^2*e4 + 
        14318*s1*s2*e4 + 31852*s2^2*e4 + 1326*s1*s3*e4 + 17952*s2*s3*e4 + 
        36068*s3^2*e4 + 29532*s1*e4^2 + 43774*s2*e4^2 + 16566*s3*e4^2 + 48106*e4^3 + 
        55747*s1^2 + 43805*s1*s2 + 24041*s2^2 + 39703*s1*s3 + 40894*s2*s3 + 20068*s3^2 + 
        20746*s1*e4 + 20896*s2*e4 + 26490*s3*e4 + 54980*e4^2 + 46560*s1 + 32745*s2 + 
        12940*s3 + 40745*e4 + 5865,
    56971*e4^8 + 10643*s1*e4^6 + 58370*s2*e4^6 + 37550*s3*e4^6 + 10725*e4^7 + 
        46655*s1^2*e4^4 + 43045*s1*s2*e4^4 + 37543*s2^2*e4^4 + 41619*s1*s3*e4^4 + 
        57069*s2*s3*e4^4 + 47338*s3^2*e4^4 + 42427*s1*e4^5 + 15264*s2*e4^5 + 
        31052*s3*e4^5 + 27534*e4^6 + 32520*s1^3*e4^2 + 6959*s1^2*s2*e4^2 + 
        27444*s1*s2^2*e4^2 + 21316*s2^3*e4^2 + 52808*s1^2*s3*e4^2 + 
        12907*s1*s2*s3*e4^2 + 24044*s2^2*s3*e4^2 + 45243*s1*s3^2*e4^2 + 
        31910*s2*s3^2*e4^2 + 60712*s3^3*e4^2 + 29157*s1^2*e4^3 + 50679*s1*s2*e4^3 + 
        29709*s2^2*e4^3 + 59829*s1*s3*e4^3 + 35232*s2*s3*e4^3 + 62381*s3^2*e4^3 + 
        22245*s1*e4^4 + 4342*s2*e4^4 + 8478*s3*e4^4 + 55585*e4^5 + 46960*s1^4 + 
        29334*s1^3*s2 + 17245*s1^2*s2^2 + 32537*s1*s2^3 + 14672*s2^4 + 56622*s1^3*s3 + 
        39766*s1^2*s2*s3 + 8244*s1*s2^2*s3 + 11557*s2^3*s3 + 25407*s1^2*s3^2 + 
        65211*s1*s2*s3^2 + 43856*s2^2*s3^2 + 42571*s1*s3^3 + 23604*s2*s3^3 + 56246*s3^4 
        + 14639*s1^3*e4 + 52601*s1^2*s2*e4 + 16274*s1*s2^2*e4 + 827*s2^3*e4 + 
        26708*s1^2*s3*e4 + 31992*s1*s2*s3*e4 + 62802*s2^2*s3*e4 + 2051*s1*s3^2*e4 
        + 52547*s2*s3^2*e4 + 55354*s3^3*e4 + 3675*s1^2*e4^2 + 37883*s1*s2*e4^2 + 
        6287*s2^2*e4^2 + 51385*s1*s3*e4^2 + 47924*s2*s3*e4^2 + 44625*s3^2*e4^2 + 
        60483*s1*e4^3 + 45189*s2*e4^3 + 23097*s3*e4^3 + 63672*e4^4 + 37689*s1^3 + 
        25525*s1^2*s2 + 60580*s1*s2^2 + 35875*s2^3 + 36733*s1^2*s3 + 33296*s1*s2*s3 + 
        30270*s2^2*s3 + 15532*s1*s3^2 + 6959*s2*s3^2 + 35645*s3^3 + 30943*s1^2*e4 + 
        33050*s1*s2*e4 + 62604*s2^2*e4 + 17484*s1*s3*e4 + 23312*s2*s3*e4 + 
        29157*s3^2*e4 + 10768*s1*e4^2 + 6291*s2*e4^2 + 56465*s3*e4^2 + 5390*e4^3 + 
        48892*s1^2 + 2903*s1*s2 + 27982*s2^2 + 61562*s1*s3 + 15461*s2*s3 + 63343*s3^2 + 
        60682*s1*e4 + 21149*s2*e4 + 4644*s3*e4 + 31247*e4^2 + 36306*s1 + 15582*s2 + 
        55414*s3 + 1841*e4 + 56707
]