Quelle gapdec5.3
Sprache: unbekannt
|
|
#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
Append( LIE_DATA[7], [
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa,pb,pc-baa,pd-bab,class=3>",[[],[5,1],[],[],[],[ 6,1],[],[],[],[7,1],[6,1],[7,1]],,,"7.3287"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa,pb,pc-bab,pd,class=3>",[[],[5,1],[],[],[],[7,1],[],[],[],[],[6,1],[7,1]],,,"7.3288"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa-baa,pb,pc-bab,pd,class=3>",[[6,1],[5,1],[],[],[],[7,1],[],[],[],[],[6,1],[7,1]],,,"7.3289"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa,pb-baa,pc-bab,pd,class=3>",[[],[5,1],[6,1],[],[],[7,1],[],[],[],[],[6,1],[7,1]],,,"7.3290"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa,pb-wbaa,pc-bab,pd,class=3>",[[],[5,1],[6,w],[],[],[7,1],[],[],[],[],[6,1],[7,1]],,,"7.3291"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa,pb,pc,pd,class=3>",[[],[5,1],[],[],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3292"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa-bab,pb,pc,pd,class=3>",[[7,1],[5,1],[],[],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3293"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa-wbab,pb,pc,pd,class=3>",[[7,w],[5,1],[],[],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3294"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa-baa,pb,pc,pd,class=3>",[[6,1],[5,1],[],[],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3295"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa-baa,pb-xbab,pc,pd,class=3>",[[6,1],[5,1],[7,x],[],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, x~x^-1",,"7.3296"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa-baa-bab,pb-bab,pc,pd,class=3>",[[6,1,7,1],[5,1],[7,1],[],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3297"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa-baa-wbab,pb-bab,pc,pd,class=3>",[[6,1,7,w],[5,1],[7,1],[],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3298"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa-wbab,pb-baa,pc,pd,class=3>",[[7,w],[5,1],[6,1],[],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3299"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc,pa-xbab,pb-baa-bab,pc,pd,class=3>",[[7,x],[5,1],[6,1,7,1],[],[],[],[],[],[],[],[6,1],[7,1]],"1+4x not a square",,"7.3300"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc,pd,class=3>",[[],[5,1],[],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3301"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb,pc,pd,class=3>",[[7,1],[5,1],[],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3302"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb,pc,pd,class=3>",[[7,w],[5,1],[],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3303"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa,pb,pc,pd,class=3>",[[6,1],[5,1],[],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3304"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-xbaa,pb-bab,pc,pd,class=3>",[[6,x],[5,1],[7,1],[7,1],[],[],[],[],[],[],[6,1],[7,1]],"",,"7.3305"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-bab,pb-bab,pc,pd,class=3>",[[6,1,7,1],[5,1],[7,1],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3306"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-wbab,pb-bab,pc,pd,class=3>",[[6,1,7,w],[5,1],[7,1],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3307"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-xbab,pb-baa,pc,pd,class=3>",[[6,1,7,x],[5,1],[6,1],[7,1],[],[],[],[],[],[],[6,1],[7,1]],"",,"7.3308"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-baa,pc,pd,class=3>",[[],[5,1],[6,1],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3309"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb-baa,pc,pd,class=3>",[[7,1],[5,1],[6,1],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3310"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb-baa,pc,pd,class=3>",[[7,w],[5,1],[6,1],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3311"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa-xbab,pb-wbaa,pc,pd,class=3>",[[6,1,7,x],[5,1],[6,w],[7,1],[],[],[],[],[],[],[6,1],[7,1]],"",,"7.3312"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-wbaa,pc,pd,class=3>",[[],[5,1],[6,w],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3313"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb-wbaa,pc,pd,class=3>",[[7,1],[5,1],[6,w],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3314"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb-wbaa,pc,pd,class=3>",[[7,w],[5,1],[6,w],[7,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3315"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-xbaa,pc-bab,pd,class=3>",[[],[5,1],[6,x],[7,1],[],[7,1],[],[],[],[],[6,1],[7,1]],"",,"7.3316"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa,pb,pc-bab,pd,class=3>",[[6,1],[5,1],[],[7,1],[],[7,1],[],[],[],[],[6,1],[7,1]],,,"7.3317"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc-baa,pd,class=3>",[[],[5,1],[],[7,1],[],[6,1],[],[],[],[],[6,1],[7,1]],,,"7.3318"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb,pc-baa,pd,class=3>",[[7,1],[5,1],[],[7,1],[],[6,1],[],[],[],[],[6,1],[7,1]],,,"7.3319"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb,pc-baa,pd,class=3>",[[7,w],[5,1],[],[7,1],[],[6,1],[],[],[],[],[6,1],[7,1]],,,"7.3320"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-w^2bab,pb,pc-baa,pd,class=3>",[[7,w^2],[5,1],[],[7,1],[],[6,1],[],[],[],[],[6,1],[7,1]],,"p=1 mod 4","7.3321"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-w^3bab,pb,pc-baa,pd,class=3>",[[7,w^3],[5,1],[],[7,1],[],[6,1],[],[],[],[],[6,1],[7,1]],,"p=1 mod 4","7.3322"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-xbab,pb-bab,pc-baa,pd,class=3>",[[7,x],[5,1],[7,1],[7,1],[],[6,1],[],[],[],[],[6,1],[7,1]],"x~ax if a^3=1",,"7.3323"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-xbab,pb-wbab,pc-baa,pd,class=3>",[[7,x],[5,1],[7,w],[7,1],[],[6,1],[],[],[],[],[6,1],[7,1]],"x~ax if a^3=1","p=1 mod 3","7.3324"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-xbab,pb-w^2bab,pc-baa,pd,class=3>",[[7,x],[5,1],[7,w^2],[7,1],[],[6,1],[],[],[],[],[6,1],[7,1]],"x~ax if a^3=1","p=1 mod 3","7.3325"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc-bab,pd-baa,class=3>",[[],[5,1],[],[7,1],[],[7,1],[],[],[],[6,1],[6,1],[7,1]],,,"7.3326"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc,pd-baa,class=3>",[[],[5,1],[],[7,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3327"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb,pc,pd-baa,class=3>",[[7,1],[5,1],[],[7,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3328"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb,pc,pd-baa,class=3>",[[7,w],[5,1],[],[7,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3329"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-bab,pc,pd-baa,class=3>",[[],[5,1],[7,1],[7,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3330"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-bab,pb-bab,pc,pd-baa,class=3>",[[7,1],[5,1],[7,1],[7,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3331"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-wbab,pb-bab,pc,pd-baa,class=3>",[[7,w],[5,1],[7,1],[7,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3332"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc-baa,pd-bab,class=3>",[[],[5,1],[],[7,1],[],[6,1],[],[],[],[7,1],[6,1],[7,1]],,,"7.3333"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-baa,pc,pd-bab,class=3>",[[],[5,1],[6,1],[7,1],[],[],[],[],[],[7,1],[6,1],[7,1]],,,"7.3334"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb-wbaa,pc,pd-bab,class=3>",[[],[5,1],[6,w],[7,1],[],[],[],[],[],[7,1],[6,1],[7,1]],,,"7.3335"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa,pb,pc,pd-bab,class=3>",[[],[5,1],[],[7,1],[],[],[],[],[],[7,1],[6,1],[7,1]],,,"7.3336"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc,pa-baa,pb,pc,pd-bab,class=3>",[[6,1],[5,1],[],[7,1],[],[],[],[],[],[7,1],[6,1],[7,1]],,,"7.3337"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc,pd,class=3>",[[],[5,1],[],[6,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3338"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb,pc,pd,class=3>",[[6,1],[5,1],[],[6,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3339"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb,pc,pd,class=3>",[[7,1],[5,1],[],[6,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3340"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb,pc,pd,class=3>",[[6,1,7,1],[5,1],[],[6,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3341"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb,pc,pd,class=3>",[[7,w],[5,1],[],[6,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3342"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb,pc,pd,class=3>",[[6,1,7,w],[5,1],[],[6,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3343"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb-baa,pc,pd,class=3>",[[7,1],[5,1],[6,1],[6,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3344"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb-wbaa,pc,pd,class=3>",[[7,1],[5,1],[6,w],[6,1],[],[],[],[],[],[],[6,1],[7,1]],,,"7.3345"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb-wbaa,pc,pd,class=3>",[[7,w],[5,1],[6,w],[6,1],[],[],[],[],[],[],[6,1],[7,1]],,"p=1 mod 4","7.3346"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb-baa,pc,pd,class=3>",[[7,w],[5,1],[6,1],[6,1],[],[],[],[],[],[],[6,1],[7,1]],,"p=3 mod 4","7.3347"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-xbab,pb-baa,pc,pd,class=3>",[[6,1,7,x],[5,1],[6,1],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"",,"7.3348"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-xbab,pb-wbaa,pc,pd,class=3>",[[6,1,7,x],[5,1],[6,w],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"",,"7.3349"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb-xbab,pc,pd,class=3>",[[6,1],[5,1],[7,x],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, x~x^-1",,"7.3350"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-xbab,pc,pd,class=3>",[[6,1,7,1],[5,1],[7,x],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0",,"7.3351"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-xbab,pc,pd,class=3>",[[6,1,7,w],[5,1],[7,x],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0",,"7.3352"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-xbaa-ybab,pc,pd,class=3>",[[6,1,7,1],[5,1],[6,x,7,y],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, y=w,w^2,...,w^((p-3)/2)",,"7.3353"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-xbaa-ybab,pc,pd,class=3>",[[6,1,7,w],[5,1],[6,x,7,y],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, y=w,w^2,...,w^((p-3)/2)",,"7.3354"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-x^2baa+bab,pc,pd,class=3>",[[6,1,7,1],[5,1],[6,x^2,7,-1],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, x~-x",,"7.3355"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-x^2baa-bab,pc,pd,class=3>",[[6,1,7,1],[5,1],[6,x^2,7,1],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, x~-x",,"7.3356"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-(x^2*w)baa+bab,pc,pd,class=3>",[[6,1,7,1],[5,1],[6,w*x^2,7,-1],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, x~-x",,"7.3357"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-bab,pb-(x^2*w)baa-bab,pc,pd,class=3>",[[6,1,7,1],[5,1],[6,w*x^2,7,1],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, x~-x",,"7.3358"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-(x^2*w)baa+bab,pc,pd,class=3>",[[6,1,7,w],[5,1],[6,w*x^2,7,-1],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, x~-x","p=1 mod 4","7.3359"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-(x^2*w)baa-bab,pc,pd,class=3>",[[6,1,7,w],[5,1],[6,w*x^2,7,1],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, x~-x","p=1 mod 4","7.3360"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-x^2baa+bab,pc,pd,class=3>",[[6,1,7,w],[5,1],[6,x^2,7,-1],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, x~-x","p=3 mod 4","7.3361"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa-wbab,pb-x^2baa-bab,pc,pd,class=3>",[[6,1,7,w],[5,1],[6,x^2,7,1],[6,1],[],[],[],[],[],[],[6,1],[7,1]],"x ne 0, x~-x","p=3 mod 4","7.3362"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc-baa,pd,class=3>",[[],[5,1],[],[6,1],[],[6,1],[],[],[],[],[6,1],[7,1]],,,"7.3363"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb,pc-baa,pd,class=3>",[[7,1],[5,1],[],[6,1],[],[6,1],[],[],[],[],[6,1],[7,1]],,,"7.3364"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb,pc-baa,pd,class=3>",[[7,w],[5,1],[],[6,1],[],[6,1],[],[],[],[],[6,1],[7,1]],,,"7.3365"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-xbab,pb-bab,pc-baa,pd,class=3>",[[7,x],[5,1],[7,1],[6,1],[],[6,1],[],[],[],[],[6,1],[7,1]],"",,"7.3366"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-xbab,pb-ybab,pc-baa-bab,pd,class=3>",[[7,x],[5,1],[7,y],[6,1],[],[6,1,7,1],[],[],[],[],[6,1],[7,1]],"[x,y]~[y,x]",,"7.3367"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc-bab,pd-baa,class=3>",[[],[5,1],[],[6,1],[],[7,1],[],[],[],[6,1],[6,1],[7,1]],,,"7.3368"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc,pd-baa,class=3>",[[],[5,1],[],[6,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3369"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb,pc,pd-baa,class=3>",[[7,1],[5,1],[],[6,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3370"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb,pc,pd-baa,class=3>",[[7,w],[5,1],[],[6,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3371"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb-bab,pc,pd-baa,class=3>",[[],[5,1],[7,1],[6,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3372"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-bab,pb-bab,pc,pd-baa,class=3>",[[7,1],[5,1],[7,1],[6,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3373"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbab,pb-bab,pc,pd-baa,class=3>",[[7,w],[5,1],[7,1],[6,1],[],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3374"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc-baa,pd-baa-bab,class=3>",[[],[5,1],[],[6,1],[],[6,1],[],[],[],[6,1,7,1],[6,1],[7,1]],,,"7.3375"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa,pb,pc,pd-baa-bab,class=3>",[[],[5,1],[],[6,1],[],[],[],[],[],[6,1,7,1],[6,1],[7,1]],,,"7.3376"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb,pc,pd-baa-bab,class=3>",[[6,1],[5,1],[],[6,1],[],[],[],[],[],[6,1,7,1],[6,1],[7,1]],,,"7.3377"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbaa,pb,pc,pd-baa-bab,class=3>",[[6,w],[5,1],[],[6,1],[],[],[],[],[],[6,1,7,1],[6,1],[7,1]],,,"7.3378"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb-(w*x^2)baa,pc,pd-baa-bab,class=3>",[[6,1],[5,1],[6,w*x^2],[6,1],[],[],[],[],[],[6,1,7,1],[6,1],[7,1]],"x ne 0, x~-x",,"7.3379"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-baa,pb-x^2baa,pc,pd-baa-bab,class=3>",[[6,1],[5,1],[6,x^2],[6,1],[],[],[],[],[],[6,1,7,1],[6,1],[7,1]],"x ne 0, equivalence classes {x,-x,1/x,-1/x}",,"7.3380"],
[7,4,3,"<a,b,c,d|ca-baa,cb,da,db,dc,pa-wbaa,pb-(w*x^2)baa,pc,pd-baa-bab,class=3>",[[6,w],[5,1],[6,w*x^2],[6,1],[],[],[],[],[],[6,1,7,1],[6,1],[7,1]],"x ne 0, equivalence classes {x,-x,1/x,-1/x}",,"7.3381"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb,pc,pd,class=3>",[[],[5,1],[],[7,1],[6,w],[],[],[],[],[],[6,1],[7,1]],,,"7.3382"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-xbaa-bab,pb,pc,pd,class=3>",[[6,x,7,1],[5,1],[],[7,1],[6,w],[],[],[],[],[],[6,1],[7,1]],"x~-x",,"7.3383"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-xbaa-wbab,pb,pc,pd,class=3>",[[6,x,7,w],[5,1],[],[7,1],[6,w],[],[],[],[],[],[6,1],[7,1]],"x~-x",,"7.3384"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-baa,pb,pc,pd,class=3>",[[6,1],[5,1],[],[7,1],[6,w],[],[],[],[],[],[6,1],[7,1]],,,"7.3385"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-wbaa,pb,pc,pd,class=3>",[[6,w],[5,1],[],[7,1],[6,w],[],[],[],[],[],[6,1],[7,1]],,"p=1 mod 4","7.3386"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-xbaa-ybab,pb-zbaa-tbab,pc,pd,class=3>",[[6,x,7,y],[5,1],[6,z,7,t],[7,1],[6,w],[],[],[],[],[],[6,1],[7,1]],"See Notes5.3, Case 4",,"7.3387"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-xbaa,pb-ybaa,pc-bab,pd,class=3>",[[6,x],[5,1],[6,y],[7,1],[6,w],[7,1],[],[],[],[],[6,1],[7,1]],"[x,y]~[-x,y]",,"7.3388"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb,pc-bab,pd-baa,class=3>",[[],[5,1],[],[7,1],[6,w],[7,1],[],[],[],[6,1],[6,1],[7,1]],,,"7.3389"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-bab,pb-xbab,pc,pd-baa,class=3>",[[7,1],[5,1],[7,x],[7,1],[6,w],[],[],[],[],[6,1],[6,1],[7,1]],"x~-x",,"7.3390"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa-wbab,pb-xbab,pc,pd-baa,class=3>",[[7,w],[5,1],[7,x],[7,1],[6,w],[],[],[],[],[6,1],[6,1],[7,1]],"x~-x",,"7.3391"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb,pc,pd-baa,class=3>",[[],[5,1],[],[7,1],[6,w],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3392"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb-bab,pc,pd-baa,class=3>",[[],[5,1],[7,1],[7,1],[6,w],[],[],[],[],[6,1],[6,1],[7,1]],,,"7.3393"],
[7,4,3,"<a,b,c,d|ca-bab,cb-wbaa,da,db,dc,pa,pb-wbab,pc,pd-baa,class=3>",[[],[5,1],[7,w],[7,1],[6,w],[],[],[],[],[6,1],[6,1],[7,1]],,"p=1 mod 4","7.3394"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc,pd,class=3>",[[],[5,1],[],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3395"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-baa,pc,pd,class=3>",[[],[5,1],[6,1],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3396"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-wbaa,pc,pd,class=3>",[[],[5,1],[6,w],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3397"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-bab,pc,pd,class=3>",[[],[5,1],[7,1],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3398"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-xbab,pc,pd,class=3>",[[6,1],[5,1],[7,x],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],"",,"7.3399"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-baa-bab,pc,pd,class=3>",[[6,1],[5,1],[6,1,7,1],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3400"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-wbaa-bab,pc,pd,class=3>",[[6,1],[5,1],[6,w,7,1],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3401"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb,pc,pd,class=3>",[[7,1],[5,1],[],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3402"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb-baa,pc,pd,class=3>",[[7,1],[5,1],[6,1],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3403"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb-wbaa,pc,pd,class=3>",[[7,1],[5,1],[6,w],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3404"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb-xbaa-bab,pc,pd,class=3>",[[7,1],[5,1],[6,x,7,1],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],"",,"7.3405"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb,pc,pd,class=3>",[[7,w],[5,1],[],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3406"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb-baa,pc,pd,class=3>",[[7,w],[5,1],[6,1],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3407"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb-wbaa,pc,pd,class=3>",[[7,w],[5,1],[6,w],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],,,"7.3408"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb-xbaa-bab,pc,pd,class=3>",[[7,w],[5,1],[6,x,7,1],[],[6,1],[],[],[7,1],[],[],[6,1],[7,1]],"",,"7.3409"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc,pd-baa,class=3>",[[],[5,1],[],[],[6,1],[],[],[7,1],[],[6,1],[6,1],[7,1]],,,"7.3410"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-bab,pc,pd-baa,class=3>",[[],[5,1],[7,1],[],[6,1],[],[],[7,1],[],[6,1],[6,1],[7,1]],,,"7.3411"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-bab,pb,pc,pd-baa,class=3>",[[7,1],[5,1],[],[],[6,1],[],[],[7,1],[],[6,1],[6,1],[7,1]],,,"7.3412"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbab,pb,pc,pd-baa,class=3>",[[7,w],[5,1],[],[],[6,1],[],[],[7,1],[],[6,1],[6,1],[7,1]],,,"7.3413"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc,pd-bab,class=3>",[[],[5,1],[],[],[6,1],[],[],[7,1],[],[7,1],[6,1],[7,1]],,,"7.3414"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-baa,pc,pd-bab,class=3>",[[],[5,1],[6,1],[],[6,1],[],[],[7,1],[],[7,1],[6,1],[7,1]],,,"7.3415"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-wbaa,pc,pd-bab,class=3>",[[],[5,1],[6,w],[],[6,1],[],[],[7,1],[],[7,1],[6,1],[7,1]],,,"7.3416"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-xbaa,pc,pd-bab,class=3>",[[6,1],[5,1],[6,x],[],[6,1],[],[],[7,1],[],[7,1],[6,1],[7,1]],"",,"7.3417"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-baa,pd-xbab,class=3>",[[],[5,1],[],[],[6,1],[6,1],[],[7,1],[],[7,x],[6,1],[7,1]],"x ne 0",,"7.3418"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-baa,pd-baa-bab,class=3>",[[],[5,1],[],[],[6,1],[6,1],[],[7,1],[],[6,1,7,1],[6,1],[7,1]],,,"7.3419"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-xbab,pb,pc-baa,pd,class=3>",[[7,x],[5,1],[],[],[6,1],[6,1],[],[7,1],[],[],[6,1],[7,1]],"",,"7.3420"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-xbab,pb-bab,pc-baa,pd,class=3>",[[7,x],[5,1],[7,1],[],[6,1],[6,1],[],[7,1],[],[],[6,1],[7,1]],"",,"7.3421"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd-xbaa-bab,class=3>",[[],[5,1],[],[],[6,1],[7,1],[],[7,1],[],[6,x,7,1],[6,1],[7,1]],"x ne 0",,"7.3422"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd-baa,class=3>",[[],[5,1],[],[],[6,1],[7,1],[],[7,1],[],[6,1],[6,1],[7,1]],,,"7.3423"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd-wbaa,class=3>",[[],[5,1],[],[],[6,1],[7,1],[],[7,1],[],[6,w],[6,1],[7,1]],,,"7.3424"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb,pc-bab,pd,class=3>",[[],[5,1],[],[],[6,1],[7,1],[],[7,1],[],[],[6,1],[7,1]],,,"7.3425"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb,pc-bab,pd,class=3>",[[6,1],[5,1],[],[],[6,1],[7,1],[],[7,1],[],[],[6,1],[7,1]],,,"7.3426"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbaa,pb,pc-bab,pd,class=3>",[[6,w],[5,1],[],[],[6,1],[7,1],[],[7,1],[],[],[6,1],[7,1]],,"p=1 mod 3","7.3427"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-w^2baa,pb,pc-bab,pd,class=3>",[[6,w^2],[5,1],[],[],[6,1],[7,1],[],[7,1],[],[],[6,1],[7,1]],,"p=1 mod 3","7.3428"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-baa,pc-bab,pd,class=3>",[[],[5,1],[6,1],[],[6,1],[7,1],[],[7,1],[],[],[6,1],[7,1]],,,"7.3429"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-wbaa,pc-bab,pd,class=3>",[[],[5,1],[6,w],[],[6,1],[7,1],[],[7,1],[],[],[6,1],[7,1]],,,"7.3430"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-w^2baa,pc-bab,pd,class=3>",[[],[5,1],[6,w^2],[],[6,1],[7,1],[],[7,1],[],[],[6,1],[7,1]],,"p=1 mod 4","7.3431"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa,pb-w^3baa,pc-bab,pd,class=3>",[[],[5,1],[6,w^3],[],[6,1],[7,1],[],[7,1],[],[],[6,1],[7,1]],,"p=1 mod 4","7.3432"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-baa,pb-xbaa,pc-bab,pd,class=3>",[[6,1],[5,1],[6,x],[],[6,1],[7,1],[],[7,1],[],[],[6,1],[7,1]],"x ne 0, x~ax if a^3=1",,"7.3433"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-wbaa,pb-xbaa,pc-bab,pd,class=3>",[[6,w],[5,1],[6,x],[],[6,1],[7,1],[],[7,1],[],[],[6,1],[7,1]],"x ne 0, x~ax if a^3=1","p=1 mod 3","7.3434"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-w^2baa,pb-xbaa,pc-bab,pd,class=3>",[[6,w^2],[5,1],[6,x],[],[6,1],[7,1],[],[7,1],[],[],[6,1],[7,1]],"x ne 0, x~ax if a^3=1","p=1 mod 3","7.3435"],
[7,4,3,"<a,b,c,d|ca,cb-baa,da,db-bab,dc,pa-xbaa,pb-ybaa,pc-bab,pd-bab,class=3>",[[6,x],[5,1],[6,y],[],[6,1],[7,1],[],[7,1],[],[7,1],[6,1],[7,1]],"",,"7.3436"],
[7,4,3,"<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>",[[6,r,7,s],[5,1],[6,t,7,u],[7,1],[6,1],[6,v,7,x],[],[7,1],[],[6,y,7,z],[6,1],[7,1]],"See Notes5.3, Case 6",,"7.3437"],
[7,4,3,"<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>",[[6,r,7,s],[5,1],[6,t,7,u],[7,1],[6,w],[6,v,7,x],[],[7,1],[],[6,y,7,z],[6,1],[7,1]],"See Notes5.3, Case 7",,"7.3438"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc,pd,class=3>",[[],[5,1],[],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3439"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc,pd,class=3>",[[],[5,1],[6,1],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3440"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc,pd,class=3>",[[],[5,1],[6,w],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3441"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc,pd,class=3>",[[],[5,1],[7,1],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3442"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc,pd,class=3>",[[6,1],[5,1],[7,x],[],[],[],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3443"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-baa-bab,pc,pd,class=3>",[[6,1],[5,1],[6,1,7,1],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3444"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-wbaa-bab,pc,pd,class=3>",[[6,1],[5,1],[6,w,7,1],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3445"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb,pc,pd,class=3>",[[7,1],[5,1],[],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3446"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-baa,pc,pd,class=3>",[[7,1],[5,1],[6,1],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3447"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-wbaa,pc,pd,class=3>",[[7,1],[5,1],[6,w],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3448"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-xbaa-bab,pc,pd,class=3>",[[7,1],[5,1],[6,x,7,1],[],[],[],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3449"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb,pc,pd,class=3>",[[7,w],[5,1],[],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3450"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-baa,pc,pd,class=3>",[[7,w],[5,1],[6,1],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3451"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-wbaa,pc,pd,class=3>",[[7,w],[5,1],[6,w],[],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3452"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-xbaa-bab,pc,pd,class=3>",[[7,w],[5,1],[6,x,7,1],[],[],[],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3453"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc-baa,pd,class=3>",[[],[5,1],[],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3454"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc-baa,pd,class=3>",[[],[5,1],[6,1],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3455"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc-baa,pd,class=3>",[[],[5,1],[6,w],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3456"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc-baa,pd,class=3>",[[],[5,1],[7,1],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3457"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc-baa,pd,class=3>",[[6,1],[5,1],[7,x],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3458"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-baa-bab,pc-baa,pd,class=3>",[[6,1],[5,1],[6,1,7,1],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3459"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-wbaa-bab,pc-baa,pd,class=3>",[[6,1],[5,1],[6,w,7,1],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3460"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb,pc-baa,pd,class=3>",[[7,1],[5,1],[],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3461"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-baa,pc-baa,pd,class=3>",[[7,1],[5,1],[6,1],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3462"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-wbaa,pc-baa,pd,class=3>",[[7,1],[5,1],[6,w],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3463"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-xbaa-bab,pc-baa,pd,class=3>",[[7,1],[5,1],[6,x,7,1],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3464"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb,pc-baa,pd,class=3>",[[7,w],[5,1],[],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3465"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-baa,pc-baa,pd,class=3>",[[7,w],[5,1],[6,1],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3466"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-wbaa,pc-baa,pd,class=3>",[[7,w],[5,1],[6,w],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3467"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-xbaa-bab,pc-baa,pd,class=3>",[[7,w],[5,1],[6,x,7,1],[],[],[6,1],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3468"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-xbab,pb-baa-ybab,pc-bab,pd,class=3>",[[6,1,7,x],[5,1],[6,1,7,y],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3469"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-xbab,pb-wbaa-ybab,pc-bab,pd,class=3>",[[6,1,7,x],[5,1],[6,w,7,y],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3470"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc-bab,pd,class=3>",[[6,1],[5,1],[7,x],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3471"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-bab,pb-xbab,pc-bab,pd,class=3>",[[6,1,7,1],[5,1],[7,x],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3472"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa-wbab,pb-xbab,pc-bab,pd,class=3>",[[6,1,7,w],[5,1],[7,x],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3473"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-xbab,pb-baa-bab,pc-bab,pd,class=3>",[[7,x],[5,1],[6,1,7,1],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3474"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-xbab,pb-wbaa-bab,pc-bab,pd,class=3>",[[7,x],[5,1],[6,w,7,1],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],"",,"7.3475"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc-bab,pd,class=3>",[[],[5,1],[6,1],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3476"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-baa,pc-bab,pd,class=3>",[[7,1],[5,1],[6,1],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3477"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-baa,pc-bab,pd,class=3>",[[7,w],[5,1],[6,1],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3478"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc-bab,pd,class=3>",[[],[5,1],[6,w],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3479"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-wbaa,pc-bab,pd,class=3>",[[7,1],[5,1],[6,w],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3480"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-wbaa,pc-bab,pd,class=3>",[[7,w],[5,1],[6,w],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3481"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc-bab,pd,class=3>",[[],[5,1],[],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3482"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb,pc-bab,pd,class=3>",[[7,1],[5,1],[],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3483"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb,pc-bab,pd,class=3>",[[7,w],[5,1],[],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3484"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc-bab,pd,class=3>",[[],[5,1],[7,1],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3485"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-bab,pc-bab,pd,class=3>",[[7,1],[5,1],[7,1],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3486"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-bab,pc-bab,pd,class=3>",[[7,w],[5,1],[7,1],[],[],[7,1],[],[],[6,1],[],[6,1],[7,1]],,,"7.3487"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb,pc-baa,pd-bab,class=3>",[[],[5,1],[],[],[],[6,1],[],[],[6,1],[7,1],[6,1],[7,1]],,,"7.3488"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-baa,pc-baa,pd-bab,class=3>",[[],[5,1],[6,1],[],[],[6,1],[],[],[6,1],[7,1],[6,1],[7,1]],,,"7.3489"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-wbaa,pc-baa,pd-bab,class=3>",[[],[5,1],[6,w],[],[],[6,1],[],[],[6,1],[7,1],[6,1],[7,1]],,,"7.3490"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-w^2baa,pc-baa,pd-bab,class=3>",[[],[5,1],[6,w^2],[],[],[6,1],[],[],[6,1],[7,1],[6,1],[7,1]],,"p=1 mod 4","7.3491"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-w^3baa,pc-baa,pd-bab,class=3>",[[],[5,1],[6,w^3],[],[],[6,1],[],[],[6,1],[7,1],[6,1],[7,1]],,"p=1 mod 4","7.3492"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa,pb-bab,pc-baa,pd-bab,class=3>",[[],[5,1],[7,1],[],[],[6,1],[],[],[6,1],[7,1],[6,1],[7,1]],,,"7.3493"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbab,pc-baa,pd-bab,class=3>",[[6,1],[5,1],[7,x],[],[],[6,1],[],[],[6,1],[7,1],[6,1],[7,1]],"",,"7.3494"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-baa,pb-xbaa-bab,pc-baa,pd-bab,class=3>",[[6,1],[5,1],[6,x,7,1],[],[],[6,1],[],[],[6,1],[7,1],[6,1],[7,1]],"x ne 0",,"7.3495"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-bab,pb-xbaa-ybab,pc-baa,pd-bab,class=3>",[[7,1],[5,1],[6,x,7,y],[],[],[6,1],[],[],[6,1],[7,1],[6,1],[7,1]],"[x,y]~[x,-y]",,"7.3496"],
[7,4,3,"<a,b,c,d|ca,cb,da,db,dc-baa,pa-wbab,pb-xbaa-ybab,pc-baa,pd-bab,class=3>",[[7,w],[5,1],[6,x,7,y],[],[],[6,1],[],[],[6,1],[7,1],[6,1],[7,1]],"[x,y]~[x,-y]",,"7.3497"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb,pc,pd,class=3>",[[],[5,1],[],[7,1],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3498"],
[7,4,3,"<a,b,c,d|ca-bab,cb,da,db,dc-baa,pa,pb-baa,pc,pd,class=3>",[[],[5,1],[6,1],[7,1],[],[],[],[],[6,1],[],[6,1],[7,1]],,,"7.3499"], | |
