@Dolfin:
d7777 = (932) = 932
d7777 = (932) = 932d7777 = (6352) = 6352d7777 = (316) = 316d7777 = (2411) = 2411d7777 = (7242) = 7242d7777 = (4877) = 4877d7777 = (2125) = 2125d7777 = (242) = 242d7777 = (3820) = 3820d7777 = (1499) = 1499d7777 = (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) = 3366