From: Timo Heister Date: Tue, 8 Apr 2014 13:46:53 +0000 (+0000) Subject: remove obsolete test X-Git-Tag: v8.2.0-rc1~635 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9aea08ac2b8e343705972f16e7856920caf75455;p=dealii.git 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 index 593b2e2ac0..0000000000 --- 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 -#include -#include -#include -#include -#include - -#include -#include - -using namespace dealii; - - -template -void -show_ordering(const Triangulation &tr) -{ - for (typename Triangulation::cell_iterator cell = tr.begin(); cell != tr.end(); ++cell) - for (typename Triangulation::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 -void test1() -{ - Triangulation tr; - GridGenerator::hyper_ball(tr); - - typename Triangulation::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 index d80597d783..0000000000 --- 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