1. Institut Polytechnique de Bordeaux INRIA Bordeaux Sud Ouest, Team: CQFD IMB Institut de Mathématiques de Bordeaux, Université de Bordeaux, Talence, France.
2. Faculty of Science, Department of Mathematics and Physics, Kanagawa University, Hiratsuka-shi, Japan.
3. Department of Mathematical Sciences, University of Liverpool, Liverpool, UK.