Quelle gapdec4.1
Sprache: unbekannt
|
|
#1361 algebras when p=3, p^5+2p^4+7p^3+25p^2+88p+270+(p+4)gcd(p-1,3)+gcd(p-1,4) algebras when p>3
Append( LIE_DATA[7], [
[7,4,2,"<a,b,c,d|ba,ca,da,cb,db,dc,pd,class=2>",[[5,1],[],[6,1],[],[],[7,1]],,,"7.2949"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,dc,pa,pb,class=2>",[[],[5,1],[],[],[],[6,1],[],[],[],[7,1]],,,"7.2950"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,dc,pa-ba,pb,class=2>",[[5,1],[5,1],[],[],[],[6,1],[],[],[],[7,1]],,,"7.2951"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,dc,pb,pc-ba,class=2>",[[6,1],[5,1],[],[],[],[5,1],[],[],[],[7,1]],,,"7.2952"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,dc,pb,pc,class=2>",[[6,1],[5,1],[],[],[],[],[],[],[],[7,1]],,,"7.2953"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,dc,pb-ba,pc,class=2>",[[6,1],[5,1],[5,1],[],[],[],[],[],[],[7,1]],,,"7.2954"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,dc,pc,pd,class=2>",[[6,1],[5,1],[7,1]],,,"7.2955"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,dc,pc-ba,pd,class=2>",[[6,1],[5,1],[7,1],[],[],[5,1]],,,"7.2956"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,dc-ba,pa,pc,class=2>",[[],[5,1],[6,1],[],[],[],[],[],[5,1],[7,1]],,,"7.2957"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,dc-ba,pa-ba,pc,class=2>",[[5,1],[5,1],[6,1],[],[],[],[],[],[5,1],[7,1]],,,"7.2958"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,dc-ba,pa,pb,class=2>",[[],[5,1],[],[],[],[6,1],[],[],[5,1],[7,1]],,,"7.2959"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,dc-ba,pa-ba,pb,class=2>",[[5,1],[5,1],[],[],[],[6,1],[],[],[5,1],[7,1]],,,"7.2960"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pb,pc,pd,class=2>",[[7,1],[5,1],[],[6,1]],,,"7.2961"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pc,pd,class=2>",[[],[5,1],[7,1],[6,1]],,,"7.2962"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pb-ba,pc,pd,class=2>",[[7,1],[5,1],[5,1],[6,1]],,,"7.2963"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pb-ca,pc,pd,class=2>",[[7,1],[5,1],[6,1],[6,1]],,,"7.2964"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pc-ba,pd,class=2>",[[],[5,1],[7,1],[6,1],[],[5,1]],,,"7.2965"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pc-ca,pd,class=2>",[[],[5,1],[7,1],[6,1],[],[6,1]],,,"7.2966"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa-ba,pc,pd,class=2>",[[5,1],[5,1],[7,1],[6,1]],,,"7.2967"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa-ca,pc,pd,class=2>",[[6,1],[5,1],[7,1],[6,1]],,,"7.2968"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pb-ba,pc-xca,pd,class=2>",[[7,1],[5,1],[5,1],[6,1],[],[6,x]],"x ne 0, x~x^-1",,"7.2969"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pb-ba-ca,pc-ca,pd,class=2>",[[7,1],[5,1],[5,1,6,1],[6,1],[],[6,1]],,,"7.2970"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pb-wca,pc-ba,pd,class=2>",[[7,1],[5,1],[6,w],[6,1],[],[5,1]],,,"7.2971"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pb-xca,pc-ba-ca,pd,class=2>",[[7,1],[5,1],[6,x],[6,1],[],[5,1,6,1]],"1+4x not a square",,"7.2972"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa-ca,pc-ba,pd,class=2>",[[6,1],[5,1],[7,1],[6,1],[],[5,1]],,,"7.2973"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa-ba,pc-ca,pd,class=2>",[[5,1],[5,1],[7,1],[6,1],[],[6,1]],,,"7.2974"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pb,pc,class=2>",[[],[5,1],[],[6,1],[],[],[],[],[],[7,1]],,,"7.2975"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa-ba,pb,pc,class=2>",[[5,1],[5,1],[],[6,1],[],[],[],[],[],[7,1]],,,"7.2976"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pb-ba,pc,class=2>",[[],[5,1],[5,1],[6,1],[],[],[],[],[],[7,1]],,,"7.2977"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa-ca,pb-ba,pc,class=2>",[[6,1],[5,1],[5,1],[6,1],[],[],[],[],[],[7,1]],,,"7.2978"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pb-ca,pc,class=2>",[[],[5,1],[6,1],[6,1],[],[],[],[],[],[7,1]],,,"7.2979"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa-ba,pb-ca,pc,class=2>",[[5,1],[5,1],[6,1],[6,1],[],[],[],[],[],[7,1]],,,"7.2980"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pb-ba,pc-xca,class=2>",[[],[5,1],[5,1],[6,1],[],[6,x],[],[],[],[7,1]],"x ne 0, x~x^-1",,"7.2981"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pb-ba-ca,pc-ca,class=2>",[[],[5,1],[5,1,6,1],[6,1],[],[6,1],[],[],[],[7,1]],,,"7.2982"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pb-wca,pc-ba,class=2>",[[],[5,1],[6,w],[6,1],[],[5,1],[],[],[],[7,1]],,,"7.2983"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pb-xca,pc-ba-ca,class=2>",[[],[5,1],[6,x],[6,1],[],[5,1,6,1],[],[],[],[7,1]],"1+4x not a square",,"7.2984"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pb,pd-ca,class=2>",[[],[5,1],[],[6,1],[],[7,1],[],[],[],[6,1]],,,"7.2985"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pb-ba,pd-ca,class=2>",[[],[5,1],[5,1],[6,1],[],[7,1],[],[],[],[6,1]],,,"7.2986"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa-ba,pb,pd-ca,class=2>",[[5,1],[5,1],[],[6,1],[],[7,1],[],[],[],[6,1]],,,"7.2987"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pc,pd-ca,class=2>",[[],[5,1],[7,1],[6,1],[],[],[],[],[],[6,1]],,,"7.2988"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa,pc-ba,pd-ca,class=2>",[[],[5,1],[7,1],[6,1],[],[5,1],[],[],[],[6,1]],,,"7.2989"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pa-ba,pc,pd-ca,class=2>",[[5,1],[5,1],[7,1],[6,1],[],[],[],[],[],[6,1]],,,"7.2990"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pb,pc,pd-ca,class=2>",[[7,1],[5,1],[],[6,1],[],[],[],[],[],[6,1]],,,"7.2991"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pb,pc-ba,pd-ca,class=2>",[[7,1],[5,1],[],[6,1],[],[5,1],[],[],[],[6,1]],,,"7.2992"],
[7,4,2,"<a,b,c,d|cb,da,db,dc,pb-ba,pc,pd-ca,class=2>",[[7,1],[5,1],[5,1],[6,1],[],[],[],[],[],[6,1]],,,"7.2993"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb,pc,class=2>",[[],[5,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.2994"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb,pc-ba,class=2>",[[],[5,1],[],[],[],[5,1],[],[],[6,1],[7,1]],,,"7.2995"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb,pc-dc,class=2>",[[],[5,1],[],[],[],[6,1],[],[],[6,1],[7,1]],,,"7.2996"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb,pc-ba-dc,class=2>",[[],[5,1],[],[],[],[5,1,6,1],[],[],[6,1],[7,1]],,,"7.2997"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb-ba,pc,class=2>",[[],[5,1],[5,1],[],[],[],[],[],[6,1],[7,1]],,,"7.2998"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb-ba,pc-ba,class=2>",[[],[5,1],[5,1],[],[],[5,1],[],[],[6,1],[7,1]],,,"7.2999"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb-ba,pc-dc,class=2>",[[],[5,1],[5,1],[],[],[6,1],[],[],[6,1],[7,1]],,,"7.3000"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb-ba,pc-ba-dc,class=2>",[[],[5,1],[5,1],[],[],[5,1,6,1],[],[],[6,1],[7,1]],,,"7.3001"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb-dc,pc,class=2>",[[],[5,1],[6,1],[],[],[],[],[],[6,1],[7,1]],,,"7.3002"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb-dc,pc-ba,class=2>",[[],[5,1],[6,1],[],[],[5,1],[],[],[6,1],[7,1]],,,"7.3003"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb-dc,pc-dc,class=2>",[[],[5,1],[6,1],[],[],[6,1],[],[],[6,1],[7,1]],,,"7.3004"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb-dc,pc-ba-dc,class=2>",[[],[5,1],[6,1],[],[],[5,1,6,1],[],[],[6,1],[7,1]],,,"7.3005"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb-ba-dc,pc,class=2>",[[],[5,1],[5,1,6,1],[],[],[],[],[],[6,1],[7,1]],,,"7.3006"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb-ba-dc,pc-ba,class=2>",[[],[5,1],[5,1,6,1],[],[],[5,1],[],[],[6,1],[7,1]],,,"7.3007"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pb-ba-dc,pc-xba-dc,class=2>",[[],[5,1],[5,1,6,1],[],[],[5,x,6,1],[],[],[6,1],[7,1]],"",,"7.3008"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-ba,pb-dc,pc,class=2>",[[5,1],[5,1],[6,1],[],[],[],[],[],[6,1],[7,1]],,,"7.3009"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-ba,pb-dc,pc-ba,class=2>",[[5,1],[5,1],[6,1],[],[],[5,1],[],[],[6,1],[7,1]],,,"7.3010"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-ba,pb-dc,pc-dc,class=2>",[[5,1],[5,1],[6,1],[],[],[6,1],[],[],[6,1],[7,1]],,,"7.3011"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-ba,pb-dc,pc-ba-dc,class=2>",[[5,1],[5,1],[6,1],[],[],[5,1,6,1],[],[],[6,1],[7,1]],,,"7.3012"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pc,pd-pb,class=2>",[[],[5,1],[7,1],[],[],[],[],[],[6,1],[7,1]],,,"7.3013"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pc,pd+ba-pb,class=2>",[[],[5,1],[7,1],[],[],[],[],[],[6,1],[5,-1,7,1]],,,"7.3014"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pc,pd+ba+dc-pb,class=2>",[[],[5,1],[7,1],[],[],[],[],[],[6,1],[5,-1,6,-1,7,1]],,,"7.3015"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pc-ba,pd-pb,class=2>",[[],[5,1],[7,1],[],[],[5,1],[],[],[6,1],[7,1]],,,"7.3016"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pc-ba,pd+dc-pb,class=2>",[[],[5,1],[7,1],[],[],[5,1],[],[],[6,1],[6,-1,7,1]],,,"7.3017"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pc-dc,pd-pb,class=2>",[[],[5,1],[7,1],[],[],[6,1],[],[],[6,1],[7,1]],,,"7.3018"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pc-dc,pd+ba-pb,class=2>",[[],[5,1],[7,1],[],[],[6,1],[],[],[6,1],[5,-1,7,1]],,,"7.3019"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pc-ba-dc,pd-pb,class=2>",[[],[5,1],[7,1],[],[],[5,1,6,1],[],[],[6,1],[7,1]],,,"7.3020"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa,pc-ba-dc,pd+ba-pb,class=2>",[[],[5,1],[7,1],[],[],[5,1,6,1],[],[],[6,1],[5,-1,7,1]],,,"7.3021"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-ba,pc-ba,pd-pb,class=2>",[[5,1],[5,1],[7,1],[],[],[5,1],[],[],[6,1],[7,1]],,,"7.3022"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-ba,pc-ba,pd+dc-pb,class=2>",[[5,1],[5,1],[7,1],[],[],[5,1],[],[],[6,1],[6,-1,7,1]],,,"7.3023"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-ba,pc-ba-xdc,pd-pb,class=2>",[[5,1],[5,1],[7,1],[],[],[5,1,6,x],[],[],[6,1],[7,1]],"x ne 0",,"7.3024"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-ba,pc-xdc,pd-pb,class=2>",[[5,1],[5,1],[7,1],[],[],[6,x],[],[],[6,1],[7,1]],"x ne 0, x~x^-1",,"7.3025"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-dc,pc-ba,pd-pb,class=2>",[[6,1],[5,1],[7,1],[],[],[5,1],[],[],[6,1],[7,1]],,,"7.3026"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-dc,pc-wba,pd-pb,class=2>",[[6,1],[5,1],[7,1],[],[],[5,w],[],[],[6,1],[7,1]],,,"7.3027"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-dc,pc-xba-dc,pd-pb,class=2>",[[6,1],[5,1],[7,1],[],[],[5,x,6,1],[],[],[6,1],[7,1]],"x ne 0",,"7.3028"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-ba-dc,pc-xba-ydc,pd-pb,class=2>",[[5,1,6,1],[5,1],[7,1],[],[],[5,x,6,y],[],[],[6,1],[7,1]],"x,y ne 0, [x,y]~[xy^-2,y^-1]",,"7.3029"],
[7,4,2,"<a,b,c,d|ca,da,cb,db,pa-ba-dc,pc-xba-xdc,pd+ba-pb,class=2>",[[5,1,6,1],[5,1],[7,1],[],[],[5,x,6,x],[],[],[6,1],[5,-1,7,1]],"x ne 0, x~x^-1",,"7.3030"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa,pb,pc,class=2>",[[],[5,1],[],[6,1],[],[],[],[6,1],[],[7,1]],,,"7.3031"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa-ba,pb,pc,class=2>",[[5,1],[5,1],[],[6,1],[],[],[],[6,1],[],[7,1]],,,"7.3032"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa-ca,pb,pc,class=2>",[[6,1],[5,1],[],[6,1],[],[],[],[6,1],[],[7,1]],,,"7.3033"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa,pb-ba,pc,class=2>",[[],[5,1],[5,1],[6,1],[],[],[],[6,1],[],[7,1]],,,"7.3034"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa,pb-ca,pc,class=2>",[[],[5,1],[6,1],[6,1],[],[],[],[6,1],[],[7,1]],,,"7.3035"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa-ba,pb-ca,pc,class=2>",[[5,1],[5,1],[6,1],[6,1],[],[],[],[6,1],[],[7,1]],,,"7.3036"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa-ca,pb-ba,pc,class=2>",[[6,1],[5,1],[5,1],[6,1],[],[],[],[6,1],[],[7,1]],,,"7.3037"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa,pb,pc-ba,class=2>",[[],[5,1],[],[6,1],[],[5,1],[],[6,1],[],[7,1]],,,"7.3038"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa-ca,pb,pc-ba,class=2>",[[6,1],[5,1],[],[6,1],[],[5,1],[],[6,1],[],[7,1]],,,"7.3039"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa,pb-ba,pc-ba,class=2>",[[],[5,1],[5,1],[6,1],[],[5,1],[],[6,1],[],[7,1]],,,"7.3040"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa-ca,pb-ba,pc-ba,class=2>",[[6,1],[5,1],[5,1],[6,1],[],[5,1],[],[6,1],[],[7,1]],,,"7.3041"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa,pb-ba-xca,pc-ba,class=2>",[[],[5,1],[5,1,6,x],[6,1],[],[5,1],[],[6,1],[],[7,1]],"x ne 0",,"7.3042"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa,pb-ca,pc-ba,class=2>",[[],[5,1],[6,1],[6,1],[],[5,1],[],[6,1],[],[7,1]],,,"7.3043"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa,pb-wca,pc-ba,class=2>",[[],[5,1],[6,w],[6,1],[],[5,1],[],[6,1],[],[7,1]],,,"7.3044"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa,pb,pc-ca,class=2>",[[],[5,1],[],[6,1],[],[6,1],[],[6,1],[],[7,1]],,,"7.3045"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa-ba,pb,pc-ca,class=2>",[[5,1],[5,1],[],[6,1],[],[6,1],[],[6,1],[],[7,1]],,,"7.3046"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa,pb-xba,pc-ca,class=2>",[[],[5,1],[5,x],[6,1],[],[6,1],[],[6,1],[],[7,1]],"x ne 0",,"7.3047"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pa,pb-ba-ca,pc-ca,class=2>",[[],[5,1],[5,1,6,1],[6,1],[],[6,1],[],[6,1],[],[7,1]],,,"7.3048"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb,pc,pd,class=2>",[[7,1],[5,1],[],[6,1],[],[],[],[6,1]],,,"7.3049"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb-ba,pc,pd,class=2>",[[7,1],[5,1],[5,1],[6,1],[],[],[],[6,1]],,,"7.3050"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb-ca,pc,pd,class=2>",[[7,1],[5,1],[6,1],[6,1],[],[],[],[6,1]],,,"7.3051"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb,pc-ba,pd,class=2>",[[7,1],[5,1],[],[6,1],[],[5,1],[],[6,1]],,,"7.3052"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb-ca,pc-ba,pd,class=2>",[[7,1],[5,1],[6,1],[6,1],[],[5,1],[],[6,1]],,,"7.3053"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb-wca,pc-ba,pd,class=2>",[[7,1],[5,1],[6,w],[6,1],[],[5,1],[],[6,1]],,,"7.3054"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb-xba,pc-ca,pd,class=2>",[[7,1],[5,1],[5,x],[6,1],[],[6,1],[],[6,1]],"",,"7.3055"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb,pc,pd-ba,class=2>",[[7,1],[5,1],[],[6,1],[],[],[],[6,1],[],[5,1]],,,"7.3056"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb-ca,pc,pd-ba,class=2>",[[7,1],[5,1],[6,1],[6,1],[],[],[],[6,1],[],[5,1]],,,"7.3057"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb,pc,pd-ca,class=2>",[[7,1],[5,1],[],[6,1],[],[],[],[6,1],[],[6,1]],,,"7.3058"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb-ba,pc,pd-ca,class=2>",[[7,1],[5,1],[5,1],[6,1],[],[],[],[6,1],[],[6,1]],,,"7.3059"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb,pc-ba,pd-ca,class=2>",[[7,1],[5,1],[],[6,1],[],[5,1],[],[6,1],[],[6,1]],,,"7.3060"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc,pb,pc-ca,pd-ba,class=2>",[[7,1],[5,1],[],[6,1],[],[6,1],[],[6,1],[],[5,1]],,,"7.3061"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc-wba,pa,pb,pc,class=2>",[[],[5,1],[],[6,1],[],[],[],[6,1],[5,w],[7,1]],,,"7.3062"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc-wba,pa-ba,pb,pc,class=2>",[[5,1],[5,1],[],[6,1],[],[],[],[6,1],[5,w],[7,1]],,,"7.3063"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc-wba,pa,pb-ba-xca,pc,class=2>",[[],[5,1],[5,1,6,x],[6,1],[],[],[],[6,1],[5,w],[7,1]],"x~-x",,"7.3064"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc-wba,pa-ca,pb-ba-xca,pc,class=2>",[[6,1],[5,1],[5,1,6,x],[6,1],[],[],[],[6,1],[5,w],[7,1]],"x~-x",,"7.3065"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc-wba,pa,pb-ca,pc,class=2>",[[],[5,1],[6,1],[6,1],[],[],[],[6,1],[5,w],[7,1]],,,"7.3066"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc-wba,pa-ba,pb-ca,pc,class=2>",[[5,1],[5,1],[6,1],[6,1],[],[],[],[6,1],[5,w],[7,1]],,,"7.3067"],
[7,4,2,"<a,b,c,d|da,cb,db-ca,dc-wba,pa,pb-xba-yca,pc-zba-tca,class=2>",[[],[5,1],[5,x,6,y],[6,1],[],[5,z,6,t],[],[6,1],[5,w],[7,1]],"See Notes4.1 Case 4",,"7.3068"],
[7,4,2,"<a,b,c,d|da,db,dc,pa,pb,pc,pd,class=2>",[[],[5,1],[],[6,1],[7,1]],,,"7.3069"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-cb,pb,pc,pd,class=2>",[[7,1],[5,1],[],[6,1],[7,1]],,,"7.3070"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ba,pb,pc,pd,class=2>",[[5,1],[5,1],[],[6,1],[7,1]],,,"7.3071"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ca,pb-xcb,pc,pd,class=2>",[[6,1],[5,1],[7,x],[6,1],[7,1]],"x ne 0, x~x^-1",,"7.3072"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ca-cb,pb-cb,pc,pd,class=2>",[[6,1,7,1],[5,1],[7,1],[6,1],[7,1]],,,"7.3073"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-wcb,pb-ca,pc,pd,class=2>",[[7,w],[5,1],[6,1],[6,1],[7,1]],,,"7.3074"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-xcb,pb-ca-cb,pc,pd,class=2>",[[7,x],[5,1],[6,1,7,1],[6,1],[7,1]],"1+4x not a square",,"7.3075"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ba,pb-ca,pc,pd,class=2>",[[5,1],[5,1],[6,1],[6,1],[7,1]],,,"7.3076"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ba,pb-cb,pc,pd,class=2>",[[5,1],[5,1],[7,1],[6,1],[7,1]],,,"7.3077"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ba,pb-cb,pc-xba-ca,pd,class=2>",[[5,1],[5,1],[7,1],[6,1],[7,1],[5,x,6,1]],"",,"7.3078"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ba,pb-ca,pc-cb,pd,class=2>",[[5,1],[5,1],[6,1],[6,1],[7,1],[7,1]],,,"7.3079"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ba,pb-ca,pc+cb,pd,class=2>",[[5,1],[5,1],[6,1],[6,1],[7,1],[7,-1]],,,"7.3080"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ba,pb-ca,pc-wba+cb,pd,class=2>",[[5,1],[5,1],[6,1],[6,1],[7,1],[5,w,7,-1]],,,"7.3081"],
[7,4,2,"<a,b,c,d|da,db,dc,pa,pb,pc,pd-cb,class=2>",[[],[5,1],[],[6,1],[7,1],[],[],[],[],[7,1]],,,"7.3082"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ba,pb,pc,pd-cb,class=2>",[[5,1],[5,1],[],[6,1],[7,1],[],[],[],[],[7,1]],,,"7.3083"],
[7,4,2,"<a,b,c,d|da,db,dc,pa,pb-ba,pc,pd-cb,class=2>",[[],[5,1],[5,1],[6,1],[7,1],[],[],[],[],[7,1]],,,"7.3084"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ca,pb-ba,pc,pd-cb,class=2>",[[6,1],[5,1],[5,1],[6,1],[7,1],[],[],[],[],[7,1]],,,"7.3085"],
[7,4,2,"<a,b,c,d|da,db,dc,pa,pb-ca,pc,pd-cb,class=2>",[[],[5,1],[6,1],[6,1],[7,1],[],[],[],[],[7,1]],,,"7.3086"],
[7,4,2,"<a,b,c,d|da,db,dc,pa-ba,pb-ca,pc,pd-cb,class=2>",[[5,1],[5,1],[6,1],[6,1],[7,1],[],[],[],[],[7,1]],,,"7.3087"],
[7,4,2,"<a,b,c,d|da,db,dc,pa,pb-ba,pc-xca,pd-cb,class=2>",[[],[5,1],[5,1],[6,1],[7,1],[6,x],[],[],[],[7,1]],"x ne 0, x~x^-1",,"7.3088"],
[7,4,2,"<a,b,c,d|da,db,dc,pa,pb-ba-ca,pc-ca,pd-cb,class=2>",[[],[5,1],[5,1,6,1],[6,1],[7,1],[6,1],[],[],[],[7,1]],,,"7.3089"],
[7,4,2,"<a,b,c,d|da,db,dc,pa,pb-wca,pc-ba,pd-cb,class=2>",[[],[5,1],[6,w],[6,1],[7,1],[5,1],[],[],[],[7,1]],,,"7.3090"],
[7,4,2,"<a,b,c,d|da,db,dc,pa,pb-xca,pc-ba-ca,pd-cb,class=2>",[[],[5,1],[6,x],[6,1],[7,1],[5,1,6,1],[],[],[],[7,1]],"1+4x not a square",,"7.3091"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb,pc-cb,pd,class=2>",[[],[5,1],[],[],[6,1],[6,1],[],[],[7,1]],,,"7.3092"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-dc,pc-cb,pd,class=2>",[[],[5,1],[7,1],[],[6,1],[6,1],[],[],[7,1]],,,"7.3093"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba,pc-cb,pd,class=2>",[[],[5,1],[5,1],[],[6,1],[6,1],[],[],[7,1]],,,"7.3094"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba-dc,pc-cb,pd,class=2>",[[],[5,1],[5,1,7,1],[],[6,1],[6,1],[],[],[7,1]],,,"7.3095"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-cb,pc-cb,pd,class=2>",[[],[5,1],[6,1],[],[6,1],[6,1],[],[],[7,1]],,,"7.3096"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-cb,pc-cb-dc,pd,class=2>",[[],[5,1],[6,1],[],[6,1],[6,1,7,1],[],[],[7,1]],,,"7.3097"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-cb,pc-ba-cb-dc,pd,class=2>",[[],[5,1],[6,1],[],[6,1],[5,1,6,1,7,1],[],[],[7,1]],,,"7.3098"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb,pc,pd,class=2>",[[],[5,1],[],[],[6,1],[],[],[],[7,1]],,,"7.3099"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb,pc-dc,pd,class=2>",[[],[5,1],[],[],[6,1],[7,1],[],[],[7,1]],,,"7.3100"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb,pc-ba,pd,class=2>",[[],[5,1],[],[],[6,1],[5,1],[],[],[7,1]],,,"7.3101"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb,pc-ba-dc,pd,class=2>",[[],[5,1],[],[],[6,1],[5,1,7,1],[],[],[7,1]],,,"7.3102"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-dc,pc-dc,pd,class=2>",[[],[5,1],[7,1],[],[6,1],[7,1],[],[],[7,1]],,,"7.3103"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-dc,pc-ba,pd,class=2>",[[],[5,1],[7,1],[],[6,1],[5,1],[],[],[7,1]],,,"7.3104"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-dc,pc-ba-dc,pd,class=2>",[[],[5,1],[7,1],[],[6,1],[5,1,7,1],[],[],[7,1]],,,"7.3105"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba,pc-dc,pd,class=2>",[[],[5,1],[5,1],[],[6,1],[7,1],[],[],[7,1]],,,"7.3106"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba,pc-ba-dc,pd,class=2>",[[],[5,1],[5,1],[],[6,1],[5,1,7,1],[],[],[7,1]],,,"7.3107"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba-dc,pc-ba-xdc,pd,class=2>",[[],[5,1],[5,1,7,1],[],[6,1],[5,1,7,x],[],[],[7,1]],"x ne 0",,"7.3108"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-zcb,pc-xba-ycb,pd-dc,class=2>",[[],[5,1],[6,z],[],[6,1],[5,x,6,y],[],[],[7,1],[7,1]],"x=0,1, y=0,1, z ne 0,-1",,"7.3109"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb,pc,pd-dc,class=2>",[[],[5,1],[],[],[6,1],[],[],[],[7,1],[7,1]],,,"7.3110"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb,pc-ba,pd-dc,class=2>",[[],[5,1],[],[],[6,1],[5,1],[],[],[7,1],[7,1]],,,"7.3111"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba,pc,pd-dc,class=2>",[[],[5,1],[5,1],[],[6,1],[],[],[],[7,1],[7,1]],,,"7.3112"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba,pc-ba,pd-dc,class=2>",[[],[5,1],[5,1],[],[6,1],[5,1],[],[],[7,1],[7,1]],,,"7.3113"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb,pc-cb,pd-dc,class=2>",[[],[5,1],[],[],[6,1],[6,1],[],[],[7,1],[7,1]],,,"7.3114"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba,pc-cb,pd-dc,class=2>",[[],[5,1],[5,1],[],[6,1],[6,1],[],[],[7,1],[7,1]],,,"7.3115"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb+cb,pc,pd-dc,class=2>",[[],[5,1],[6,-1],[],[6,1],[],[],[],[7,1],[7,1]],,,"7.3116"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb+cb,pc-cb,pd-dc,class=2>",[[],[5,1],[6,-1],[],[6,1],[6,1],[],[],[7,1],[7,1]],,,"7.3117"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb+cb,pc-ba,pd-dc,class=2>",[[],[5,1],[6,-1],[],[6,1],[5,1],[],[],[7,1],[7,1]],,,"7.3118"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb+cb,pc-ba-cb,pd-dc,class=2>",[[],[5,1],[6,-1],[],[6,1],[5,1,6,1],[],[],[7,1],[7,1]],,,"7.3119"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb+cb-dc,pc,pd-dc,class=2>",[[],[5,1],[6,-1,7,1],[],[6,1],[],[],[],[7,1],[7,1]],,,"7.3120"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb+cb-dc,pc-cb,pd-dc,class=2>",[[],[5,1],[6,-1,7,1],[],[6,1],[6,1],[],[],[7,1],[7,1]],,,"7.3121"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb+cb-dc,pc-ba,pd-dc,class=2>",[[],[5,1],[6,-1,7,1],[],[6,1],[5,1],[],[],[7,1],[7,1]],,,"7.3122"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb+cb-dc,pc-ba-cb,pd-dc,class=2>",[[],[5,1],[6,-1,7,1],[],[6,1],[5,1,6,1],[],[],[7,1],[7,1]],,,"7.3123"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba-cb-xdc,pc-ba-ydc,pd-cb,class=2>",[[],[5,1],[5,1,6,1,7,x],[],[6,1],[5,1,7,y],[],[],[7,1],[6,1]],"",,"7.3124","[y,t]->[y,x]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-cb-zdc,pc-xba-ydc,pd-cb,class=2>",[[],[5,1],[6,1,7,z],[],[6,1],[5,x,7,y],[],[],[7,1],[6,1]],"x=0,1, y=0,1",,"7.3125","[x,y,t]->[x,y,z]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-zdc,pc-xba-ydc,pd-cb,class=2>",[[],[5,1],[7,z],[],[6,1],[5,x,7,y],[],[],[7,1],[6,1]],"x=0,1, y=0,1, z=0,1,w",,"7.3126","[x,y,t]->[x,y,z]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba-xdc,pc-ydc,pd-cb,class=2>",[[],[5,1],[5,1,7,x],[],[6,1],[7,y],[],[],[7,1],[6,1]],"x=0,1,w, y=0,1",,"7.3127","[y,t]->[y,x]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba-xdc,pc-ba-ydc,pd-cb,class=2>",[[],[5,1],[5,1,7,x],[],[6,1],[5,1,7,y],[],[],[7,1],[6,1]],"x=1,w",,"7.3128","[y,t]->[y,x]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba,pc-ba-xdc,pd-cb,class=2>",[[],[5,1],[5,1],[],[6,1],[5,1,7,x],[],[],[7,1],[6,1]],"x=0,1,w",,"7.3129"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ba-cb-ydc,pc-xdc,pd-cb,class=2>",[[],[5,1],[5,1,6,1,7,y],[],[6,1],[7,x],[],[],[7,1],[6,1]],"x=0,1",,"7.3130","[y,t]->[x,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-cb,pc,pd-ba,class=2>",[[],[5,1],[6,1],[],[6,1],[],[],[],[7,1],[5,1]],,,"7.3131"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-cb,pc-dc,pd-ba,class=2>",[[],[5,1],[6,1],[],[6,1],[7,1],[],[],[7,1],[5,1]],,,"7.3132"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-cb,pc-cb,pd-ba,class=2>",[[],[5,1],[6,1],[],[6,1],[6,1],[],[],[7,1],[5,1]],,,"7.3133"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-cb,pc-cb-dc,pd-ba,class=2>",[[],[5,1],[6,1],[],[6,1],[6,1,7,1],[],[],[7,1],[5,1]],,,"7.3134"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ydc,pc-zcb-xdc,pd-ba,class=2>",[[],[5,1],[7,y],[],[6,1],[6,z,7,x],[],[],[7,1],[5,1]],"x=0,1, y=0,1, z=0,1",,"7.3135","[y,z,t]->[y,z,x]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ycb,pc-xdc,pd-ba-dc,class=2>",[[],[5,1],[6,y],[],[6,1],[7,x],[],[],[7,1],[5,1,7,1]],"x=0,1",,"7.3136","[x,t]->[y,x]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-xcb-dc,pc-ydc,pd-ba-dc,class=2>",[[],[5,1],[6,x,7,1],[],[6,1],[7,y],[],[],[7,1],[5,1,7,1]],"x=0,-1, y=0,1",,"7.3137"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb-ycb-xdc,pc-cb,pd-ba-dc,class=2>",[[],[5,1],[6,y,7,x],[],[6,1],[6,1],[],[],[7,1],[5,1,7,1]],"x=0,1",,"7.3138"],
[7,4,2,"<a,b,c,d|ca,da,db,pa,pb+cb-xdc,pc-cb-dc,pd-ba-dc,class=2>",[[],[5,1],[6,-1,7,x],[],[6,1],[6,1,7,1],[],[],[7,1],[5,1,7,1]],"",,"7.3139"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-xba-ycb,pc-cb,pd-dc,class=2>",[[7,1],[5,1],[5,x,6,y],[],[6,1],[6,1],[],[],[7,1],[7,1]],"x=0,1",,"7.3140"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-ycb,pc-xba,pd-dc,class=2>",[[7,1],[5,1],[6,y],[],[6,1],[5,x],[],[],[7,1],[7,1]],"x=0,1",,"7.3141"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-ba,pc-xba,pd-dc,class=2>",[[7,1],[5,1],[5,1],[],[6,1],[5,x],[],[],[7,1],[7,1]],"x=0,1",,"7.3142"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-xba-cb,pc-yba-dc,pd-cb,class=2>",[[7,1],[5,1],[5,x,6,1],[],[6,1],[5,y,7,1],[],[],[7,1],[6,1]],"",,"7.3143"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-ba-cb,pc-xba,pd-cb,class=2>",[[7,1],[5,1],[5,1,6,1],[],[6,1],[5,x],[],[],[7,1],[6,1]],"",,"7.3144"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-cb,pc-xba,pd-cb,class=2>",[[7,1],[5,1],[6,1],[],[6,1],[5,x],[],[],[7,1],[6,1]],"x=0,1,w",,"7.3145"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-ba,pc-xba-dc,pd-cb,class=2>",[[7,1],[5,1],[5,1],[],[6,1],[5,x,7,1],[],[],[7,1],[6,1]],"",,"7.3146"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb,pc-xba-dc,pd-cb,class=2>",[[7,1],[5,1],[],[],[6,1],[5,x,7,1],[],[],[7,1],[6,1]],"x=0,1",,"7.3147"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-xba,pc-yba,pd-cb,class=2>",[[7,1],[5,1],[5,x],[],[6,1],[5,y],[],[],[7,1],[6,1]],"x=0,1, y=0,1",,"7.3148"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-ba,pc-wba,pd-cb,class=2>",[[7,1],[5,1],[5,1],[],[6,1],[5,w],[],[],[7,1],[6,1]],,"p=1 mod 3","7.3149"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-ba,pc-w^2ba,pd-cb,class=2>",[[7,1],[5,1],[5,1],[],[6,1],[5,w^2],[],[],[7,1],[6,1]],,"p=1 mod 3","7.3150"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb,pc,pd-ba,class=2>",[[7,1],[5,1],[],[],[6,1],[],[],[],[7,1],[5,1]],,,"7.3151"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-cb,pc-cb-dc,pd-ba,class=2>",[[7,1],[5,1],[6,1],[],[6,1],[6,1,7,1],[],[],[7,1],[5,1]],,,"7.3152"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-cb,pc-xcb,pd-ba,class=2>",[[7,1],[5,1],[6,1],[],[6,1],[6,x],[],[],[7,1],[5,1]],"",,"7.3153"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-xcb,pc-ycb,pd-ba-dc,class=2>",[[7,1],[5,1],[6,x],[],[6,1],[6,y],[],[],[7,1],[5,1,7,1]],"",,"7.3154"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-dc,pb-xcb,pc-ycb-dc,pd-ba-dc,class=2>",[[7,1],[5,1],[6,x],[],[6,1],[6,y,7,1],[],[],[7,1],[5,1,7,1]],"x ne -1, (1+x)y=1",,"7.3155"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-ba-xdc,pc-zba-ycb,pd-dc,class=2>",[[6,1],[5,1],[5,1,7,x],[],[6,1],[5,z,6,y],[],[],[7,1],[7,1]],"x=0,1",,"7.3156","[y,z,t]->[x,z,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-xdc,pc-yba-cb,pd-dc,class=2>",[[6,1],[5,1],[7,x],[],[6,1],[5,y,6,1],[],[],[7,1],[7,1]],"x=0,1",,"7.3157","[y,z]->[x,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-ydc,pc-xba,pd-dc,class=2>",[[6,1],[5,1],[7,y],[],[6,1],[5,x],[],[],[7,1],[7,1]],"x=0,1,w, y=0,1",,"7.3158","[y,z]->[y,x]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb,pc,pd-cb,class=2>",[[6,1],[5,1],[],[],[6,1],[],[],[],[7,1],[6,1]],,,"7.3159"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb,pc-ba,pd-cb,class=2>",[[6,1],[5,1],[],[],[6,1],[5,1],[],[],[7,1],[6,1]],,,"7.3160"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb,pc-wba,pd-cb,class=2>",[[6,1],[5,1],[],[],[6,1],[5,w],[],[],[7,1],[6,1]],,,"7.3161"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-dc,pc-ba,pd-cb,class=2>",[[6,1],[5,1],[7,1],[],[6,1],[5,1],[],[],[7,1],[6,1]],,,"7.3162"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-dc,pc-wba,pd-cb,class=2>",[[6,1],[5,1],[7,1],[],[6,1],[5,w],[],[],[7,1],[6,1]],,,"7.3163"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-wdc,pc-wba,pd-cb,class=2>",[[6,1],[5,1],[7,w],[],[6,1],[5,w],[],[],[7,1],[6,1]],,,"7.3164"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-xdc,pc-yba-dc,pd-cb,class=2>",[[6,1],[5,1],[7,x],[],[6,1],[5,y,7,1],[],[],[7,1],[6,1]],"x=1,w",,"7.3165","[y,z]->[x,y]]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb,pc-xba-dc,pd-cb,class=2>",[[6,1],[5,1],[],[],[6,1],[5,x,7,1],[],[],[7,1],[6,1]],"x=0,1,w",,"7.3166"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-ba-ydc,pc-zba-xdc,pd-cb,class=2>",[[6,1],[5,1],[5,1,7,y],[],[6,1],[5,z,7,x],[],[],[7,1],[6,1]],"x=w,w^2,...,w^((p-3)/2), y=1,w",,"7.3167","[y,z,t]->[y,z,x]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-ba,pc-xba-ydc,pd-cb,class=2>",[[6,1],[5,1],[5,1],[],[6,1],[5,x,7,y],[],[],[7,1],[6,1]],"x=0,1,w, y=w,w^2,...,w^((p-3)/2)",,"7.3168","[z,t]->[x,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-ba-dc,pc-xba-ydc,pd-cb,class=2>",[[6,1],[5,1],[5,1,7,1],[],[6,1],[5,x,7,y],[],[],[7,1],[6,1]],"x ne 0, y=1,-1",,"7.3169","[x,t]->[x,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-ba-wdc,pc-(w*x^2)ba-ydc,pd-cb,class=2>",[[6,1],[5,1],[5,1,7,w],[],[6,1],[5,w*x^2,7,y],[],[],[7,1],[6,1]],"x ne 0, y=1,-1, [x,y]~[-x,y]",,"7.3170","[x,t]->[x,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-ba,pc-xba-ydc,pd-cb,class=2>",[[6,1],[5,1],[5,1],[],[6,1],[5,x,7,y],[],[],[7,1],[6,1]],"x=0,1,w, y=1,-1",,"7.3171","[z,t]->[x,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-ba-ydc,pc-zba-xdc,pd-cb-dc,class=2>",[[6,1],[5,1],[5,1,7,y],[],[6,1],[5,z,7,x],[],[],[7,1],[6,1,7,1]],"",,"7.3172","[y,z,t]->[y,z,x]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-ydc,pc-xba-dc,pd-cb-dc,class=2>",[[6,1],[5,1],[7,y],[],[6,1],[5,x,7,1],[],[],[7,1],[6,1,7,1]],"",,"7.3173","[y,z]->[y,x]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-ydc,pc-xba,pd-cb-dc,class=2>",[[6,1],[5,1],[7,y],[],[6,1],[5,x],[],[],[7,1],[6,1,7,1]],"x=0,1,w",,"7.3174","[y,z]->[y,x]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-ba-ydc,pc-zcb-xdc,pd-ba-dc,class=2>",[[6,1],[5,1],[5,1,7,y],[],[6,1],[6,z,7,x],[],[],[7,1],[5,1,7,1]],"",,"7.3175","[y,z,t]->[y,z,x]"], | |
