@Dolfin:
d20 = (13) = 13
d20 = (13) = 13d20 = (1) = 1d99 = (68) = 68d20 = (3) = 31d2 = (1) = 1d1488 = (570) = 570d20 = (7) = 7d20 = (1) = 1d7777 = (1711) = 1711d1488 = (1386) = 1386d20 = (9) = 9d20 = (20) = 201d20 = (12) = 12d20 = (20) = 20