File:X tilde n=8.png