Máquinas sem nomes
Uma máquina tem estados. Cada estado possui exatamente uma transição de saída, cujo destino pode ser qualquer estado, inclusive ele mesmo. Não existe estado inicial, estado final, rótulo nas transições ou outra informação associada aos estados.
Se numerássemos os estados de a , uma máquina seria descrita por uma função : a transição de saída de leva a . A função não precisa ser injetiva ou sobrejetiva. A máquina pode ter várias componentes desconectadas.
Os nomes dos estados não importam. Duas funções e descrevem a mesma máquina se existe uma permutação dos estados tal que
para todo estado . Ou seja, uma mesma renomeação deve ser aplicada às origens e aos destinos das transições.
Conte as máquinas diferentes com exatamente estados, módulo .
Input
Uma linha com o inteiro .
- .
Output
Um inteiro: a quantidade de classes de equivalência de máquinas, módulo .
Samples
Sample 1
Input
2
Output
3
As possibilidades são: dois estados que apontam para si mesmos; um ciclo entre os dois estados; ou um estado que aponta para si mesmo e recebe a transição do outro.
Sample 2
Input
3
Output
7
Sample 3
Input
1
Output
1