Add permutation.h