@Dolfin:
d7777 = (2029) = 2029
d7777 = (2029) = 2029d7777 = (5297) = 5297d7777 = (84) = 84d7777 = (7489) = 7489d7777 = (5529) = 5529d7777 = (719) = 719d7777 = (4420) = 4420d7777 = (3328) = 3328d7777 = (1766) = 1766d7777 = (2787) = 2787d7777 = (6862) = 6862d7777 = (6281) = 6281d7777 = (5102) = 5102d7777 = (4319) = 4319d7777 = (2623) = 2623d7777 = (3993) = 3993d7777 = (6129) = 6129d7777 = (5227) = 5227d7777 = (6248) = 6248d7777 = (3986) = 3986d7777 = (5882) = 5882d7777 = (1316) = 1316d7777 = (908) = 908d7777 = (1643) = 1643d7777 = (3976) = 39761d3 = (1) = 11d3 = (3) = 3d3 = (3) = 31d2 = (2) = 2d1488 = (789) = 789d7 = (7) = 7d77 = (25) = 25d777 = (650) = 650d7777 = (5944) = 59447d7 = (6+3+2+4+2+5+3) = 25