LR AAA = (AAB, XXX) AAB = (XXX, AAZ) AAZ = (AAB, XXX) BBA = (BBB, XXX) BBB = (BBC, BBC) BBC = (BBZ, BBZ) BBZ = (BBB, BBB) XXX = (XXX, XXX)
