appendix_5_distinguishers.pdf