@Dolfin:
d7777 = (724) = 724
d7777 = (724) = 724d20 = (13) = 13d20 = (14) = 14d20 = (14) = 14d20 = (3) = 3d20 = (16) = 16d20 = (13) = 13d20 = (7) = 7d20 = (4) = 4d20 = (15) = 15d20 = (13) = 13d20 = (9) = 9d20 = (17) = 17d20 = (9) = 9d1488 = (233) = 233d1488 = (79) = 79d1488 = (644) = 644d7777 = (1787) = 1787d7777 = (5611) = 5611d9 = (1) = 1d100 = (97) = 97d7777 = (1546) = 1546d7777 = (7636) = 7636d7777 = (6771) = 6771d7777 = (4042) = 4042d7777 = (1897) = 1897d7777 = (6530) = 6530d7777 = (387) = 387d7777 = (4855) = 4855