1. 11d5b15 updated to new notation by Joachim Bingel ยท 13 years ago