k1 by generators and relations