@Dolfin:
d7777 = (6806) = 6806
d7777 = (6806) = 6806d7777 = (1837) = 1837d7777 = (4610) = 4610d7777 = (4377) = 4377d7777 = (359) = 359d7777 = (5298) = 5298d7777 = (6964) = 6964d7777 = (4449) = 4449d7777 = (6454) = 6454d7777 = (2992) = 2992d7777 = (5321) = 5321d7777 = (843) = 843d7777 = (1095) = 1095d7777 = (2465) = 2465d7777 = (2543) = 2543d7777 = (6164) = 6164d7777 = (4545) = 4545d7777 = (460) = 460d7777 = (5300) = 5300d7777 = (2956) = 2956d7777 = (1933) = 1933d7777 = (4222) = 4222d7777 = (613) = 613d7777 = (3366) = 3366d7777 = (2955) = 2955d7777 = (7014) = 7014d7777 = (2705) = 2705d7777 = (5448) = 5448d7777 = (5102) = 5102d7777 = (7667) = 7667d7777 = (4636) = 4636