remove obsolete test

git-svn-id: https://svn.dealii.org/trunk@32735 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/tests/grid/ordering_01.cc b/tests/grid/ordering_01.cc
deleted file mode 100644 (file)
index 593b2e2..0000000
--- a/tests/grid/ordering_01.cc
+++ /dev/null
@@ -1,89 +0,0 @@
-// ---------------------------------------------------------------------
-// $Id$
-//
-// Copyright (C) 2013 by the deal.II authors
-//
-// This file is part of the deal.II library.
-//
-// The deal.II library is free software; you can use it, 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 full text of the license can be found in the file LICENSE at
-// the top level of the deal.II distribution.
-//
-// ---------------------------------------------------------------------
-
-#include "../tests.h"
-
-#include <deal.II/grid/tria.h>
-#include <deal.II/grid/tria_accessor.h>
-#include <deal.II/grid/tria_iterator.h>
-#include <deal.II/grid/grid_generator.h>
-#include <deal.II/grid/tria_boundary_lib.h>
-#include <deal.II/grid/grid_out.h>
-
-#include <fstream>
-#include <cmath>
-
-using namespace dealii;
-
-
-template <int dim>
-void
-show_ordering(const Triangulation<dim> &tr)
-{
-  for (typename Triangulation<dim>::cell_iterator cell = tr.begin(); cell != tr.end(); ++cell)
-    for (typename Triangulation<dim>::cell_iterator other = tr.begin(); other != tr.end(); ++other)
-      {
-        deallog << (cell < other ? "less " : "not  ");
-        deallog << cell->level_subdomain_id() << ':' << other->level_subdomain_id() << ' ';
-        if (cell->active())
-          deallog << cell->subdomain_id();
-        else
-          deallog << 'X';
-        deallog << ':';
-        if (other->active())
-          deallog << other->subdomain_id();
-        else
-          deallog << 'X';
-        deallog << ' ';
-        deallog << cell->level() << ':' << other->level() << ' ';
-        deallog << cell->index() << ':' << other->index() << ' ';
-        deallog << std::endl;
-      }
-}
-
-template <int dim>
-void test1()
-{
-  Triangulation<dim> tr;
-  GridGenerator::hyper_ball(tr);
-
-  typename Triangulation<dim>::active_cell_iterator cell = tr.begin_active();
-  cell->set_subdomain_id(4);
-  cell->set_level_subdomain_id(4);
-  ++cell;
-  cell->set_subdomain_id(3);
-  cell->set_level_subdomain_id(5);
-
-  tr.refine_global(1);
-  cell = tr.begin_active();
-  cell->set_level_subdomain_id(3);
-  (++cell)->set_level_subdomain_id(4);
-  (++cell)->set_level_subdomain_id(5);
-  ++cell;
-  (++cell)->set_level_subdomain_id(3);
-  (++cell)->set_level_subdomain_id(4);
-  (++cell)->set_level_subdomain_id(5);
-
-  show_ordering(tr);
-}
-
-int main()
-{
-  initlog();
-
-  test1<2>();
-  return 0;
-}

