https://github.polettix.it/ETOOBUSY/2022/04/05/pwc159-farey-sequence/