@Dolfin:
d3 = (3) = 3
d3 = (3) = 3d77 = (7) = 7d77 = (35) = 35d4 = (3) = 3d77 = (68) = 68d77 = (30) = 30d777 = (156) = 156d777 = (417) = 417d77 = (70) = 70d777 = (244) = 244d777 = (687) = 687d77 = (9) = 9d77 = (70) = 70d77 = (39) = 39d777 = (546) = 546d77 = (23) = 23d77 = (16) = 16d777 = (133) = 133d777 = (382) = 382d77 = (12) = 12d77 = (30) = 30d777 = (641) = 641d77 = (40) = 40d777 = (425) = 425d20%5 = (13)%5 = 3d777 = (377) = 377d20%2 = (17)%2 = 1d20%2 = (3)%2 = 1d20-13 it's a 0 = (13)-13 = 0d20%2 = (1)%2 = 1d20%2 = (10)%2 = 0d77 = (54) = 54d77 = (8) = 8d77 = (53) = 53d77 = (62) = 62