diff --git a/tests/grid/ordering_01.output b/tests/grid/ordering_01.output
deleted file mode 100644 (file)
index d80597d..0000000
--- a/tests/grid/ordering_01.output
+++ /dev/null
@@ -1,626 +0,0 @@
-
-DEAL::not  4:4 X:X 0:0 0:0 
-DEAL::less 4:5 X:X 0:0 0:1 
-DEAL::not  4:0 X:X 0:0 0:2 
-DEAL::not  4:0 X:X 0:0 0:3 
-DEAL::not  4:0 X:X 0:0 0:4 
-DEAL::not  4:3 X:4 0:1 0:0 
-DEAL::less 4:4 X:4 0:1 0:1 
-DEAL::less 4:5 X:4 0:1 0:2 
-DEAL::not  4:0 X:4 0:1 0:3 
-DEAL::not  4:3 X:3 0:1 0:4 
-DEAL::less 4:4 X:3 0:1 0:5 
-DEAL::less 4:5 X:3 0:1 0:6 
-DEAL::not  4:0 X:3 0:1 0:7 
-DEAL::not  4:0 X:0 0:1 0:8 
-DEAL::not  4:0 X:0 0:1 0:9 
-DEAL::not  4:0 X:0 0:1 0:10 
-DEAL::not  4:0 X:0 0:1 0:11 
-DEAL::not  4:0 X:0 0:1 0:12 
-DEAL::not  4:0 X:0 0:1 0:13 
-DEAL::not  4:0 X:0 0:1 0:14 
-DEAL::not  4:0 X:0 0:1 0:15 
-DEAL::not  4:0 X:0 0:1 0:16 
-DEAL::not  4:0 X:0 0:1 0:17 
-DEAL::not  4:0 X:0 0:1 0:18 
-DEAL::not  4:0 X:0 0:1 0:19 
-DEAL::not  5:4 X:X 0:0 1:0 
-DEAL::not  5:5 X:X 0:0 1:1 
-DEAL::not  5:0 X:X 0:0 1:2 
-DEAL::not  5:0 X:X 0:0 1:3 
-DEAL::not  5:0 X:X 0:0 1:4 
-DEAL::not  5:3 X:4 0:1 1:0 
-DEAL::not  5:4 X:4 0:1 1:1 
-DEAL::less 5:5 X:4 0:1 1:2 
-DEAL::not  5:0 X:4 0:1 1:3 
-DEAL::not  5:3 X:3 0:1 1:4 
-DEAL::not  5:4 X:3 0:1 1:5 
-DEAL::less 5:5 X:3 0:1 1:6 
-DEAL::not  5:0 X:3 0:1 1:7 
-DEAL::not  5:0 X:0 0:1 1:8 
-DEAL::not  5:0 X:0 0:1 1:9 
-DEAL::not  5:0 X:0 0:1 1:10 
-DEAL::not  5:0 X:0 0:1 1:11 
-DEAL::not  5:0 X:0 0:1 1:12 
-DEAL::not  5:0 X:0 0:1 1:13 
-DEAL::not  5:0 X:0 0:1 1:14 
-DEAL::not  5:0 X:0 0:1 1:15 
-DEAL::not  5:0 X:0 0:1 1:16 
-DEAL::not  5:0 X:0 0:1 1:17 
-DEAL::not  5:0 X:0 0:1 1:18 
-DEAL::not  5:0 X:0 0:1 1:19 
-DEAL::less 0:4 X:X 0:0 2:0 
-DEAL::less 0:5 X:X 0:0 2:1 
-DEAL::not  0:0 X:X 0:0 2:2 
-DEAL::less 0:0 X:X 0:0 2:3 
-DEAL::less 0:0 X:X 0:0 2:4 
-DEAL::less 0:3 X:4 0:1 2:0 
-DEAL::less 0:4 X:4 0:1 2:1 
-DEAL::less 0:5 X:4 0:1 2:2 
-DEAL::less 0:0 X:4 0:1 2:3 
-DEAL::less 0:3 X:3 0:1 2:4 
-DEAL::less 0:4 X:3 0:1 2:5 
-DEAL::less 0:5 X:3 0:1 2:6 
-DEAL::less 0:0 X:3 0:1 2:7 
-DEAL::less 0:0 X:0 0:1 2:8 
-DEAL::less 0:0 X:0 0:1 2:9 
-DEAL::less 0:0 X:0 0:1 2:10 
-DEAL::less 0:0 X:0 0:1 2:11 
-DEAL::less 0:0 X:0 0:1 2:12 
-DEAL::less 0:0 X:0 0:1 2:13 
-DEAL::less 0:0 X:0 0:1 2:14 
-DEAL::less 0:0 X:0 0:1 2:15 
-DEAL::less 0:0 X:0 0:1 2:16 
-DEAL::less 0:0 X:0 0:1 2:17 
-DEAL::less 0:0 X:0 0:1 2:18 
-DEAL::less 0:0 X:0 0:1 2:19 
-DEAL::less 0:4 X:X 0:0 3:0 
-DEAL::less 0:5 X:X 0:0 3:1 
-DEAL::not  0:0 X:X 0:0 3:2 
-DEAL::not  0:0 X:X 0:0 3:3 
-DEAL::less 0:0 X:X 0:0 3:4 
-DEAL::less 0:3 X:4 0:1 3:0 
-DEAL::less 0:4 X:4 0:1 3:1 
-DEAL::less 0:5 X:4 0:1 3:2 
-DEAL::less 0:0 X:4 0:1 3:3 
-DEAL::less 0:3 X:3 0:1 3:4 
-DEAL::less 0:4 X:3 0:1 3:5 
-DEAL::less 0:5 X:3 0:1 3:6 
-DEAL::less 0:0 X:3 0:1 3:7 
-DEAL::less 0:0 X:0 0:1 3:8 
-DEAL::less 0:0 X:0 0:1 3:9 
-DEAL::less 0:0 X:0 0:1 3:10 
-DEAL::less 0:0 X:0 0:1 3:11 
-DEAL::less 0:0 X:0 0:1 3:12 
-DEAL::less 0:0 X:0 0:1 3:13 
-DEAL::less 0:0 X:0 0:1 3:14 
-DEAL::less 0:0 X:0 0:1 3:15 
-DEAL::less 0:0 X:0 0:1 3:16 
-DEAL::less 0:0 X:0 0:1 3:17 
-DEAL::less 0:0 X:0 0:1 3:18 
-DEAL::less 0:0 X:0 0:1 3:19 
-DEAL::less 0:4 X:X 0:0 4:0 
-DEAL::less 0:5 X:X 0:0 4:1 
-DEAL::not  0:0 X:X 0:0 4:2 
-DEAL::not  0:0 X:X 0:0 4:3 
-DEAL::not  0:0 X:X 0:0 4:4 
-DEAL::less 0:3 X:4 0:1 4:0 
-DEAL::less 0:4 X:4 0:1 4:1 
-DEAL::less 0:5 X:4 0:1 4:2 
-DEAL::less 0:0 X:4 0:1 4:3 
-DEAL::less 0:3 X:3 0:1 4:4 
-DEAL::less 0:4 X:3 0:1 4:5 
-DEAL::less 0:5 X:3 0:1 4:6 
-DEAL::less 0:0 X:3 0:1 4:7 
-DEAL::less 0:0 X:0 0:1 4:8 
-DEAL::less 0:0 X:0 0:1 4:9 
-DEAL::less 0:0 X:0 0:1 4:10 
-DEAL::less 0:0 X:0 0:1 4:11 
-DEAL::less 0:0 X:0 0:1 4:12 
-DEAL::less 0:0 X:0 0:1 4:13 
-DEAL::less 0:0 X:0 0:1 4:14 
-DEAL::less 0:0 X:0 0:1 4:15 
-DEAL::less 0:0 X:0 0:1 4:16 
-DEAL::less 0:0 X:0 0:1 4:17 
-DEAL::less 0:0 X:0 0:1 4:18 
-DEAL::less 0:0 X:0 0:1 4:19 
-DEAL::less 3:4 4:X 1:0 0:0 
-DEAL::less 3:5 4:X 1:0 0:1 
-DEAL::not  3:0 4:X 1:0 0:2 
-DEAL::not  3:0 4:X 1:0 0:3 
-DEAL::not  3:0 4:X 1:0 0:4 
-DEAL::not  3:3 4:4 1:1 0:0 
-DEAL::less 3:4 4:4 1:1 0:1 
-DEAL::less 3:5 4:4 1:1 0:2 
-DEAL::not  3:0 4:4 1:1 0:3 
-DEAL::not  3:3 4:3 1:1 0:4 
-DEAL::less 3:4 4:3 1:1 0:5 
-DEAL::less 3:5 4:3 1:1 0:6 
-DEAL::not  3:0 4:3 1:1 0:7 
-DEAL::not  3:0 4:0 1:1 0:8 
-DEAL::not  3:0 4:0 1:1 0:9 
-DEAL::not  3:0 4:0 1:1 0:10 
-DEAL::not  3:0 4:0 1:1 0:11 
-DEAL::not  3:0 4:0 1:1 0:12 
-DEAL::not  3:0 4:0 1:1 0:13 
-DEAL::not  3:0 4:0 1:1 0:14 
-DEAL::not  3:0 4:0 1:1 0:15 
-DEAL::not  3:0 4:0 1:1 0:16 
-DEAL::not  3:0 4:0 1:1 0:17 
-DEAL::not  3:0 4:0 1:1 0:18 
-DEAL::not  3:0 4:0 1:1 0:19 
-DEAL::not  4:4 4:X 1:0 1:0 
-DEAL::less 4:5 4:X 1:0 1:1 
-DEAL::not  4:0 4:X 1:0 1:2 
-DEAL::not  4:0 4:X 1:0 1:3 
-DEAL::not  4:0 4:X 1:0 1:4 
-DEAL::not  4:3 4:4 1:1 1:0 
-DEAL::not  4:4 4:4 1:1 1:1 
-DEAL::less 4:5 4:4 1:1 1:2 
-DEAL::not  4:0 4:4 1:1 1:3 
-DEAL::not  4:3 4:3 1:1 1:4 
-DEAL::not  4:4 4:3 1:1 1:5 
-DEAL::less 4:5 4:3 1:1 1:6 
-DEAL::not  4:0 4:3 1:1 1:7 
-DEAL::not  4:0 4:0 1:1 1:8 
-DEAL::not  4:0 4:0 1:1 1:9 
-DEAL::not  4:0 4:0 1:1 1:10 
-DEAL::not  4:0 4:0 1:1 1:11 
-DEAL::not  4:0 4:0 1:1 1:12 
-DEAL::not  4:0 4:0 1:1 1:13 
-DEAL::not  4:0 4:0 1:1 1:14 
-DEAL::not  4:0 4:0 1:1 1:15 
-DEAL::not  4:0 4:0 1:1 1:16 
-DEAL::not  4:0 4:0 1:1 1:17 
-DEAL::not  4:0 4:0 1:1 1:18 
-DEAL::not  4:0 4:0 1:1 1:19 
-DEAL::not  5:4 4:X 1:0 2:0 
-DEAL::not  5:5 4:X 1:0 2:1 
-DEAL::not  5:0 4:X 1:0 2:2 
-DEAL::not  5:0 4:X 1:0 2:3 
-DEAL::not  5:0 4:X 1:0 2:4 
-DEAL::not  5:3 4:4 1:1 2:0 
-DEAL::not  5:4 4:4 1:1 2:1 
-DEAL::not  5:5 4:4 1:1 2:2 
-DEAL::not  5:0 4:4 1:1 2:3 
-DEAL::not  5:3 4:3 1:1 2:4 
-DEAL::not  5:4 4:3 1:1 2:5 
-DEAL::not  5:5 4:3 1:1 2:6 
-DEAL::not  5:0 4:3 1:1 2:7 
-DEAL::not  5:0 4:0 1:1 2:8 
-DEAL::not  5:0 4:0 1:1 2:9 
-DEAL::not  5:0 4:0 1:1 2:10 
-DEAL::not  5:0 4:0 1:1 2:11 
-DEAL::not  5:0 4:0 1:1 2:12 
-DEAL::not  5:0 4:0 1:1 2:13 
-DEAL::not  5:0 4:0 1:1 2:14 
-DEAL::not  5:0 4:0 1:1 2:15 
-DEAL::not  5:0 4:0 1:1 2:16 
-DEAL::not  5:0 4:0 1:1 2:17 
-DEAL::not  5:0 4:0 1:1 2:18 
-DEAL::not  5:0 4:0 1:1 2:19 
-DEAL::less 0:4 4:X 1:0 3:0 
-DEAL::less 0:5 4:X 1:0 3:1 
-DEAL::not  0:0 4:X 1:0 3:2 
-DEAL::not  0:0 4:X 1:0 3:3 
-DEAL::not  0:0 4:X 1:0 3:4 
-DEAL::less 0:3 4:4 1:1 3:0 
-DEAL::less 0:4 4:4 1:1 3:1 
-DEAL::less 0:5 4:4 1:1 3:2 
-DEAL::not  0:0 4:4 1:1 3:3 
-DEAL::less 0:3 4:3 1:1 3:4 
-DEAL::less 0:4 4:3 1:1 3:5 
-DEAL::less 0:5 4:3 1:1 3:6 
-DEAL::not  0:0 4:3 1:1 3:7 
-DEAL::not  0:0 4:0 1:1 3:8 
-DEAL::not  0:0 4:0 1:1 3:9 
-DEAL::not  0:0 4:0 1:1 3:10 
-DEAL::not  0:0 4:0 1:1 3:11 
-DEAL::not  0:0 4:0 1:1 3:12 
-DEAL::not  0:0 4:0 1:1 3:13 
-DEAL::not  0:0 4:0 1:1 3:14 
-DEAL::not  0:0 4:0 1:1 3:15 
-DEAL::not  0:0 4:0 1:1 3:16 
-DEAL::not  0:0 4:0 1:1 3:17 
-DEAL::not  0:0 4:0 1:1 3:18 
-DEAL::not  0:0 4:0 1:1 3:19 
-DEAL::less 3:4 3:X 1:0 4:0 
-DEAL::less 3:5 3:X 1:0 4:1 
-DEAL::not  3:0 3:X 1:0 4:2 
-DEAL::not  3:0 3:X 1:0 4:3 
-DEAL::not  3:0 3:X 1:0 4:4 
-DEAL::less 3:3 3:4 1:1 4:0 
-DEAL::less 3:4 3:4 1:1 4:1 
-DEAL::less 3:5 3:4 1:1 4:2 
-DEAL::not  3:0 3:4 1:1 4:3 
-DEAL::not  3:3 3:3 1:1 4:4 
-DEAL::less 3:4 3:3 1:1 4:5 
-DEAL::less 3:5 3:3 1:1 4:6 
-DEAL::not  3:0 3:3 1:1 4:7 
-DEAL::not  3:0 3:0 1:1 4:8 
-DEAL::not  3:0 3:0 1:1 4:9 
-DEAL::not  3:0 3:0 1:1 4:10 
-DEAL::not  3:0 3:0 1:1 4:11 
-DEAL::not  3:0 3:0 1:1 4:12 
-DEAL::not  3:0 3:0 1:1 4:13 
-DEAL::not  3:0 3:0 1:1 4:14 
-DEAL::not  3:0 3:0 1:1 4:15 
-DEAL::not  3:0 3:0 1:1 4:16 
-DEAL::not  3:0 3:0 1:1 4:17 
-DEAL::not  3:0 3:0 1:1 4:18 
-DEAL::not  3:0 3:0 1:1 4:19 
-DEAL::not  4:4 3:X 1:0 5:0 
-DEAL::less 4:5 3:X 1:0 5:1 
-DEAL::not  4:0 3:X 1:0 5:2 
-DEAL::not  4:0 3:X 1:0 5:3 
-DEAL::not  4:0 3:X 1:0 5:4 
-DEAL::not  4:3 3:4 1:1 5:0 
-DEAL::less 4:4 3:4 1:1 5:1 
-DEAL::less 4:5 3:4 1:1 5:2 
-DEAL::not  4:0 3:4 1:1 5:3 
-DEAL::not  4:3 3:3 1:1 5:4 
-DEAL::not  4:4 3:3 1:1 5:5 
-DEAL::less 4:5 3:3 1:1 5:6 
-DEAL::not  4:0 3:3 1:1 5:7 
-DEAL::not  4:0 3:0 1:1 5:8 
-DEAL::not  4:0 3:0 1:1 5:9 
-DEAL::not  4:0 3:0 1:1 5:10 
-DEAL::not  4:0 3:0 1:1 5:11 
-DEAL::not  4:0 3:0 1:1 5:12 
-DEAL::not  4:0 3:0 1:1 5:13 
-DEAL::not  4:0 3:0 1:1 5:14 
-DEAL::not  4:0 3:0 1:1 5:15 
-DEAL::not  4:0 3:0 1:1 5:16 
-DEAL::not  4:0 3:0 1:1 5:17 
-DEAL::not  4:0 3:0 1:1 5:18 
-DEAL::not  4:0 3:0 1:1 5:19 
-DEAL::not  5:4 3:X 1:0 6:0 
-DEAL::not  5:5 3:X 1:0 6:1 
-DEAL::not  5:0 3:X 1:0 6:2 
-DEAL::not  5:0 3:X 1:0 6:3 
-DEAL::not  5:0 3:X 1:0 6:4 
-DEAL::not  5:3 3:4 1:1 6:0 
-DEAL::not  5:4 3:4 1:1 6:1 
-DEAL::less 5:5 3:4 1:1 6:2 
-DEAL::not  5:0 3:4 1:1 6:3 
-DEAL::not  5:3 3:3 1:1 6:4 
-DEAL::not  5:4 3:3 1:1 6:5 
-DEAL::not  5:5 3:3 1:1 6:6 
-DEAL::not  5:0 3:3 1:1 6:7 
-DEAL::not  5:0 3:0 1:1 6:8 
-DEAL::not  5:0 3:0 1:1 6:9 
-DEAL::not  5:0 3:0 1:1 6:10 
-DEAL::not  5:0 3:0 1:1 6:11 
-DEAL::not  5:0 3:0 1:1 6:12 
-DEAL::not  5:0 3:0 1:1 6:13 
-DEAL::not  5:0 3:0 1:1 6:14 
-DEAL::not  5:0 3:0 1:1 6:15 
-DEAL::not  5:0 3:0 1:1 6:16 
-DEAL::not  5:0 3:0 1:1 6:17 
-DEAL::not  5:0 3:0 1:1 6:18 
-DEAL::not  5:0 3:0 1:1 6:19 
-DEAL::less 0:4 3:X 1:0 7:0 
-DEAL::less 0:5 3:X 1:0 7:1 
-DEAL::not  0:0 3:X 1:0 7:2 
-DEAL::not  0:0 3:X 1:0 7:3 
-DEAL::not  0:0 3:X 1:0 7:4 
-DEAL::less 0:3 3:4 1:1 7:0 
-DEAL::less 0:4 3:4 1:1 7:1 
-DEAL::less 0:5 3:4 1:1 7:2 
-DEAL::less 0:0 3:4 1:1 7:3 
-DEAL::less 0:3 3:3 1:1 7:4 
-DEAL::less 0:4 3:3 1:1 7:5 
-DEAL::less 0:5 3:3 1:1 7:6 
-DEAL::not  0:0 3:3 1:1 7:7 
-DEAL::not  0:0 3:0 1:1 7:8 
-DEAL::not  0:0 3:0 1:1 7:9 
-DEAL::not  0:0 3:0 1:1 7:10 
-DEAL::not  0:0 3:0 1:1 7:11 
-DEAL::not  0:0 3:0 1:1 7:12 
-DEAL::not  0:0 3:0 1:1 7:13 
-DEAL::not  0:0 3:0 1:1 7:14 
-DEAL::not  0:0 3:0 1:1 7:15 
-DEAL::not  0:0 3:0 1:1 7:16 
-DEAL::not  0:0 3:0 1:1 7:17 
-DEAL::not  0:0 3:0 1:1 7:18 
-DEAL::not  0:0 3:0 1:1 7:19 
-DEAL::less 0:4 0:X 1:0 8:0 
-DEAL::less 0:5 0:X 1:0 8:1 
-DEAL::not  0:0 0:X 1:0 8:2 
-DEAL::not  0:0 0:X 1:0 8:3 
-DEAL::not  0:0 0:X 1:0 8:4 
-DEAL::less 0:3 0:4 1:1 8:0 
-DEAL::less 0:4 0:4 1:1 8:1 
-DEAL::less 0:5 0:4 1:1 8:2 
-DEAL::less 0:0 0:4 1:1 8:3 
-DEAL::less 0:3 0:3 1:1 8:4 
-DEAL::less 0:4 0:3 1:1 8:5 
-DEAL::less 0:5 0:3 1:1 8:6 
-DEAL::less 0:0 0:3 1:1 8:7 
-DEAL::not  0:0 0:0 1:1 8:8 
-DEAL::less 0:0 0:0 1:1 8:9 
-DEAL::less 0:0 0:0 1:1 8:10 
-DEAL::less 0:0 0:0 1:1 8:11 
-DEAL::less 0:0 0:0 1:1 8:12 
-DEAL::less 0:0 0:0 1:1 8:13 
-DEAL::less 0:0 0:0 1:1 8:14 
-DEAL::less 0:0 0:0 1:1 8:15 
-DEAL::less 0:0 0:0 1:1 8:16 
-DEAL::less 0:0 0:0 1:1 8:17 
-DEAL::less 0:0 0:0 1:1 8:18 
-DEAL::less 0:0 0:0 1:1 8:19 
-DEAL::less 0:4 0:X 1:0 9:0 
-DEAL::less 0:5 0:X 1:0 9:1 
-DEAL::not  0:0 0:X 1:0 9:2 
-DEAL::not  0:0 0:X 1:0 9:3 
-DEAL::not  0:0 0:X 1:0 9:4 
-DEAL::less 0:3 0:4 1:1 9:0 
-DEAL::less 0:4 0:4 1:1 9:1 
-DEAL::less 0:5 0:4 1:1 9:2 
-DEAL::less 0:0 0:4 1:1 9:3 
-DEAL::less 0:3 0:3 1:1 9:4 
-DEAL::less 0:4 0:3 1:1 9:5 
-DEAL::less 0:5 0:3 1:1 9:6 
-DEAL::less 0:0 0:3 1:1 9:7 
-DEAL::not  0:0 0:0 1:1 9:8 
-DEAL::not  0:0 0:0 1:1 9:9 
-DEAL::less 0:0 0:0 1:1 9:10 
-DEAL::less 0:0 0:0 1:1 9:11 
-DEAL::less 0:0 0:0 1:1 9:12 
-DEAL::less 0:0 0:0 1:1 9:13 
-DEAL::less 0:0 0:0 1:1 9:14 
-DEAL::less 0:0 0:0 1:1 9:15 
-DEAL::less 0:0 0:0 1:1 9:16 
-DEAL::less 0:0 0:0 1:1 9:17 
-DEAL::less 0:0 0:0 1:1 9:18 
-DEAL::less 0:0 0:0 1:1 9:19 
-DEAL::less 0:4 0:X 1:0 10:0 
-DEAL::less 0:5 0:X 1:0 10:1 
-DEAL::not  0:0 0:X 1:0 10:2 
-DEAL::not  0:0 0:X 1:0 10:3 
-DEAL::not  0:0 0:X 1:0 10:4 
-DEAL::less 0:3 0:4 1:1 10:0 
-DEAL::less 0:4 0:4 1:1 10:1 
-DEAL::less 0:5 0:4 1:1 10:2 
-DEAL::less 0:0 0:4 1:1 10:3 
-DEAL::less 0:3 0:3 1:1 10:4 
-DEAL::less 0:4 0:3 1:1 10:5 
-DEAL::less 0:5 0:3 1:1 10:6 
-DEAL::less 0:0 0:3 1:1 10:7 
-DEAL::not  0:0 0:0 1:1 10:8 
-DEAL::not  0:0 0:0 1:1 10:9 
-DEAL::not  0:0 0:0 1:1 10:10 
-DEAL::less 0:0 0:0 1:1 10:11 
-DEAL::less 0:0 0:0 1:1 10:12 
-DEAL::less 0:0 0:0 1:1 10:13 
-DEAL::less 0:0 0:0 1:1 10:14 
-DEAL::less 0:0 0:0 1:1 10:15 
-DEAL::less 0:0 0:0 1:1 10:16 
-DEAL::less 0:0 0:0 1:1 10:17 
-DEAL::less 0:0 0:0 1:1 10:18 
-DEAL::less 0:0 0:0 1:1 10:19 
-DEAL::less 0:4 0:X 1:0 11:0 
-DEAL::less 0:5 0:X 1:0 11:1 
-DEAL::not  0:0 0:X 1:0 11:2 
-DEAL::not  0:0 0:X 1:0 11:3 
-DEAL::not  0:0 0:X 1:0 11:4 
-DEAL::less 0:3 0:4 1:1 11:0 
-DEAL::less 0:4 0:4 1:1 11:1 
-DEAL::less 0:5 0:4 1:1 11:2 
-DEAL::less 0:0 0:4 1:1 11:3 
-DEAL::less 0:3 0:3 1:1 11:4 
-DEAL::less 0:4 0:3 1:1 11:5 
-DEAL::less 0:5 0:3 1:1 11:6 
-DEAL::less 0:0 0:3 1:1 11:7 
-DEAL::not  0:0 0:0 1:1 11:8 
-DEAL::not  0:0 0:0 1:1 11:9 
-DEAL::not  0:0 0:0 1:1 11:10 
-DEAL::not  0:0 0:0 1:1 11:11 
-DEAL::less 0:0 0:0 1:1 11:12 
-DEAL::less 0:0 0:0 1:1 11:13 
-DEAL::less 0:0 0:0 1:1 11:14 
-DEAL::less 0:0 0:0 1:1 11:15 
-DEAL::less 0:0 0:0 1:1 11:16 
-DEAL::less 0:0 0:0 1:1 11:17 
-DEAL::less 0:0 0:0 1:1 11:18 
-DEAL::less 0:0 0:0 1:1 11:19 
-DEAL::less 0:4 0:X 1:0 12:0 
-DEAL::less 0:5 0:X 1:0 12:1 
-DEAL::not  0:0 0:X 1:0 12:2 
-DEAL::not  0:0 0:X 1:0 12:3 
-DEAL::not  0:0 0:X 1:0 12:4 
-DEAL::less 0:3 0:4 1:1 12:0 
-DEAL::less 0:4 0:4 1:1 12:1 
-DEAL::less 0:5 0:4 1:1 12:2 
-DEAL::less 0:0 0:4 1:1 12:3 
-DEAL::less 0:3 0:3 1:1 12:4 
-DEAL::less 0:4 0:3 1:1 12:5 
-DEAL::less 0:5 0:3 1:1 12:6 
-DEAL::less 0:0 0:3 1:1 12:7 
-DEAL::not  0:0 0:0 1:1 12:8 
-DEAL::not  0:0 0:0 1:1 12:9 
-DEAL::not  0:0 0:0 1:1 12:10 
-DEAL::not  0:0 0:0 1:1 12:11 
-DEAL::not  0:0 0:0 1:1 12:12 
-DEAL::less 0:0 0:0 1:1 12:13 
-DEAL::less 0:0 0:0 1:1 12:14 
-DEAL::less 0:0 0:0 1:1 12:15 
-DEAL::less 0:0 0:0 1:1 12:16 
-DEAL::less 0:0 0:0 1:1 12:17 
-DEAL::less 0:0 0:0 1:1 12:18 
-DEAL::less 0:0 0:0 1:1 12:19 
-DEAL::less 0:4 0:X 1:0 13:0 
-DEAL::less 0:5 0:X 1:0 13:1 
-DEAL::not  0:0 0:X 1:0 13:2 
-DEAL::not  0:0 0:X 1:0 13:3 
-DEAL::not  0:0 0:X 1:0 13:4 
-DEAL::less 0:3 0:4 1:1 13:0 
-DEAL::less 0:4 0:4 1:1 13:1 
-DEAL::less 0:5 0:4 1:1 13:2 
-DEAL::less 0:0 0:4 1:1 13:3 
-DEAL::less 0:3 0:3 1:1 13:4 
-DEAL::less 0:4 0:3 1:1 13:5 
-DEAL::less 0:5 0:3 1:1 13:6 
-DEAL::less 0:0 0:3 1:1 13:7 
-DEAL::not  0:0 0:0 1:1 13:8 
-DEAL::not  0:0 0:0 1:1 13:9 
-DEAL::not  0:0 0:0 1:1 13:10 
-DEAL::not  0:0 0:0 1:1 13:11 
-DEAL::not  0:0 0:0 1:1 13:12 
-DEAL::not  0:0 0:0 1:1 13:13 
-DEAL::less 0:0 0:0 1:1 13:14 
-DEAL::less 0:0 0:0 1:1 13:15 
-DEAL::less 0:0 0:0 1:1 13:16 
-DEAL::less 0:0 0:0 1:1 13:17 
-DEAL::less 0:0 0:0 1:1 13:18 
-DEAL::less 0:0 0:0 1:1 13:19 
-DEAL::less 0:4 0:X 1:0 14:0 
-DEAL::less 0:5 0:X 1:0 14:1 
-DEAL::not  0:0 0:X 1:0 14:2 
-DEAL::not  0:0 0:X 1:0 14:3 
-DEAL::not  0:0 0:X 1:0 14:4 
-DEAL::less 0:3 0:4 1:1 14:0 
-DEAL::less 0:4 0:4 1:1 14:1 
-DEAL::less 0:5 0:4 1:1 14:2 
-DEAL::less 0:0 0:4 1:1 14:3 
-DEAL::less 0:3 0:3 1:1 14:4 
-DEAL::less 0:4 0:3 1:1 14:5 
-DEAL::less 0:5 0:3 1:1 14:6 
-DEAL::less 0:0 0:3 1:1 14:7 
-DEAL::not  0:0 0:0 1:1 14:8 
-DEAL::not  0:0 0:0 1:1 14:9 
-DEAL::not  0:0 0:0 1:1 14:10 
-DEAL::not  0:0 0:0 1:1 14:11 
-DEAL::not  0:0 0:0 1:1 14:12 
-DEAL::not  0:0 0:0 1:1 14:13 
-DEAL::not  0:0 0:0 1:1 14:14 
-DEAL::less 0:0 0:0 1:1 14:15 
-DEAL::less 0:0 0:0 1:1 14:16 
-DEAL::less 0:0 0:0 1:1 14:17 
-DEAL::less 0:0 0:0 1:1 14:18 
-DEAL::less 0:0 0:0 1:1 14:19 
-DEAL::less 0:4 0:X 1:0 15:0 
-DEAL::less 0:5 0:X 1:0 15:1 
-DEAL::not  0:0 0:X 1:0 15:2 
-DEAL::not  0:0 0:X 1:0 15:3 
-DEAL::not  0:0 0:X 1:0 15:4 
-DEAL::less 0:3 0:4 1:1 15:0 
-DEAL::less 0:4 0:4 1:1 15:1 
-DEAL::less 0:5 0:4 1:1 15:2 
-DEAL::less 0:0 0:4 1:1 15:3 
-DEAL::less 0:3 0:3 1:1 15:4 
-DEAL::less 0:4 0:3 1:1 15:5 
-DEAL::less 0:5 0:3 1:1 15:6 
-DEAL::less 0:0 0:3 1:1 15:7 
-DEAL::not  0:0 0:0 1:1 15:8 
-DEAL::not  0:0 0:0 1:1 15:9 
-DEAL::not  0:0 0:0 1:1 15:10 
-DEAL::not  0:0 0:0 1:1 15:11 
-DEAL::not  0:0 0:0 1:1 15:12 
-DEAL::not  0:0 0:0 1:1 15:13 
-DEAL::not  0:0 0:0 1:1 15:14 
-DEAL::not  0:0 0:0 1:1 15:15 
-DEAL::less 0:0 0:0 1:1 15:16 
-DEAL::less 0:0 0:0 1:1 15:17 
-DEAL::less 0:0 0:0 1:1 15:18 
-DEAL::less 0:0 0:0 1:1 15:19 
-DEAL::less 0:4 0:X 1:0 16:0 
-DEAL::less 0:5 0:X 1:0 16:1 
-DEAL::not  0:0 0:X 1:0 16:2 
-DEAL::not  0:0 0:X 1:0 16:3 
-DEAL::not  0:0 0:X 1:0 16:4 
-DEAL::less 0:3 0:4 1:1 16:0 
-DEAL::less 0:4 0:4 1:1 16:1 
-DEAL::less 0:5 0:4 1:1 16:2 
-DEAL::less 0:0 0:4 1:1 16:3 
-DEAL::less 0:3 0:3 1:1 16:4 
-DEAL::less 0:4 0:3 1:1 16:5 
-DEAL::less 0:5 0:3 1:1 16:6 
-DEAL::less 0:0 0:3 1:1 16:7 
-DEAL::not  0:0 0:0 1:1 16:8 
-DEAL::not  0:0 0:0 1:1 16:9 
-DEAL::not  0:0 0:0 1:1 16:10 
-DEAL::not  0:0 0:0 1:1 16:11 
-DEAL::not  0:0 0:0 1:1 16:12 
-DEAL::not  0:0 0:0 1:1 16:13 
-DEAL::not  0:0 0:0 1:1 16:14 
-DEAL::not  0:0 0:0 1:1 16:15 
-DEAL::not  0:0 0:0 1:1 16:16 
-DEAL::less 0:0 0:0 1:1 16:17 
-DEAL::less 0:0 0:0 1:1 16:18 
-DEAL::less 0:0 0:0 1:1 16:19 
-DEAL::less 0:4 0:X 1:0 17:0 
-DEAL::less 0:5 0:X 1:0 17:1 
-DEAL::not  0:0 0:X 1:0 17:2 
-DEAL::not  0:0 0:X 1:0 17:3 
-DEAL::not  0:0 0:X 1:0 17:4 
-DEAL::less 0:3 0:4 1:1 17:0 
-DEAL::less 0:4 0:4 1:1 17:1 
-DEAL::less 0:5 0:4 1:1 17:2 
-DEAL::less 0:0 0:4 1:1 17:3 
-DEAL::less 0:3 0:3 1:1 17:4 
-DEAL::less 0:4 0:3 1:1 17:5 
-DEAL::less 0:5 0:3 1:1 17:6 
-DEAL::less 0:0 0:3 1:1 17:7 
-DEAL::not  0:0 0:0 1:1 17:8 
-DEAL::not  0:0 0:0 1:1 17:9 
-DEAL::not  0:0 0:0 1:1 17:10 
-DEAL::not  0:0 0:0 1:1 17:11 
-DEAL::not  0:0 0:0 1:1 17:12 
-DEAL::not  0:0 0:0 1:1 17:13 
-DEAL::not  0:0 0:0 1:1 17:14 
-DEAL::not  0:0 0:0 1:1 17:15 
-DEAL::not  0:0 0:0 1:1 17:16 
-DEAL::not  0:0 0:0 1:1 17:17 
-DEAL::less 0:0 0:0 1:1 17:18 
-DEAL::less 0:0 0:0 1:1 17:19 
-DEAL::less 0:4 0:X 1:0 18:0 
-DEAL::less 0:5 0:X 1:0 18:1 
-DEAL::not  0:0 0:X 1:0 18:2 
-DEAL::not  0:0 0:X 1:0 18:3 
-DEAL::not  0:0 0:X 1:0 18:4 
-DEAL::less 0:3 0:4 1:1 18:0 
-DEAL::less 0:4 0:4 1:1 18:1 
-DEAL::less 0:5 0:4 1:1 18:2 
-DEAL::less 0:0 0:4 1:1 18:3 
-DEAL::less 0:3 0:3 1:1 18:4 
-DEAL::less 0:4 0:3 1:1 18:5 
-DEAL::less 0:5 0:3 1:1 18:6 
-DEAL::less 0:0 0:3 1:1 18:7 
-DEAL::not  0:0 0:0 1:1 18:8 
-DEAL::not  0:0 0:0 1:1 18:9 
-DEAL::not  0:0 0:0 1:1 18:10 
-DEAL::not  0:0 0:0 1:1 18:11 
-DEAL::not  0:0 0:0 1:1 18:12 
-DEAL::not  0:0 0:0 1:1 18:13 
-DEAL::not  0:0 0:0 1:1 18:14 
-DEAL::not  0:0 0:0 1:1 18:15 
-DEAL::not  0:0 0:0 1:1 18:16 
-DEAL::not  0:0 0:0 1:1 18:17 
-DEAL::not  0:0 0:0 1:1 18:18 
-DEAL::less 0:0 0:0 1:1 18:19 
-DEAL::less 0:4 0:X 1:0 19:0 
-DEAL::less 0:5 0:X 1:0 19:1 
-DEAL::not  0:0 0:X 1:0 19:2 
-DEAL::not  0:0 0:X 1:0 19:3 
-DEAL::not  0:0 0:X 1:0 19:4 
-DEAL::less 0:3 0:4 1:1 19:0 
-DEAL::less 0:4 0:4 1:1 19:1 
-DEAL::less 0:5 0:4 1:1 19:2 
-DEAL::less 0:0 0:4 1:1 19:3 
-DEAL::less 0:3 0:3 1:1 19:4 
-DEAL::less 0:4 0:3 1:1 19:5 
-DEAL::less 0:5 0:3 1:1 19:6 
-DEAL::less 0:0 0:3 1:1 19:7 
-DEAL::not  0:0 0:0 1:1 19:8 
-DEAL::not  0:0 0:0 1:1 19:9 
-DEAL::not  0:0 0:0 1:1 19:10 
-DEAL::not  0:0 0:0 1:1 19:11 
-DEAL::not  0:0 0:0 1:1 19:12 
-DEAL::not  0:0 0:0 1:1 19:13 
-DEAL::not  0:0 0:0 1:1 19:14 
-DEAL::not  0:0 0:0 1:1 19:15 
-DEAL::not  0:0 0:0 1:1 19:16 
-DEAL::not  0:0 0:0 1:1 19:17 
-DEAL::not  0:0 0:0 1:1 19:18 
-DEAL::not  0:0 0:0 1:1 19:19