diff options
Diffstat (limited to 'mpc/tests/mul_fr.dat')
| -rw-r--r-- | mpc/tests/mul_fr.dat | 368 |
1 files changed, 368 insertions, 0 deletions
diff --git a/mpc/tests/mul_fr.dat b/mpc/tests/mul_fr.dat new file mode 100644 index 0000000000..e284093099 --- /dev/null +++ b/mpc/tests/mul_fr.dat @@ -0,0 +1,368 @@ +# Data file for mpc_mul_fr. +# +# Copyright (C) 2008 INRIA +# +# This file is part of GNU MPC. +# +# GNU MPC is free software; you can redistribute it and/or modify it under +# the terms of the GNU Lesser General Public License as published by the +# Free Software Foundation; either version 3 of the License, or (at your +#o ption) any later version. +# +# GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY +# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS +# FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for +# more details. +# +# You should have received a copy of the GNU Lesser General Public License +# along with this program. If not, see http://www.gnu.org/licenses/ . +# +# For explanations on the file format, see add_fr.dat. + +# special values +0 0 7 +inf 7 +inf 7 -inf 7 -inf 7 -inf N N +0 0 7 +inf 7 +inf 7 -inf 7 -inf 7 -1 N N +0 0 7 nan 7 nan 7 -inf 7 -inf 7 -0 N N +0 0 7 nan 7 nan 7 -inf 7 -inf 7 +0 N N +0 0 7 -inf 7 -inf 7 -inf 7 -inf 7 1 N N +0 0 7 -inf 7 -inf 7 -inf 7 -inf 7 +inf N N +0 0 7 nan 7 nan 7 -inf 7 -inf 7 nan N N +0 0 7 +inf 7 +inf 7 -inf 7 -1 7 -inf N N +0 0 7 +inf 7 1 7 -inf 7 -1 7 -1 N N +0 0 7 nan 7 +0 7 -inf 7 -1 7 -0 N N +0 0 7 nan 7 -0 7 -inf 7 -1 7 +0 N N +0 0 7 -inf 7 -1 7 -inf 7 -1 7 1 N N +0 0 7 -inf 7 -inf 7 -inf 7 -1 7 +inf N N +0 0 7 nan 7 nan 7 -inf 7 -1 7 nan N N +0 0 7 +inf 7 nan 7 -inf 7 -0 7 -inf N N +0 0 7 +inf 7 +0 7 -inf 7 -0 7 -1 N N +0 0 7 nan 7 +0 7 -inf 7 -0 7 -0 N N +0 0 7 nan 7 -0 7 -inf 7 -0 7 +0 N N +0 0 7 -inf 7 -0 7 -inf 7 -0 7 1 N N +0 0 7 -inf 7 nan 7 -inf 7 -0 7 +inf N N +0 0 7 nan 7 nan 7 -inf 7 -0 7 nan N N +0 0 7 +inf 7 nan 7 -inf 7 +0 7 -inf N N +0 0 7 +inf 7 -0 7 -inf 7 +0 7 -1 N N +0 0 7 nan 7 -0 7 -inf 7 +0 7 -0 N N +0 0 7 nan 7 +0 7 -inf 7 +0 7 +0 N N +0 0 7 -inf 7 +0 7 -inf 7 +0 7 1 N N +0 0 7 -inf 7 nan 7 -inf 7 +0 7 +inf N N +0 0 7 nan 7 nan 7 -inf 7 +0 7 nan N N +0 0 7 +inf 7 -inf 7 -inf 7 1 7 -inf N N +0 0 7 +inf 7 -1 7 -inf 7 1 7 -1 N N +0 0 7 nan 7 -0 7 -inf 7 1 7 -0 N N +0 0 7 nan 7 +0 7 -inf 7 1 7 +0 N N +0 0 7 -inf 7 1 7 -inf 7 1 7 1 N N +0 0 7 -inf 7 +inf 7 -inf 7 1 7 +inf N N +0 0 7 nan 7 nan 7 -inf 7 1 7 nan N N +0 0 7 +inf 7 -inf 7 -inf 7 +inf 7 -inf N N +0 0 7 +inf 7 -inf 7 -inf 7 +inf 7 -1 N N +0 0 7 nan 7 nan 7 -inf 7 +inf 7 -0 N N +0 0 7 nan 7 nan 7 -inf 7 +inf 7 +0 N N +0 0 7 -inf 7 +inf 7 -inf 7 +inf 7 1 N N +0 0 7 -inf 7 +inf 7 -inf 7 +inf 7 +inf N N +0 0 7 nan 7 nan 7 -inf 7 +inf 7 nan N N +0 0 7 +inf 7 nan 7 -inf 7 nan 7 -inf N N +0 0 7 +inf 7 nan 7 -inf 7 nan 7 -1 N N +0 0 7 nan 7 nan 7 -inf 7 nan 7 -0 N N +0 0 7 nan 7 nan 7 -inf 7 nan 7 +0 N N +0 0 7 -inf 7 nan 7 -inf 7 nan 7 1 N N +0 0 7 -inf 7 nan 7 -inf 7 nan 7 +inf N N +0 0 7 nan 7 nan 7 -inf 7 nan 7 nan N N +0 0 7 +inf 7 +inf 7 -1 7 -inf 7 -inf N N +0 0 7 1 7 +inf 7 -1 7 -inf 7 -1 N N +0 0 7 +0 7 nan 7 -1 7 -inf 7 -0 N N +0 0 7 -0 7 nan 7 -1 7 -inf 7 +0 N N +0 0 7 -1 7 -inf 7 -1 7 -inf 7 1 N N +0 0 7 -inf 7 -inf 7 -1 7 -inf 7 +inf N N +0 0 7 nan 7 nan 7 -1 7 -inf 7 nan N N +0 0 7 +inf 7 +inf 7 -1 7 -1 7 -inf N N +0 0 7 -inf 7 -inf 7 -1 7 -1 7 +inf N N +0 0 7 nan 7 nan 7 -1 7 -1 7 nan N N +0 0 7 +inf 7 nan 7 -1 7 -0 7 -inf N N +0 0 7 -inf 7 nan 7 -1 7 -0 7 +inf N N +0 0 7 nan 7 nan 7 -1 7 -0 7 nan N N +0 0 7 +inf 7 nan 7 -1 7 +0 7 -inf N N +0 0 7 -inf 7 nan 7 -1 7 +0 7 +inf N N +0 0 7 nan 7 nan 7 -1 7 +0 7 nan N N +0 0 7 +inf 7 -inf 7 -1 7 1 7 -inf N N +0 0 7 -inf 7 +inf 7 -1 7 1 7 +inf N N +0 0 7 nan 7 nan 7 -1 7 1 7 nan N N +0 0 7 +inf 7 -inf 7 -1 7 +inf 7 -inf N N +0 0 7 1 7 -inf 7 -1 7 +inf 7 -1 N N +0 0 7 +0 7 nan 7 -1 7 +inf 7 -0 N N +0 0 7 -0 7 nan 7 -1 7 +inf 7 +0 N N +0 0 7 -1 7 +inf 7 -1 7 +inf 7 1 N N +0 0 7 -inf 7 +inf 7 -1 7 +inf 7 +inf N N +0 0 7 nan 7 nan 7 -1 7 +inf 7 nan N N +0 0 7 +inf 7 nan 7 -1 7 nan 7 -inf N N +0 0 7 1 7 nan 7 -1 7 nan 7 -1 N N +0 0 7 +0 7 nan 7 -1 7 nan 7 -0 N N +0 0 7 -0 7 nan 7 -1 7 nan 7 +0 N N +0 0 7 -1 7 nan 7 -1 7 nan 7 1 N N +0 0 7 -inf 7 nan 7 -1 7 nan 7 +inf N N +0 0 7 nan 7 nan 7 -1 7 nan 7 nan N N +0 0 7 nan 7 +inf 7 -0 7 -inf 7 -inf N N +0 0 7 +0 7 +inf 7 -0 7 -inf 7 -1 N N +0 0 7 +0 7 nan 7 -0 7 -inf 7 -0 N N +0 0 7 -0 7 nan 7 -0 7 -inf 7 +0 N N +0 0 7 -0 7 -inf 7 -0 7 -inf 7 1 N N +0 0 7 nan 7 -inf 7 -0 7 -inf 7 +inf N N +0 0 7 nan 7 nan 7 -0 7 -inf 7 nan N N +0 0 7 nan 7 +inf 7 -0 7 -1 7 -inf N N +0 0 7 nan 7 -inf 7 -0 7 -1 7 +inf N N +0 0 7 nan 7 nan 7 -0 7 -1 7 nan N N +0 0 7 nan 7 nan 7 -0 7 -0 7 -inf N N +0 0 7 nan 7 nan 7 -0 7 -0 7 +inf N N +0 0 7 nan 7 nan 7 -0 7 -0 7 nan N N +0 0 7 nan 7 nan 7 -0 7 +0 7 -inf N N +0 0 7 nan 7 nan 7 -0 7 +0 7 +inf N N +0 0 7 nan 7 nan 7 -0 7 +0 7 nan N N +0 0 7 nan 7 -inf 7 -0 7 1 7 -inf N N +0 0 7 nan 7 +inf 7 -0 7 1 7 +inf N N +0 0 7 nan 7 nan 7 -0 7 1 7 nan N N +0 0 7 nan 7 -inf 7 -0 7 +inf 7 -inf N N +0 0 7 +0 7 -inf 7 -0 7 +inf 7 -1 N N +0 0 7 +0 7 nan 7 -0 7 +inf 7 -0 N N +0 0 7 -0 7 nan 7 -0 7 +inf 7 +0 N N +0 0 7 -0 7 +inf 7 -0 7 +inf 7 1 N N +0 0 7 nan 7 +inf 7 -0 7 +inf 7 +inf N N +0 0 7 nan 7 nan 7 -0 7 +inf 7 nan N N +0 0 7 nan 7 nan 7 -0 7 nan 7 -inf N N +0 0 7 +0 7 nan 7 -0 7 nan 7 -1 N N +0 0 7 +0 7 nan 7 -0 7 nan 7 -0 N N +0 0 7 -0 7 nan 7 -0 7 nan 7 +0 N N +0 0 7 -0 7 nan 7 -0 7 nan 7 1 N N +0 0 7 nan 7 nan 7 -0 7 nan 7 +inf N N +0 0 7 nan 7 nan 7 -0 7 nan 7 nan N N +0 0 7 nan 7 +inf 7 +0 7 -inf 7 -inf N N +0 0 7 -0 7 +inf 7 +0 7 -inf 7 -1 N N +0 0 7 -0 7 nan 7 +0 7 -inf 7 -0 N N +0 0 7 +0 7 nan 7 +0 7 -inf 7 +0 N N +0 0 7 +0 7 -inf 7 +0 7 -inf 7 1 N N +0 0 7 nan 7 -inf 7 +0 7 -inf 7 +inf N N +0 0 7 nan 7 nan 7 +0 7 -inf 7 nan N N +0 0 7 nan 7 +inf 7 +0 7 -1 7 -inf N N +0 0 7 nan 7 -inf 7 +0 7 -1 7 +inf N N +0 0 7 nan 7 nan 7 +0 7 -1 7 nan N N +0 0 7 nan 7 nan 7 +0 7 -0 7 -inf N N +0 0 7 nan 7 nan 7 +0 7 -0 7 +inf N N +0 0 7 nan 7 nan 7 +0 7 -0 7 nan N N +0 0 7 nan 7 nan 7 +0 7 +0 7 -inf N N +0 0 7 nan 7 nan 7 +0 7 +0 7 +inf N N +0 0 7 nan 7 nan 7 +0 7 +0 7 nan N N +0 0 7 nan 7 -inf 7 +0 7 1 7 -inf N N +0 0 7 nan 7 +inf 7 +0 7 1 7 +inf N N +0 0 7 nan 7 nan 7 +0 7 1 7 nan N N +0 0 7 nan 7 -inf 7 +0 7 +inf 7 -inf N N +0 0 7 -0 7 -inf 7 +0 7 +inf 7 -1 N N +0 0 7 -0 7 nan 7 +0 7 +inf 7 -0 N N +0 0 7 +0 7 nan 7 +0 7 +inf 7 +0 N N +0 0 7 +0 7 +inf 7 +0 7 +inf 7 1 N N +0 0 7 nan 7 +inf 7 +0 7 +inf 7 +inf N N +0 0 7 nan 7 nan 7 +0 7 +inf 7 nan N N +0 0 7 nan 7 nan 7 +0 7 nan 7 -inf N N +0 0 7 -0 7 nan 7 +0 7 nan 7 -1 N N +0 0 7 -0 7 nan 7 +0 7 nan 7 -0 N N +0 0 7 +0 7 nan 7 +0 7 nan 7 +0 N N +0 0 7 +0 7 nan 7 +0 7 nan 7 1 N N +0 0 7 nan 7 nan 7 +0 7 nan 7 +inf N N +0 0 7 nan 7 nan 7 +0 7 nan 7 nan N N +0 0 7 -inf 7 +inf 7 1 7 -inf 7 -inf N N +0 0 7 -1 7 +inf 7 1 7 -inf 7 -1 N N +0 0 7 -0 7 nan 7 1 7 -inf 7 -0 N N +0 0 7 +0 7 nan 7 1 7 -inf 7 +0 N N +0 0 7 1 7 -inf 7 1 7 -inf 7 1 N N +0 0 7 +inf 7 -inf 7 1 7 -inf 7 +inf N N +0 0 7 nan 7 nan 7 1 7 -inf 7 nan N N +0 0 7 -inf 7 +inf 7 1 7 -1 7 -inf N N +0 0 7 +inf 7 -inf 7 1 7 -1 7 +inf N N +0 0 7 nan 7 nan 7 1 7 -1 7 nan N N +0 0 7 -inf 7 nan 7 1 7 -0 7 -inf N N +0 0 7 +inf 7 nan 7 1 7 -0 7 +inf N N +0 0 7 nan 7 nan 7 1 7 -0 7 nan N N +0 0 7 -inf 7 nan 7 1 7 +0 7 -inf N N +0 0 7 +inf 7 nan 7 1 7 +0 7 +inf N N +0 0 7 nan 7 nan 7 1 7 +0 7 nan N N +0 0 7 -inf 7 -inf 7 1 7 1 7 -inf N N +0 0 7 +inf 7 +inf 7 1 7 1 7 +inf N N +0 0 7 nan 7 nan 7 1 7 1 7 nan N N +0 0 7 -inf 7 -inf 7 1 7 +inf 7 -inf N N +0 0 7 -1 7 -inf 7 1 7 +inf 7 -1 N N +0 0 7 -0 7 nan 7 1 7 +inf 7 -0 N N +0 0 7 +0 7 nan 7 1 7 +inf 7 +0 N N +0 0 7 1 7 +inf 7 1 7 +inf 7 1 N N +0 0 7 +inf 7 +inf 7 1 7 +inf 7 +inf N N +0 0 7 nan 7 nan 7 1 7 +inf 7 nan N N +0 0 7 -inf 7 nan 7 1 7 nan 7 -inf N N +0 0 7 -1 7 nan 7 1 7 nan 7 -1 N N +0 0 7 -0 7 nan 7 1 7 nan 7 -0 N N +0 0 7 +0 7 nan 7 1 7 nan 7 +0 N N +0 0 7 1 7 nan 7 1 7 nan 7 1 N N +0 0 7 +inf 7 nan 7 1 7 nan 7 +inf N N +0 0 7 nan 7 nan 7 1 7 nan 7 nan N N +0 0 7 -inf 7 +inf 7 +inf 7 -inf 7 -inf N N +0 0 7 -inf 7 +inf 7 +inf 7 -inf 7 -1 N N +0 0 7 nan 7 nan 7 +inf 7 -inf 7 -0 N N +0 0 7 nan 7 nan 7 +inf 7 -inf 7 +0 N N +0 0 7 +inf 7 -inf 7 +inf 7 -inf 7 1 N N +0 0 7 +inf 7 -inf 7 +inf 7 -inf 7 +inf N N +0 0 7 nan 7 nan 7 +inf 7 -inf 7 nan N N +0 0 7 -inf 7 +inf 7 +inf 7 -1 7 -inf N N +0 0 7 -inf 7 1 7 +inf 7 -1 7 -1 N N +0 0 7 nan 7 +0 7 +inf 7 -1 7 -0 N N +0 0 7 nan 7 -0 7 +inf 7 -1 7 +0 N N +0 0 7 +inf 7 -1 7 +inf 7 -1 7 1 N N +0 0 7 +inf 7 -inf 7 +inf 7 -1 7 +inf N N +0 0 7 nan 7 nan 7 +inf 7 -1 7 nan N N +0 0 7 -inf 7 nan 7 +inf 7 -0 7 -inf N N +0 0 7 -inf 7 +0 7 +inf 7 -0 7 -1 N N +0 0 7 nan 7 +0 7 +inf 7 -0 7 -0 N N +0 0 7 nan 7 -0 7 +inf 7 -0 7 +0 N N +0 0 7 +inf 7 -0 7 +inf 7 -0 7 1 N N +0 0 7 +inf 7 nan 7 +inf 7 -0 7 +inf N N +0 0 7 nan 7 nan 7 +inf 7 -0 7 nan N N +0 0 7 -inf 7 nan 7 +inf 7 +0 7 -inf N N +0 0 7 -inf 7 -0 7 +inf 7 +0 7 -1 N N +0 0 7 nan 7 -0 7 +inf 7 +0 7 -0 N N +0 0 7 nan 7 +0 7 +inf 7 +0 7 +0 N N +0 0 7 +inf 7 +0 7 +inf 7 +0 7 1 N N +0 0 7 +inf 7 nan 7 +inf 7 +0 7 +inf N N +0 0 7 nan 7 nan 7 +inf 7 +0 7 nan N N +0 0 7 -inf 7 -inf 7 +inf 7 1 7 -inf N N +0 0 7 -inf 7 -1 7 +inf 7 1 7 -1 N N +0 0 7 nan 7 -0 7 +inf 7 1 7 -0 N N +0 0 7 nan 7 +0 7 +inf 7 1 7 +0 N N +0 0 7 +inf 7 1 7 +inf 7 1 7 1 N N +0 0 7 +inf 7 +inf 7 +inf 7 1 7 +inf N N +0 0 7 nan 7 nan 7 +inf 7 1 7 nan N N +0 0 7 -inf 7 -inf 7 +inf 7 +inf 7 -inf N N +0 0 7 -inf 7 -inf 7 +inf 7 +inf 7 -1 N N +0 0 7 nan 7 nan 7 +inf 7 +inf 7 -0 N N +0 0 7 nan 7 nan 7 +inf 7 +inf 7 +0 N N +0 0 7 +inf 7 +inf 7 +inf 7 +inf 7 1 N N +0 0 7 +inf 7 +inf 7 +inf 7 +inf 7 +inf N N +0 0 7 nan 7 nan 7 +inf 7 +inf 7 nan N N +0 0 7 -inf 7 nan 7 +inf 7 nan 7 -inf N N +0 0 7 -inf 7 nan 7 +inf 7 nan 7 -1 N N +0 0 7 nan 7 nan 7 +inf 7 nan 7 -0 N N +0 0 7 nan 7 nan 7 +inf 7 nan 7 +0 N N +0 0 7 +inf 7 nan 7 +inf 7 nan 7 1 N N +0 0 7 +inf 7 nan 7 +inf 7 nan 7 +inf N N +0 0 7 nan 7 nan 7 +inf 7 nan 7 nan N N +0 0 7 nan 7 +inf 7 nan 7 -inf 7 -inf N N +0 0 7 nan 7 +inf 7 nan 7 -inf 7 -1 N N +0 0 7 nan 7 nan 7 nan 7 -inf 7 -0 N N +0 0 7 nan 7 nan 7 nan 7 -inf 7 +0 N N +0 0 7 nan 7 -inf 7 nan 7 -inf 7 1 N N +0 0 7 nan 7 -inf 7 nan 7 -inf 7 +inf N N +0 0 7 nan 7 nan 7 nan 7 -inf 7 nan N N +0 0 7 nan 7 +inf 7 nan 7 -1 7 -inf N N +0 0 7 nan 7 1 7 nan 7 -1 7 -1 N N +0 0 7 nan 7 +0 7 nan 7 -1 7 -0 N N +0 0 7 nan 7 -0 7 nan 7 -1 7 +0 N N +0 0 7 nan 7 -1 7 nan 7 -1 7 1 N N +0 0 7 nan 7 -inf 7 nan 7 -1 7 +inf N N +0 0 7 nan 7 nan 7 nan 7 -1 7 nan N N +0 0 7 nan 7 nan 7 nan 7 -0 7 -inf N N +0 0 7 nan 7 +0 7 nan 7 -0 7 -1 N N +0 0 7 nan 7 +0 7 nan 7 -0 7 -0 N N +0 0 7 nan 7 -0 7 nan 7 -0 7 +0 N N +0 0 7 nan 7 -0 7 nan 7 -0 7 1 N N +0 0 7 nan 7 nan 7 nan 7 -0 7 +inf N N +0 0 7 nan 7 nan 7 nan 7 -0 7 nan N N +0 0 7 nan 7 nan 7 nan 7 +0 7 -inf N N +0 0 7 nan 7 -0 7 nan 7 +0 7 -1 N N +0 0 7 nan 7 -0 7 nan 7 +0 7 -0 N N +0 0 7 nan 7 +0 7 nan 7 +0 7 +0 N N +0 0 7 nan 7 +0 7 nan 7 +0 7 1 N N +0 0 7 nan 7 nan 7 nan 7 +0 7 +inf N N +0 0 7 nan 7 nan 7 nan 7 +0 7 nan N N +0 0 7 nan 7 -inf 7 nan 7 1 7 -inf N N +0 0 7 nan 7 -1 7 nan 7 1 7 -1 N N +0 0 7 nan 7 -0 7 nan 7 1 7 -0 N N +0 0 7 nan 7 +0 7 nan 7 1 7 +0 N N +0 0 7 nan 7 1 7 nan 7 1 7 1 N N +0 0 7 nan 7 +inf 7 nan 7 1 7 +inf N N +0 0 7 nan 7 nan 7 nan 7 1 7 nan N N +0 0 7 nan 7 -inf 7 nan 7 +inf 7 -inf N N +0 0 7 nan 7 -inf 7 nan 7 +inf 7 -1 N N +0 0 7 nan 7 nan 7 nan 7 +inf 7 -0 N N +0 0 7 nan 7 nan 7 nan 7 +inf 7 +0 N N +0 0 7 nan 7 +inf 7 nan 7 +inf 7 1 N N +0 0 7 nan 7 +inf 7 nan 7 +inf 7 +inf N N +0 0 7 nan 7 nan 7 nan 7 +inf 7 nan N N +0 0 7 nan 7 nan 7 nan 7 nan 7 -inf N N +0 0 7 nan 7 nan 7 nan 7 nan 7 -1 N N +0 0 7 nan 7 nan 7 nan 7 nan 7 -0 N N +0 0 7 nan 7 nan 7 nan 7 nan 7 +0 N N +0 0 7 nan 7 nan 7 nan 7 nan 7 1 N N +0 0 7 nan 7 nan 7 nan 7 nan 7 +inf N N +0 0 7 nan 7 nan 7 nan 7 nan 7 nan N N + +# values with only 1, -1, +0, -0 +0 0 7 1 7 1 7 -1 7 -1 7 -1 N N +0 0 7 +0 7 +0 7 -1 7 -1 7 -0 N N +0 0 7 -0 7 -0 7 -1 7 -1 7 +0 N N +0 0 7 -1 7 -1 7 -1 7 -1 7 1 N N +0 0 7 1 7 +0 7 -1 7 -0 7 -1 N N +0 0 7 +0 7 +0 7 -1 7 -0 7 -0 N N +0 0 7 -0 7 -0 7 -1 7 -0 7 +0 N N +0 0 7 -1 7 -0 7 -1 7 -0 7 1 N N +0 0 7 1 7 -0 7 -1 7 +0 7 -1 N N +0 0 7 +0 7 -0 7 -1 7 +0 7 -0 N N +0 0 7 -0 7 +0 7 -1 7 +0 7 +0 N N +0 0 7 -1 7 +0 7 -1 7 +0 7 1 N N +0 0 7 1 7 -1 7 -1 7 1 7 -1 N N +0 0 7 +0 7 -0 7 -1 7 1 7 -0 N N +0 0 7 -0 7 +0 7 -1 7 1 7 +0 N N +0 0 7 -1 7 1 7 -1 7 1 7 1 N N +0 0 7 +0 7 1 7 -0 7 -1 7 -1 N N +0 0 7 +0 7 +0 7 -0 7 -1 7 -0 N N +0 0 7 -0 7 -0 7 -0 7 -1 7 +0 N N +0 0 7 -0 7 -1 7 -0 7 -1 7 1 N N +0 0 7 +0 7 +0 7 -0 7 -0 7 -1 N N +0 0 7 +0 7 +0 7 -0 7 -0 7 -0 N N +0 0 7 -0 7 -0 7 -0 7 -0 7 +0 N N +0 0 7 -0 7 -0 7 -0 7 -0 7 1 N N +0 0 7 +0 7 -0 7 -0 7 +0 7 -1 N N +0 0 7 +0 7 -0 7 -0 7 +0 7 -0 N N +0 0 7 -0 7 +0 7 -0 7 +0 7 +0 N N +0 0 7 -0 7 +0 7 -0 7 +0 7 1 N N +0 0 7 +0 7 -1 7 -0 7 1 7 -1 N N +0 0 7 +0 7 -0 7 -0 7 1 7 -0 N N +0 0 7 -0 7 +0 7 -0 7 1 7 +0 N N +0 0 7 -0 7 1 7 -0 7 1 7 1 N N +0 0 7 -0 7 1 7 +0 7 -1 7 -1 N N +0 0 7 -0 7 +0 7 +0 7 -1 7 -0 N N +0 0 7 +0 7 -0 7 +0 7 -1 7 +0 N N +0 0 7 +0 7 -1 7 +0 7 -1 7 1 N N +0 0 7 -0 7 +0 7 +0 7 -0 7 -1 N N +0 0 7 -0 7 +0 7 +0 7 -0 7 -0 N N +0 0 7 +0 7 -0 7 +0 7 -0 7 +0 N N +0 0 7 +0 7 -0 7 +0 7 -0 7 1 N N +0 0 7 -0 7 -0 7 +0 7 +0 7 -1 N N +0 0 7 -0 7 -0 7 +0 7 +0 7 -0 N N +0 0 7 +0 7 +0 7 +0 7 +0 7 +0 N N +0 0 7 +0 7 +0 7 +0 7 +0 7 1 N N +0 0 7 -0 7 -1 7 +0 7 1 7 -1 N N +0 0 7 -0 7 -0 7 +0 7 1 7 -0 N N +0 0 7 +0 7 +0 7 +0 7 1 7 +0 N N +0 0 7 +0 7 1 7 +0 7 1 7 1 N N +0 0 7 -1 7 1 7 1 7 -1 7 -1 N N +0 0 7 -0 7 +0 7 1 7 -1 7 -0 N N +0 0 7 +0 7 -0 7 1 7 -1 7 +0 N N +0 0 7 1 7 -1 7 1 7 -1 7 1 N N +0 0 7 -1 7 +0 7 1 7 -0 7 -1 N N +0 0 7 -0 7 +0 7 1 7 -0 7 -0 N N +0 0 7 +0 7 -0 7 1 7 -0 7 +0 N N +0 0 7 1 7 -0 7 1 7 -0 7 1 N N +0 0 7 -1 7 -0 7 1 7 +0 7 -1 N N +0 0 7 -0 7 -0 7 1 7 +0 7 -0 N N +0 0 7 +0 7 +0 7 1 7 +0 7 +0 N N +0 0 7 1 7 +0 7 1 7 +0 7 1 N N +0 0 7 -1 7 -1 7 1 7 1 7 -1 N N +0 0 7 -0 7 -0 7 1 7 1 7 -0 N N +0 0 7 +0 7 +0 7 1 7 1 7 +0 N N +0 0 7 1 7 1 7 1 7 1 7 1 N N + |