実は57進数で考えると素数は一般項で表せるんだよね