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]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-dc,pc-xcb-ydc,pd-ba-dc,class=2>",[[6,1],[5,1],[7,1],[],[6,1],[6,x,7,y],[],[],[7,1],[5,1,7,1]],"",,"7.3176","[z,t]->[x,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb,pc-cb-xdc,pd-ba-dc,class=2>",[[6,1],[5,1],[],[],[6,1],[6,1,7,x],[],[],[7,1],[5,1,7,1]],"",,"7.3177"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb,pc-xdc,pd-ba-dc,class=2>",[[6,1],[5,1],[],[],[6,1],[7,x],[],[],[7,1],[5,1,7,1]],"x=0,1,w",,"7.3178"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-cb,pb-xba-ydc,pc-zba-tdc,pd-ba-cb-dc,class=2>",[[6,1],[5,1],[5,x,7,y],[],[6,1],[5,z,7,t],[],[],[7,1],[5,1,6,1,7,1]],"[x,y,z,t]~[t+1,z+1,y-1,x-1]",,"7.3179"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba,pb-xcb,pc-ycb,pd-dc,class=2>",[[5,1],[5,1],[6,x],[],[6,1],[6,y],[],[],[7,1],[7,1]],"[x,y]~[y,x]",,"7.3180","[x,t]->[x,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba,pb-xcb,pc-ba+cb,pd-dc,class=2>",[[5,1],[5,1],[6,x],[],[6,1],[5,1,6,-1],[],[],[7,1],[7,1]],"",,"7.3181"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba,pb+cb-dc,pc-ba+cb,pd-dc,class=2>",[[5,1],[5,1],[6,-1,7,1],[],[6,1],[5,1,6,-1],[],[],[7,1],[7,1]],,,"7.3182"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba,pb-xcb,pc-ycb,pd-ba-dc,class=2>",[[5,1],[5,1],[6,x],[],[6,1],[6,y],[],[],[7,1],[5,1,7,1]],"",,"7.3183","[x,z]->[x,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba,pb+cb-dc,pc-xcb,pd-ba-dc,class=2>",[[5,1],[5,1],[6,-1,7,1],[],[6,1],[6,x],[],[],[7,1],[5,1,7,1]],"",,"7.3184"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba,pb-xcb,pc+cb-dc,pd-ba-dc,class=2>",[[5,1],[5,1],[6,x],[],[6,1],[6,-1,7,1],[],[],[7,1],[5,1,7,1]],"x ne -1",,"7.3185"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba-dc,pb-xcb,pc-zcb,pd-ba-ydc,class=2>",[[5,1,7,1],[5,1],[6,x],[],[6,1],[6,z],[],[],[7,1],[5,1,7,y]],"y ne 0, [x,y,z]~[zy,y,x/y]",,"7.3186","[x,z,t]->[x,z,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba-dc,pb-xcb,pc-ycb-dc,pd-ba-dc,class=2>",[[5,1,7,1],[5,1],[6,x],[],[6,1],[6,y,7,1],[],[],[7,1],[5,1,7,1]],"x,y ne 0, [x,y]~[y,x]",,"7.3187","[x,z]->[x,y]"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba-dc,pb-dc,pc-xcb,pd-ba-dc,class=2>",[[5,1,7,1],[5,1],[7,1],[],[6,1],[6,x],[],[],[7,1],[5,1,7,1]],"x ne 0",,"7.3188"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba-dc,pb,pc-dc,pd-ba-dc,class=2>",[[5,1,7,1],[5,1],[],[],[6,1],[7,1],[],[],[7,1],[5,1,7,1]],,,"7.3189"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba-dc,pb-dc,pc-xdc,pd-ba-dc,class=2>",[[5,1,7,1],[5,1],[7,1],[],[6,1],[7,x],[],[],[7,1],[5,1,7,1]],"x ne 0, x~x^-1",,"7.3190"],
[7,4,2,"<a,b,c,d|ca,da,db,pa-ba-dc,pb-xcb,pc-zcb-dc,pd-ba-ydc,class=2>",[[5,1,7,1],[5,1],[6,x],[],[6,1],[6,z,7,1],[],[],[7,1],[5,1,7,y]],"y ne 0,1, (x+y)(1+z)=1, [x,y,z]~[zy,y,x/y]",,"7.3191","[x,z,t]->[x,z,y]"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-ba,pc-ca,pd-xda,class=2>",[[],[5,1],[5,1],[6,1],[],[6,1],[7,1],[],[],[7,x]],"x ne 0",,"7.3192"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-ba-ca,pc-ca,pd-da,class=2>",[[],[5,1],[5,1,6,1],[6,1],[],[6,1],[7,1],[],[],[7,1]],,,"7.3193"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-xda,pc-ba-yda,pd-ca-da,class=2>",[[],[5,1],[7,x],[6,1],[],[5,1,7,y],[7,1],[],[],[6,1,7,1]],"x ne 0",,"7.3194"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-xda,pc-ba-yda,pd-ca,class=2>",[[],[5,1],[7,x],[6,1],[],[5,1,7,y],[7,1],[],[],[6,1]],"x ne 0, y=1,w, [x,y]~[-x,y]",,"7.3195"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-da,pc-ba,pd-ca,class=2>",[[],[5,1],[7,1],[6,1],[],[5,1],[7,1],[],[],[6,1]],,,"7.3196"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-wda,pc-ba,pd-ca,class=2>",[[],[5,1],[7,w],[6,1],[],[5,1],[7,1],[],[],[6,1]],,"p=1 mod 3","7.3197"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-w^2da,pc-ba,pd-ca,class=2>",[[],[5,1],[7,w^2],[6,1],[],[5,1],[7,1],[],[],[6,1]],,"p=1 mod 3","7.3198"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-ca,pc-da,pd,class=2>",[[],[5,1],[6,1],[6,1],[],[7,1],[7,1]],,,"7.3199"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa-ba,pb-ca,pc-da,pd,class=2>",[[5,1],[5,1],[6,1],[6,1],[],[7,1],[7,1]],,,"7.3200"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-ba,pc-da,pd,class=2>",[[],[5,1],[5,1],[6,1],[],[7,1],[7,1]],,,"7.3201"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa-ca,pb-ba,pc-da,pd,class=2>",[[6,1],[5,1],[5,1],[6,1],[],[7,1],[7,1]],,,"7.3202"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-ba,pc-ca,pd,class=2>",[[],[5,1],[5,1],[6,1],[],[6,1],[7,1]],,,"7.3203"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa-da,pb-ba,pc-ca,pd,class=2>",[[7,1],[5,1],[5,1],[6,1],[],[6,1],[7,1]],,,"7.3204"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-xca,pc-ba-ca,pd,class=2>",[[],[5,1],[6,x],[6,1],[],[5,1,6,1],[7,1]],"x ne 0",,"7.3205"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa-da,pb-xca,pc-ba-ca,pd,class=2>",[[7,1],[5,1],[6,x],[6,1],[],[5,1,6,1],[7,1]],"x ne 0",,"7.3206"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-ca,pc-ba,pd,class=2>",[[],[5,1],[6,1],[6,1],[],[5,1],[7,1]],,,"7.3207"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa-da,pb-ca,pc-ba,pd,class=2>",[[7,1],[5,1],[6,1],[6,1],[],[5,1],[7,1]],,,"7.3208"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-wca,pc-ba,pd,class=2>",[[],[5,1],[6,w],[6,1],[],[5,1],[7,1]],,,"7.3209"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa-da,pb-wca,pc-ba,pd,class=2>",[[7,1],[5,1],[6,w],[6,1],[],[5,1],[7,1]],,,"7.3210"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-ba,pc,pd,class=2>",[[],[5,1],[5,1],[6,1],[],[],[7,1]],,,"7.3211"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa-ca,pb-ba,pc,pd,class=2>",[[6,1],[5,1],[5,1],[6,1],[],[],[7,1]],,,"7.3212"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb-ca,pc,pd,class=2>",[[],[5,1],[6,1],[6,1],[],[],[7,1]],,,"7.3213"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa-ba,pb-ca,pc,pd,class=2>",[[5,1],[5,1],[6,1],[6,1],[],[],[7,1]],,,"7.3214"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa-da,pb-ca,pc,pd,class=2>",[[7,1],[5,1],[6,1],[6,1],[],[],[7,1]],,,"7.3215"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa,pb,pc,pd,class=2>",[[],[5,1],[],[6,1],[],[],[7,1]],,,"7.3216"],
[7,4,2,"<a,b,c,d|cb,db,dc,pa-ba,pb,pc,pd,class=2>",[[5,1],[5,1],[],[6,1],[],[],[7,1]],,,"7.3217"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb,pc,pd,class=2>",[[],[5,1],[],[],[6,1],[],[],[7,1],[5,1]],,,"7.3218"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-ba,pc,pd,class=2>",[[],[5,1],[5,1],[],[6,1],[],[],[7,1],[5,1]],,,"7.3219"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-cb,pc,pd,class=2>",[[],[5,1],[6,1],[],[6,1],[],[],[7,1],[5,1]],,,"7.3220"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-cb,pc-ba,pd,class=2>",[[],[5,1],[6,1],[],[6,1],[5,1],[],[7,1],[5,1]],,,"7.3221"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-xdb,pc-ba,pd,class=2>",[[],[5,1],[7,x],[],[6,1],[5,1],[],[7,1],[5,1]],"",,"7.3222"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb,pc-cb,pd,class=2>",[[],[5,1],[],[],[6,1],[6,1],[],[7,1],[5,1]],,,"7.3223"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-ba,pc-cb,pd,class=2>",[[],[5,1],[5,1],[],[6,1],[6,1],[],[7,1],[5,1]],,,"7.3224"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-db,pc-cb,pd,class=2>",[[],[5,1],[7,1],[],[6,1],[6,1],[],[7,1],[5,1]],,,"7.3225"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb,pc-db,pd,class=2>",[[],[5,1],[],[],[6,1],[7,1],[],[7,1],[5,1]],,,"7.3226"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-ba,pc-db,pd,class=2>",[[],[5,1],[5,1],[],[6,1],[7,1],[],[7,1],[5,1]],,,"7.3227"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-wba,pc-db,pd,class=2>",[[],[5,1],[5,w],[],[6,1],[7,1],[],[7,1],[5,1]],,,"7.3228"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-cb,pc-db,pd,class=2>",[[],[5,1],[6,1],[],[6,1],[7,1],[],[7,1],[5,1]],,,"7.3229"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-xdb,pc-ba,pd-cb,class=2>",[[],[5,1],[7,x],[],[6,1],[5,1],[],[7,1],[5,1],[6,1]],"",,"7.3230"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb,pc-ba,pd-db,class=2>",[[],[5,1],[],[],[6,1],[5,1],[],[7,1],[5,1],[7,1]],,,"7.3231"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-cb,pc-ba,pd-db,class=2>",[[],[5,1],[6,1],[],[6,1],[5,1],[],[7,1],[5,1],[7,1]],,,"7.3232"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb,pc-cb,pd-db,class=2>",[[],[5,1],[],[],[6,1],[6,1],[],[7,1],[5,1],[7,1]],,,"7.3233"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-ba,pc-cb,pd-db,class=2>",[[],[5,1],[5,1],[],[6,1],[6,1],[],[7,1],[5,1],[7,1]],,,"7.3234"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb,pc-cb-db,pd-db,class=2>",[[],[5,1],[],[],[6,1],[6,1,7,1],[],[7,1],[5,1],[7,1]],,,"7.3235"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-ba,pc-cb-db,pd-db,class=2>",[[],[5,1],[5,1],[],[6,1],[6,1,7,1],[],[7,1],[5,1],[7,1]],,,"7.3236"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-wba,pc-cb-db,pd-db,class=2>",[[],[5,1],[5,w],[],[6,1],[6,1,7,1],[],[7,1],[5,1],[7,1]],,,"7.3237"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb,pc-xdb,pd-cb-db,class=2>",[[],[5,1],[],[],[6,1],[7,x],[],[7,1],[5,1],[6,1,7,1]],"x ne 0,-1/4",,"7.3238"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-ba,pc-xdb,pd-cb-db,class=2>",[[],[5,1],[5,1],[],[6,1],[7,x],[],[7,1],[5,1],[6,1,7,1]],"x ne 0,-1/4",,"7.3239"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb,pc-db,pd-cb,class=2>",[[],[5,1],[],[],[6,1],[7,1],[],[7,1],[5,1],[6,1]],,,"7.3240"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-ba,pc-db,pd-cb,class=2>",[[],[5,1],[5,1],[],[6,1],[7,1],[],[7,1],[5,1],[6,1]],,,"7.3241"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb,pc-wdb,pd-cb,class=2>",[[],[5,1],[],[],[6,1],[7,w],[],[7,1],[5,1],[6,1]],,,"7.3242"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa,pb-ba,pc-wdb,pd-cb,class=2>",[[],[5,1],[5,1],[],[6,1],[7,w],[],[7,1],[5,1],[6,1]],,,"7.3243"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb,pc,pd,class=2>",[[5,1],[5,1],[],[],[6,1],[],[],[7,1],[5,1]],,,"7.3244"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb-cb,pc,pd,class=2>",[[5,1],[5,1],[6,1],[],[6,1],[],[],[7,1],[5,1]],,,"7.3245"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb,pc-xcb,pd,class=2>",[[5,1],[5,1],[],[],[6,1],[6,x],[],[7,1],[5,1]],"x ne 0",,"7.3246"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb-db,pc-xcb,pd,class=2>",[[5,1],[5,1],[7,1],[],[6,1],[6,x],[],[7,1],[5,1]],"x ne 0",,"7.3247"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb,pc,pd-cb,class=2>",[[5,1],[5,1],[],[],[6,1],[],[],[7,1],[5,1],[6,1]],,,"7.3248"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb-db,pc,pd-cb,class=2>",[[5,1],[5,1],[7,1],[],[6,1],[],[],[7,1],[5,1],[6,1]],,,"7.3249"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb,pc-xcb,pd-xdb,class=2>",[[5,1],[5,1],[],[],[6,1],[6,x],[],[7,1],[5,1],[7,x]],"x ne 0",,"7.3250"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb,pc-ba+cb,pd+db,class=2>",[[5,1],[5,1],[],[],[6,1],[5,1,6,-1],[],[7,1],[5,1],[7,-1]],,,"7.3251"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb,pc-xcb,pd-ydb,class=2>",[[5,1],[5,1],[],[],[6,1],[6,x],[],[7,1],[5,1],[7,y]],"x,y ne 0, x ne y, [x,y]~[y,x]",,"7.3252"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb,pc-xcb,pd-ba+db,class=2>",[[5,1],[5,1],[],[],[6,1],[6,x],[],[7,1],[5,1],[5,1,7,-1]],"x ne 0,-1",,"7.3253"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb,pc-xcb,pd-cb-xdb,class=2>",[[5,1],[5,1],[],[],[6,1],[6,x],[],[7,1],[5,1],[6,1,7,x]],"x ne 0",,"7.3254"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb,pc-ba+cb,pd-cb+db,class=2>",[[5,1],[5,1],[],[],[6,1],[5,1,6,-1],[],[7,1],[5,1],[6,1,7,-1]],,,"7.3255"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-ba,pb,pc-xdb,pd-cb-ydb,class=2>",[[5,1],[5,1],[],[],[6,1],[7,x],[],[7,1],[5,1],[6,1,7,y]],"x ne 0, 4x+y^2 not a square",,"7.3256"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb,pc,pd,class=2>",[[6,1],[5,1],[],[],[6,1],[],[],[7,1],[5,1]],,,"7.3257"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-ba,pc,pd,class=2>",[[6,1],[5,1],[5,1],[],[6,1],[],[],[7,1],[5,1]],,,"7.3258"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-db,pc,pd,class=2>",[[6,1],[5,1],[7,1],[],[6,1],[],[],[7,1],[5,1]],,,"7.3259"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-wdb,pc,pd,class=2>",[[6,1],[5,1],[7,w],[],[6,1],[],[],[7,1],[5,1]],,,"7.3260"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb,pc,pd-ba,class=2>",[[6,1],[5,1],[],[],[6,1],[],[],[7,1],[5,1],[5,1]],,,"7.3261"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-ba,pc,pd-ba,class=2>",[[6,1],[5,1],[5,1],[],[6,1],[],[],[7,1],[5,1],[5,1]],,,"7.3262"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-db,pc,pd-ba,class=2>",[[6,1],[5,1],[7,1],[],[6,1],[],[],[7,1],[5,1],[5,1]],,,"7.3263"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-wdb,pc,pd-ba,class=2>",[[6,1],[5,1],[7,w],[],[6,1],[],[],[7,1],[5,1],[5,1]],,,"7.3264"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-xba-ydb,pc,pd-db,class=2>",[[6,1],[5,1],[5,x,7,y],[],[6,1],[],[],[7,1],[5,1],[7,1]],"x=0,1",,"7.3265"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-ydb,pc-ba,pd-xdb,class=2>",[[6,1],[5,1],[7,y],[],[6,1],[5,1],[],[7,1],[5,1],[7,x]],"[x,y]~[-x,y]",,"7.3266"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-ydb,pc-wba,pd-xdb,class=2>",[[6,1],[5,1],[7,y],[],[6,1],[5,w],[],[7,1],[5,1],[7,x]],"[x,y]~[-x,y]",,"7.3267"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-ba-(x^2+1)db,pc-ba,pd-xdb,class=2>",[[6,1],[5,1],[5,1,7,x^2 + 1],[],[6,1],[5,1],[],[7,1],[5,1],[7,x]],"x~-x",,"7.3268"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-ba-(x^2+w)db,pc-wba,pd-xdb,class=2>",[[6,1],[5,1],[5,1,7,w + x^2],[],[6,1],[5,w],[],[7,1],[5,1],[7,x]],"x~-x",,"7.3269"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-yba-xdb,pc-db,pd,class=2>",[[6,1],[5,1],[5,y,7,x],[],[6,1],[7,1],[],[7,1],[5,1]],"x=1,w",,"7.3270","[x,z]->[y,x]"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb,pc-db,pd,class=2>",[[6,1],[5,1],[],[],[6,1],[7,1],[],[7,1],[5,1]],,,"7.3271"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-ba,pc-db,pd,class=2>",[[6,1],[5,1],[5,1],[],[6,1],[7,1],[],[7,1],[5,1]],,,"7.3272"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-wba,pc-db,pd,class=2>",[[6,1],[5,1],[5,w],[],[6,1],[7,1],[],[7,1],[5,1]],,,"7.3273"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-w^2ba,pc-db,pd,class=2>",[[6,1],[5,1],[5,w^2],[],[6,1],[7,1],[],[7,1],[5,1]],,"p=1 mod 4","7.3274"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-w^3ba,pc-db,pd,class=2>",[[6,1],[5,1],[5,w^3],[],[6,1],[7,1],[],[7,1],[5,1]],,"p=1 mod 4","7.3275"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb,pc-db,pd-ba,class=2>",[[6,1],[5,1],[],[],[6,1],[7,1],[],[7,1],[5,1],[5,1]],,,"7.3276"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb,pc-db,pd-wba,class=2>",[[6,1],[5,1],[],[],[6,1],[7,1],[],[7,1],[5,1],[5,w]],,"p=1 mod 3","7.3277"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb,pc-db,pd-w^2ba,class=2>",[[6,1],[5,1],[],[],[6,1],[7,1],[],[7,1],[5,1],[5,w^2]],,"p=1 mod 3","7.3278"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-xdb,pc-db,pd-ba,class=2>",[[6,1],[5,1],[7,x],[],[6,1],[7,1],[],[7,1],[5,1],[5,1]],"x ne 0, x~ax if a^3=1",,"7.3279"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-xdb,pc-db,pd-wba,class=2>",[[6,1],[5,1],[7,x],[],[6,1],[7,1],[],[7,1],[5,1],[5,w]],"x ne 0, x~ax if a^3=1","p=1 mod 3","7.3280"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-xdb,pc-db,pd-w^2ba,class=2>",[[6,1],[5,1],[7,x],[],[6,1],[7,1],[],[7,1],[5,1],[5,w^2]],"x ne 0, x~ax if a^3=1","p=1 mod 3","7.3281"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-xba-ydb,pc-db,pd-ba,class=2>",[[6,1],[5,1],[5,x,7,y],[],[6,1],[7,1],[],[7,1],[5,1],[5,1]],"x ne 0, [x,y]~[ax,a^2y] if a^3=1",,"7.3282"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-xba-ydb,pc-db,pd-wba,class=2>",[[6,1],[5,1],[5,x,7,y],[],[6,1],[7,1],[],[7,1],[5,1],[5,w]],"x ne 0, [x,y]~[ax,a^2y] if a^3=1","p=1 mod 3","7.3283"],
[7,4,2,"<a,b,c,d|ca,da,dc-ba,pa-cb,pb-xba-ydb,pc-db,pd-w^2ba,class=2>",[[6,1],[5,1],[5,x,7,y],[],[6,1],[7,1],[],[7,1],[5,1],[5,w^2]],"x ne 0, [x,y]~[ax,a^2y] if a^3=1","p=1 mod 3","7.3284"],
[7,4,2,"<a,b,c,d|cb,da,db-ca,pa-jba-kca-mdc,pb-nba-rca-sdc,pc-tba-uca-vdc,pd-xba-yca-zdc,class=2>",[[5,j,6,k,7,m],[5,1],[5,n,6,r,7,s],[6,1],[],[5,t,6,u,7,v],[],[6,1],[7,1],[5,x,6,y,7,z]],"See Notes4.1, Case 5",,"7.3285"],
[7,4,2,"<a,b,c,d|da,db-wca,dc-ba,pa-jba-kca-mcb,pb-nba-rca-scb,pc-tba-uca-vcb,pd-xba-yca-zcb,class=2>",[[5,j,6,k,7,m],[5,1],[5,n,6,r,7,s],[6,1],[7,1],[5,t,6,u,7,v],[],[6,w],[5,1],[5,x,6,y,7,z]],"See Notes4.1, Case 6",,"7.3286"]
]);