Works for n=25