1//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 2<a,b,c,d|ca,cb,da,db,dc,pa,pb,pc-baa,pd-bab,class=3> 3<a,b,c,d|ca,cb,da,db,dc,pa,pb,pc-bab,pd,class=3> 4<a,b,c,d|ca,cb,da,db,dc,pa-baa,pb,pc-bab,pd,class=3> 5<a,b,c,d|ca,cb,da,db,dc,pa,pb-baa,pc-bab,pd,class=3> 6<a,b,c,d|ca,cb,da,db,dc,pa,pb-wbaa,pc-bab,pd,class=3> 7<a,b,c,d|ca,cb,da,db,dc,pa,pb,pc,pd,class=3> 8<a,b,c,d|ca,cb,da,db,dc,pa-bab,pb,pc,pd,class=3> 9<a,b,c,d|ca,cb,da,db,dc,pa-wbab,pb,pc,pd,class=3> 10<a,b,c,d|ca,cb,da,db,dc,pa-baa,pb,pc,pd,class=3> 11<a,b,c,d|ca,cb,da,db,dc,pa-baa,pb-xbab,pc,pd,class=3>(x ne 0, x~x^-1) 12<a,b,c,d|ca,cb,da,db,dc,pa-baa-bab,pb-bab,pc,pd,class=3> 13<a,b,c,d|ca,cb,da,db,dc,pa-baa-wbab,pb-bab,pc,pd,class=3> 14<a,b,c,d|ca,cb,da,db,dc,pa-wbab,pb-baa,pc,pd,class=3> 15<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) 16<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc,pd,class=3> 17<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb,pc,pd,class=3> 18<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb,pc,pd,class=3> 19<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa,pb,pc,pd,class=3> 20<a,b,c,d|ca-bab,cb,da,db,dc,pa-xbaa,pb-bab,pc,pd,class=3>(all x) 21<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-bab,pb-bab,pc,pd,class=3> 22<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-wbab,pb-bab,pc,pd,class=3> 23<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-xbab,pb-baa,pc,pd,class=3>(all x) 24<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-baa,pc,pd,class=3> 25<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb-baa,pc,pd,class=3> 26<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb-baa,pc,pd,class=3> 27<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-xbab,pb-wbaa,pc,pd,class=3>(all x) 28<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-wbaa,pc,pd,class=3> 29<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb-wbaa,pc,pd,class=3> 30<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb-wbaa,pc,pd,class=3> 31<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-xbaa,pc-bab,pd,class=3>(all x) 32<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa,pb,pc-bab,pd,class=3> 33<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc-baa,pd,class=3> 34<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb,pc-baa,pd,class=3> 35<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb,pc-baa,pd,class=3> 36<a,b,c,d|ca-bab,cb,da,db,dc,pa-w^2bab,pb,pc-baa,pd,class=3>(p=1 mod 4) 37<a,b,c,d|ca-bab,cb,da,db,dc,pa-w^3bab,pb,pc-baa,pd,class=3>(p=1 mod 4) 38<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) 39<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) 40<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) 41<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc-bab,pd-baa,class=3> 42<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc,pd-baa,class=3> 43<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb,pc,pd-baa,class=3> 44<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb,pc,pd-baa,class=3> 45<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-bab,pc,pd-baa,class=3> 46<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb-bab,pc,pd-baa,class=3> 47<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb-bab,pc,pd-baa,class=3> 48<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc-baa,pd-bab,class=3> 49<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-baa,pc,pd-bab,class=3> 50<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-wbaa,pc,pd-bab,class=3> 51<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc,pd-bab,class=3> 52<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa,pb,pc,pd-bab,class=3> 53<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc,pd,class=3> 54<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb,pc,pd,class=3> 55<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb,pc,pd,class=3> 56<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb,pc,pd,class=3> 57<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb,pc,pd,class=3> 58<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb,pc,pd,class=3> 59<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb-baa,pc,pd,class=3> 60<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb-wbaa,pc,pd,class=3> 61<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb-wbaa,pc,pd,class=3>(p=1 mod 4) 62<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb-baa,pc,pd,class=3>(p=3 mod 4) 63<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-xbab,pb-baa,pc,pd,class=3>(all x) 64<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-xbab,pb-wbaa,pc,pd,class=3>(all x) 65<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb-xbab,pc,pd,class=3>(x ne 0, x~x^-1) 66<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-xbab,pc,pd,class=3>(x ne 0) 67<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-xbab,pc,pd,class=3>(x ne 0) 68<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) 69<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) 70<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) 71<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) 72<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) 73<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) 74<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) 75<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) 76<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) 77<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) 78<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc-baa,pd,class=3> 79<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb,pc-baa,pd,class=3> 80<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb,pc-baa,pd,class=3> 81<a,b,c,d|ca-baa,cb,da,db,dc,pa-xbab,pb-bab,pc-baa,pd,class=3>(all x) 82<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]) 83<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc-bab,pd-baa,class=3> 84<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc,pd-baa,class=3> 85<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb,pc,pd-baa,class=3> 86<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb,pc,pd-baa,class=3> 87<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb-bab,pc,pd-baa,class=3> 88<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb-bab,pc,pd-baa,class=3> 89<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb-bab,pc,pd-baa,class=3> 90<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc-baa,pd-baa-bab,class=3> 91<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc,pd-baa-bab,class=3> 92<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb,pc,pd-baa-bab,class=3> 93<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbaa,pb,pc,pd-baa-bab,class=3> 94<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) 95<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}) 96<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}) 97<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb,pc,pd,class=3> 98<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-xbaa-bab,pb,pc,pd,class=3>(all x, x~-x) 99<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-xbaa-wbab,pb,pc,pd,class=3>(all x, x~-x) 100<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-baa,pb,pc,pd,class=3> 101<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-wbaa,pb,pc,pd,class=3>(p=1 mod 4) 102<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) 103<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) 104<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb,pc-bab,pd-baa,class=3> 105<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-bab,pb-xbab,pc,pd-baa,class=3>(all x, x~-x) 106<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-wbab,pb-xbab,pc,pd-baa,class=3>(all x, x~-x) 107<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb,pc,pd-baa,class=3> 108<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb-bab,pc,pd-baa,class=3> 109<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb-wbab,pc,pd-baa,class=3>(p=1 mod 4) 110<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc,pd,class=3> 111<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-baa,pc,pd,class=3> 112<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-wbaa,pc,pd,class=3> 113<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-bab,pc,pd,class=3> 114<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-xbab,pc,pd,class=3>(all x) 115<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-baa-bab,pc,pd,class=3> 116<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-wbaa-bab,pc,pd,class=3> 117<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb,pc,pd,class=3> 118<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb-baa,pc,pd,class=3> 119<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb-wbaa,pc,pd,class=3> 120<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb-xbaa-bab,pc,pd,class=3>(all x) 121<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb,pc,pd,class=3> 122<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb-baa,pc,pd,class=3> 123<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb-wbaa,pc,pd,class=3> 124<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb-xbaa-bab,pc,pd,class=3>(all x) 125<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc,pd-baa,class=3> 126<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-bab,pc,pd-baa,class=3> 127<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb,pc,pd-baa,class=3> 128<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb,pc,pd-baa,class=3> 129<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc,pd-bab,class=3> 130<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-baa,pc,pd-bab,class=3> 131<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-wbaa,pc,pd-bab,class=3> 132<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-xbaa,pc,pd-bab,class=3>(all x) 133<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-baa,pd-xbab,class=3>(x ne 0) 134<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-baa,pd-baa-bab,class=3> 135<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-xbab,pb,pc-baa,pd,class=3>(all x) 136<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-xbab,pb-bab,pc-baa,pd,class=3>(all x) 137<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd-xbaa-bab,class=3>(x ne 0) 138<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd-baa,class=3> 139<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd-wbaa,class=3> 140<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd,class=3> 141<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb,pc-bab,pd,class=3> 142<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbaa,pb,pc-bab,pd,class=3>(p=1 mod 3) 143<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-w^2baa,pb,pc-bab,pd,class=3>(p=1 mod 3) 144<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-baa,pc-bab,pd,class=3> 145<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-wbaa,pc-bab,pd,class=3> 146<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-w^2baa,pc-bab,pd,class=3>(p=1 mod 4) 147<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-w^3baa,pc-bab,pd,class=3>(p=1 mod 4) 148<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) 149<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) 150<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) 151<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-xbaa,pb-ybaa,pc-bab,pd-bab,class=3>(all x,y) 152<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) 153<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) 154<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc,pd,class=3> 155<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc,pd,class=3> 156<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc,pd,class=3> 157<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc,pd,class=3> 158<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc,pd,class=3>(all x) 159<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-baa-bab,pc,pd,class=3> 160<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-wbaa-bab,pc,pd,class=3> 161<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb,pc,pd,class=3> 162<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-baa,pc,pd,class=3> 163<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-wbaa,pc,pd,class=3> 164<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-xbaa-bab,pc,pd,class=3>(all x) 165<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb,pc,pd,class=3> 166<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-baa,pc,pd,class=3> 167<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-wbaa,pc,pd,class=3> 168<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-xbaa-bab,pc,pd,class=3>(all x) 169<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc-baa,pd,class=3> 170<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc-baa,pd,class=3> 171<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc-baa,pd,class=3> 172<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc-baa,pd,class=3> 173<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc-baa,pd,class=3>(all x) 174<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-baa-bab,pc-baa,pd,class=3> 175<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-wbaa-bab,pc-baa,pd,class=3> 176<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb,pc-baa,pd,class=3> 177<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-baa,pc-baa,pd,class=3> 178<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-wbaa,pc-baa,pd,class=3> 179<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-xbaa-bab,pc-baa,pd,class=3>(all x) 180<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb,pc-baa,pd,class=3> 181<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-baa,pc-baa,pd,class=3> 182<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-wbaa,pc-baa,pd,class=3> 183<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-xbaa-bab,pc-baa,pd,class=3>(all x) 184<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-xbab,pb-baa-ybab,pc-bab,pd,class=3>(all x,y) 185<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-xbab,pb-wbaa-ybab,pc-bab,pd,class=3>(all x,y) 186<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc-bab,pd,class=3>(all x) 187<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-bab,pb-xbab,pc-bab,pd,class=3>(all x) 188<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-wbab,pb-xbab,pc-bab,pd,class=3>(all x) 189<a,b,c,d|ca,cb,da,db,dc-baa,pa-xbab,pb-baa-bab,pc-bab,pd,class=3>(all x) 190<a,b,c,d|ca,cb,da,db,dc-baa,pa-xbab,pb-wbaa-bab,pc-bab,pd,class=3>(all x) 191<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc-bab,pd,class=3> 192<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-baa,pc-bab,pd,class=3> 193<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-baa,pc-bab,pd,class=3> 194<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc-bab,pd,class=3> 195<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-wbaa,pc-bab,pd,class=3> 196<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-wbaa,pc-bab,pd,class=3> 197<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc-bab,pd,class=3> 198<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb,pc-bab,pd,class=3> 199<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb,pc-bab,pd,class=3> 200<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc-bab,pd,class=3> 201<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-bab,pc-bab,pd,class=3> 202<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-bab,pc-bab,pd,class=3> 203<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc-baa,pd-bab,class=3> 204<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc-baa,pd-bab,class=3> 205<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc-baa,pd-bab,class=3> 206<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-w^2baa,pc-baa,pd-bab,class=3>(p=1 mod 4) 207<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-w^3baa,pc-baa,pd-bab,class=3>(p=1 mod 4) 208<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc-baa,pd-bab,class=3> 209<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc-baa,pd-bab,class=3>(all x) 210<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbaa-bab,pc-baa,pd-bab,class=3>(x ne 0) 211<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) 212<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) 213<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc,pd,class=3> 214<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-baa,pc,pd,class=3> 215<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-wbaa,pc,pd,class=3> 216<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-bab,pc,pd,class=3> 217<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa,pb-xbab,pc,pd,class=3>(all x) 218<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa,pb-baa-bab,pc,pd,class=3> 219<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa,pb-wbaa-bab,pc,pd,class=3> 220<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb,pc,pd,class=3> 221<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb-baa,pc,pd,class=3> 222<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb-wbaa,pc,pd,class=3> 223<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb-xbaa-bab,pc,pd,class=3>(all x) 224<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb,pc,pd,class=3> 225<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb-baa,pc,pd,class=3> 226<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb-wbaa,pc,pd,class=3> 227<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb-xbaa-bab,pc,pd,class=3>(all x) 228<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-baa,pd,class=3> 229<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-baa,pc-baa,pd,class=3> 230<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-wbaa,pc-baa,pd,class=3> 231<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-bab,pc-baa,pd,class=3> 232<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-wbab,pc-baa,pd,class=3>(p=1 mod 3) 233<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-w^2bab,pc-baa,pd,class=3>(p=1 mod 3) 234<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa,pb-xbab,pc-baa,pd,class=3>(all x) 235<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) 236<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) 237<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) 238<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) 239<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) 240<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) 241<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) 242<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) 243<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) 244<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) 245<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) 246<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) 247<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) 248<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) 249<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) 250<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) 251<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-ybaa-bab,pc-bab,pd,class=3>(all x,y) 252<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-xbaa,pc-bab,pd,class=3>(all x) 253<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-bab,pb-xbaa,pc-bab,pd,class=3>(all x) 254<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-wbab,pb-xbaa,pc-bab,pd,class=3>(all x) 255<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb,pc,pd-baa,class=3>(all x) 256<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-baa,pc,pd-baa,class=3>(all x) 257<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-wbaa,pc,pd-baa,class=3>(all x) 258<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) 259<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb,pc,pd-wbaa,class=3>(all x) 260<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-baa,pc,pd-wbaa,class=3>(all x) 261<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-xbab,pb-wbaa,pc,pd-wbaa,class=3>(all x) 262<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) 263<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa-baa+2bab,pb-xbaa,pc,pd-baa,class=3>(all x) 264<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) 265<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) 266<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) 267<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) 268<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) 269<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) 270<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) 271<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) 272<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) 273<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) 274<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) 275<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) 276<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) 277<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) 278<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) 279<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) 280<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) 281<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) 282<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) 283<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc,pd-bab,class=3> 284<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-baa,pc,pd-bab,class=3> 285<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-wbaa,pc,pd-bab,class=3> 286<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-w^2baa,pc,pd-bab,class=3>(p=1 mod 3) 287<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-w^3baa,pc,pd-bab,class=3>(p=1 mod 3) 288<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-w^4baa,pc,pd-bab,class=3>(p=1 mod 3) 289<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-w^5baa,pc,pd-bab,class=3>(p=1 mod 3) 290<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) 291<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) 292<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) 293<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) 294<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) 295<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) 296<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) 297<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) 298<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) 299<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) 300<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) 301<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) 302<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) 303<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) 304<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) 305<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) 306<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) 307<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) 308<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) 309<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) 310<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) 311<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-baa,pd-bab,class=3>(p=1 mod 5) 312<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-wbaa,pd-bab,class=3>(p=1 mod 5) 313<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-w^2baa,pd-bab,class=3>(p=1 mod 5) 314<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-w^3baa,pd-bab,class=3>(p=1 mod 5) 315<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc-w^4baa,pd-bab,class=3>(p=1 mod 5) 316