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