1. Department of Mathematical Informatics, The University of Tokyo, Tokyo 113-8656, Japan, and Institute for Chemical Reaction Design and Discovery, Hokkaido University, Sapporo 001-0021, Japan.
2. Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, Tokyo 152-8550, Japan.