Shinohara, K., Seko, A., Horiyama, T., Ishihata, M., Honda, J., & Tanaka, I. Enumeration of nonequivalent substitutional structures using advanced data structure of binary decision diagram (Version 0.3.16) [Computer software]. https://doi.org/10.1063/5.0021663