summaryrefslogtreecommitdiff
path: root/tests/mul_fr.dat
diff options
context:
space:
mode:
authorenge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2008-11-13 21:24:16 +0000
committerenge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2008-11-13 21:24:16 +0000
commitafc0750a201821c8c7cbb0da84b219e7f37e8632 (patch)
tree923bbb90dd8e15c5c7cc6a58256961a6bbe04dad /tests/mul_fr.dat
parent7ee43edd40b772c4437037e3d92a983601d183bc (diff)
downloadmpc-afc0750a201821c8c7cbb0da84b219e7f37e8632.tar.gz
- added data files for norm, div, div_fr, fr_div, mul_fr
- debugged some of the corresponding functions - tests/mpc-tests.h: removal of macros - tests/read_data.c: reorganisation of reused code in functions git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@299 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/mul_fr.dat')
-rw-r--r--tests/mul_fr.dat369
1 files changed, 369 insertions, 0 deletions
diff --git a/tests/mul_fr.dat b/tests/mul_fr.dat
new file mode 100644
index 0000000..a166d3a
--- /dev/null
+++ b/tests/mul_fr.dat
@@ -0,0 +1,369 @@
+# Data file for mpc_mul_fr.
+#
+# Copyright (C) 2008 Andreas Enge
+#
+# This file is part of the MPC Library.
+#
+# The MPC Library 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 2.1 of the License, or (at your
+# option) any later version.
+#
+# The MPC Library 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 the MPC Library; see the file COPYING.LIB. If not, write to
+# the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
+# MA 02111-1307, USA.
+#
+# For explanations on the file format, see add_fr.dat.
+
+# special values
+7 +inf 7 +inf 7 -inf 7 -inf 7 -inf N N
+7 +inf 7 +inf 7 -inf 7 -inf 7 -1 N N
+7 nan 7 nan 7 -inf 7 -inf 7 -0 N N
+7 nan 7 nan 7 -inf 7 -inf 7 +0 N N
+7 -inf 7 -inf 7 -inf 7 -inf 7 1 N N
+7 -inf 7 -inf 7 -inf 7 -inf 7 +inf N N
+7 nan 7 nan 7 -inf 7 -inf 7 nan N N
+7 +inf 7 +inf 7 -inf 7 -1 7 -inf N N
+7 +inf 7 1 7 -inf 7 -1 7 -1 N N
+7 nan 7 +0 7 -inf 7 -1 7 -0 N N
+7 nan 7 -0 7 -inf 7 -1 7 +0 N N
+7 -inf 7 -1 7 -inf 7 -1 7 1 N N
+7 -inf 7 -inf 7 -inf 7 -1 7 +inf N N
+7 nan 7 nan 7 -inf 7 -1 7 nan N N
+7 +inf 7 nan 7 -inf 7 -0 7 -inf N N
+7 +inf 7 +0 7 -inf 7 -0 7 -1 N N
+7 nan 7 +0 7 -inf 7 -0 7 -0 N N
+7 nan 7 -0 7 -inf 7 -0 7 +0 N N
+7 -inf 7 -0 7 -inf 7 -0 7 1 N N
+7 -inf 7 nan 7 -inf 7 -0 7 +inf N N
+7 nan 7 nan 7 -inf 7 -0 7 nan N N
+7 +inf 7 nan 7 -inf 7 +0 7 -inf N N
+7 +inf 7 -0 7 -inf 7 +0 7 -1 N N
+7 nan 7 -0 7 -inf 7 +0 7 -0 N N
+7 nan 7 +0 7 -inf 7 +0 7 +0 N N
+7 -inf 7 +0 7 -inf 7 +0 7 1 N N
+7 -inf 7 nan 7 -inf 7 +0 7 +inf N N
+7 nan 7 nan 7 -inf 7 +0 7 nan N N
+7 +inf 7 -inf 7 -inf 7 1 7 -inf N N
+7 +inf 7 -1 7 -inf 7 1 7 -1 N N
+7 nan 7 -0 7 -inf 7 1 7 -0 N N
+7 nan 7 +0 7 -inf 7 1 7 +0 N N
+7 -inf 7 1 7 -inf 7 1 7 1 N N
+7 -inf 7 +inf 7 -inf 7 1 7 +inf N N
+7 nan 7 nan 7 -inf 7 1 7 nan N N
+7 +inf 7 -inf 7 -inf 7 +inf 7 -inf N N
+7 +inf 7 -inf 7 -inf 7 +inf 7 -1 N N
+7 nan 7 nan 7 -inf 7 +inf 7 -0 N N
+7 nan 7 nan 7 -inf 7 +inf 7 +0 N N
+7 -inf 7 +inf 7 -inf 7 +inf 7 1 N N
+7 -inf 7 +inf 7 -inf 7 +inf 7 +inf N N
+7 nan 7 nan 7 -inf 7 +inf 7 nan N N
+7 +inf 7 nan 7 -inf 7 nan 7 -inf N N
+7 +inf 7 nan 7 -inf 7 nan 7 -1 N N
+7 nan 7 nan 7 -inf 7 nan 7 -0 N N
+7 nan 7 nan 7 -inf 7 nan 7 +0 N N
+7 -inf 7 nan 7 -inf 7 nan 7 1 N N
+7 -inf 7 nan 7 -inf 7 nan 7 +inf N N
+7 nan 7 nan 7 -inf 7 nan 7 nan N N
+7 +inf 7 +inf 7 -1 7 -inf 7 -inf N N
+7 1 7 +inf 7 -1 7 -inf 7 -1 N N
+7 +0 7 nan 7 -1 7 -inf 7 -0 N N
+7 -0 7 nan 7 -1 7 -inf 7 +0 N N
+7 -1 7 -inf 7 -1 7 -inf 7 1 N N
+7 -inf 7 -inf 7 -1 7 -inf 7 +inf N N
+7 nan 7 nan 7 -1 7 -inf 7 nan N N
+7 +inf 7 +inf 7 -1 7 -1 7 -inf N N
+7 -inf 7 -inf 7 -1 7 -1 7 +inf N N
+7 nan 7 nan 7 -1 7 -1 7 nan N N
+7 +inf 7 nan 7 -1 7 -0 7 -inf N N
+7 -inf 7 nan 7 -1 7 -0 7 +inf N N
+7 nan 7 nan 7 -1 7 -0 7 nan N N
+7 +inf 7 nan 7 -1 7 +0 7 -inf N N
+7 -inf 7 nan 7 -1 7 +0 7 +inf N N
+7 nan 7 nan 7 -1 7 +0 7 nan N N
+7 +inf 7 -inf 7 -1 7 1 7 -inf N N
+7 -inf 7 +inf 7 -1 7 1 7 +inf N N
+7 nan 7 nan 7 -1 7 1 7 nan N N
+7 +inf 7 -inf 7 -1 7 +inf 7 -inf N N
+7 1 7 -inf 7 -1 7 +inf 7 -1 N N
+7 +0 7 nan 7 -1 7 +inf 7 -0 N N
+7 -0 7 nan 7 -1 7 +inf 7 +0 N N
+7 -1 7 +inf 7 -1 7 +inf 7 1 N N
+7 -inf 7 +inf 7 -1 7 +inf 7 +inf N N
+7 nan 7 nan 7 -1 7 +inf 7 nan N N
+7 +inf 7 nan 7 -1 7 nan 7 -inf N N
+7 1 7 nan 7 -1 7 nan 7 -1 N N
+7 +0 7 nan 7 -1 7 nan 7 -0 N N
+7 -0 7 nan 7 -1 7 nan 7 +0 N N
+7 -1 7 nan 7 -1 7 nan 7 1 N N
+7 -inf 7 nan 7 -1 7 nan 7 +inf N N
+7 nan 7 nan 7 -1 7 nan 7 nan N N
+7 nan 7 +inf 7 -0 7 -inf 7 -inf N N
+7 +0 7 +inf 7 -0 7 -inf 7 -1 N N
+7 +0 7 nan 7 -0 7 -inf 7 -0 N N
+7 -0 7 nan 7 -0 7 -inf 7 +0 N N
+7 -0 7 -inf 7 -0 7 -inf 7 1 N N
+7 nan 7 -inf 7 -0 7 -inf 7 +inf N N
+7 nan 7 nan 7 -0 7 -inf 7 nan N N
+7 nan 7 +inf 7 -0 7 -1 7 -inf N N
+7 nan 7 -inf 7 -0 7 -1 7 +inf N N
+7 nan 7 nan 7 -0 7 -1 7 nan N N
+7 nan 7 nan 7 -0 7 -0 7 -inf N N
+7 nan 7 nan 7 -0 7 -0 7 +inf N N
+7 nan 7 nan 7 -0 7 -0 7 nan N N
+7 nan 7 nan 7 -0 7 +0 7 -inf N N
+7 nan 7 nan 7 -0 7 +0 7 +inf N N
+7 nan 7 nan 7 -0 7 +0 7 nan N N
+7 nan 7 -inf 7 -0 7 1 7 -inf N N
+7 nan 7 +inf 7 -0 7 1 7 +inf N N
+7 nan 7 nan 7 -0 7 1 7 nan N N
+7 nan 7 -inf 7 -0 7 +inf 7 -inf N N
+7 +0 7 -inf 7 -0 7 +inf 7 -1 N N
+7 +0 7 nan 7 -0 7 +inf 7 -0 N N
+7 -0 7 nan 7 -0 7 +inf 7 +0 N N
+7 -0 7 +inf 7 -0 7 +inf 7 1 N N
+7 nan 7 +inf 7 -0 7 +inf 7 +inf N N
+7 nan 7 nan 7 -0 7 +inf 7 nan N N
+7 nan 7 nan 7 -0 7 nan 7 -inf N N
+7 +0 7 nan 7 -0 7 nan 7 -1 N N
+7 +0 7 nan 7 -0 7 nan 7 -0 N N
+7 -0 7 nan 7 -0 7 nan 7 +0 N N
+7 -0 7 nan 7 -0 7 nan 7 1 N N
+7 nan 7 nan 7 -0 7 nan 7 +inf N N
+7 nan 7 nan 7 -0 7 nan 7 nan N N
+7 nan 7 +inf 7 +0 7 -inf 7 -inf N N
+7 -0 7 +inf 7 +0 7 -inf 7 -1 N N
+7 -0 7 nan 7 +0 7 -inf 7 -0 N N
+7 +0 7 nan 7 +0 7 -inf 7 +0 N N
+7 +0 7 -inf 7 +0 7 -inf 7 1 N N
+7 nan 7 -inf 7 +0 7 -inf 7 +inf N N
+7 nan 7 nan 7 +0 7 -inf 7 nan N N
+7 nan 7 +inf 7 +0 7 -1 7 -inf N N
+7 nan 7 -inf 7 +0 7 -1 7 +inf N N
+7 nan 7 nan 7 +0 7 -1 7 nan N N
+7 nan 7 nan 7 +0 7 -0 7 -inf N N
+7 nan 7 nan 7 +0 7 -0 7 +inf N N
+7 nan 7 nan 7 +0 7 -0 7 nan N N
+7 nan 7 nan 7 +0 7 +0 7 -inf N N
+7 nan 7 nan 7 +0 7 +0 7 +inf N N
+7 nan 7 nan 7 +0 7 +0 7 nan N N
+7 nan 7 -inf 7 +0 7 1 7 -inf N N
+7 nan 7 +inf 7 +0 7 1 7 +inf N N
+7 nan 7 nan 7 +0 7 1 7 nan N N
+7 nan 7 -inf 7 +0 7 +inf 7 -inf N N
+7 -0 7 -inf 7 +0 7 +inf 7 -1 N N
+7 -0 7 nan 7 +0 7 +inf 7 -0 N N
+7 +0 7 nan 7 +0 7 +inf 7 +0 N N
+7 +0 7 +inf 7 +0 7 +inf 7 1 N N
+7 nan 7 +inf 7 +0 7 +inf 7 +inf N N
+7 nan 7 nan 7 +0 7 +inf 7 nan N N
+7 nan 7 nan 7 +0 7 nan 7 -inf N N
+7 -0 7 nan 7 +0 7 nan 7 -1 N N
+7 -0 7 nan 7 +0 7 nan 7 -0 N N
+7 +0 7 nan 7 +0 7 nan 7 +0 N N
+7 +0 7 nan 7 +0 7 nan 7 1 N N
+7 nan 7 nan 7 +0 7 nan 7 +inf N N
+7 nan 7 nan 7 +0 7 nan 7 nan N N
+7 -inf 7 +inf 7 1 7 -inf 7 -inf N N
+7 -1 7 +inf 7 1 7 -inf 7 -1 N N
+7 -0 7 nan 7 1 7 -inf 7 -0 N N
+7 +0 7 nan 7 1 7 -inf 7 +0 N N
+7 1 7 -inf 7 1 7 -inf 7 1 N N
+7 +inf 7 -inf 7 1 7 -inf 7 +inf N N
+7 nan 7 nan 7 1 7 -inf 7 nan N N
+7 -inf 7 +inf 7 1 7 -1 7 -inf N N
+7 +inf 7 -inf 7 1 7 -1 7 +inf N N
+7 nan 7 nan 7 1 7 -1 7 nan N N
+7 -inf 7 nan 7 1 7 -0 7 -inf N N
+7 +inf 7 nan 7 1 7 -0 7 +inf N N
+7 nan 7 nan 7 1 7 -0 7 nan N N
+7 -inf 7 nan 7 1 7 +0 7 -inf N N
+7 +inf 7 nan 7 1 7 +0 7 +inf N N
+7 nan 7 nan 7 1 7 +0 7 nan N N
+7 -inf 7 -inf 7 1 7 1 7 -inf N N
+7 +inf 7 +inf 7 1 7 1 7 +inf N N
+7 nan 7 nan 7 1 7 1 7 nan N N
+7 -inf 7 -inf 7 1 7 +inf 7 -inf N N
+7 -1 7 -inf 7 1 7 +inf 7 -1 N N
+7 -0 7 nan 7 1 7 +inf 7 -0 N N
+7 +0 7 nan 7 1 7 +inf 7 +0 N N
+7 1 7 +inf 7 1 7 +inf 7 1 N N
+7 +inf 7 +inf 7 1 7 +inf 7 +inf N N
+7 nan 7 nan 7 1 7 +inf 7 nan N N
+7 -inf 7 nan 7 1 7 nan 7 -inf N N
+7 -1 7 nan 7 1 7 nan 7 -1 N N
+7 -0 7 nan 7 1 7 nan 7 -0 N N
+7 +0 7 nan 7 1 7 nan 7 +0 N N
+7 1 7 nan 7 1 7 nan 7 1 N N
+7 +inf 7 nan 7 1 7 nan 7 +inf N N
+7 nan 7 nan 7 1 7 nan 7 nan N N
+7 -inf 7 +inf 7 +inf 7 -inf 7 -inf N N
+7 -inf 7 +inf 7 +inf 7 -inf 7 -1 N N
+7 nan 7 nan 7 +inf 7 -inf 7 -0 N N
+7 nan 7 nan 7 +inf 7 -inf 7 +0 N N
+7 +inf 7 -inf 7 +inf 7 -inf 7 1 N N
+7 +inf 7 -inf 7 +inf 7 -inf 7 +inf N N
+7 nan 7 nan 7 +inf 7 -inf 7 nan N N
+7 -inf 7 +inf 7 +inf 7 -1 7 -inf N N
+7 -inf 7 1 7 +inf 7 -1 7 -1 N N
+7 nan 7 +0 7 +inf 7 -1 7 -0 N N
+7 nan 7 -0 7 +inf 7 -1 7 +0 N N
+7 +inf 7 -1 7 +inf 7 -1 7 1 N N
+7 +inf 7 -inf 7 +inf 7 -1 7 +inf N N
+7 nan 7 nan 7 +inf 7 -1 7 nan N N
+7 -inf 7 nan 7 +inf 7 -0 7 -inf N N
+7 -inf 7 +0 7 +inf 7 -0 7 -1 N N
+7 nan 7 +0 7 +inf 7 -0 7 -0 N N
+7 nan 7 -0 7 +inf 7 -0 7 +0 N N
+7 +inf 7 -0 7 +inf 7 -0 7 1 N N
+7 +inf 7 nan 7 +inf 7 -0 7 +inf N N
+7 nan 7 nan 7 +inf 7 -0 7 nan N N
+7 -inf 7 nan 7 +inf 7 +0 7 -inf N N
+7 -inf 7 -0 7 +inf 7 +0 7 -1 N N
+7 nan 7 -0 7 +inf 7 +0 7 -0 N N
+7 nan 7 +0 7 +inf 7 +0 7 +0 N N
+7 +inf 7 +0 7 +inf 7 +0 7 1 N N
+7 +inf 7 nan 7 +inf 7 +0 7 +inf N N
+7 nan 7 nan 7 +inf 7 +0 7 nan N N
+7 -inf 7 -inf 7 +inf 7 1 7 -inf N N
+7 -inf 7 -1 7 +inf 7 1 7 -1 N N
+7 nan 7 -0 7 +inf 7 1 7 -0 N N
+7 nan 7 +0 7 +inf 7 1 7 +0 N N
+7 +inf 7 1 7 +inf 7 1 7 1 N N
+7 +inf 7 +inf 7 +inf 7 1 7 +inf N N
+7 nan 7 nan 7 +inf 7 1 7 nan N N
+7 -inf 7 -inf 7 +inf 7 +inf 7 -inf N N
+7 -inf 7 -inf 7 +inf 7 +inf 7 -1 N N
+7 nan 7 nan 7 +inf 7 +inf 7 -0 N N
+7 nan 7 nan 7 +inf 7 +inf 7 +0 N N
+7 +inf 7 +inf 7 +inf 7 +inf 7 1 N N
+7 +inf 7 +inf 7 +inf 7 +inf 7 +inf N N
+7 nan 7 nan 7 +inf 7 +inf 7 nan N N
+7 -inf 7 nan 7 +inf 7 nan 7 -inf N N
+7 -inf 7 nan 7 +inf 7 nan 7 -1 N N
+7 nan 7 nan 7 +inf 7 nan 7 -0 N N
+7 nan 7 nan 7 +inf 7 nan 7 +0 N N
+7 +inf 7 nan 7 +inf 7 nan 7 1 N N
+7 +inf 7 nan 7 +inf 7 nan 7 +inf N N
+7 nan 7 nan 7 +inf 7 nan 7 nan N N
+7 nan 7 +inf 7 nan 7 -inf 7 -inf N N
+7 nan 7 +inf 7 nan 7 -inf 7 -1 N N
+7 nan 7 nan 7 nan 7 -inf 7 -0 N N
+7 nan 7 nan 7 nan 7 -inf 7 +0 N N
+7 nan 7 -inf 7 nan 7 -inf 7 1 N N
+7 nan 7 -inf 7 nan 7 -inf 7 +inf N N
+7 nan 7 nan 7 nan 7 -inf 7 nan N N
+7 nan 7 +inf 7 nan 7 -1 7 -inf N N
+7 nan 7 1 7 nan 7 -1 7 -1 N N
+7 nan 7 +0 7 nan 7 -1 7 -0 N N
+7 nan 7 -0 7 nan 7 -1 7 +0 N N
+7 nan 7 -1 7 nan 7 -1 7 1 N N
+7 nan 7 -inf 7 nan 7 -1 7 +inf N N
+7 nan 7 nan 7 nan 7 -1 7 nan N N
+7 nan 7 nan 7 nan 7 -0 7 -inf N N
+7 nan 7 +0 7 nan 7 -0 7 -1 N N
+7 nan 7 +0 7 nan 7 -0 7 -0 N N
+7 nan 7 -0 7 nan 7 -0 7 +0 N N
+7 nan 7 -0 7 nan 7 -0 7 1 N N
+7 nan 7 nan 7 nan 7 -0 7 +inf N N
+7 nan 7 nan 7 nan 7 -0 7 nan N N
+7 nan 7 nan 7 nan 7 +0 7 -inf N N
+7 nan 7 -0 7 nan 7 +0 7 -1 N N
+7 nan 7 -0 7 nan 7 +0 7 -0 N N
+7 nan 7 +0 7 nan 7 +0 7 +0 N N
+7 nan 7 +0 7 nan 7 +0 7 1 N N
+7 nan 7 nan 7 nan 7 +0 7 +inf N N
+7 nan 7 nan 7 nan 7 +0 7 nan N N
+7 nan 7 -inf 7 nan 7 1 7 -inf N N
+7 nan 7 -1 7 nan 7 1 7 -1 N N
+7 nan 7 -0 7 nan 7 1 7 -0 N N
+7 nan 7 +0 7 nan 7 1 7 +0 N N
+7 nan 7 1 7 nan 7 1 7 1 N N
+7 nan 7 +inf 7 nan 7 1 7 +inf N N
+7 nan 7 nan 7 nan 7 1 7 nan N N
+7 nan 7 -inf 7 nan 7 +inf 7 -inf N N
+7 nan 7 -inf 7 nan 7 +inf 7 -1 N N
+7 nan 7 nan 7 nan 7 +inf 7 -0 N N
+7 nan 7 nan 7 nan 7 +inf 7 +0 N N
+7 nan 7 +inf 7 nan 7 +inf 7 1 N N
+7 nan 7 +inf 7 nan 7 +inf 7 +inf N N
+7 nan 7 nan 7 nan 7 +inf 7 nan N N
+7 nan 7 nan 7 nan 7 nan 7 -inf N N
+7 nan 7 nan 7 nan 7 nan 7 -1 N N
+7 nan 7 nan 7 nan 7 nan 7 -0 N N
+7 nan 7 nan 7 nan 7 nan 7 +0 N N
+7 nan 7 nan 7 nan 7 nan 7 1 N N
+7 nan 7 nan 7 nan 7 nan 7 +inf N N
+7 nan 7 nan 7 nan 7 nan 7 nan N N
+
+# values with only 1, -1, +0, -0
+7 1 7 1 7 -1 7 -1 7 -1 N N
+7 +0 7 +0 7 -1 7 -1 7 -0 N N
+7 -0 7 -0 7 -1 7 -1 7 +0 N N
+7 -1 7 -1 7 -1 7 -1 7 1 N N
+7 1 7 +0 7 -1 7 -0 7 -1 N N
+7 +0 7 +0 7 -1 7 -0 7 -0 N N
+7 -0 7 -0 7 -1 7 -0 7 +0 N N
+7 -1 7 -0 7 -1 7 -0 7 1 N N
+7 1 7 -0 7 -1 7 +0 7 -1 N N
+7 +0 7 -0 7 -1 7 +0 7 -0 N N
+7 -0 7 +0 7 -1 7 +0 7 +0 N N
+7 -1 7 +0 7 -1 7 +0 7 1 N N
+7 1 7 -1 7 -1 7 1 7 -1 N N
+7 +0 7 -0 7 -1 7 1 7 -0 N N
+7 -0 7 +0 7 -1 7 1 7 +0 N N
+7 -1 7 1 7 -1 7 1 7 1 N N
+7 +0 7 1 7 -0 7 -1 7 -1 N N
+7 +0 7 +0 7 -0 7 -1 7 -0 N N
+7 -0 7 -0 7 -0 7 -1 7 +0 N N
+7 -0 7 -1 7 -0 7 -1 7 1 N N
+7 +0 7 +0 7 -0 7 -0 7 -1 N N
+7 +0 7 +0 7 -0 7 -0 7 -0 N N
+7 -0 7 -0 7 -0 7 -0 7 +0 N N
+7 -0 7 -0 7 -0 7 -0 7 1 N N
+7 +0 7 -0 7 -0 7 +0 7 -1 N N
+7 +0 7 -0 7 -0 7 +0 7 -0 N N
+7 -0 7 +0 7 -0 7 +0 7 +0 N N
+7 -0 7 +0 7 -0 7 +0 7 1 N N
+7 +0 7 -1 7 -0 7 1 7 -1 N N
+7 +0 7 -0 7 -0 7 1 7 -0 N N
+7 -0 7 +0 7 -0 7 1 7 +0 N N
+7 -0 7 1 7 -0 7 1 7 1 N N
+7 -0 7 1 7 +0 7 -1 7 -1 N N
+7 -0 7 +0 7 +0 7 -1 7 -0 N N
+7 +0 7 -0 7 +0 7 -1 7 +0 N N
+7 +0 7 -1 7 +0 7 -1 7 1 N N
+7 -0 7 +0 7 +0 7 -0 7 -1 N N
+7 -0 7 +0 7 +0 7 -0 7 -0 N N
+7 +0 7 -0 7 +0 7 -0 7 +0 N N
+7 +0 7 -0 7 +0 7 -0 7 1 N N
+7 -0 7 -0 7 +0 7 +0 7 -1 N N
+7 -0 7 -0 7 +0 7 +0 7 -0 N N
+7 +0 7 +0 7 +0 7 +0 7 +0 N N
+7 +0 7 +0 7 +0 7 +0 7 1 N N
+7 -0 7 -1 7 +0 7 1 7 -1 N N
+7 -0 7 -0 7 +0 7 1 7 -0 N N
+7 +0 7 +0 7 +0 7 1 7 +0 N N
+7 +0 7 1 7 +0 7 1 7 1 N N
+7 -1 7 1 7 1 7 -1 7 -1 N N
+7 -0 7 +0 7 1 7 -1 7 -0 N N
+7 +0 7 -0 7 1 7 -1 7 +0 N N
+7 1 7 -1 7 1 7 -1 7 1 N N
+7 -1 7 +0 7 1 7 -0 7 -1 N N
+7 -0 7 +0 7 1 7 -0 7 -0 N N
+7 +0 7 -0 7 1 7 -0 7 +0 N N
+7 1 7 -0 7 1 7 -0 7 1 N N
+7 -1 7 -0 7 1 7 +0 7 -1 N N
+7 -0 7 -0 7 1 7 +0 7 -0 N N
+7 +0 7 +0 7 1 7 +0 7 +0 N N
+7 1 7 +0 7 1 7 +0 7 1 N N
+7 -1 7 -1 7 1 7 1 7 -1 N N
+7 -0 7 -0 7 1 7 1 7 -0 N N
+7 +0 7 +0 7 1 7 1 7 +0 N N
+7 1 7 1 7 1 7 1 7 1 N N