From: kanschat Date: Mon, 24 Jun 2013 11:44:08 +0000 (+0000) Subject: test ordering and SVG subdomain output on lower levels X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=08070fbab03f057edd0281edbbba0daf334490b1;p=dealii-svn.git test ordering and SVG subdomain output on lower levels git-svn-id: https://svn.dealii.org/trunk@29870 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/tests/grid/grid_out_svg_02.cc b/tests/grid/grid_out_svg_02.cc new file mode 100644 index 0000000000..7645e88fde --- /dev/null +++ b/tests/grid/grid_out_svg_02.cc @@ -0,0 +1,70 @@ +#include "../tests.h" + +#include +#include +#include +#include +#include +#include + +#include +#include + +using namespace dealii; + +Triangulation<2,2> create_grid() +{ + Triangulation<2,2> triangulation; + + double inner_radius = .5; + double outer_radius = 1.; + + Point<2> center(0., 0.); + + GridGenerator::hyper_cube_with_cylindrical_hole(triangulation, inner_radius, outer_radius); + triangulation.refine_global(1); + + Triangulation<2>::active_cell_iterator + + cell = triangulation.begin_active(), + endc = triangulation.end(); + + for(; cell!=endc; ++cell) + { + for (unsigned int v=0; v < GeometryInfo<2>::vertices_per_cell; ++v) + { + const double distance_from_center = center.distance(cell->vertex(v)); + + if (std::fabs(distance_from_center - inner_radius) < .25) + { + cell->set_refine_flag(); + break; + } + } + } + + triangulation.execute_coarsening_and_refinement(); + + return triangulation; +} + +int main() +{ + initlog(__FILE__); + + GridOut grid_out; + GridOutFlags::Svg svg_flags; + + svg_flags.coloring = GridOutFlags::Svg::level_number; + svg_flags.label_material_id = true; + svg_flags.label_subdomain_id = true; + svg_flags.label_level_subdomain_id = true; + svg_flags.background = GridOutFlags::Svg::transparent; + svg_flags.polar_angle = 45; + svg_flags.convert_level_number_to_height = true; + + grid_out.set_flags(svg_flags); + grid_out.write_svg(create_grid(), deallog.get_file_stream()); + + return 0; +} diff --git a/tests/grid/grid_out_svg_02/cmp/generic b/tests/grid/grid_out_svg_02/cmp/generic new file mode 100644 index 0000000000..d2a1dc3bef --- /dev/null +++ b/tests/grid/grid_out_svg_02/cmp/generic @@ -0,0 +1,334 @@ + + + + + + + + + + + 0,0,0,X,0 + + + + 0,1,0,X,0 + + + + 0,2,0,X,0 + + + + 0,3,0,X,0 + + + + 0,4,0,X,0 + + + + 0,5,0,X,0 + + + + 0,6,0,X,0 + + + + 0,7,0,X,0 + + + + 1,0,0,0,0 + + + 1,1,0,0,0 + + + 1,2,0,X,0 + + + 1,3,0,X,0 + + + 1,4,0,0,0 + + + 1,5,0,0,0 + + + 1,6,0,X,0 + + + 1,7,0,X,0 + + + 1,8,0,0,0 + + + 1,9,0,0,0 + + + 1,10,0,X,0 + + + 1,11,0,X,0 + + + 1,12,0,0,0 + + + 1,13,0,0,0 + + + 1,14,0,X,0 + + + 1,15,0,X,0 + + + 1,16,0,0,0 + + + 1,17,0,0,0 + + + 1,18,0,X,0 + + + 1,19,0,X,0 + + + 1,20,0,0,0 + + + 1,21,0,0,0 + + + 1,22,0,X,0 + + + 1,23,0,X,0 + + + 1,24,0,0,0 + + + 1,25,0,0,0 + + + 1,26,0,X,0 + + + 1,27,0,X,0 + + + 1,28,0,0,0 + + + 1,29,0,0,0 + + + 1,30,0,X,0 + + + 1,31,0,X,0 + + + 2,0,0,0,0 + + 2,1,0,0,0 + + 2,2,0,0,0 + + + 2,3,0,0,0 + + + 2,4,0,0,0 + + 2,5,0,0,0 + + 2,6,0,0,0 + + + 2,7,0,0,0 + + + 2,8,0,0,0 + + 2,9,0,0,0 + + 2,10,0,0,0 + + + 2,11,0,0,0 + + + 2,12,0,0,0 + + 2,13,0,0,0 + + 2,14,0,0,0 + + + 2,15,0,0,0 + + + 2,16,0,0,0 + + 2,17,0,0,0 + + 2,18,0,0,0 + + + 2,19,0,0,0 + + + 2,20,0,0,0 + + 2,21,0,0,0 + + 2,22,0,0,0 + + + 2,23,0,0,0 + + + 2,24,0,0,0 + + 2,25,0,0,0 + + 2,26,0,0,0 + + + 2,27,0,0,0 + + + 2,28,0,0,0 + + 2,29,0,0,0 + + 2,30,0,0,0 + + + 2,31,0,0,0 + + + 2,32,0,0,0 + + 2,33,0,0,0 + + 2,34,0,0,0 + + + 2,35,0,0,0 + + + 2,36,0,0,0 + + 2,37,0,0,0 + + 2,38,0,0,0 + + + 2,39,0,0,0 + + + 2,40,0,0,0 + + 2,41,0,0,0 + + 2,42,0,0,0 + + + 2,43,0,0,0 + + + 2,44,0,0,0 + + 2,45,0,0,0 + + 2,46,0,0,0 + + + 2,47,0,0,0 + + + 2,48,0,0,0 + + 2,49,0,0,0 + + 2,50,0,0,0 + + + 2,51,0,0,0 + + + 2,52,0,0,0 + + 2,53,0,0,0 + + 2,54,0,0,0 + + + 2,55,0,0,0 + + + 2,56,0,0,0 + + 2,57,0,0,0 + + 2,58,0,0,0 + + + 2,59,0,0,0 + + + 2,60,0,0,0 + + 2,61,0,0,0 + + 2,62,0,0,0 + + + 2,63,0,0,0 + + + + + cell label + level_number, + cell_index, + material_id, + subdomain_id, + level_subdomain_id + azimuth: 0°, polar: 45° + + + level_number + + 0 min + + 1 + + 2 max + + \ No newline at end of file diff --git a/tests/grid/ordering_01.cc b/tests/grid/ordering_01.cc new file mode 100644 index 0000000000..f681d91231 --- /dev/null +++ b/tests/grid/ordering_01.cc @@ -0,0 +1,73 @@ +#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(__FILE__); + + test1<2>(); + return 0; +} diff --git a/tests/grid/ordering_01/cmp/generic b/tests/grid/ordering_01/cmp/generic new file mode 100644 index 0000000000..d80597d783 --- /dev/null +++ b/tests/grid/ordering_01/cmp/generic @@ -0,0 +1,626 @@ + +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