This is the final SEISAN version 10.0