equations: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84


0: Sig2^31 + 1
1: A11^2*A7*A5*A1^142 + A7*A5^33*A1^128 + A7*A5^19*A1^136 + A7^3*A5^10*A1^136 + A7^6*A5*A1^5 + A7^3*A5^6*A1 + A7^7*A1^3 + A5^3*A1^6 + A7^6*A5^2 + A7*A5^2*A1^4 + A5^4*A1 + A7^2*A5*A1^2
2: A11^2*A1^144 + A7^10*A1^3 + A1^11 + A7*A5^7 + A7^5*A5*A1^2 + A5^2*A1
3: A11^2*A7*A5^2*A1^140 + A7^3*A5^6*A1^4 + A5^3*A1^9 + A7^6*A5^2*A1^3 + A7*A5^3*A1^2 + A7^3*A1^3 + A7^2*A5^2
4: Sig2*A7 + A1^9 + A5^8
5: Sig2*A5 + A7^4*A1^10 + A7^4*A5*A1^5 + A7^5*A1^3 + A7^4*A5^2 + A7
6: Sig2*A1 + A7^2*A5^10*A1 + A7^8*A5*A1^4 + A7*A5^4*A1^7 + A7^5*A5^6 + A7^7*A5^3*A1 + A7^9*A1^2 + A7^2*A5^3*A1^5 + A7^4*A1^6 + A7*A5^5*A1^2 + A7^3*A5^2*A1^3 + A7^2*A5^4
7: Sig1 + A1
8: A15*A7^3*A5*A1^139 + A7^11*A5^2 + A7^3*A5^7 + A7^7*A5*A1^2 + A7^8
9: A15*A7^2*A5^2*A1^139 + A7*A5*A1^11 + A7^2*A5^8 + A7^4*A5^5*A1 + A7^7*A5 + A7^2*A5*A1^4 + A7^3*A1^2
10: A15*A1^143 + A7^2*A5^10*A1 + A7^8*A5*A1^4 + A7*A5^4*A1^7 + A7^9*A1^2 + A5^6*A1^4 + A7^2*A5^3*A1^5 + A7^3*A5^2*A1^3 + A1^3
11: A15*A7*A1^141 + A7^5*A5^7 + A5^7*A1^4 + A7^4*A5*A1^6 + A7^3*A5^3*A1^3 + A7^5*A1^4 + A5*A1^3
12: A15 + A7^2*A5^5*A1^7 + A7^3*A5^4*A1^5 + A5*A1^10 + A7^2*A5^6*A1^2 + A7^6*A1^4 + A7*A1^8 + A7^3*A5^5 + A7^5*A5^2*A1 + A7*A5*A1^3 + A5^3 + A7^2*A1
13: A11 + A7^9*A5^2 + A1^11 + A5^8*A1^2 + A7*A5^7 + A7^3*A5^4*A1 + A7^5*A5*A1^2 + A7*A1^4
14: A3 + A7^2*A5^10*A1 + A7^8*A5*A1^4 + A7*A5^4*A1^7 + A7^5*A5^6 + A7^7*A5^3*A1 + A7^9*A1^2 + A7^2*A5^3*A1^5 + A7^4*A1^6 + A7*A5^5*A1^2 + A7^3*A5^2*A1^3 + A7^2*A5^4 + A1^3
15: A0
16: A7^4*A5^32*A1^126 + A7^4*A5*A1^2
17: A7^4*A5^31*A1^127 + A7^4*A1^3
18: A5^32*A1^130 + A5*A1^6
19: A7^4*A5^28*A1^129 + A7^11*A1^3 + A7^10*A5^2 + A7*A5^8*A1^2 + A7^3*A5^5*A1^3 + A7^2*A5^7 + A7^7 + A5^3*A1^3
20: A7^5*A5^23*A1^129 + A7^3*A5^8*A1 + A7^5*A5^5*A1^2 + A7^2*A5^2*A1^7 + A7^6*A5^4 + A5^6*A1 + A7^2*A5^3*A1^2 + A7^4*A1^3 + A7^3*A5^2
21: A7^11*A5^23*A1^122 + A7*A5^4*A1^8 + A7^7*A5^3*A1^2 + A7^4*A1^7 + A7*A5^5*A1^3 + A7^2*A5^4*A1 + A7^5 + A1^4
22: A7^7*A5^22*A1^127 + A7^4*A1^10 + A7^6*A5^5*A1^2 + A7^7*A5^4 + A7^3*A5^3*A1^2 + A7^5*A1^3 + A1^7 + A7^4*A5^2 + A5*A1^2
23: A7^3*A5^23*A1^130 + A7^6*A1^7 + A7^10*A5^2 + A7*A1^11 + A7*A5^8*A1^2 + A5^2*A1^8 + A7^4*A5^4*A1 + A7^6*A5*A1^2 + A7^7
24: A7^5*A5^20*A1^131 + A7^6*A1^7 + A7*A5^8*A1^2 + A7^3*A5^5*A1^3 + A5^2*A1^8 + A7^7 + A7^2*A1^4
25: A7^2*A5^21*A1^133 + A7^7*A5^14*A1^133 + A7*A5^4*A1^8 + A7^3*A5^9 + A7^7*A5^3*A1^2 + A7^8*A5^2 + A7^3*A5^2*A1^4 + A1^4
26: A5^23*A1^133 + A7*A5^11 + A7^3*A5^8*A1 + A7^7*A5^2*A1^3 + A5^5*A1^6 + A7^2*A5^2*A1^7 + A7^6*A5^4 + A7^8*A5*A1 + A5^6*A1 + A7^3*A5^2
27: A7^4*A5^18*A1^134 + A7^7*A5^14*A1^133 + A7^3*A5^9 + A7^7*A5^3*A1^2 + A7^9*A1^3 + A7^2*A5^3*A1^6 + A7^4*A1^7 + A7^3*A5^2*A1^4 + A7^2*A5^4*A1 + A7^4*A5*A1^2 + A1^4
28: A7^2*A5^20*A1^134 + A7^3*A1^10 + A7*A5^11 + A7^3*A5^8*A1 + A7^6*A5^4 + A7^8*A5*A1 + A7*A5^4*A1^4 + A7^3*A5*A1^5 + A5^6*A1 + A7^2*A5^3*A1^2 + A7^4*A1^3 + A7^3*A5^2
29: A7^8*A5^12*A1^136 + A7^7*A5^14*A1^133 + A7^9*A1^3 + A7^2*A5^3*A1^6 + A5^7 + A1^4
30: A5^18*A1^138 + A7^10*A1^3 + A7^3*A5^3*A1^6 + A7^5*A1^7 + A1^11 + A5^8*A1^2 + A7^2*A5^5*A1^3 + A7^3*A5^4*A1 + A7^5*A5*A1^2 + A7*A1^4 + A5^2*A1
31: A7^2*A5^14*A1^137 + A7^7*A5^3*A1^2 + A5^6*A1^5
32: A7^3*A5^13*A1^135 + A7^8*A5^2 + A7*A5^5*A1^3
34: A7^7*A5^7*A1^137 + A7^9*A1^3 + A7^2*A5^3*A1^6 + A7*A5^5*A1^3 + A7^3*A5^2*A1^4 + A7^4*A5*A1^2 + A7^5
35: A7*A5^3*A1^138 + A7^6*A5^5 + A7^3*A5^2*A1^5 + A5^7*A1 + A7^5*A1 + A1^5
36: A5^3*A1^139 + A7*A5^3*A1^8 + A5^5*A1^5 + A7*A5^4*A1^3 + A5^6 + A7^2*A5^3*A1
37: A7^8*A5*A1^5 + A7*A5^4*A1^8 + A7^3*A5^9 + A7^7*A5^3*A1^2 + A7^9*A1^3 + A7^2*A5^3*A1^6 + A7^8*A5^2 + A7*A5^5*A1^3 + A7^3*A5^2*A1^4 + A5^7 + A7^2*A5^4*A1 + A7^5 + A1^4
38: A5^7*A1^7 + A7^10*A1^3 + A7*A5^6*A1^5 + A7^5*A1^7 + A7^9*A5^2 + A1^11 + A7^2*A5^5*A1^3 + A7^3*A5^4*A1 + A5*A1^6
39: A7*A5^5*A1^8 + A5^7*A1^5 + A7^8*A5^3 + A7^10*A1 + A7*A5^6*A1^3 + A7^3*A5^3*A1^4 + A7^5*A1^5 + A1^9 + A5^8 + A5*A1^4 + A7*A1^2
40: A5^6*A1^8 + A7^4*A1^10 + A7^7*A5^4 + A7^2*A5^4*A1^4 + A7^4*A5*A1^5 + A7*A5^6*A1 + A7^5*A1^3
41: A1^14 + A7^5*A5*A1^5 + A5*A1^9 + A5^9 + A7^4*A5^3*A1^2 + A7^6*A1^3 + A7^5*A5^2 + A5^2*A1^4 + A7^2
42: A7^13 + A5^12 + A7^2*A5^9*A1 + A7^8*A1^4 + A7*A5^3*A1^7 + A7^7*A5^2*A1 + A5^5*A1^4 + A7^2*A5^2*A1^5 + A7^3*A5*A1^3 + A7^2*A5^3 + A7^4*A1
43: A7^12*A5 + A7^7*A5*A1^4 + A7^8*A1^2 + A5^5*A1^2 + A7*A5^4 + A7^3*A5*A1
44: A7^3*A5^10 + A5^7*A1^5 + A7^2*A5^4*A1^6 + A7^10*A1 + A7^3*A5^3*A1^4 + A7^5*A5 + A5*A1^4
45: A7^2*A5^11 + A7*A5^5*A1^6 + A5^7*A1^3 + A7^2*A5^4*A1^4 + A7^4*A5*A1^5 + A7*A5^6*A1 + A5*A1^2 + A7
46: A7*A5^12 + A5^6*A1^6 + A7^8*A5^2*A1 + A7*A5^5*A1^4 + A7^2*A5^4*A1^2 + A7^4*A5*A1^3 + A7^5*A1 + A1^5
47: A5^13 + A7^2*A5^10*A1 + A7*A5^4*A1^7 + A7^7*A5^3*A1 + A7^9*A1^2 + A5^6*A1^4 + A7^2*A5^3*A1^5 + A7*A5^5*A1^2 + A7^3*A5^2*A1^3
48: A7^12*A1 + A7*A5^9*A1^2 + A5^3*A1^8 + A7^2*A5^8 + A7^4*A5^5*A1 + A5^4*A1^3 + A7*A5^3*A1 + A7^3*A1^2
49: A7^3*A5^9*A1 + A7^7*A5^3*A1^3 + A7^2*A5^3*A1^7 + A7^8*A5^2*A1 + A7*A5^5*A1^4 + A5^7*A1 + A7^4*A5*A1^3 + A7^3*A5^3 + A7^5*A1 + A1^5 + A5
50: A7*A5^11*A1 + A5^5*A1^7 + A7^2*A5^2*A1^8 + A7^6*A5^4*A1 + A7^8*A5*A1^2 + A7^3*A5*A1^6 + A5^6*A1^2 + A7^4*A1^4 + A7*A5^5 + A7^3*A5^2*A1
51: A5^12*A1 + A7^8*A1^5 + A7^3*A5^8 + A7^5*A5^5*A1 + A7^7*A5^2*A1^2 + A5^5*A1^5 + A7^2*A5^2*A1^6 + A7*A5^4*A1^3 + A7^3*A5*A1^4
52: A7^3*A5^8*A1^2 + A7^6*A5^4*A1 + A7^8*A5*A1^2 + A7^3*A5*A1^6 + A7^9 + A7^2*A5^3*A1^3 + A7*A5^5 + A7^3*A5^2*A1 + A1
53: A7^2*A5^9*A1^2 + A7^4*A5^6*A1^3 + A7^8*A1^5 + A7^3*A1^9 + A7^7*A5^2*A1^2 + A7^8*A5 + A7*A5^4*A1^3 + A5^6 + A7^2*A5^3*A1
54: A7*A5^10*A1^2 + A7^7*A5*A1^5 + A5^4*A1^8 + A7^2*A5^9 + A7^4*A5^6*A1 + A7^8*A1^3
55: A7^8*A5^2*A1^3 + A7^3*A5^2*A1^7 + A5^7*A1^3 + A7^2*A5^4*A1^4 + A7^3*A5^3*A1^2 + A1^7 + A7^4*A5^2
56: A7^3*A5^7*A1^3 + A7^7*A5*A1^5 + A7^4*A5^6*A1 + A7^6*A5^3*A1^2 + A5^5*A1^3 + A7*A5^4*A1 + A7^3*A5*A1^2 + A7^4
57: A7^9*A1^4 + A5^6*A1^6 + A7^6*A5^5 + A7^3*A5^2*A1^5 + A7^4*A5*A1^3 + A7^5*A1 + A5
58: A7^3*A5^5*A1^5 + A7^11*A5 + A7^6*A5*A1^4 + A7^5*A5^3*A1 + A7^7*A1^2 + A5^3*A1^5 + A5^4 + A7^2*A5*A1
59: A7^2*A5^6*A1^5 + A7^10*A5^2 + A7*A1^11 + A7*A5^8*A1^2 + A5^2*A1^8 + A7^2*A5^7 + A7^7
60: A5^8*A1^5 + A7^5*A5*A1^5 + A7^4*A5^3*A1^2 + A7^6*A1^3 + A7^5*A5^2 + A5^2*A1^4 + A7*A5*A1^2
61: A7^7*A1^6 + A5^3*A1^9 + A7^2*A1^10 + A5^11 + A7^6*A5^2*A1^3 + A7*A5^2*A1^7 + A7^5*A5^4 + A7^7*A5*A1 + A7^2*A5*A1^5 + A7*A5^3*A1^2 + A7^2*A5^2
62: A7^5*A1^8 + A1^12 + A7^4*A5^3 + A5^2*A1^2
63: A7^2*A5^3*A1^8 + A7^6*A5^5*A1 + A7*A5^5*A1^5 + A7^3*A5^2*A1^6 + A5^7*A1^2 + A7^2*A5^4*A1^3 + A7*A5^6 + A7^3*A5^3*A1 + A7^5*A1^2 + A1^6
64: A7^2*A5^2*A1^9 + A7^2*A5^10 + A7^6*A5^4*A1^2 + A7^8*A5*A1^3 + A7^9*A1 + A7^2*A5^3*A1^4 + A7^4*A1^5 + A7*A5^5*A1 + A7^3*A5^2*A1^2 + A7^4*A5 + A1^2
65: A7*A5^3*A1^9 + A7^5*A5^5*A1^2 + A7^7*A5^2*A1^3 + A5^5*A1^6 + A5^6*A1 + A7^4*A1^3 + A7^3*A5^2
66: A5^4*A1^9 + A5^12 + A7^2*A5^9*A1 + A7^8*A1^4 + A7*A5^3*A1^7 + A7^3*A1^8 + A7^5*A5^5 + A7^2*A5^2*A1^5 + A7*A5^4*A1^2 + A7^3*A5*A1^3
67: A7^2*A5*A1^10 + A5^12 + A7^4*A5^6*A1^2 + A7^6*A5^3*A1^3 + A7*A5^3*A1^7 + A7^3*A1^8 + A7^7*A5^2*A1 + A7^2*A5^2*A1^5 + A7^3*A5*A1^3
68: A7^2*A1^11 + A7^2*A5^8*A1^2 + A7*A5^2*A1^8 + A7^3*A5^7 + A7^5*A5^4*A1 + A7^7*A5*A1^2 + A5^4*A1^5 + A7^3*A1^4 + A5^5
69: A5*A1^12 + A7^6*A1^6 + A7*A1^10 + A7*A5^8*A1 + A7^5*A5^2*A1^3 + A7^4*A5^4 + A7^6*A5*A1 + A7*A5*A1^5 + A5^3*A1^2 + A7^2*A1^3 + A7*A5^2
70: A7^9*A5^3 + A5*A1^11 + A7^3*A5^5*A1 + A7^5*A5^2*A1^2 + A7*A5*A1^4 + A7^2*A1^2
71: A7^6*A5^6 + A7*A5^6*A1^4 + A7^5*A1^6 + A7^4*A5^2*A1^3 + A7^5*A5*A1 + A7*A1^3 + A5^2
72: A7^4*A5^8 + A7^4*A5*A1^4 + A1^6 + A5*A1
73: A7^8*A5^3*A1 + A7^3*A5^3*A1^5 + A7^5*A1^6 + A1^10 + A5^8*A1 + A7^2*A5^5*A1^2 + A7^3*A5^4 + A5*A1^5 + A5^2
74: A7^7*A5^4*A1 + A5^7*A1^4 + A7^10 + A7*A5^6*A1^2 + A7^5*A1^4 + A1^8 + A7^2*A5^5 + A7^4*A5^2*A1 + A5*A1^3
75: A7^5*A5^6*A1 + A5^6*A1^5 + A7^4*A1^7 + A7^4*A5*A1^2 + A7^5
76: A7^4*A5^7*A1 + A7^8*A5*A1^3 + A7^3*A5*A1^7 + A5^6*A1^3 + A7^2*A5^3*A1^4 + A7^4*A1^5 + A7^3*A5^2*A1^2 + A7^4*A5 + A1^2
77: A7*A5^8*A1^3 + A5^2*A1^9 + A5^10 + A7*A5*A1^7 + A7^2*A1^5 + A7^2*A5
78: A5^9*A1^3 + A7^6*A1^6 + A7*A1^10 + A7^5*A5^2*A1^3 + A7^4*A5^4 + A7^6*A5*A1 + A5^3*A1^2
79: A7*A5^7*A1^4 + A7^3*A5^4*A1^5 + A7^11 + A7^4*A5^3*A1^3 + A5^2*A1^5
80: A7^5*A5*A1^6 + A5*A1^10 + A5^9*A1 + A7^4*A5^3*A1^3 + A7^6*A1^4 + A7*A1^8 + A7^5*A5^2*A1 + A7*A5*A1^3 + A5^3
81: A7^3*A5*A1^8 + A7^7*A5^3*A1 + A7^2*A5^3*A1^5 + A7*A5^5*A1^2 + A7^3*A5^2*A1^3 + A7^2*A5^4 + A7^4*A5*A1 + A1^3
82: A5^2*A1^10 + A5^10*A1 + A7^4*A5^4*A1^3 + A7^6*A5*A1^4 + A7*A5*A1^8 + A7^5*A5^3*A1 + A7^7*A1^2 + A7^2*A1^6 + A5^4
83: A7^9*A5*A1 + A5^7*A1^3 + A7*A5^6*A1 + A7^3*A5^3*A1^2 + A7^5*A1^3 + A7
84: A7^4*A5^2*A1^4 + A7^6 + A7*A1^4 + A5^2*A1


example augot