default rel
	kadd k5, k6, k5
	kadd k5, k5
	kadd k7, k2, k5
	kadd k7, k6, k2
	kadd k7, k2
	kadd k4, k5, k1
	kadd k7, k7, k5
	kadd k7, k5
	kadd k5, k1, k2
	kadd k6, k4, k3
	kadd k6, k3
	kadd k5, k2, k2
