dim6/stuff/dec4.3

5 <a,b,c|ca,cb,pa-baa,pb,pc,class=3>6.121
6 <a,b,c|ca,cb,pa-baa,pb-xbab,pc,class=3>(x ne 0, x~x^-1)6.122
7 <a,b,c|ca,cb,pa-baa-bab,pb-bab,pc,class=3>6.123
8 <a,b,c|ca,cb,pa-baa-wbab,pb-bab,pc,class=3>6.124
9 <a,b,c|ca,cb,pa-wbab,pb-baa,pc,class=3>6.125
10 <a,b,c|ca,cb,pa-xbab,pb-baa-bab,pc,class=3>(1+4x not a square mod p)6.126
12 <a,b,c|ca,cb,pa-baa,pb,pc-bab,class=3>6.128
13 <a,b,c|ca,cb,pa,pb-baa,pc-bab,class=3>6.129
18 <a,b,c|ca-bab,cb,pa-baa,pb,pc,class=3>6.134
20 <a,b,c|ca-bab,cb,pa-baa-bab,pb-bab,pc,class=3>6.136
21 <a,b,c|ca-bab,cb,pa-baa-wbab,pb-bab,pc,class=3>6.137
22 <a,b,c|ca-bab,cb,pa-baa-xbab,pb-baa,pc,class=3>(all x)6.138
23 <a,b,c|ca-bab,cb,pa,pb-baa,pc,class=3>6.139
24 <a,b,c|ca-bab,cb,pa-bab,pb-baa,pc,class=3>6.140
25 <a,b,c|ca-bab,cb,pa-wbab,pb-baa,pc,class=3>6.141
26 <a,b,c|ca-bab,cb,pa-baa-xbab,pb-wbaa,pc,class=3>(all x)6.142
31 <a,b,c|ca-bab,cb,pa-baa,pb,pc-bab,class=3>6.147
32 <a,b,c|ca-bab,cb,pa-xbab,pb,pc-baa,class=3>(x=0,1,w,w^2,w^3)(p=1 mod 4)6.148
33 <a,b,c|ca-bab,cb,pa-xbab,pb,pc-baa,class=3>(x=0,1,w)(p=3 mod 4)6.148A
34 <a,b,c|ca-bab,cb,pa-xbab,pb-ybab,pc-baa,class=3>(y=1,w,w^2, all x, x~x' if x^3=x'^3 mod p)(p=1 mod …
35 <a,b,c|ca-bab,cb,pa-xbab,pb-bab,pc-baa,class=3>(all x)(p=2 mod 3)6.149A
36 <a,b,c|ca-baa,cb,pa,pb,pc,class=3>6.150
37 <a,b,c|ca-baa,cb,pa-baa,pb,pc,class=3>6.151
38 <a,b,c|ca-baa,cb,pa-bab,pb,pc,class=3>6.152
39 <a,b,c|ca-baa,cb,pa-baa-bab,pb,pc,class=3>6.153
40 <a,b,c|ca-baa,cb,pa-wbab,pb,pc,class=3>6.154
41 <a,b,c|ca-baa,cb,pa-baa-wbab,pb,pc,class=3>6.155
42 <a,b,c|ca-baa,cb,pa-bab,pb-baa,pc,class=3>(p=1 mod 4)6.156
43 <a,b,c|ca-baa,cb,pa-bab,pb-wbaa,pc,class=3>(p=1 mod 4)6.157
44 <a,b,c|ca-baa,cb,pa-wbab,pb-wbaa,pc,class=3>(p=1 mod 4)6.158
45 <a,b,c|ca-baa,cb,pa-bab,pb-baa,pc,class=3>(p=3 mod 4)6.156A
46 <a,b,c|ca-baa,cb,pa-bab,pb-wbaa,pc,class=3>(p=3 mod 4)6.157A
47 <a,b,c|ca-baa,cb,pa-wbab,pb-baa,pc,class=3>(p=3 mod 4)6.158A
48 <a,b,c|ca-baa,cb,pa-baa-xbab,pb-baa,pc,class=3>(all x)6.159
49 <a,b,c|ca-baa,cb,pa-baa-xbab,pb-wbaa,pc,class=3>(all x)6.160
50 <a,b,c|ca-baa,cb,pa-baa,pb-xbab,pc,class=3>(x ne 0, x~x^-1)6.160
51 <a,b,c|ca-baa,cb,pa-baa-bab,pb-xbab,pc,class=3>(x ne 0)6.161
52 <a,b,c|ca-baa,cb,pa-baa-wbab,pb-xbab,pc,class=3>(x ne 0)6.162
53 <a,b,c|ca-baa,cb,pa-baa-bab,pb-xbaa-ybab,pc,class=3>(x ne 0, y ne 0,1,-1, y~y^-1)6.163
54 <a,b,c|ca-baa,cb,pa-baa-wbab,pb-xbaa-ybab,pc,class=3>(x ne 0, y ne 0,1,-1, y~y^-1)6.164
55 <a,b,c|ca-baa,cb,pa-baa-bab,pb-x^2baa+bab,pc,class=3>(x ne 0, x~-x)6.165
56 <a,b,c|ca-baa,cb,pa-baa-bab,pb-x^2baa-bab,pc,class=3>(x ne 0, x~-x)6.165
57 <a,b,c|ca-baa,cb,pa-baa-bab,pb-(x^2*w)baa+bab,pc,class=3>(x ne 0, x~-x)6.166
58 <a,b,c|ca-baa,cb,pa-baa-bab,pb-(x^2*w)baa-bab,pc,class=3>(x ne 0, x~-x)6.166
59 <a,b,c|ca-baa,cb,pa-baa-wbab,pb-(x^2*w)baa+bab,pc,class=3>(x ne 0, x~-x)(p=1 mod 4)6.167
60 <a,b,c|ca-baa,cb,pa-baa-wbab,pb-(x^2*w)baa-bab,pc,class=3>(x ne 0, x~-x)(p=1 mod 4)6.167
61 <a,b,c|ca-baa,cb,pa-baa-wbab,pb-x^2baa+bab,pc,class=3>(x ne 0, x~-x)(p=3 mod 4)6.167A
62 <a,b,c|ca-baa,cb,pa-baa-wbab,pb-x^2baa-bab,pc,class=3>(x ne 0, x~-x)(p=3 mod 4)6.167A
63 <a,b,c|ca-baa,cb,pa,pb,pc-baa,class=3>6.168
64 <a,b,c|ca-baa,cb,pa-bab,pb,pc-baa,class=3>6.169
65 <a,b,c|ca-baa,cb,pa-wbab,pb,pc-baa,class=3>6.170
66 <a,b,c|ca-baa,cb,pa-xbab,pb-bab,pc-baa,class=3>(all x)6.171
67 <a,b,c|ca-baa,cb,pa-xbab,pb-ybab,pc-baa-bab,class=3>(all x,y, [x,y]~[y,x])6.172
71 <a,b,c|ca-bab,cb-wbaa,pa-baa,pb,pc,class=3>6.176