summaryrefslogtreecommitdiff
path: root/mpc/tests/fr_div.dat
diff options
context:
space:
mode:
Diffstat (limited to 'mpc/tests/fr_div.dat')
-rw-r--r--mpc/tests/fr_div.dat381
1 files changed, 381 insertions, 0 deletions
diff --git a/mpc/tests/fr_div.dat b/mpc/tests/fr_div.dat
new file mode 100644
index 0000000000..cb9a5a90da
--- /dev/null
+++ b/mpc/tests/fr_div.dat
@@ -0,0 +1,381 @@
+# Data file for mpc_fr_div.
+#
+# Copyright (C) 2008, 2009 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.dat, and take into
+# account the necessary modifications for one real argument.
+
+# special values
+0 0 7 nan 7 nan 7 -inf 7 -inf 7 -inf N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 -inf 7 -inf 7 1 N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 -inf 7 -1 7 -inf N N
+0 0 7 +inf 7 -inf 7 -inf 7 -1 7 -1 N N
+0 0 7 +inf 7 nan 7 -inf 7 -1 7 -0 N N
+0 0 7 +inf 7 nan 7 -inf 7 -1 7 +0 N N
+0 0 7 +inf 7 +inf 7 -inf 7 -1 7 1 N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 -inf 7 -0 7 -inf N N
+0 0 7 nan 7 -inf 7 -inf 7 -0 7 -1 N N
+0 0 7 +inf 7 nan 7 -inf 7 -0 7 -0 N N
+0 0 7 +inf 7 nan 7 -inf 7 -0 7 +0 N N
+0 0 7 nan 7 +inf 7 -inf 7 -0 7 1 N N
+0 0 7 nan 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 nan 7 nan 7 -inf 7 +0 7 -inf N N
+0 0 7 nan 7 -inf 7 -inf 7 +0 7 -1 N N
+0 0 7 -inf 7 nan 7 -inf 7 +0 7 -0 N N
+0 0 7 -inf 7 nan 7 -inf 7 +0 7 +0 N N
+0 0 7 nan 7 +inf 7 -inf 7 +0 7 1 N N
+0 0 7 nan 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 nan 7 nan 7 -inf 7 1 7 -inf N N
+0 0 7 -inf 7 -inf 7 -inf 7 1 7 -1 N N
+0 0 7 -inf 7 nan 7 -inf 7 1 7 -0 N N
+0 0 7 -inf 7 nan 7 -inf 7 1 7 +0 N N
+0 0 7 -inf 7 +inf 7 -inf 7 1 7 1 N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 -inf 7 +inf 7 -inf N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 -inf 7 +inf 7 1 N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 -inf 7 nan 7 -inf N N
+0 0 7 nan 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 nan 7 nan 7 -inf 7 nan 7 1 N N
+0 0 7 nan 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 +0 7 -0 7 -1 7 -inf 7 -inf N N
+0 0 7 +0 7 -0 7 -1 7 -inf 7 -1 N N
+0 0 7 +0 7 -0 7 -1 7 -inf 7 -0 N N
+0 0 7 +0 7 +0 7 -1 7 -inf 7 +0 N N
+0 0 7 +0 7 +0 7 -1 7 -inf 7 1 N N
+0 0 7 +0 7 +0 7 -1 7 -inf 7 +inf N N
+0 0 7 +0 7 +0 7 -1 7 -inf 7 nan N N
+0 0 7 +0 7 -0 7 -1 7 -1 7 -inf N N
+0 0 7 +0 7 +0 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 +0 7 -0 7 -1 7 -0 7 -inf N N
+0 0 7 +0 7 +0 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 -0 7 -0 7 -1 7 +0 7 -inf N N
+0 0 7 +0 7 +0 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 -0 7 -0 7 -1 7 1 7 -inf N N
+0 0 7 +0 7 +0 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 -0 7 -0 7 -1 7 +inf 7 -inf N N
+0 0 7 -0 7 +0 7 -1 7 +inf 7 -1 N N
+0 0 7 -0 7 +0 7 -1 7 +inf 7 -0 N N
+0 0 7 -0 7 +0 7 -1 7 +inf 7 +0 N N
+0 0 7 -0 7 +0 7 -1 7 +inf 7 1 N N
+0 0 7 -0 7 +0 7 -1 7 +inf 7 +inf N N
+0 0 7 -0 7 +0 7 -1 7 +inf 7 nan N N
+0 0 7 -0 7 -0 7 -1 7 nan 7 -inf N N
+0 0 7 nan 7 nan 7 -1 7 nan 7 -1 N N
+0 0 7 nan 7 nan 7 -1 7 nan 7 -0 N N
+0 0 7 nan 7 nan 7 -1 7 nan 7 +0 N N
+0 0 7 nan 7 nan 7 -1 7 nan 7 1 N N
+0 0 7 +0 7 +0 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 +0 7 -0 7 -0 7 -inf 7 -inf N N
+0 0 7 +0 7 -0 7 -0 7 -inf 7 -1 N N
+0 0 7 +0 7 -0 7 -0 7 -inf 7 -0 N N
+0 0 7 +0 7 +0 7 -0 7 -inf 7 +0 N N
+0 0 7 +0 7 +0 7 -0 7 -inf 7 1 N N
+0 0 7 +0 7 +0 7 -0 7 -inf 7 +inf N N
+0 0 7 +0 7 +0 7 -0 7 -inf 7 nan N N
+0 0 7 +0 7 -0 7 -0 7 -1 7 -inf N N
+0 0 7 +0 7 +0 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 +0 7 -0 7 -0 7 -0 7 -inf N N
+0 0 7 +0 7 +0 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 -0 7 +0 7 -0 7 +0 7 -inf N N
+0 0 7 +0 7 +0 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 -0 7 +0 7 -0 7 1 7 -inf N N
+0 0 7 +0 7 +0 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 -0 7 +0 7 -0 7 +inf 7 -inf N N
+0 0 7 -0 7 +0 7 -0 7 +inf 7 -1 N N
+0 0 7 -0 7 +0 7 -0 7 +inf 7 -0 N N
+0 0 7 +0 7 +0 7 -0 7 +inf 7 +0 N N
+0 0 7 +0 7 +0 7 -0 7 +inf 7 1 N N
+0 0 7 +0 7 +0 7 -0 7 +inf 7 +inf N N
+0 0 7 +0 7 +0 7 -0 7 +inf 7 nan N N
+0 0 7 -0 7 +0 7 -0 7 nan 7 -inf N N
+0 0 7 nan 7 nan 7 -0 7 nan 7 -1 N N
+0 0 7 nan 7 nan 7 -0 7 nan 7 -0 N N
+0 0 7 nan 7 nan 7 -0 7 nan 7 +0 N N
+0 0 7 nan 7 nan 7 -0 7 nan 7 1 N N
+0 0 7 +0 7 +0 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 -0 7 +0 7 +0 7 -inf 7 -inf N N
+0 0 7 -0 7 +0 7 +0 7 -inf 7 -1 N N
+0 0 7 -0 7 +0 7 +0 7 -inf 7 -0 N N
+0 0 7 +0 7 -0 7 +0 7 -inf 7 +0 N N
+0 0 7 +0 7 -0 7 +0 7 -inf 7 1 N N
+0 0 7 +0 7 -0 7 +0 7 -inf 7 +inf N N
+0 0 7 +0 7 -0 7 +0 7 -inf 7 nan N N
+0 0 7 -0 7 +0 7 +0 7 -1 7 -inf N N
+0 0 7 +0 7 -0 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 -0 7 +0 7 +0 7 -0 7 -inf N N
+0 0 7 +0 7 -0 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 +0 7 +0 7 +0 7 +0 7 -inf N N
+0 0 7 +0 7 +0 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 +0 7 +0 7 +0 7 1 7 -inf N N
+0 0 7 +0 7 +0 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 +0 7 +0 7 +0 7 +inf 7 -inf N N
+0 0 7 +0 7 +0 7 +0 7 +inf 7 -1 N N
+0 0 7 +0 7 +0 7 +0 7 +inf 7 -0 N N
+0 0 7 +0 7 +0 7 +0 7 +inf 7 +0 N N
+0 0 7 +0 7 +0 7 +0 7 +inf 7 1 N N
+0 0 7 +0 7 +0 7 +0 7 +inf 7 +inf N N
+0 0 7 +0 7 +0 7 +0 7 +inf 7 nan N N
+0 0 7 +0 7 +0 7 +0 7 nan 7 -inf N N
+0 0 7 nan 7 nan 7 +0 7 nan 7 -1 N N
+0 0 7 nan 7 nan 7 +0 7 nan 7 -0 N N
+0 0 7 nan 7 nan 7 +0 7 nan 7 +0 N N
+0 0 7 nan 7 nan 7 +0 7 nan 7 1 N N
+0 0 7 +0 7 +0 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 -0 7 +0 7 1 7 -inf 7 -inf N N
+0 0 7 -0 7 +0 7 1 7 -inf 7 -1 N N
+0 0 7 -0 7 +0 7 1 7 -inf 7 -0 N N
+0 0 7 -0 7 -0 7 1 7 -inf 7 +0 N N
+0 0 7 -0 7 -0 7 1 7 -inf 7 1 N N
+0 0 7 -0 7 -0 7 1 7 -inf 7 +inf N N
+0 0 7 -0 7 -0 7 1 7 -inf 7 nan N N
+0 0 7 -0 7 +0 7 1 7 -1 7 -inf N N
+0 0 7 +0 7 -0 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 -0 7 +0 7 1 7 -0 7 -inf N N
+0 0 7 +0 7 -0 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 +0 7 +0 7 1 7 +0 7 -inf N N
+0 0 7 +0 7 -0 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 +0 7 +0 7 1 7 1 7 -inf N N
+0 0 7 +0 7 -0 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 +0 7 +0 7 1 7 +inf 7 -inf N N
+0 0 7 +0 7 +0 7 1 7 +inf 7 -1 N N
+0 0 7 +0 7 +0 7 1 7 +inf 7 -0 N N
+0 0 7 +0 7 +0 7 1 7 +inf 7 +0 N N
+0 0 7 +0 7 +0 7 1 7 +inf 7 1 N N
+0 0 7 +0 7 -0 7 1 7 +inf 7 +inf N N
+0 0 7 +0 7 +0 7 1 7 +inf 7 nan N N
+0 0 7 +0 7 +0 7 1 7 nan 7 -inf N N
+0 0 7 nan 7 nan 7 1 7 nan 7 -1 N N
+0 0 7 nan 7 nan 7 1 7 nan 7 -0 N N
+0 0 7 nan 7 nan 7 1 7 nan 7 +0 N N
+0 0 7 nan 7 nan 7 1 7 nan 7 1 N N
+0 0 7 +0 7 -0 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 nan 7 +inf 7 -inf 7 -inf N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 +inf 7 -inf 7 1 N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 +inf 7 -1 7 -inf N N
+0 0 7 -inf 7 +inf 7 +inf 7 -1 7 -1 N N
+0 0 7 -inf 7 nan 7 +inf 7 -1 7 -0 N N
+0 0 7 -inf 7 nan 7 +inf 7 -1 7 +0 N N
+0 0 7 -inf 7 -inf 7 +inf 7 -1 7 1 N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 +inf 7 -0 7 -inf N N
+0 0 7 nan 7 +inf 7 +inf 7 -0 7 -1 N N
+0 0 7 -inf 7 nan 7 +inf 7 -0 7 -0 N N
+0 0 7 -inf 7 nan 7 +inf 7 -0 7 +0 N N
+0 0 7 nan 7 -inf 7 +inf 7 -0 7 1 N N
+0 0 7 nan 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 nan 7 nan 7 +inf 7 +0 7 -inf N N
+0 0 7 nan 7 +inf 7 +inf 7 +0 7 -1 N N
+0 0 7 +inf 7 nan 7 +inf 7 +0 7 -0 N N
+0 0 7 +inf 7 nan 7 +inf 7 +0 7 +0 N N
+0 0 7 nan 7 -inf 7 +inf 7 +0 7 1 N N
+0 0 7 nan 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 nan 7 nan 7 +inf 7 1 7 -inf N N
+0 0 7 +inf 7 +inf 7 +inf 7 1 7 -1 N N
+0 0 7 +inf 7 nan 7 +inf 7 1 7 -0 N N
+0 0 7 +inf 7 nan 7 +inf 7 1 7 +0 N N
+0 0 7 +inf 7 -inf 7 +inf 7 1 7 1 N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 +inf 7 +inf 7 -inf N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 +inf 7 +inf 7 1 N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 +inf 7 nan 7 -inf N N
+0 0 7 nan 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 nan 7 nan 7 +inf 7 nan 7 1 N N
+0 0 7 nan 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 nan 7 nan 7 -inf 7 -inf N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 -inf 7 1 N N
+0 0 7 nan 7 nan 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 -1 7 -inf N N
+0 0 7 nan 7 nan 7 nan 7 -1 7 -1 N N
+0 0 7 nan 7 nan 7 nan 7 -1 7 -0 N N
+0 0 7 nan 7 nan 7 nan 7 -1 7 +0 N N
+0 0 7 nan 7 nan 7 nan 7 -1 7 1 N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 -0 7 -1 N N
+0 0 7 nan 7 nan 7 nan 7 -0 7 -0 N N
+0 0 7 nan 7 nan 7 nan 7 -0 7 +0 N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 +0 7 -1 N N
+0 0 7 nan 7 nan 7 nan 7 +0 7 -0 N N
+0 0 7 nan 7 nan 7 nan 7 +0 7 +0 N N
+0 0 7 nan 7 nan 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 1 7 -inf N N
+0 0 7 nan 7 nan 7 nan 7 1 7 -1 N N
+0 0 7 nan 7 nan 7 nan 7 1 7 -0 N N
+0 0 7 nan 7 nan 7 nan 7 1 7 +0 N N
+0 0 7 nan 7 nan 7 nan 7 1 7 1 N N
+0 0 7 nan 7 nan 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 +inf 7 -inf N N
+0 0 7 nan 7 nan 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 nan 7 nan 7 +inf 7 1 N N
+0 0 7 nan 7 nan 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
+
+# finite values
+0 0 7 0.5 7 -0.5 7 -1 7 -1 7 -1 N N
+0 0 7 1 7 -0 7 -1 7 -1 7 -0 N N
+# cf line 2206 of div.dat, revision 658:
+0 0 7 1 7 +0 7 -1 7 -1 7 +0 N N
+0 0 7 0.5 7 0.5 7 -1 7 -1 7 1 N N
+# cf line 2208 of div.dat, revision 658:
+0 0 7 +0 7 -1 7 -1 7 -0 7 -1 N N
+0 0 7 +inf 7 nan 7 -1 7 -0 7 -0 N N
+0 0 7 +inf 7 nan 7 -1 7 -0 7 +0 N N
+0 0 7 +0 7 1 7 -1 7 -0 7 1 N N
+0 0 7 -0 7 -1 7 -1 7 +0 7 -1 N N
+0 0 7 -inf 7 nan 7 -1 7 +0 7 -0 N N
+0 0 7 -inf 7 nan 7 -1 7 +0 7 +0 N N
+0 0 7 +0 7 1 7 -1 7 +0 7 1 N N
+0 0 7 -0.5 7 -0.5 7 -1 7 1 7 -1 N N
+0 0 7 -1 7 +0 7 -1 7 1 7 -0 N N
+0 0 7 -1 7 +0 7 -1 7 1 7 +0 N N
+0 0 7 -0.5 7 0.5 7 -1 7 1 7 1 N N
+0 0 7 0 7 -0 7 -0 7 -1 7 -1 N N
+0 0 7 +0 7 -0 7 -0 7 -1 7 -0 N N
+# cf line 2270 of div.dat, revision 658:
+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 1 N N
+# cf line 2272 of div.dat, revision 658:
+0 0 7 +0 7 -0 7 -0 7 -0 7 -1 N N
+0 0 7 nan 7 nan 7 -0 7 -0 7 -0 N N
+0 0 7 nan 7 nan 7 -0 7 -0 7 +0 N N
+0 0 7 +0 7 +0 7 -0 7 -0 7 1 N N
+# cf line 2276 of div.dat, revision 658:
+0 0 7 -0 7 +0 7 -0 7 +0 7 -1 N N
+0 0 7 nan 7 nan 7 -0 7 +0 7 -0 N N
+0 0 7 nan 7 nan 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 1 7 -1 N N
+0 0 7 -0 7 +0 7 -0 7 1 7 -0 N N
+# cf line 2282 of div.dat, revision 658:
+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 1 N N
+0 0 7 -0 7 0 7 +0 7 -1 7 -1 N N
+# cf line 2333 of div.dat, revision 658:
+0 0 7 -0 7 +0 7 +0 7 -1 7 -0 N N
+# cf line 2334 of div.dat, revision 658:
+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 1 N N
+0 0 7 -0 7 +0 7 +0 7 -0 7 -1 N N
+0 0 7 nan 7 nan 7 +0 7 -0 7 -0 N N
+0 0 7 nan 7 nan 7 +0 7 -0 7 +0 N N
+0 0 7 +0 7 -0 7 +0 7 -0 7 1 N N
+# cf line 2340 of div.dat, revision 658:
+0 0 7 +0 7 +0 7 +0 7 +0 7 -1 N N
+0 0 7 nan 7 nan 7 +0 7 +0 7 -0 N N
+0 0 7 nan 7 nan 7 +0 7 +0 7 +0 N N
+# cf line 2343 of div.dat, revision 658:
+0 0 7 +0 7 +0 7 +0 7 +0 7 1 N N
+0 0 7 0 7 +0 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 0 7 +0 7 1 7 1 N N
+0 0 7 -0.5 7 0.5 7 1 7 -1 7 -1 N N
+# cf line 2397 of div.dat, revision 658:
+0 0 7 -1 7 +0 7 1 7 -1 7 -0 N N
+0 0 7 -1 7 -0 7 1 7 -1 7 +0 N N
+0 0 7 -0.5 7 -0.5 7 1 7 -1 7 1 N N
+0 0 7 -0 7 1 7 1 7 -0 7 -1 N N
+0 0 7 -inf 7 nan 7 1 7 -0 7 -0 N N
+0 0 7 -inf 7 nan 7 1 7 -0 7 +0 N N
+0 0 7 +0 7 -1 7 1 7 -0 7 1 N N
+# cf line 2404 of div.dat, revision 658:
+0 0 7 +0 7 1 7 1 7 +0 7 -1 N N
+0 0 7 +inf 7 nan 7 1 7 +0 7 -0 N N
+0 0 7 +inf 7 nan 7 1 7 +0 7 +0 N N
+0 0 7 +0 7 -1 7 1 7 +0 7 1 N N
+0 0 7 0.5 7 0.5 7 1 7 1 7 -1 N N
+0 0 7 1 7 +0 7 1 7 1 7 -0 N N
+0 0 7 1 7 +0 7 1 7 1 7 +0 N N
+0 0 7 0.5 7 -0.5 7 1 7 1 7 1 N N
+