//p^4+5p^3+19p^2+64p+140+(p+6)gcd(p-1,3)+(p+7)gcd(p-1,4)+gcd(p-1,5) algebras
<a,b,c,d|ca,cb,da,db,dc,pa,pb,pc-baa,pd-bab,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa,pb,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa-baa,pb,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa,pb-baa,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa,pb-wbaa,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa,pb,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa-bab,pb,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa-wbab,pb,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa-baa,pb,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa-baa,pb-xbab,pc,pd,class=3>(x ne 0, x~x^-1)
<a,b,c,d|ca,cb,da,db,dc,pa-baa-bab,pb-bab,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa-baa-wbab,pb-bab,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa-wbab,pb-baa,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc,pa-xbab,pb-baa-bab,pc,pd,class=3>(all x, 1+4x not a square mod p)
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa,pb,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-xbaa,pb-bab,pc,pd,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-bab,pb-bab,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-wbab,pb-bab,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-xbab,pb-baa,pc,pd,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-baa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb-baa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb-baa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-xbab,pb-wbaa,pc,pd,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-xbaa,pc-bab,pd,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa,pb,pc-bab,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc-baa,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb,pc-baa,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb,pc-baa,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-w^2bab,pb,pc-baa,pd,class=3>(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc,pa-w^3bab,pb,pc-baa,pd,class=3>(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc,pa-xbab,pb-bab,pc-baa,pd,class=3>(all x, x~x' if x^3=x'^3 mod p)
<a,b,c,d|ca-bab,cb,da,db,dc,pa-xbab,pb-wbab,pc-baa,pd,class=3>(all x, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc,pa-xbab,pb-w^2bab,pc-baa,pd,class=3>(all x, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc-bab,pd-baa,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc,pd-baa,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb,pc,pd-baa,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb,pc,pd-baa,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-bab,pc,pd-baa,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb-bab,pc,pd-baa,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb-bab,pc,pd-baa,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc-baa,pd-bab,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-baa,pc,pd-bab,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-wbaa,pc,pd-bab,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc,pd-bab,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa,pb,pc,pd-bab,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc,pd,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb,pc,pd,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb,pc,pd,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb,pc,pd,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb,pc,pd,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb,pc,pd,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb-baa,pc,pd,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb-wbaa,pc,pd,class=3>(p=1 mod 4)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb-baa,pc,pd,class=3>(p=3 mod 4)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-xbab,pb-baa,pc,pd,class=3>(all x)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-xbab,pb-wbaa,pc,pd,class=3>(all x)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb-xbab,pc,pd,class=3>(x ne 0, x~x^-1)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-xbab,pc,pd,class=3>(x ne 0)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-xbab,pc,pd,class=3>(x ne 0)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-xbaa-ybab,pc,pd,class=3>(x ne 0, y ne 0,1,-1, y~y^-1)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-xbaa-ybab,pc,pd,class=3>(x ne 0, y ne 0,1,-1, y~y^-1)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-x^2baa+bab,pc,pd,class=3>(x ne 0, x~-x)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-x^2baa-bab,pc,pd,class=3>(x ne 0, x~-x)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-(x^2*w)baa+bab,pc,pd,class=3>(x ne 0, x~-x)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-(x^2*w)baa-bab,pc,pd,class=3>(x ne 0, x~-x)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-(x^2*w)baa+bab,pc,pd,class=3>(x ne 0, x~-x)(p=1 mod 4)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-(x^2*w)baa-bab,pc,pd,class=3>(x ne 0, x~-x)(p=1 mod 4)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-x^2baa+bab,pc,pd,class=3>(x ne 0, x~-x)(p=3 mod 4)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-x^2baa-bab,pc,pd,class=3>(x ne 0, x~-x)(p=3 mod 4)
<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc-baa,pd,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb,pc-baa,pd,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb,pc-baa,pd,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-xbab,pb-bab,pc-baa,pd,class=3>(all x)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-xbab,pb-ybab,pc-baa-bab,pd,class=3>(all x,y, [x,y]~[y,x])
<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc-bab,pd-baa,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc,pd-baa,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb,pc,pd-baa,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb,pc,pd-baa,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb-bab,pc,pd-baa,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb-bab,pc,pd-baa,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb-bab,pc,pd-baa,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc-baa,pd-baa-bab,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc,pd-baa-bab,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb,pc,pd-baa-bab,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbaa,pb,pc,pd-baa-bab,class=3>
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb-(w*x^2)baa,pc,pd-baa-bab,class=3>(x ne 0, x~-x)
<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb-x^2baa,pc,pd-baa-bab,class=3>(x ne 0, equivalence classes {x,-x,1/x,-1/x})
<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbaa,pb-(w*x^2)baa,pc,pd-baa-bab,class=3>(x ne 0, equivalence classes {x,-x,1/x,-1/x})
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb,pc,pd,class=3>
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-xbaa-bab,pb,pc,pd,class=3>(all x, x~-x)
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-xbaa-wbab,pb,pc,pd,class=3>(all x, x~-x)
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-baa,pb,pc,pd,class=3>
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-wbaa,pb,pc,pd,class=3>(p=1 mod 4)
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-xbaa-ybab,pb-zbaa-tbab,pc,pd,class=3>(See Notes5.3, Case 4)
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-xbaa,pb-ybaa,pc-bab,pd,class=3>(all x,y, x~-x)
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb,pc-bab,pd-baa,class=3>
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-bab,pb-xbab,pc,pd-baa,class=3>(all x, x~-x)
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-wbab,pb-xbab,pc,pd-baa,class=3>(all x, x~-x)
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb,pc,pd-baa,class=3>
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb-bab,pc,pd-baa,class=3>
<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb-wbab,pc,pd-baa,class=3>(p=1 mod 4)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-baa,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-bab,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-xbab,pc,pd,class=3>(all x)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-baa-bab,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-wbaa-bab,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb-baa,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb-xbaa-bab,pc,pd,class=3>(all x)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb-baa,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb-xbaa-bab,pc,pd,class=3>(all x)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc,pd-baa,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-bab,pc,pd-baa,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb,pc,pd-baa,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb,pc,pd-baa,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc,pd-bab,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-baa,pc,pd-bab,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-wbaa,pc,pd-bab,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-xbaa,pc,pd-bab,class=3>(all x)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-baa,pd-xbab,class=3>(x ne 0)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-baa,pd-baa-bab,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-xbab,pb,pc-baa,pd,class=3>(all x)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-xbab,pb-bab,pc-baa,pd,class=3>(all x)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd-xbaa-bab,class=3>(x ne 0)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd-baa,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd-wbaa,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb,pc-bab,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbaa,pb,pc-bab,pd,class=3>(p=1 mod 3)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-w^2baa,pb,pc-bab,pd,class=3>(p=1 mod 3)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-baa,pc-bab,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-wbaa,pc-bab,pd,class=3>
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-w^2baa,pc-bab,pd,class=3>(p=1 mod 4)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-w^3baa,pc-bab,pd,class=3>(p=1 mod 4)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-xbaa,pc-bab,pd,class=3>(x ne 0, x~x' if x^3=x'^3 mod p)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbaa,pb-xbaa,pc-bab,pd,class=3>(x ne 0, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-w^2baa,pb-xbaa,pc-bab,pd,class=3>(x ne 0, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-xbaa,pb-ybaa,pc-bab,pd-bab,class=3>(all x,y)
<a,b,c,d|ca-bab,cb-baa,da,db-bab,dc,pa-rbaa-sbab,pb-tbaa-ubab,pc-vbaa-xbab,pd-ybaa-zbab,class=3>(See Notes5.3, Case 6)
<a,b,c,d|ca-bab,cb-wbaa,da,db-bab,dc,pa-rbaa-sbab,pb-tbaa-ubab,pc-vbaa-xbab,pd-ybaa-zbab,class=3>(See Notes5.3, Case 7)
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc,pd,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-baa-bab,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-wbaa-bab,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-baa,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-xbaa-bab,pc,pd,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-baa,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-xbaa-bab,pc,pd,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc-baa,pd,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-baa-bab,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-wbaa-bab,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-baa,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-wbaa,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-xbaa-bab,pc-baa,pd,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-baa,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-wbaa,pc-baa,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-xbaa-bab,pc-baa,pd,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-xbab,pb-baa-ybab,pc-bab,pd,class=3>(all x,y)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-xbab,pb-wbaa-ybab,pc-bab,pd,class=3>(all x,y)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc-bab,pd,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-bab,pb-xbab,pc-bab,pd,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-wbab,pb-xbab,pc-bab,pd,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-xbab,pb-baa-bab,pc-bab,pd,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-xbab,pb-wbaa-bab,pc-bab,pd,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-baa,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-baa,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-wbaa,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-wbaa,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-bab,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-bab,pc-bab,pd,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc-baa,pd-bab,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc-baa,pd-bab,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc-baa,pd-bab,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-w^2baa,pc-baa,pd-bab,class=3>(p=1 mod 4)
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-w^3baa,pc-baa,pd-bab,class=3>(p=1 mod 4)
<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc-baa,pd-bab,class=3>
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc-baa,pd-bab,class=3>(all x)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbaa-bab,pc-baa,pd-bab,class=3>(x ne 0)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-xbaa-ybab,pc-baa,pd-bab,class=3>(all x,y, y~-y)
<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-xbaa-ybab,pc-baa,pd-bab,class=3>(all x,y, y~-y)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-baa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-bab,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa,pb-xbab,pc,pd,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa,pb-baa-bab,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa,pb-wbaa-bab,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb-baa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb-xbaa-bab,pc,pd,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb-baa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb-wbaa,pc,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb-xbaa-bab,pc,pd,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-baa,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-baa,pc-baa,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-wbaa,pc-baa,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-bab,pc-baa,pd,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-wbab,pc-baa,pd,class=3>(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-w^2bab,pc-baa,pd,class=3>(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa,pb-xbab,pc-baa,pd,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbaa,pb-xbab,pc-baa,pd,class=3>(all x)(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-w^2baa,pb-xbab,pc-baa,pd,class=3>(all x)(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa,pb-xbaa-bab,pc-baa,pd,class=3>(x ne 0, x~x' if x^3=x'^3 mod p)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbaa,pb-xbaa-wbab,pc-baa,pd,class=3>(x ne 0, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-w^2baa,pb-xbaa-w^2bab,pc-baa,pd,class=3>(x ne 0, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb-xbaa-ybab,pc-baa,pd,class=3>(all x,y, y~-y)(p=3 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb-xbaa-ybab,pc-baa,pd,class=3>(all x,y, y~-y)(p=3 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb-xbaa,pc-baa,pd,class=3>(all x, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb-xbaa,pc-baa,pd,class=3>(all x, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-w^2bab,pb-xbaa,pc-baa,pd,class=3>(all x, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-w^3bab,pb-xbaa,pc-baa,pd,class=3>(all x, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb-xbaa-ybab,pc-baa,pd,class=3>(all x, y ne 0, y~y' if y^4=y'^4 mod p)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb-xbaa-ybab,pc-baa,pd,class=3>(all x, y ne 0, y~y' if y^4=y'^4 mod p)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-w^2bab,pb-xbaa-ybab,pc-baa,pd,class=3>(all x, y ne 0, y~y' if y^4=y'^4 mod p)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-w^3bab,pb-xbaa-ybab,pc-baa,pd,class=3>(all x, y ne 0, y~y' if y^4=y'^4 mod p)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa-xbab,pb-ybaa-zbab,pc-bab,pd,class=3>(all x,y,z)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-ybaa-bab,pc-bab,pd,class=3>(all x,y)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa,pc-bab,pd,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb-xbaa,pc-bab,pd,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb-xbaa,pc-bab,pd,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb,pc,pd-baa,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-baa,pc,pd-baa,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-wbaa,pc,pd-baa,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-ybaa-bab,pc,pd-baa,class=3>(x ne -2, all y)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb,pc,pd-wbaa,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-baa,pc,pd-wbaa,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-wbaa,pc,pd-wbaa,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-ybaa-bab,pc,pd-wbaa,class=3>(x ne -2w, all y)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa+2bab,pb-xbaa,pc,pd-baa,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa+(2*w)bab,pb-xbaa,pc,pd-wbaa,class=3>(all x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-ybaa-zbab,pc-bab,pd-baa,class=3>(x ne -2, all y,z, z~-z)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-ybaa-zbab,pc-bab,pd-wbaa,class=3>(x ne -2w, all y,z, z~-z)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbaa+2bab,pb-ybaa,pc-bab,pd-baa,class=3>(all x,y, x~-x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbaa+(2*w)bab,pb-ybaa,pc-bab,pd-wbaa,class=3>(all x,y, x~-x)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbaa-bab,pb-ybaa-zbab,pc,pd-bab,class=3>(all x,y,z)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbaa-wbab,pb-ybaa-zbab,pc,pd-bab,class=3>(all x,y,z)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa,pb-xbaa-ybab,pc,pd-bab,class=3>(all x,y, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbaa,pb-xbaa-ybab,pc,pd-bab,class=3>(all x,y, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-w^2baa,pb-xbaa-ybab,pc,pd-bab,class=3>(all x,y, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-w^3baa,pb-xbaa-ybab,pc,pd-bab,class=3>(all x,y, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa,pb-xbaa-ybab,pc,pd-bab,class=3>(all x,y)(p=3 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbaa,pb-xbaa-ybab,pc,pd-bab,class=3>(all x,y)(p=3 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa-bab,pc,pd-bab,class=3>(all x, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa-wbab,pc,pd-bab,class=3>(all x, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa-w^2bab,pc,pd-bab,class=3>(all x, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa-w^3bab,pc,pd-bab,class=3>(all x, x~-x)(p=1 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa-bab,pc,pd-bab,class=3>(all x)(p=3 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa-wbab,pc,pd-bab,class=3>(all x)(p=3 mod 4)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc,pd-bab,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-baa,pc,pd-bab,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-wbaa,pc,pd-bab,class=3>
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-w^2baa,pc,pd-bab,class=3>(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-w^3baa,pc,pd-bab,class=3>(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-w^4baa,pc,pd-bab,class=3>(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-w^5baa,pc,pd-bab,class=3>(p=1 mod 3)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbaa-ybab,pb-zbaa-tbab,pc-baa,pd-bab,class=3>(all x,y,z,t)(p ne 1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbaa-ybab,pb-zbaa-tbab,pc-baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y,z,t)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbaa-ybab,pb-zbaa-tbab,pc-wbaa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y,z,t)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbaa-ybab,pb-zbaa-tbab,pc-w^2baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y,z,t)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbaa-ybab,pb-zbaa-tbab,pc-w^3baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y,z,t)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbaa-ybab,pb-zbaa-tbab,pc-w^4baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y,z,t)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-ybaa-zbab,pc-baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y,z)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-ybaa-zbab,pc-wbaa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y,z)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-ybaa-zbab,pc-w^2baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y,z)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-ybaa-zbab,pc-w^3baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y,z)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-ybaa-zbab,pc-w^4baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y,z)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa-ybab,pc-baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa-ybab,pc-wbaa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa-ybab,pc-w^2baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa-ybab,pc-w^3baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa-ybab,pc-w^4baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p, all y)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbab,pc-baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbab,pc-wbaa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbab,pc-w^2baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbab,pc-w^3baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbab,pc-w^4baa,pd-bab,class=3>(x ne 0, x~x' if x^5=x'^5 mod p)(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-baa,pd-bab,class=3>(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-wbaa,pd-bab,class=3>(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-w^2baa,pd-bab,class=3>(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-w^3baa,pd-bab,class=3>(p=1 mod 5)
<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-w^4baa,pd-bab,class=3>(p=1 mod 5)
