@Dolfin:
d777 = (76) = 76
d777 = (76) = 76d777 = (85) = 85d777 = (771) = 771d777 = (198) = 198d777 = (484) = 484d777 = (698) = 698d777 = (317) = 317d7777 = (557) = 557d777 = (191) = 191d777 = (208) = 208d777 = (211) = 211d777 = (307) = 307d777 = (178) = 178d777 = (650) = 650d777 = (766) = 766d777 = (122) = 122d20 = (15) = 15d1488 = (295) = 295d1488 = (229) = 229d777 = (481) = 481d1488 = (34) = 34d1488 = (1477) = 1477d1488 = (1323) = 1323d20! = (19) = 19d19! = (7) = 7d7! = (3) = 3d3! = (3+1) = 4d4! = (1) = 1d1489%1488 = (559)%1488 = 559d1489%1488 = (630)%1488 = 630d1489%1488 = (259)%1488 = 259