bijective: True
YBE: True
left nondeg (y->s(x,y)[0] bij for all x): True
right nondeg (x->s(x,y)[1] bij for all y): True
involutive: False  idempotent: False
dim kM_n, n=0..7: [1, 4, 2, 1, 1, 1, 1, 1]
rank QS_1 (X-basis): mod p1=4 mod p2=4 exact=4
rank QS_2 (X-basis): mod p1=14 mod p2=14 exact=14
rank QS_3 (X-basis): mod p1=47 mod p2=47 exact=47
rank QS_4 (X-basis): mod p1=152 mod p2=152 exact=152
