]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Add test that makes sure that no entries are written into constrained entries in...
authorkronbichler <kronbichler@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 24 Aug 2011 11:03:20 +0000 (11:03 +0000)
committerkronbichler <kronbichler@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 24 Aug 2011 11:03:20 +0000 (11:03 +0000)
git-svn-id: https://svn.dealii.org/trunk@24173 0785d39b-7218-0410-832d-ea1e28bc413d

tests/mpi/no_flux_constraints.cc [new file with mode: 0644]
tests/mpi/no_flux_constraints/ncpu_9/cmp/generic [new file with mode: 0644]

diff --git a/tests/mpi/no_flux_constraints.cc b/tests/mpi/no_flux_constraints.cc
new file mode 100644 (file)
index 0000000..415e20a
--- /dev/null
@@ -0,0 +1,191 @@
+//---------------------------------------------------------------------------
+//    $Id$
+//    Version: $Name$
+//
+//    Copyright (C) 2009, 2010 by the deal.II authors
+//
+//    This file is subject to QPL and may not be  distributed
+//    without copyright and license information. Please refer
+//    to the file deal.II/doc/license.html for the  text  and
+//    further information on this license.
+//
+//---------------------------------------------------------------------------
+
+
+// check ConstraintMatrix for a distributed mesh on hyper shell with both
+// hanging nodes and no-normal-flux constraints on the outer boundary of the
+// shell.
+
+#include "../tests.h"
+#include <deal.II/base/logstream.h>
+#include <deal.II/base/tensor.h>
+#include <deal.II/distributed/tria.h>
+#include <deal.II/grid/grid_generator.h>
+#include <deal.II/dofs/dof_handler.h>
+#include <deal.II/dofs/dof_tools.h>
+#include <deal.II/grid/tria_accessor.h>
+#include <deal.II/grid/tria_iterator.h>
+#include <deal.II/dofs/dof_accessor.h>
+#include <deal.II/distributed/tria.h>
+#include <deal.II/fe/fe_system.h>
+#include <deal.II/fe/fe_q.h>
+#include <deal.II/fe/mapping_q.h>
+#include <deal.II/lac/trilinos_vector.h>
+#include <deal.II/numerics/vectors.h>
+
+#include <fstream>
+#include <sstream>
+
+template<int dim>
+void test()
+{
+  Assert (dim == 3, ExcNotImplemented());
+  unsigned int myid = Utilities::System::get_this_mpi_process (MPI_COMM_WORLD);
+  unsigned int numprocs = Utilities::System::get_n_mpi_processes (MPI_COMM_WORLD);
+
+  parallel::distributed::Triangulation<dim> triangulation(MPI_COMM_WORLD);
+
+                               // create hypershell mesh and refine some
+                               // cells
+  GridGenerator::hyper_shell (triangulation,
+                             Point<dim>(),
+                             0.5,
+                             1.,
+                             96, true);
+  triangulation.refine_global (2);
+
+  for (typename Triangulation<dim>::active_cell_iterator
+        cell = triangulation.begin_active();
+       cell != triangulation.end(); ++cell)
+    if (!cell->is_ghost() && !cell->is_artificial())
+      if (cell->center()[2] > 0.75)
+       {
+         cell->set_refine_flag();
+         for (unsigned int c=0; c<8; ++c)
+           cell->parent()->child(c)->set_refine_flag();
+       }
+
+  {
+    unsigned int n_flagged_cells = 0;
+    for (typename Triangulation<dim>::active_cell_iterator
+          cell = triangulation.begin_active();
+        cell != triangulation.end(); ++cell)
+      if (!cell->is_ghost() && !cell->is_artificial())
+       if (cell->refine_flag_set())
+         ++n_flagged_cells;
+
+    unsigned int global_f_c = 0;
+    MPI_Allreduce (&n_flagged_cells, &global_f_c, 1, MPI_UNSIGNED,
+                  MPI_SUM, MPI_COMM_WORLD);
+    if (myid == 0)
+      deallog << "# flagged cells = " << global_f_c << std::endl;
+  }
+
+  triangulation.prepare_coarsening_and_refinement();
+  triangulation.execute_coarsening_and_refinement ();
+
+  if (myid == 0)
+    deallog <<  "#cells = " << triangulation.n_global_active_cells()
+           << std::endl;
+
+                               // create FE_System and fill in no-normal flux
+                               // conditions on boundary 1 (outer)
+  static const FESystem<dim> fe(FE_Q<dim> (1), dim);
+  DoFHandler<dim> dofh(triangulation);
+  dofh.distribute_dofs (fe);
+  if (myid == 0)
+    deallog <<  "#dofs = " << dofh.locally_owned_dofs().size()
+           << std::endl;
+
+  IndexSet relevant_set;
+  DoFTools::extract_locally_relevant_dofs (dofh, relevant_set);
+
+  ConstraintMatrix constraints;
+  constraints.reinit(relevant_set);
+  DoFTools::make_hanging_node_constraints (dofh, constraints);
+  std::set<unsigned char> no_normal_flux_boundaries;
+  no_normal_flux_boundaries.insert (1);
+  const unsigned int degree = 1;
+  VectorTools::compute_no_normal_flux_constraints (dofh, 0,
+                                                  no_normal_flux_boundaries,
+                                                  constraints,
+                                                  MappingQ<dim>(degree));
+  constraints.close();
+
+                               // print the number of constraints. since
+                               // processors might write info in different
+                               // orders, copy all numbers to root processor
+  std::vector<unsigned int> n_constraints_glob (numprocs);
+  unsigned int n_constraints = constraints.n_constraints();
+  MPI_Gather (&n_constraints, 1, MPI_UNSIGNED,
+             &n_constraints_glob[0], 1, MPI_UNSIGNED, 0, MPI_COMM_WORLD);
+  if (myid == 0)
+    for (unsigned int i=0; i<numprocs; ++i)
+      deallog <<  "#constraints on " << i << ": " << n_constraints_glob[i]
+             << std::endl;
+
+                               // dummy assembly: put 1 in all components of
+                               // the vector
+  TrilinosWrappers::MPI::Vector vector;
+  vector.reinit (dofh.locally_owned_dofs(), MPI_COMM_WORLD);
+  {
+    const unsigned int dofs_per_cell = fe.dofs_per_cell;
+    std::vector<unsigned int> local_dof_indices (dofs_per_cell);
+    Vector<double> local_vector (dofs_per_cell);
+    for (unsigned int i=0; i<dofs_per_cell; ++i)
+      local_vector(i) = 1.;
+    typename DoFHandler<dim>::active_cell_iterator
+      cell = dofh.begin_active(),
+      endc = dofh.end();
+    for (; cell!=endc; ++cell)
+      if (cell->subdomain_id() == triangulation.locally_owned_subdomain())
+       {
+         cell->get_dof_indices (local_dof_indices);
+         constraints.distribute_local_to_global (local_vector,
+                                                 local_dof_indices,
+                                                 vector);
+       }
+    vector.compress (Add);
+  }
+
+                               // now check that no entries were generated
+                               // for constrained entries on the locally
+                               // owned range.
+  const std::pair<unsigned int,unsigned int> range =
+    vector.local_range();
+  for (unsigned int i=range.first; i<range.second;
+       ++i)
+    if (constraints.is_constrained(i))
+      Assert (vector(i)==0, ExcInternalError());
+
+  if (myid==0)
+    deallog << "OK" << std::endl;
+}
+
+
+int main(int argc, char *argv[])
+{
+  {
+    Utilities::System::MPI_InitFinalize mpi_init (argc, argv);
+    unsigned int myid = Utilities::System::get_this_mpi_process (MPI_COMM_WORLD);
+
+
+    deallog.push(Utilities::int_to_string(myid));
+
+    if (myid == 0)
+      {
+       std::ofstream logfile(output_file_for_mpi("no_flux_constraints").c_str());
+       deallog.attach(logfile);
+       deallog.depth_console(0);
+       deallog.threshold_double(1.e-10);
+
+       deallog.push("3d");
+       test<3>();
+       deallog.pop();
+      }
+    else
+      test<3>();
+  }
+
+  return 0;
+}
diff --git a/tests/mpi/no_flux_constraints/ncpu_9/cmp/generic b/tests/mpi/no_flux_constraints/ncpu_9/cmp/generic
new file mode 100644 (file)
index 0000000..27bec08
--- /dev/null
@@ -0,0 +1,6476 @@
+
+DEAL:0:3d::hyper_cube
+**** proc 0
+    107 0:  0.5
+    107 4:  0.5
+    106 0:  0.5
+    106 1:  0.5
+    108 0:  0.25
+    108 4:  0.25
+    108 1:  0.25
+    108 5:  0.25
+    114 4:  0.5
+    114 5:  0.5
+    54 1:  0.5
+    54 5:  0.5
+    53 1:  0.5
+    53 8:  0.5
+    55 1:  0.25
+    55 5:  0.25
+    55 8:  0.25
+    55 10:  0.25
+    61 5:  0.5
+    61 10:  0.5
+    56 8:  0.5
+    56 10:  0.5
+    121 4:  0.5
+    121 12:  0.5
+    122 4:  0.25
+    122 12:  0.25
+    122 5:  0.25
+    122 13:  0.25
+    130 12:  0.5
+    130 13:  0.5
+    123 5:  0.5
+    123 13:  0.5
+    135 5:  0.25
+    135 13:  0.25
+    135 10:  0.25
+    135 16:  0.25
+    140 13:  0.5
+    140 16:  0.5
+    136 10:  0.5
+    136 16:  0.5
+    50 18:  0.5
+    50 8:  0.5
+    51 18:  0.5
+    51 21:  0.5
+    52 18:  0.25
+    52 8:  0.25
+    52 21:  0.25
+    52 10:  0.25
+    59 21:  0.5
+    59 10:  0.5
+    374 24:  0.5
+    374 25:  0.5
+    376 24:  0.5
+    376 26:  0.5
+    378 24:  0.25
+    378 25:  0.25
+    378 26:  0.25
+    378 27:  0.25
+    70 25:  0.5
+    70 27:  0.5
+    384 26:  0.5
+    384 27:  0.5
+    65 20:  0.5
+    65 23:  0.5
+    62 20:  0.5
+    62 25:  0.5
+    66 20:  0.25
+    66 23:  0.25
+    66 25:  0.25
+    66 27:  0.25
+    77 23:  0.5
+    77 27:  0.5
+    63 20:  0.5
+    63 28:  0.5
+    67 20:  0.25
+    67 28:  0.25
+    67 23:  0.25
+    67 29:  0.25
+    73 28:  0.5
+    73 29:  0.5
+    78 23:  0.5
+    78 29:  0.5
+    133 21:  0.5
+    133 30:  0.5
+    134 21:  0.25
+    134 10:  0.25
+    134 30:  0.25
+    134 16:  0.25
+    139 30:  0.5
+    139 16:  0.5
+    83 23:  0.5
+    83 32:  0.5
+    84 23:  0.25
+    84 32:  0.25
+    84 27:  0.25
+    84 34:  0.25
+    92 32:  0.5
+    92 34:  0.5
+    87 27:  0.5
+    87 34:  0.5
+    85 23:  0.25
+    85 29:  0.25
+    85 32:  0.25
+    85 35:  0.25
+    89 29:  0.5
+    89 35:  0.5
+    93 32:  0.5
+    93 35:  0.5
+    253 11:  0.5
+    253 17:  0.5
+    250 11:  0.5
+    250 29:  0.5
+    254 11:  0.25
+    254 17:  0.25
+    254 29:  0.25
+    254 35:  0.25
+    261 17:  0.5
+    261 35:  0.5
+    231 39:  0.5
+    231 41:  0.5
+    232 39:  0.5
+    232 181:  0.5
+    233 39:  0.25
+    233 41:  0.25
+    233 181:  0.25
+    233 183:  0.25
+    238 41:  0.5
+    238 183:  0.5
+    251 11:  0.5
+    251 41:  0.5
+    255 11:  0.25
+    255 41:  0.25
+    255 17:  0.25
+    255 186:  0.25
+    239 41:  0.5
+    239 186:  0.5
+    262 17:  0.5
+    262 186:  0.5
+    234 39:  0.5
+    234 185:  0.5
+    235 39:  0.25
+    235 185:  0.25
+    235 41:  0.25
+    235 186:  0.25
+    236 39:  0.25
+    236 181:  0.25
+    236 185:  0.25
+    236 188:  0.25
+    217 28:  0.5
+    217 189:  0.5
+    219 28:  0.25
+    219 189:  0.25
+    219 29:  0.25
+    219 190:  0.25
+    227 29:  0.5
+    227 190:  0.5
+    252 11:  0.25
+    252 29:  0.25
+    252 41:  0.25
+    252 190:  0.25
+    258 41:  0.5
+    258 190:  0.5
+    240 41:  0.25
+    240 183:  0.25
+    240 186:  0.25
+    240 198:  0.25
+    259 41:  0.25
+    259 186:  0.25
+    259 190:  0.25
+    259 197:  0.25
+    263 17:  0.25
+    263 35:  0.25
+    263 186:  0.25
+    263 197:  0.25
+    264 35:  0.5
+    264 197:  0.5
+    96 35:  0.5
+    96 97:  0.5
+    270 35:  0.25
+    270 97:  0.25
+    270 197:  0.25
+    270 200:  0.25
+    271 97:  0.5
+    271 200:  0.5
+    383 26:  0.5
+    383 307:  0.5
+    385 26:  0.25
+    385 307:  0.25
+    385 27:  0.25
+    385 309:  0.25
+    359 27:  0.5
+    359 309:  0.5
+    80 27:  0.5
+    80 82:  0.5
+    88 27:  0.25
+    88 82:  0.25
+    88 34:  0.25
+    88 97:  0.25
+    91 82:  0.5
+    91 97:  0.5
+    95 34:  0.5
+    95 97:  0.5
+    362 82:  0.5
+    362 313:  0.5
+    508 82:  0.25
+    508 97:  0.25
+    508 313:  0.25
+    508 319:  0.25
+    514 97:  0.5
+    514 319:  0.5
+    360 27:  0.25
+    360 309:  0.25
+    360 82:  0.25
+    360 313:  0.25
+    125 124:  0.5
+    125 128:  0.5
+    126 124:  0.5
+    126 12:  0.5
+    127 124:  0.25
+    127 128:  0.25
+    127 12:  0.25
+    127 13:  0.25
+    129 128:  0.5
+    129 13:  0.5
+    137 128:  0.5
+    137 30:  0.5
+    138 128:  0.25
+    138 30:  0.25
+    138 13:  0.25
+    138 16:  0.25
+    94 32:  0.25
+    94 34:  0.25
+    94 35:  0.25
+    94 97:  0.25
+    515 97:  0.25
+    515 319:  0.25
+    515 200:  0.25
+    515 451:  0.25
+    274 72:  0.5
+    274 218:  0.5
+    276 72:  0.5
+    276 74:  0.5
+    278 72:  0.25
+    278 218:  0.25
+    278 74:  0.25
+    278 220:  0.25
+    288 74:  0.5
+    288 220:  0.5
+    287 74:  0.5
+    287 76:  0.5
+    289 74:  0.25
+    289 76:  0.25
+    289 220:  0.25
+    289 225:  0.25
+    290 76:  0.5
+    290 225:  0.5
+    141 46:  0.5
+    141 47:  0.5
+    142 46:  0.5
+    142 48:  0.5
+    143 46:  0.25
+    143 47:  0.25
+    143 48:  0.25
+    143 49:  0.25
+    148 47:  0.5
+    148 49:  0.5
+    151 48:  0.5
+    151 49:  0.5
+    149 47:  0.5
+    149 57:  0.5
+    150 47:  0.25
+    150 49:  0.25
+    150 57:  0.25
+    150 58:  0.25
+    154 49:  0.5
+    154 58:  0.5
+    158 57:  0.5
+    158 58:  0.5
+    152 48:  0.5
+    152 60:  0.5
+    153 48:  0.25
+    153 60:  0.25
+    153 49:  0.25
+    153 58:  0.25
+    159 60:  0.5
+    159 58:  0.5
+    273 72:  0.5
+    273 75:  0.5
+    277 72:  0.25
+    277 74:  0.25
+    277 75:  0.25
+    277 76:  0.25
+    281 75:  0.5
+    281 76:  0.5
+    280 75:  0.5
+    280 224:  0.5
+    282 75:  0.25
+    282 224:  0.25
+    282 76:  0.25
+    282 225:  0.25
+    144 46:  0.5
+    144 113:  0.5
+    146 46:  0.25
+    146 48:  0.25
+    146 113:  0.25
+    146 60:  0.25
+    156 113:  0.5
+    156 60:  0.5
+    155 113:  0.5
+    155 57:  0.5
+    157 113:  0.25
+    157 57:  0.25
+    157 60:  0.25
+    157 58:  0.25
+****
+    107 0:  0.5
+    107 4:  0.5
+    106 0:  0.5
+    106 1:  0.5
+    108 0:  0.25
+    108 4:  0.25
+    108 1:  0.25
+    108 5:  0.25
+    114 4:  0.5
+    114 5:  0.5
+    54 1:  0.5
+    54 5:  0.5
+    53 1:  0.5
+    53 8:  0.5
+    55 1:  0.25
+    55 5:  0.25
+    55 8:  0.25
+    55 10:  0.25
+    61 5:  0.5
+    61 10:  0.5
+    56 8:  0.5
+    56 10:  0.5
+    121 4:  0.5
+    121 12:  0.5
+    122 4:  0.25
+    122 12:  0.25
+    122 5:  0.25
+    122 13:  0.25
+    130 12:  0.5
+    130 13:  0.5
+    123 5:  0.5
+    123 13:  0.5
+    135 5:  0.25
+    135 13:  0.25
+    135 10:  0.25
+    135 16:  0.25
+    140 13:  0.5
+    140 16:  0.5
+    136 10:  0.5
+    136 16:  0.5
+    50 18:  0.5
+    50 8:  0.5
+    51 18:  0.5
+    51 21:  0.5
+    52 18:  0.25
+    52 8:  0.25
+    52 21:  0.25
+    52 10:  0.25
+    59 21:  0.5
+    59 10:  0.5
+    374 24:  0.5
+    374 25:  0.5
+    376 24:  0.5
+    376 26:  0.5
+    378 24:  0.25
+    378 25:  0.25
+    378 26:  0.25
+    378 27:  0.25
+    70 25:  0.5
+    70 27:  0.5
+    384 26:  0.5
+    384 27:  0.5
+    65 20:  0.5
+    65 23:  0.5
+    62 20:  0.5
+    62 25:  0.5
+    66 20:  0.25
+    66 23:  0.25
+    66 25:  0.25
+    66 27:  0.25
+    77 23:  0.5
+    77 27:  0.5
+    63 20:  0.5
+    63 28:  0.5
+    67 20:  0.25
+    67 28:  0.25
+    67 23:  0.25
+    67 29:  0.25
+    73 28:  0.5
+    73 29:  0.5
+    78 23:  0.5
+    78 29:  0.5
+    133 21:  0.5
+    133 30:  0.5
+    134 21:  0.25
+    134 10:  0.25
+    134 30:  0.25
+    134 16:  0.25
+    139 30:  0.5
+    139 16:  0.5
+    83 23:  0.5
+    83 32:  0.5
+    84 23:  0.25
+    84 32:  0.25
+    84 27:  0.25
+    84 34:  0.25
+    92 32:  0.5
+    92 34:  0.5
+    87 27:  0.5
+    87 34:  0.5
+    85 23:  0.25
+    85 29:  0.25
+    85 32:  0.25
+    85 35:  0.25
+    89 29:  0.5
+    89 35:  0.5
+    93 32:  0.5
+    93 35:  0.5
+    253 11:  0.5
+    253 17:  0.5
+    250 11:  0.5
+    250 29:  0.5
+    254 11:  0.25
+    254 17:  0.25
+    254 29:  0.25
+    254 35:  0.25
+    261 17:  0.5
+    261 35:  0.5
+    231 39:  0.5
+    231 41:  0.5
+    232 39:  0.5
+    232 181:  0.5
+    233 39:  0.25
+    233 41:  0.25
+    233 181:  0.25
+    233 183:  0.25
+    238 41:  0.5
+    238 183:  0.5
+    251 11:  0.5
+    251 41:  0.5
+    255 11:  0.25
+    255 41:  0.25
+    255 17:  0.25
+    255 186:  0.25
+    239 41:  0.5
+    239 186:  0.5
+    262 17:  0.5
+    262 186:  0.5
+    234 39:  0.5
+    234 185:  0.5
+    235 39:  0.25
+    235 185:  0.25
+    235 41:  0.25
+    235 186:  0.25
+    236 39:  0.25
+    236 181:  0.25
+    236 185:  0.25
+    236 188:  0.25
+    217 28:  0.5
+    217 189:  0.5
+    219 28:  0.25
+    219 189:  0.25
+    219 29:  0.25
+    219 190:  0.25
+    227 29:  0.5
+    227 190:  0.5
+    252 11:  0.25
+    252 29:  0.25
+    252 41:  0.25
+    252 190:  0.25
+    258 41:  0.5
+    258 190:  0.5
+    240 41:  0.25
+    240 183:  0.25
+    240 186:  0.25
+    240 198:  0.25
+    259 41:  0.25
+    259 186:  0.25
+    259 190:  0.25
+    259 197:  0.25
+    263 17:  0.25
+    263 35:  0.25
+    263 186:  0.25
+    263 197:  0.25
+    264 35:  0.5
+    264 197:  0.5
+    96 35:  0.5
+    96 97:  0.5
+    270 35:  0.25
+    270 97:  0.25
+    270 197:  0.25
+    270 200:  0.25
+    271 97:  0.5
+    271 200:  0.5
+    383 26:  0.5
+    383 307:  0.5
+    385 26:  0.25
+    385 307:  0.25
+    385 27:  0.25
+    385 309:  0.25
+    359 27:  0.5
+    359 309:  0.5
+    80 27:  0.5
+    80 82:  0.5
+    88 27:  0.25
+    88 82:  0.25
+    88 34:  0.25
+    88 97:  0.25
+    91 82:  0.5
+    91 97:  0.5
+    95 34:  0.5
+    95 97:  0.5
+    362 82:  0.5
+    362 313:  0.5
+    508 82:  0.25
+    508 97:  0.25
+    508 313:  0.25
+    508 319:  0.25
+    514 97:  0.5
+    514 319:  0.5
+    360 27:  0.25
+    360 309:  0.25
+    360 82:  0.25
+    360 313:  0.25
+    125 124:  0.5
+    125 128:  0.5
+    126 124:  0.5
+    126 12:  0.5
+    127 124:  0.25
+    127 128:  0.25
+    127 12:  0.25
+    127 13:  0.25
+    129 128:  0.5
+    129 13:  0.5
+    137 128:  0.5
+    137 30:  0.5
+    138 128:  0.25
+    138 30:  0.25
+    138 13:  0.25
+    138 16:  0.25
+    94 32:  0.25
+    94 34:  0.25
+    94 35:  0.25
+    94 97:  0.25
+    515 97:  0.25
+    515 319:  0.25
+    515 200:  0.25
+    515 451:  0.25
+    274 72:  0.5
+    274 218:  0.5
+    276 72:  0.5
+    276 74:  0.5
+    278 72:  0.25
+    278 218:  0.25
+    278 74:  0.25
+    278 220:  0.25
+    288 74:  0.5
+    288 220:  0.5
+    287 74:  0.5
+    287 76:  0.5
+    289 74:  0.25
+    289 76:  0.25
+    289 220:  0.25
+    289 225:  0.25
+    290 76:  0.5
+    290 225:  0.5
+    141 46:  0.5
+    141 47:  0.5
+    142 46:  0.5
+    142 48:  0.5
+    143 46:  0.25
+    143 47:  0.25
+    143 48:  0.25
+    143 49:  0.25
+    148 47:  0.5
+    148 49:  0.5
+    151 48:  0.5
+    151 49:  0.5
+    149 47:  0.5
+    149 57:  0.5
+    150 47:  0.25
+    150 49:  0.25
+    150 57:  0.25
+    150 58:  0.25
+    154 49:  0.5
+    154 58:  0.5
+    158 57:  0.5
+    158 58:  0.5
+    152 48:  0.5
+    152 60:  0.5
+    153 48:  0.25
+    153 60:  0.25
+    153 49:  0.25
+    153 58:  0.25
+    159 60:  0.5
+    159 58:  0.5
+    273 72:  0.5
+    273 75:  0.5
+    277 72:  0.25
+    277 74:  0.25
+    277 75:  0.25
+    277 76:  0.25
+    281 75:  0.5
+    281 76:  0.5
+    280 75:  0.5
+    280 224:  0.5
+    282 75:  0.25
+    282 224:  0.25
+    282 76:  0.25
+    282 225:  0.25
+    144 46:  0.5
+    144 113:  0.5
+    146 46:  0.25
+    146 48:  0.25
+    146 113:  0.25
+    146 60:  0.25
+    156 113:  0.5
+    156 60:  0.5
+    155 113:  0.5
+    155 57:  0.5
+    157 113:  0.25
+    157 57:  0.25
+    157 60:  0.25
+    157 58:  0.25
+
+**** proc 1
+    121 4:  0.5
+    121 12:  0.5
+    122 4:  0.25
+    122 12:  0.25
+    122 5:  0.25
+    122 13:  0.25
+    130 12:  0.5
+    130 13:  0.5
+    123 5:  0.5
+    123 13:  0.5
+    135 5:  0.25
+    135 13:  0.25
+    135 10:  0.25
+    135 16:  0.25
+    140 13:  0.5
+    140 16:  0.5
+    136 10:  0.5
+    136 16:  0.5
+    125 124:  0.5
+    125 128:  0.5
+    126 124:  0.5
+    126 12:  0.5
+    127 124:  0.25
+    127 128:  0.25
+    127 12:  0.25
+    127 13:  0.25
+    129 128:  0.5
+    129 13:  0.5
+    137 128:  0.5
+    137 30:  0.5
+    138 128:  0.25
+    138 30:  0.25
+    138 13:  0.25
+    138 16:  0.25
+    139 30:  0.5
+    139 16:  0.5
+    231 39:  0.5
+    231 41:  0.5
+    232 39:  0.5
+    232 181:  0.5
+    233 39:  0.25
+    233 41:  0.25
+    233 181:  0.25
+    233 183:  0.25
+    238 41:  0.5
+    238 183:  0.5
+    241 181:  0.5
+    241 183:  0.5
+    251 11:  0.5
+    251 41:  0.5
+    253 11:  0.5
+    253 17:  0.5
+    255 11:  0.25
+    255 41:  0.25
+    255 17:  0.25
+    255 186:  0.25
+    239 41:  0.5
+    239 186:  0.5
+    262 17:  0.5
+    262 186:  0.5
+    234 39:  0.5
+    234 185:  0.5
+    235 39:  0.25
+    235 185:  0.25
+    235 41:  0.25
+    235 186:  0.25
+    245 185:  0.5
+    245 186:  0.5
+    236 39:  0.25
+    236 181:  0.25
+    236 185:  0.25
+    236 188:  0.25
+    242 181:  0.5
+    242 188:  0.5
+    246 185:  0.5
+    246 188:  0.5
+    217 28:  0.5
+    217 189:  0.5
+    73 28:  0.5
+    73 29:  0.5
+    219 28:  0.25
+    219 189:  0.25
+    219 29:  0.25
+    219 190:  0.25
+    222 189:  0.5
+    222 190:  0.5
+    227 29:  0.5
+    227 190:  0.5
+    250 11:  0.5
+    250 29:  0.5
+    252 11:  0.25
+    252 29:  0.25
+    252 41:  0.25
+    252 190:  0.25
+    258 41:  0.5
+    258 190:  0.5
+    387 193:  0.5
+    387 194:  0.5
+    226 193:  0.5
+    226 195:  0.5
+    389 193:  0.25
+    389 194:  0.25
+    389 195:  0.25
+    389 196:  0.25
+    394 194:  0.5
+    394 196:  0.5
+    398 195:  0.5
+    398 196:  0.5
+    221 189:  0.5
+    221 193:  0.5
+    223 189:  0.25
+    223 190:  0.25
+    223 193:  0.25
+    223 195:  0.25
+    230 190:  0.5
+    230 195:  0.5
+    240 41:  0.25
+    240 183:  0.25
+    240 186:  0.25
+    240 198:  0.25
+    244 183:  0.5
+    244 198:  0.5
+    248 186:  0.5
+    248 198:  0.5
+    259 41:  0.25
+    259 186:  0.25
+    259 190:  0.25
+    259 197:  0.25
+    265 186:  0.5
+    265 197:  0.5
+    260 190:  0.5
+    260 197:  0.5
+    268 190:  0.25
+    268 197:  0.25
+    268 195:  0.25
+    268 200:  0.25
+    272 197:  0.5
+    272 200:  0.5
+    269 195:  0.5
+    269 200:  0.5
+    63 20:  0.5
+    63 28:  0.5
+    67 20:  0.25
+    67 28:  0.25
+    67 23:  0.25
+    67 29:  0.25
+    78 23:  0.5
+    78 29:  0.5
+    133 21:  0.5
+    133 30:  0.5
+    134 21:  0.25
+    134 10:  0.25
+    134 30:  0.25
+    134 16:  0.25
+    83 23:  0.5
+    83 32:  0.5
+    84 23:  0.25
+    84 32:  0.25
+    84 27:  0.25
+    84 34:  0.25
+    92 32:  0.5
+    92 34:  0.5
+    87 27:  0.5
+    87 34:  0.5
+    85 23:  0.25
+    85 29:  0.25
+    85 32:  0.25
+    85 35:  0.25
+    89 29:  0.5
+    89 35:  0.5
+    93 32:  0.5
+    93 35:  0.5
+    254 11:  0.25
+    254 17:  0.25
+    254 29:  0.25
+    254 35:  0.25
+    261 17:  0.5
+    261 35:  0.5
+    263 17:  0.25
+    263 35:  0.25
+    263 186:  0.25
+    263 197:  0.25
+    264 35:  0.5
+    264 197:  0.5
+    96 35:  0.5
+    96 97:  0.5
+    270 35:  0.25
+    270 97:  0.25
+    270 197:  0.25
+    270 200:  0.25
+    271 97:  0.5
+    271 200:  0.5
+    407 186:  0.5
+    407 216:  0.5
+    408 186:  0.25
+    408 198:  0.25
+    408 216:  0.25
+    408 294:  0.25
+    411 198:  0.5
+    411 294:  0.5
+    415 216:  0.5
+    415 294:  0.5
+    80 27:  0.5
+    80 82:  0.5
+    88 27:  0.25
+    88 82:  0.25
+    88 34:  0.25
+    88 97:  0.25
+    91 82:  0.5
+    91 97:  0.5
+    95 34:  0.5
+    95 97:  0.5
+    362 82:  0.5
+    362 313:  0.5
+    508 82:  0.25
+    508 97:  0.25
+    508 313:  0.25
+    508 319:  0.25
+    514 97:  0.5
+    514 319:  0.5
+    360 27:  0.25
+    360 309:  0.25
+    360 82:  0.25
+    360 313:  0.25
+    372 195:  0.5
+    372 323:  0.5
+    512 195:  0.25
+    512 200:  0.25
+    512 323:  0.25
+    512 451:  0.25
+    517 200:  0.5
+    517 451:  0.5
+    399 195:  0.25
+    399 323:  0.25
+    399 196:  0.25
+    399 402:  0.25
+    401 196:  0.5
+    401 402:  0.5
+    94 32:  0.25
+    94 34:  0.25
+    94 35:  0.25
+    94 97:  0.25
+    403 185:  0.5
+    403 215:  0.5
+    404 185:  0.25
+    404 215:  0.25
+    404 186:  0.25
+    404 216:  0.25
+    412 215:  0.5
+    412 216:  0.5
+    405 185:  0.25
+    405 188:  0.25
+    405 215:  0.25
+    405 326:  0.25
+    409 188:  0.5
+    409 326:  0.5
+    413 215:  0.5
+    413 326:  0.5
+    414 215:  0.25
+    414 216:  0.25
+    414 326:  0.25
+    414 294:  0.25
+    515 97:  0.25
+    515 319:  0.25
+    515 200:  0.25
+    515 451:  0.25
+    243 181:  0.25
+    243 188:  0.25
+    243 183:  0.25
+    243 198:  0.25
+    249 188:  0.5
+    249 198:  0.5
+    410 188:  0.25
+    410 326:  0.25
+    410 198:  0.25
+    410 294:  0.25
+    393 194:  0.5
+    393 396:  0.5
+    395 194:  0.25
+    395 196:  0.25
+    395 396:  0.25
+    395 402:  0.25
+    274 72:  0.5
+    274 218:  0.5
+    276 72:  0.5
+    276 74:  0.5
+    278 72:  0.25
+    278 218:  0.25
+    278 74:  0.25
+    278 220:  0.25
+    284 218:  0.5
+    284 220:  0.5
+    288 74:  0.5
+    288 220:  0.5
+    283 218:  0.5
+    283 224:  0.5
+    285 218:  0.25
+    285 220:  0.25
+    285 224:  0.25
+    285 225:  0.25
+    291 220:  0.5
+    291 225:  0.5
+    286 224:  0.5
+    286 225:  0.5
+    287 74:  0.5
+    287 76:  0.5
+    289 74:  0.25
+    289 76:  0.25
+    289 220:  0.25
+    289 225:  0.25
+    290 76:  0.5
+    290 225:  0.5
+    273 72:  0.5
+    273 75:  0.5
+    277 72:  0.25
+    277 74:  0.25
+    277 75:  0.25
+    277 76:  0.25
+    281 75:  0.5
+    281 76:  0.5
+    280 75:  0.5
+    280 224:  0.5
+    282 75:  0.25
+    282 224:  0.25
+    282 76:  0.25
+    282 225:  0.25
+****
+    121 4:  0.5
+    121 12:  0.5
+    122 4:  0.25
+    122 12:  0.25
+    122 5:  0.25
+    122 13:  0.25
+    130 12:  0.5
+    130 13:  0.5
+    123 5:  0.5
+    123 13:  0.5
+    135 5:  0.25
+    135 13:  0.25
+    135 10:  0.25
+    135 16:  0.25
+    140 13:  0.5
+    140 16:  0.5
+    136 10:  0.5
+    136 16:  0.5
+    125 124:  0.5
+    125 128:  0.5
+    126 124:  0.5
+    126 12:  0.5
+    127 124:  0.25
+    127 128:  0.25
+    127 12:  0.25
+    127 13:  0.25
+    129 128:  0.5
+    129 13:  0.5
+    137 128:  0.5
+    137 30:  0.5
+    138 128:  0.25
+    138 30:  0.25
+    138 13:  0.25
+    138 16:  0.25
+    139 30:  0.5
+    139 16:  0.5
+    231 39:  0.5
+    231 41:  0.5
+    232 39:  0.5
+    232 181:  0.5
+    233 39:  0.25
+    233 41:  0.25
+    233 181:  0.25
+    233 183:  0.25
+    238 41:  0.5
+    238 183:  0.5
+    241 181:  0.5
+    241 183:  0.5
+    251 11:  0.5
+    251 41:  0.5
+    253 11:  0.5
+    253 17:  0.5
+    255 11:  0.25
+    255 41:  0.25
+    255 17:  0.25
+    255 186:  0.25
+    239 41:  0.5
+    239 186:  0.5
+    262 17:  0.5
+    262 186:  0.5
+    234 39:  0.5
+    234 185:  0.5
+    235 39:  0.25
+    235 185:  0.25
+    235 41:  0.25
+    235 186:  0.25
+    245 185:  0.5
+    245 186:  0.5
+    236 39:  0.25
+    236 181:  0.25
+    236 185:  0.25
+    236 188:  0.25
+    242 181:  0.5
+    242 188:  0.5
+    246 185:  0.5
+    246 188:  0.5
+    217 28:  0.5
+    217 189:  0.5
+    73 28:  0.5
+    73 29:  0.5
+    219 28:  0.25
+    219 189:  0.25
+    219 29:  0.25
+    219 190:  0.25
+    222 189:  0.5
+    222 190:  0.5
+    227 29:  0.5
+    227 190:  0.5
+    250 11:  0.5
+    250 29:  0.5
+    252 11:  0.25
+    252 29:  0.25
+    252 41:  0.25
+    252 190:  0.25
+    258 41:  0.5
+    258 190:  0.5
+    387 193:  0.5
+    387 194:  0.5
+    226 193:  0.5
+    226 195:  0.5
+    389 193:  0.25
+    389 194:  0.25
+    389 195:  0.25
+    389 196:  0.25
+    394 194:  0.5
+    394 196:  0.5
+    398 195:  0.5
+    398 196:  0.5
+    221 189:  0.5
+    221 193:  0.5
+    223 189:  0.25
+    223 190:  0.25
+    223 193:  0.25
+    223 195:  0.25
+    230 190:  0.5
+    230 195:  0.5
+    240 41:  0.25
+    240 183:  0.25
+    240 186:  0.25
+    240 198:  0.25
+    244 183:  0.5
+    244 198:  0.5
+    248 186:  0.5
+    248 198:  0.5
+    259 41:  0.25
+    259 186:  0.25
+    259 190:  0.25
+    259 197:  0.25
+    265 186:  0.5
+    265 197:  0.5
+    260 190:  0.5
+    260 197:  0.5
+    268 190:  0.25
+    268 197:  0.25
+    268 195:  0.25
+    268 200:  0.25
+    272 197:  0.5
+    272 200:  0.5
+    269 195:  0.5
+    269 200:  0.5
+    63 20:  0.5
+    63 28:  0.5
+    67 20:  0.25
+    67 28:  0.25
+    67 23:  0.25
+    67 29:  0.25
+    78 23:  0.5
+    78 29:  0.5
+    133 21:  0.5
+    133 30:  0.5
+    134 21:  0.25
+    134 10:  0.25
+    134 30:  0.25
+    134 16:  0.25
+    83 23:  0.5
+    83 32:  0.5
+    84 23:  0.25
+    84 32:  0.25
+    84 27:  0.25
+    84 34:  0.25
+    92 32:  0.5
+    92 34:  0.5
+    87 27:  0.5
+    87 34:  0.5
+    85 23:  0.25
+    85 29:  0.25
+    85 32:  0.25
+    85 35:  0.25
+    89 29:  0.5
+    89 35:  0.5
+    93 32:  0.5
+    93 35:  0.5
+    254 11:  0.25
+    254 17:  0.25
+    254 29:  0.25
+    254 35:  0.25
+    261 17:  0.5
+    261 35:  0.5
+    263 17:  0.25
+    263 35:  0.25
+    263 186:  0.25
+    263 197:  0.25
+    264 35:  0.5
+    264 197:  0.5
+    96 35:  0.5
+    96 97:  0.5
+    270 35:  0.25
+    270 97:  0.25
+    270 197:  0.25
+    270 200:  0.25
+    271 97:  0.5
+    271 200:  0.5
+    407 186:  0.5
+    407 216:  0.5
+    408 186:  0.25
+    408 198:  0.25
+    408 216:  0.25
+    408 294:  0.25
+    411 198:  0.5
+    411 294:  0.5
+    415 216:  0.5
+    415 294:  0.5
+    80 27:  0.5
+    80 82:  0.5
+    88 27:  0.25
+    88 82:  0.25
+    88 34:  0.25
+    88 97:  0.25
+    91 82:  0.5
+    91 97:  0.5
+    95 34:  0.5
+    95 97:  0.5
+    362 82:  0.5
+    362 313:  0.5
+    508 82:  0.25
+    508 97:  0.25
+    508 313:  0.25
+    508 319:  0.25
+    514 97:  0.5
+    514 319:  0.5
+    360 27:  0.25
+    360 309:  0.25
+    360 82:  0.25
+    360 313:  0.25
+    372 195:  0.5
+    372 323:  0.5
+    512 195:  0.25
+    512 200:  0.25
+    512 323:  0.25
+    512 451:  0.25
+    517 200:  0.5
+    517 451:  0.5
+    399 195:  0.25
+    399 323:  0.25
+    399 196:  0.25
+    399 402:  0.25
+    401 196:  0.5
+    401 402:  0.5
+    94 32:  0.25
+    94 34:  0.25
+    94 35:  0.25
+    94 97:  0.25
+    403 185:  0.5
+    403 215:  0.5
+    404 185:  0.25
+    404 215:  0.25
+    404 186:  0.25
+    404 216:  0.25
+    412 215:  0.5
+    412 216:  0.5
+    405 185:  0.25
+    405 188:  0.25
+    405 215:  0.25
+    405 326:  0.25
+    409 188:  0.5
+    409 326:  0.5
+    413 215:  0.5
+    413 326:  0.5
+    414 215:  0.25
+    414 216:  0.25
+    414 326:  0.25
+    414 294:  0.25
+    515 97:  0.25
+    515 319:  0.25
+    515 200:  0.25
+    515 451:  0.25
+    243 181:  0.25
+    243 188:  0.25
+    243 183:  0.25
+    243 198:  0.25
+    249 188:  0.5
+    249 198:  0.5
+    410 188:  0.25
+    410 326:  0.25
+    410 198:  0.25
+    410 294:  0.25
+    393 194:  0.5
+    393 396:  0.5
+    395 194:  0.25
+    395 196:  0.25
+    395 396:  0.25
+    395 402:  0.25
+    274 72:  0.5
+    274 218:  0.5
+    276 72:  0.5
+    276 74:  0.5
+    278 72:  0.25
+    278 218:  0.25
+    278 74:  0.25
+    278 220:  0.25
+    284 218:  0.5
+    284 220:  0.5
+    288 74:  0.5
+    288 220:  0.5
+    283 218:  0.5
+    283 224:  0.5
+    285 218:  0.25
+    285 220:  0.25
+    285 224:  0.25
+    285 225:  0.25
+    291 220:  0.5
+    291 225:  0.5
+    286 224:  0.5
+    286 225:  0.5
+    287 74:  0.5
+    287 76:  0.5
+    289 74:  0.25
+    289 76:  0.25
+    289 220:  0.25
+    289 225:  0.25
+    290 76:  0.5
+    290 225:  0.5
+    273 72:  0.5
+    273 75:  0.5
+    277 72:  0.25
+    277 74:  0.25
+    277 75:  0.25
+    277 76:  0.25
+    281 75:  0.5
+    281 76:  0.5
+    280 75:  0.5
+    280 224:  0.5
+    282 75:  0.25
+    282 224:  0.25
+    282 76:  0.25
+    282 225:  0.25
+
+**** proc 2
+    253 11:  0.5
+    253 17:  0.5
+    255 11:  0.25
+    255 41:  0.25
+    255 17:  0.25
+    255 186:  0.25
+    262 17:  0.5
+    262 186:  0.5
+    239 41:  0.5
+    239 186:  0.5
+    234 39:  0.5
+    234 185:  0.5
+    235 39:  0.25
+    235 185:  0.25
+    235 41:  0.25
+    235 186:  0.25
+    245 185:  0.5
+    245 186:  0.5
+    236 39:  0.25
+    236 181:  0.25
+    236 185:  0.25
+    236 188:  0.25
+    246 185:  0.5
+    246 188:  0.5
+    242 181:  0.5
+    242 188:  0.5
+    387 193:  0.5
+    387 194:  0.5
+    226 193:  0.5
+    226 195:  0.5
+    389 193:  0.25
+    389 194:  0.25
+    389 195:  0.25
+    389 196:  0.25
+    394 194:  0.5
+    394 196:  0.5
+    398 195:  0.5
+    398 196:  0.5
+    221 189:  0.5
+    221 193:  0.5
+    223 189:  0.25
+    223 190:  0.25
+    223 193:  0.25
+    223 195:  0.25
+    230 190:  0.5
+    230 195:  0.5
+    240 41:  0.25
+    240 183:  0.25
+    240 186:  0.25
+    240 198:  0.25
+    248 186:  0.5
+    248 198:  0.5
+    244 183:  0.5
+    244 198:  0.5
+    259 41:  0.25
+    259 186:  0.25
+    259 190:  0.25
+    259 197:  0.25
+    265 186:  0.5
+    265 197:  0.5
+    260 190:  0.5
+    260 197:  0.5
+    268 190:  0.25
+    268 197:  0.25
+    268 195:  0.25
+    268 200:  0.25
+    272 197:  0.5
+    272 200:  0.5
+    269 195:  0.5
+    269 200:  0.5
+    92 32:  0.5
+    92 34:  0.5
+    94 32:  0.25
+    94 34:  0.25
+    94 35:  0.25
+    94 97:  0.25
+    95 34:  0.5
+    95 97:  0.5
+    93 32:  0.5
+    93 35:  0.5
+    96 35:  0.5
+    96 97:  0.5
+    374 24:  0.5
+    374 25:  0.5
+    376 24:  0.5
+    376 26:  0.5
+    378 24:  0.25
+    378 25:  0.25
+    378 26:  0.25
+    378 27:  0.25
+    70 25:  0.5
+    70 27:  0.5
+    384 26:  0.5
+    384 27:  0.5
+    62 20:  0.5
+    62 25:  0.5
+    66 20:  0.25
+    66 23:  0.25
+    66 25:  0.25
+    66 27:  0.25
+    77 23:  0.5
+    77 27:  0.5
+    84 23:  0.25
+    84 32:  0.25
+    84 27:  0.25
+    84 34:  0.25
+    87 27:  0.5
+    87 34:  0.5
+    85 23:  0.25
+    85 29:  0.25
+    85 32:  0.25
+    85 35:  0.25
+    89 29:  0.5
+    89 35:  0.5
+    254 11:  0.25
+    254 17:  0.25
+    254 29:  0.25
+    254 35:  0.25
+    261 17:  0.5
+    261 35:  0.5
+    263 17:  0.25
+    263 35:  0.25
+    263 186:  0.25
+    263 197:  0.25
+    264 35:  0.5
+    264 197:  0.5
+    270 35:  0.25
+    270 97:  0.25
+    270 197:  0.25
+    270 200:  0.25
+    271 97:  0.5
+    271 200:  0.5
+    407 186:  0.5
+    407 216:  0.5
+    408 186:  0.25
+    408 198:  0.25
+    408 216:  0.25
+    408 294:  0.25
+    411 198:  0.5
+    411 294:  0.5
+    415 216:  0.5
+    415 294:  0.5
+    380 303:  0.5
+    380 305:  0.5
+    381 303:  0.5
+    381 307:  0.5
+    382 303:  0.25
+    382 305:  0.25
+    382 307:  0.25
+    382 309:  0.25
+    354 305:  0.5
+    354 309:  0.5
+    386 307:  0.5
+    386 309:  0.5
+    353 305:  0.5
+    353 311:  0.5
+    355 305:  0.25
+    355 311:  0.25
+    355 309:  0.25
+    355 313:  0.25
+    358 311:  0.5
+    358 313:  0.5
+    361 309:  0.5
+    361 313:  0.5
+    383 26:  0.5
+    383 307:  0.5
+    385 26:  0.25
+    385 307:  0.25
+    385 27:  0.25
+    385 309:  0.25
+    359 27:  0.5
+    359 309:  0.5
+    80 27:  0.5
+    80 82:  0.5
+    88 27:  0.25
+    88 82:  0.25
+    88 34:  0.25
+    88 97:  0.25
+    91 82:  0.5
+    91 97:  0.5
+    362 82:  0.5
+    362 313:  0.5
+    508 82:  0.25
+    508 97:  0.25
+    508 313:  0.25
+    508 319:  0.25
+    514 97:  0.5
+    514 319:  0.5
+    510 313:  0.5
+    510 319:  0.5
+    360 27:  0.25
+    360 309:  0.25
+    360 82:  0.25
+    360 313:  0.25
+    365 311:  0.5
+    365 321:  0.5
+    366 311:  0.25
+    366 321:  0.25
+    366 313:  0.25
+    366 323:  0.25
+    369 321:  0.5
+    369 323:  0.5
+    371 313:  0.5
+    371 323:  0.5
+    391 321:  0.5
+    391 396:  0.5
+    392 321:  0.25
+    392 396:  0.25
+    392 323:  0.25
+    392 402:  0.25
+    397 396:  0.5
+    397 402:  0.5
+    400 323:  0.5
+    400 402:  0.5
+    511 313:  0.25
+    511 323:  0.25
+    511 319:  0.25
+    511 451:  0.25
+    513 323:  0.5
+    513 451:  0.5
+    516 319:  0.5
+    516 451:  0.5
+    372 195:  0.5
+    372 323:  0.5
+    512 195:  0.25
+    512 200:  0.25
+    512 323:  0.25
+    512 451:  0.25
+    517 200:  0.5
+    517 451:  0.5
+    399 195:  0.25
+    399 323:  0.25
+    399 196:  0.25
+    399 402:  0.25
+    401 196:  0.5
+    401 402:  0.5
+    403 185:  0.5
+    403 215:  0.5
+    404 185:  0.25
+    404 215:  0.25
+    404 186:  0.25
+    404 216:  0.25
+    412 215:  0.5
+    412 216:  0.5
+    405 185:  0.25
+    405 188:  0.25
+    405 215:  0.25
+    405 326:  0.25
+    409 188:  0.5
+    409 326:  0.5
+    413 215:  0.5
+    413 326:  0.5
+    414 215:  0.25
+    414 216:  0.25
+    414 326:  0.25
+    414 294:  0.25
+    416 326:  0.5
+    416 294:  0.5
+    515 97:  0.25
+    515 319:  0.25
+    515 200:  0.25
+    515 451:  0.25
+    243 181:  0.25
+    243 188:  0.25
+    243 183:  0.25
+    243 198:  0.25
+    249 188:  0.5
+    249 198:  0.5
+    410 188:  0.25
+    410 326:  0.25
+    410 198:  0.25
+    410 294:  0.25
+    393 194:  0.5
+    393 396:  0.5
+    395 194:  0.25
+    395 196:  0.25
+    395 396:  0.25
+    395 402:  0.25
+    283 218:  0.5
+    283 224:  0.5
+    285 218:  0.25
+    285 220:  0.25
+    285 224:  0.25
+    285 225:  0.25
+    286 224:  0.5
+    286 225:  0.5
+    291 220:  0.5
+    291 225:  0.5
+    287 74:  0.5
+    287 76:  0.5
+    289 74:  0.25
+    289 76:  0.25
+    289 220:  0.25
+    289 225:  0.25
+    290 76:  0.5
+    290 225:  0.5
+    273 72:  0.5
+    273 75:  0.5
+    277 72:  0.25
+    277 74:  0.25
+    277 75:  0.25
+    277 76:  0.25
+    281 75:  0.5
+    281 76:  0.5
+    280 75:  0.5
+    280 224:  0.5
+    282 75:  0.25
+    282 224:  0.25
+    282 76:  0.25
+    282 225:  0.25
+****
+    253 11:  0.5
+    253 17:  0.5
+    255 11:  0.25
+    255 41:  0.25
+    255 17:  0.25
+    255 186:  0.25
+    262 17:  0.5
+    262 186:  0.5
+    239 41:  0.5
+    239 186:  0.5
+    234 39:  0.5
+    234 185:  0.5
+    235 39:  0.25
+    235 185:  0.25
+    235 41:  0.25
+    235 186:  0.25
+    245 185:  0.5
+    245 186:  0.5
+    236 39:  0.25
+    236 181:  0.25
+    236 185:  0.25
+    236 188:  0.25
+    246 185:  0.5
+    246 188:  0.5
+    242 181:  0.5
+    242 188:  0.5
+    387 193:  0.5
+    387 194:  0.5
+    226 193:  0.5
+    226 195:  0.5
+    389 193:  0.25
+    389 194:  0.25
+    389 195:  0.25
+    389 196:  0.25
+    394 194:  0.5
+    394 196:  0.5
+    398 195:  0.5
+    398 196:  0.5
+    221 189:  0.5
+    221 193:  0.5
+    223 189:  0.25
+    223 190:  0.25
+    223 193:  0.25
+    223 195:  0.25
+    230 190:  0.5
+    230 195:  0.5
+    240 41:  0.25
+    240 183:  0.25
+    240 186:  0.25
+    240 198:  0.25
+    248 186:  0.5
+    248 198:  0.5
+    244 183:  0.5
+    244 198:  0.5
+    259 41:  0.25
+    259 186:  0.25
+    259 190:  0.25
+    259 197:  0.25
+    265 186:  0.5
+    265 197:  0.5
+    260 190:  0.5
+    260 197:  0.5
+    268 190:  0.25
+    268 197:  0.25
+    268 195:  0.25
+    268 200:  0.25
+    272 197:  0.5
+    272 200:  0.5
+    269 195:  0.5
+    269 200:  0.5
+    92 32:  0.5
+    92 34:  0.5
+    94 32:  0.25
+    94 34:  0.25
+    94 35:  0.25
+    94 97:  0.25
+    95 34:  0.5
+    95 97:  0.5
+    93 32:  0.5
+    93 35:  0.5
+    96 35:  0.5
+    96 97:  0.5
+    374 24:  0.5
+    374 25:  0.5
+    376 24:  0.5
+    376 26:  0.5
+    378 24:  0.25
+    378 25:  0.25
+    378 26:  0.25
+    378 27:  0.25
+    70 25:  0.5
+    70 27:  0.5
+    384 26:  0.5
+    384 27:  0.5
+    62 20:  0.5
+    62 25:  0.5
+    66 20:  0.25
+    66 23:  0.25
+    66 25:  0.25
+    66 27:  0.25
+    77 23:  0.5
+    77 27:  0.5
+    84 23:  0.25
+    84 32:  0.25
+    84 27:  0.25
+    84 34:  0.25
+    87 27:  0.5
+    87 34:  0.5
+    85 23:  0.25
+    85 29:  0.25
+    85 32:  0.25
+    85 35:  0.25
+    89 29:  0.5
+    89 35:  0.5
+    254 11:  0.25
+    254 17:  0.25
+    254 29:  0.25
+    254 35:  0.25
+    261 17:  0.5
+    261 35:  0.5
+    263 17:  0.25
+    263 35:  0.25
+    263 186:  0.25
+    263 197:  0.25
+    264 35:  0.5
+    264 197:  0.5
+    270 35:  0.25
+    270 97:  0.25
+    270 197:  0.25
+    270 200:  0.25
+    271 97:  0.5
+    271 200:  0.5
+    407 186:  0.5
+    407 216:  0.5
+    408 186:  0.25
+    408 198:  0.25
+    408 216:  0.25
+    408 294:  0.25
+    411 198:  0.5
+    411 294:  0.5
+    415 216:  0.5
+    415 294:  0.5
+    380 303:  0.5
+    380 305:  0.5
+    381 303:  0.5
+    381 307:  0.5
+    382 303:  0.25
+    382 305:  0.25
+    382 307:  0.25
+    382 309:  0.25
+    354 305:  0.5
+    354 309:  0.5
+    386 307:  0.5
+    386 309:  0.5
+    353 305:  0.5
+    353 311:  0.5
+    355 305:  0.25
+    355 311:  0.25
+    355 309:  0.25
+    355 313:  0.25
+    358 311:  0.5
+    358 313:  0.5
+    361 309:  0.5
+    361 313:  0.5
+    383 26:  0.5
+    383 307:  0.5
+    385 26:  0.25
+    385 307:  0.25
+    385 27:  0.25
+    385 309:  0.25
+    359 27:  0.5
+    359 309:  0.5
+    80 27:  0.5
+    80 82:  0.5
+    88 27:  0.25
+    88 82:  0.25
+    88 34:  0.25
+    88 97:  0.25
+    91 82:  0.5
+    91 97:  0.5
+    362 82:  0.5
+    362 313:  0.5
+    508 82:  0.25
+    508 97:  0.25
+    508 313:  0.25
+    508 319:  0.25
+    514 97:  0.5
+    514 319:  0.5
+    510 313:  0.5
+    510 319:  0.5
+    360 27:  0.25
+    360 309:  0.25
+    360 82:  0.25
+    360 313:  0.25
+    365 311:  0.5
+    365 321:  0.5
+    366 311:  0.25
+    366 321:  0.25
+    366 313:  0.25
+    366 323:  0.25
+    369 321:  0.5
+    369 323:  0.5
+    371 313:  0.5
+    371 323:  0.5
+    391 321:  0.5
+    391 396:  0.5
+    392 321:  0.25
+    392 396:  0.25
+    392 323:  0.25
+    392 402:  0.25
+    397 396:  0.5
+    397 402:  0.5
+    400 323:  0.5
+    400 402:  0.5
+    511 313:  0.25
+    511 323:  0.25
+    511 319:  0.25
+    511 451:  0.25
+    513 323:  0.5
+    513 451:  0.5
+    516 319:  0.5
+    516 451:  0.5
+    372 195:  0.5
+    372 323:  0.5
+    512 195:  0.25
+    512 200:  0.25
+    512 323:  0.25
+    512 451:  0.25
+    517 200:  0.5
+    517 451:  0.5
+    399 195:  0.25
+    399 323:  0.25
+    399 196:  0.25
+    399 402:  0.25
+    401 196:  0.5
+    401 402:  0.5
+    403 185:  0.5
+    403 215:  0.5
+    404 185:  0.25
+    404 215:  0.25
+    404 186:  0.25
+    404 216:  0.25
+    412 215:  0.5
+    412 216:  0.5
+    405 185:  0.25
+    405 188:  0.25
+    405 215:  0.25
+    405 326:  0.25
+    409 188:  0.5
+    409 326:  0.5
+    413 215:  0.5
+    413 326:  0.5
+    414 215:  0.25
+    414 216:  0.25
+    414 326:  0.25
+    414 294:  0.25
+    416 326:  0.5
+    416 294:  0.5
+    515 97:  0.25
+    515 319:  0.25
+    515 200:  0.25
+    515 451:  0.25
+    243 181:  0.25
+    243 188:  0.25
+    243 183:  0.25
+    243 198:  0.25
+    249 188:  0.5
+    249 198:  0.5
+    410 188:  0.25
+    410 326:  0.25
+    410 198:  0.25
+    410 294:  0.25
+    393 194:  0.5
+    393 396:  0.5
+    395 194:  0.25
+    395 196:  0.25
+    395 396:  0.25
+    395 402:  0.25
+    283 218:  0.5
+    283 224:  0.5
+    285 218:  0.25
+    285 220:  0.25
+    285 224:  0.25
+    285 225:  0.25
+    286 224:  0.5
+    286 225:  0.5
+    291 220:  0.5
+    291 225:  0.5
+    287 74:  0.5
+    287 76:  0.5
+    289 74:  0.25
+    289 76:  0.25
+    289 220:  0.25
+    289 225:  0.25
+    290 76:  0.5
+    290 225:  0.5
+    273 72:  0.5
+    273 75:  0.5
+    277 72:  0.25
+    277 74:  0.25
+    277 75:  0.25
+    277 76:  0.25
+    281 75:  0.5
+    281 76:  0.5
+    280 75:  0.5
+    280 224:  0.5
+    282 75:  0.25
+    282 224:  0.25
+    282 76:  0.25
+    282 225:  0.25
+
+**** proc 3
+    632 423:  0.5
+    632 424:  0.5
+    633 423:  0.5
+    633 536:  0.5
+    634 423:  0.25
+    634 424:  0.25
+    634 536:  0.25
+    634 537:  0.25
+    612 424:  0.5
+    612 537:  0.5
+    611 424:  0.5
+    611 426:  0.5
+    613 424:  0.25
+    613 426:  0.25
+    613 537:  0.25
+    613 539:  0.25
+    618 426:  0.5
+    618 539:  0.5
+    84 23:  0.25
+    84 32:  0.25
+    84 27:  0.25
+    84 34:  0.25
+    92 32:  0.5
+    92 34:  0.5
+    87 27:  0.5
+    87 34:  0.5
+    226 193:  0.5
+    226 195:  0.5
+    389 193:  0.25
+    389 194:  0.25
+    389 195:  0.25
+    389 196:  0.25
+    398 195:  0.5
+    398 196:  0.5
+    394 194:  0.5
+    394 196:  0.5
+    223 189:  0.25
+    223 190:  0.25
+    223 193:  0.25
+    223 195:  0.25
+    230 190:  0.5
+    230 195:  0.5
+    268 190:  0.25
+    268 197:  0.25
+    268 195:  0.25
+    268 200:  0.25
+    269 195:  0.5
+    269 200:  0.5
+    272 197:  0.5
+    272 200:  0.5
+    635 423:  0.5
+    635 430:  0.5
+    636 423:  0.25
+    636 430:  0.25
+    636 424:  0.25
+    636 431:  0.25
+    642 430:  0.5
+    642 431:  0.5
+    614 424:  0.5
+    614 431:  0.5
+    615 424:  0.25
+    615 431:  0.25
+    615 426:  0.25
+    615 432:  0.25
+    625 431:  0.5
+    625 432:  0.5
+    619 426:  0.5
+    619 432:  0.5
+    684 431:  0.5
+    684 440:  0.5
+    685 431:  0.25
+    685 440:  0.25
+    685 432:  0.25
+    685 441:  0.25
+    693 440:  0.5
+    693 441:  0.5
+    688 432:  0.5
+    688 441:  0.5
+    501 433:  0.5
+    501 442:  0.5
+    500 433:  0.5
+    500 434:  0.5
+    502 433:  0.25
+    502 442:  0.25
+    502 434:  0.25
+    502 443:  0.25
+    507 442:  0.5
+    507 443:  0.5
+    503 434:  0.5
+    503 443:  0.5
+    96 35:  0.5
+    96 97:  0.5
+    270 35:  0.25
+    270 97:  0.25
+    270 197:  0.25
+    270 200:  0.25
+    271 97:  0.5
+    271 200:  0.5
+    355 305:  0.25
+    355 311:  0.25
+    355 309:  0.25
+    355 313:  0.25
+    358 311:  0.5
+    358 313:  0.5
+    361 309:  0.5
+    361 313:  0.5
+    80 27:  0.5
+    80 82:  0.5
+    88 27:  0.25
+    88 82:  0.25
+    88 34:  0.25
+    88 97:  0.25
+    91 82:  0.5
+    91 97:  0.5
+    95 34:  0.5
+    95 97:  0.5
+    362 82:  0.5
+    362 313:  0.5
+    508 82:  0.25
+    508 97:  0.25
+    508 313:  0.25
+    508 319:  0.25
+    514 97:  0.5
+    514 319:  0.5
+    510 313:  0.5
+    510 319:  0.5
+    360 27:  0.25
+    360 309:  0.25
+    360 82:  0.25
+    360 313:  0.25
+    365 311:  0.5
+    365 321:  0.5
+    366 311:  0.25
+    366 321:  0.25
+    366 313:  0.25
+    366 323:  0.25
+    369 321:  0.5
+    369 323:  0.5
+    371 313:  0.5
+    371 323:  0.5
+    391 321:  0.5
+    391 396:  0.5
+    392 321:  0.25
+    392 396:  0.25
+    392 323:  0.25
+    392 402:  0.25
+    397 396:  0.5
+    397 402:  0.5
+    400 323:  0.5
+    400 402:  0.5
+    511 313:  0.25
+    511 323:  0.25
+    511 319:  0.25
+    511 451:  0.25
+    513 323:  0.5
+    513 451:  0.5
+    516 319:  0.5
+    516 451:  0.5
+    372 195:  0.5
+    372 323:  0.5
+    512 195:  0.25
+    512 200:  0.25
+    512 323:  0.25
+    512 451:  0.25
+    517 200:  0.5
+    517 451:  0.5
+    399 195:  0.25
+    399 323:  0.25
+    399 196:  0.25
+    399 402:  0.25
+    401 196:  0.5
+    401 402:  0.5
+    626 431:  0.5
+    626 629:  0.5
+    686 431:  0.25
+    686 629:  0.25
+    686 440:  0.25
+    686 658:  0.25
+    694 440:  0.5
+    694 658:  0.5
+    643 430:  0.5
+    643 608:  0.5
+    644 430:  0.25
+    644 431:  0.25
+    644 608:  0.25
+    644 629:  0.25
+    695 440:  0.25
+    695 441:  0.25
+    695 658:  0.25
+    695 661:  0.25
+    696 441:  0.5
+    696 661:  0.5
+    475 453:  0.5
+    475 454:  0.5
+    476 453:  0.5
+    476 455:  0.5
+    477 453:  0.25
+    477 454:  0.25
+    477 455:  0.25
+    477 456:  0.25
+    482 454:  0.5
+    482 456:  0.5
+    485 455:  0.5
+    485 456:  0.5
+    494 455:  0.5
+    494 433:  0.5
+    495 455:  0.25
+    495 456:  0.25
+    495 433:  0.25
+    495 434:  0.25
+    498 456:  0.5
+    498 434:  0.5
+    483 454:  0.5
+    483 459:  0.5
+    484 454:  0.25
+    484 456:  0.25
+    484 459:  0.25
+    484 461:  0.25
+    488 456:  0.5
+    488 461:  0.5
+    492 459:  0.5
+    492 461:  0.5
+    499 456:  0.25
+    499 434:  0.25
+    499 461:  0.25
+    499 443:  0.25
+    506 461:  0.5
+    506 443:  0.5
+    94 32:  0.25
+    94 34:  0.25
+    94 35:  0.25
+    94 97:  0.25
+    478 453:  0.5
+    478 468:  0.5
+    480 453:  0.25
+    480 455:  0.25
+    480 468:  0.25
+    480 469:  0.25
+    486 455:  0.5
+    486 469:  0.5
+    490 468:  0.5
+    490 469:  0.5
+    496 455:  0.25
+    496 433:  0.25
+    496 469:  0.25
+    496 442:  0.25
+    504 469:  0.5
+    504 442:  0.5
+    515 97:  0.25
+    515 319:  0.25
+    515 200:  0.25
+    515 451:  0.25
+    395 194:  0.25
+    395 196:  0.25
+    395 396:  0.25
+    395 402:  0.25
+    393 194:  0.5
+    393 396:  0.5
+    637 423:  0.25
+    637 536:  0.25
+    637 430:  0.25
+    637 608:  0.25
+    489 468:  0.5
+    489 459:  0.5
+    491 468:  0.25
+    491 459:  0.25
+    491 469:  0.25
+    491 461:  0.25
+    493 469:  0.5
+    493 461:  0.5
+    505 469:  0.25
+    505 461:  0.25
+    505 442:  0.25
+    505 443:  0.25
+****
+    632 423:  0.5
+    632 424:  0.5
+    633 423:  0.5
+    633 536:  0.5
+    634 423:  0.25
+    634 424:  0.25
+    634 536:  0.25
+    634 537:  0.25
+    612 424:  0.5
+    612 537:  0.5
+    611 424:  0.5
+    611 426:  0.5
+    613 424:  0.25
+    613 426:  0.25
+    613 537:  0.25
+    613 539:  0.25
+    618 426:  0.5
+    618 539:  0.5
+    84 23:  0.25
+    84 32:  0.25
+    84 27:  0.25
+    84 34:  0.25
+    92 32:  0.5
+    92 34:  0.5
+    87 27:  0.5
+    87 34:  0.5
+    226 193:  0.5
+    226 195:  0.5
+    389 193:  0.25
+    389 194:  0.25
+    389 195:  0.25
+    389 196:  0.25
+    398 195:  0.5
+    398 196:  0.5
+    394 194:  0.5
+    394 196:  0.5
+    223 189:  0.25
+    223 190:  0.25
+    223 193:  0.25
+    223 195:  0.25
+    230 190:  0.5
+    230 195:  0.5
+    268 190:  0.25
+    268 197:  0.25
+    268 195:  0.25
+    268 200:  0.25
+    269 195:  0.5
+    269 200:  0.5
+    272 197:  0.5
+    272 200:  0.5
+    635 423:  0.5
+    635 430:  0.5
+    636 423:  0.25
+    636 430:  0.25
+    636 424:  0.25
+    636 431:  0.25
+    642 430:  0.5
+    642 431:  0.5
+    614 424:  0.5
+    614 431:  0.5
+    615 424:  0.25
+    615 431:  0.25
+    615 426:  0.25
+    615 432:  0.25
+    625 431:  0.5
+    625 432:  0.5
+    619 426:  0.5
+    619 432:  0.5
+    684 431:  0.5
+    684 440:  0.5
+    685 431:  0.25
+    685 440:  0.25
+    685 432:  0.25
+    685 441:  0.25
+    693 440:  0.5
+    693 441:  0.5
+    688 432:  0.5
+    688 441:  0.5
+    501 433:  0.5
+    501 442:  0.5
+    500 433:  0.5
+    500 434:  0.5
+    502 433:  0.25
+    502 442:  0.25
+    502 434:  0.25
+    502 443:  0.25
+    507 442:  0.5
+    507 443:  0.5
+    503 434:  0.5
+    503 443:  0.5
+    96 35:  0.5
+    96 97:  0.5
+    270 35:  0.25
+    270 97:  0.25
+    270 197:  0.25
+    270 200:  0.25
+    271 97:  0.5
+    271 200:  0.5
+    355 305:  0.25
+    355 311:  0.25
+    355 309:  0.25
+    355 313:  0.25
+    358 311:  0.5
+    358 313:  0.5
+    361 309:  0.5
+    361 313:  0.5
+    80 27:  0.5
+    80 82:  0.5
+    88 27:  0.25
+    88 82:  0.25
+    88 34:  0.25
+    88 97:  0.25
+    91 82:  0.5
+    91 97:  0.5
+    95 34:  0.5
+    95 97:  0.5
+    362 82:  0.5
+    362 313:  0.5
+    508 82:  0.25
+    508 97:  0.25
+    508 313:  0.25
+    508 319:  0.25
+    514 97:  0.5
+    514 319:  0.5
+    510 313:  0.5
+    510 319:  0.5
+    360 27:  0.25
+    360 309:  0.25
+    360 82:  0.25
+    360 313:  0.25
+    365 311:  0.5
+    365 321:  0.5
+    366 311:  0.25
+    366 321:  0.25
+    366 313:  0.25
+    366 323:  0.25
+    369 321:  0.5
+    369 323:  0.5
+    371 313:  0.5
+    371 323:  0.5
+    391 321:  0.5
+    391 396:  0.5
+    392 321:  0.25
+    392 396:  0.25
+    392 323:  0.25
+    392 402:  0.25
+    397 396:  0.5
+    397 402:  0.5
+    400 323:  0.5
+    400 402:  0.5
+    511 313:  0.25
+    511 323:  0.25
+    511 319:  0.25
+    511 451:  0.25
+    513 323:  0.5
+    513 451:  0.5
+    516 319:  0.5
+    516 451:  0.5
+    372 195:  0.5
+    372 323:  0.5
+    512 195:  0.25
+    512 200:  0.25
+    512 323:  0.25
+    512 451:  0.25
+    517 200:  0.5
+    517 451:  0.5
+    399 195:  0.25
+    399 323:  0.25
+    399 196:  0.25
+    399 402:  0.25
+    401 196:  0.5
+    401 402:  0.5
+    626 431:  0.5
+    626 629:  0.5
+    686 431:  0.25
+    686 629:  0.25
+    686 440:  0.25
+    686 658:  0.25
+    694 440:  0.5
+    694 658:  0.5
+    643 430:  0.5
+    643 608:  0.5
+    644 430:  0.25
+    644 431:  0.25
+    644 608:  0.25
+    644 629:  0.25
+    695 440:  0.25
+    695 441:  0.25
+    695 658:  0.25
+    695 661:  0.25
+    696 441:  0.5
+    696 661:  0.5
+    475 453:  0.5
+    475 454:  0.5
+    476 453:  0.5
+    476 455:  0.5
+    477 453:  0.25
+    477 454:  0.25
+    477 455:  0.25
+    477 456:  0.25
+    482 454:  0.5
+    482 456:  0.5
+    485 455:  0.5
+    485 456:  0.5
+    494 455:  0.5
+    494 433:  0.5
+    495 455:  0.25
+    495 456:  0.25
+    495 433:  0.25
+    495 434:  0.25
+    498 456:  0.5
+    498 434:  0.5
+    483 454:  0.5
+    483 459:  0.5
+    484 454:  0.25
+    484 456:  0.25
+    484 459:  0.25
+    484 461:  0.25
+    488 456:  0.5
+    488 461:  0.5
+    492 459:  0.5
+    492 461:  0.5
+    499 456:  0.25
+    499 434:  0.25
+    499 461:  0.25
+    499 443:  0.25
+    506 461:  0.5
+    506 443:  0.5
+    94 32:  0.25
+    94 34:  0.25
+    94 35:  0.25
+    94 97:  0.25
+    478 453:  0.5
+    478 468:  0.5
+    480 453:  0.25
+    480 455:  0.25
+    480 468:  0.25
+    480 469:  0.25
+    486 455:  0.5
+    486 469:  0.5
+    490 468:  0.5
+    490 469:  0.5
+    496 455:  0.25
+    496 433:  0.25
+    496 469:  0.25
+    496 442:  0.25
+    504 469:  0.5
+    504 442:  0.5
+    515 97:  0.25
+    515 319:  0.25
+    515 200:  0.25
+    515 451:  0.25
+    395 194:  0.25
+    395 196:  0.25
+    395 396:  0.25
+    395 402:  0.25
+    393 194:  0.5
+    393 396:  0.5
+    637 423:  0.25
+    637 536:  0.25
+    637 430:  0.25
+    637 608:  0.25
+    489 468:  0.5
+    489 459:  0.5
+    491 468:  0.25
+    491 459:  0.25
+    491 469:  0.25
+    491 461:  0.25
+    493 469:  0.5
+    493 461:  0.5
+    505 469:  0.25
+    505 461:  0.25
+    505 442:  0.25
+    505 443:  0.25
+
+**** proc 4
+    568 518:  0.5
+    568 520:  0.5
+    553 518:  0.5
+    553 522:  0.5
+    569 518:  0.25
+    569 520:  0.25
+    569 522:  0.25
+    569 524:  0.25
+    574 520:  0.5
+    574 524:  0.5
+    578 522:  0.5
+    578 524:  0.5
+    552 518:  0.5
+    552 519:  0.5
+    554 518:  0.25
+    554 522:  0.25
+    554 519:  0.25
+    554 523:  0.25
+    559 522:  0.5
+    559 523:  0.5
+    555 519:  0.5
+    555 523:  0.5
+    589 526:  0.5
+    589 528:  0.5
+    575 526:  0.5
+    575 522:  0.5
+    590 526:  0.25
+    590 528:  0.25
+    590 522:  0.25
+    590 529:  0.25
+    595 528:  0.5
+    595 529:  0.5
+    591 522:  0.5
+    591 529:  0.5
+    576 526:  0.5
+    576 527:  0.5
+    577 526:  0.25
+    577 522:  0.25
+    577 527:  0.25
+    577 524:  0.25
+    579 527:  0.5
+    579 524:  0.5
+    1043 528:  0.5
+    1043 530:  0.5
+    1044 528:  0.25
+    1044 529:  0.25
+    1044 530:  0.25
+    1044 531:  0.25
+    1047 529:  0.5
+    1047 531:  0.5
+    1049 530:  0.5
+    1049 531:  0.5
+    598 522:  0.25
+    598 529:  0.25
+    598 523:  0.25
+    598 532:  0.25
+    602 529:  0.5
+    602 532:  0.5
+    599 523:  0.5
+    599 532:  0.5
+    670 540:  0.5
+    670 646:  0.5
+    542 540:  0.5
+    542 610:  0.5
+    672 540:  0.25
+    672 646:  0.25
+    672 610:  0.25
+    672 647:  0.25
+    666 610:  0.5
+    666 647:  0.5
+    605 519:  0.5
+    605 540:  0.5
+    606 519:  0.25
+    606 523:  0.25
+    606 540:  0.25
+    606 610:  0.25
+    609 523:  0.5
+    609 610:  0.5
+    653 610:  0.5
+    653 648:  0.5
+    668 610:  0.25
+    668 647:  0.25
+    668 648:  0.25
+    668 649:  0.25
+    652 523:  0.25
+    652 532:  0.25
+    652 610:  0.25
+    652 648:  0.25
+    656 532:  0.5
+    656 648:  0.5
+    1032 529:  0.5
+    1032 994:  0.5
+    1048 529:  0.25
+    1048 531:  0.25
+    1048 994:  0.25
+    1048 996:  0.25
+    1052 531:  0.5
+    1052 996:  0.5
+    1041 529:  0.25
+    1041 994:  0.25
+    1041 532:  0.25
+    1041 995:  0.25
+    1042 532:  0.5
+    1042 995:  0.5
+    1130 532:  0.25
+    1130 995:  0.25
+    1130 648:  0.25
+    1130 1108:  0.25
+    632 423:  0.5
+    632 424:  0.5
+    633 423:  0.5
+    633 536:  0.5
+    634 423:  0.25
+    634 424:  0.25
+    634 536:  0.25
+    634 537:  0.25
+    612 424:  0.5
+    612 537:  0.5
+    639 536:  0.5
+    639 537:  0.5
+    611 424:  0.5
+    611 426:  0.5
+    613 424:  0.25
+    613 426:  0.25
+    613 537:  0.25
+    613 539:  0.25
+    618 426:  0.5
+    618 539:  0.5
+    621 537:  0.5
+    621 539:  0.5
+    713 537:  0.5
+    713 543:  0.5
+    714 537:  0.25
+    714 539:  0.25
+    714 543:  0.25
+    714 545:  0.25
+    717 539:  0.5
+    717 545:  0.5
+    719 543:  0.5
+    719 545:  0.5
+    622 537:  0.5
+    622 629:  0.5
+    715 537:  0.25
+    715 543:  0.25
+    715 629:  0.25
+    715 657:  0.25
+    720 543:  0.5
+    720 657:  0.5
+    698 629:  0.5
+    698 657:  0.5
+    640 536:  0.5
+    640 608:  0.5
+    641 536:  0.25
+    641 608:  0.25
+    641 537:  0.25
+    641 629:  0.25
+    645 608:  0.5
+    645 629:  0.5
+    232 39:  0.5
+    232 181:  0.5
+    233 39:  0.25
+    233 41:  0.25
+    233 181:  0.25
+    233 183:  0.25
+    241 181:  0.5
+    241 183:  0.5
+    238 41:  0.5
+    238 183:  0.5
+    236 39:  0.25
+    236 181:  0.25
+    236 185:  0.25
+    236 188:  0.25
+    242 181:  0.5
+    242 188:  0.5
+    246 185:  0.5
+    246 188:  0.5
+    387 193:  0.5
+    387 194:  0.5
+    389 193:  0.25
+    389 194:  0.25
+    389 195:  0.25
+    389 196:  0.25
+    394 194:  0.5
+    394 196:  0.5
+    398 195:  0.5
+    398 196:  0.5
+    240 41:  0.25
+    240 183:  0.25
+    240 186:  0.25
+    240 198:  0.25
+    244 183:  0.5
+    244 198:  0.5
+    248 186:  0.5
+    248 198:  0.5
+    635 423:  0.5
+    635 430:  0.5
+    636 423:  0.25
+    636 430:  0.25
+    636 424:  0.25
+    636 431:  0.25
+    642 430:  0.5
+    642 431:  0.5
+    614 424:  0.5
+    614 431:  0.5
+    615 424:  0.25
+    615 431:  0.25
+    615 426:  0.25
+    615 432:  0.25
+    625 431:  0.5
+    625 432:  0.5
+    619 426:  0.5
+    619 432:  0.5
+    684 431:  0.5
+    684 440:  0.5
+    685 431:  0.25
+    685 440:  0.25
+    685 432:  0.25
+    685 441:  0.25
+    688 432:  0.5
+    688 441:  0.5
+    408 186:  0.25
+    408 198:  0.25
+    408 216:  0.25
+    408 294:  0.25
+    411 198:  0.5
+    411 294:  0.5
+    415 216:  0.5
+    415 294:  0.5
+    391 321:  0.5
+    391 396:  0.5
+    392 321:  0.25
+    392 396:  0.25
+    392 323:  0.25
+    392 402:  0.25
+    397 396:  0.5
+    397 402:  0.5
+    400 323:  0.5
+    400 402:  0.5
+    399 195:  0.25
+    399 323:  0.25
+    399 196:  0.25
+    399 402:  0.25
+    401 196:  0.5
+    401 402:  0.5
+    626 431:  0.5
+    626 629:  0.5
+    686 431:  0.25
+    686 629:  0.25
+    686 440:  0.25
+    686 658:  0.25
+    690 629:  0.5
+    690 658:  0.5
+    643 430:  0.5
+    643 608:  0.5
+    644 430:  0.25
+    644 431:  0.25
+    644 608:  0.25
+    644 629:  0.25
+    700 629:  0.25
+    700 657:  0.25
+    700 658:  0.25
+    700 659:  0.25
+    738 543:  0.5
+    738 673:  0.5
+    739 543:  0.25
+    739 545:  0.25
+    739 673:  0.25
+    739 675:  0.25
+    742 545:  0.5
+    742 675:  0.5
+    740 543:  0.25
+    740 673:  0.25
+    740 657:  0.25
+    740 667:  0.25
+    405 185:  0.25
+    405 188:  0.25
+    405 215:  0.25
+    405 326:  0.25
+    409 188:  0.5
+    409 326:  0.5
+    413 215:  0.5
+    413 326:  0.5
+    414 215:  0.25
+    414 216:  0.25
+    414 326:  0.25
+    414 294:  0.25
+    416 326:  0.5
+    416 294:  0.5
+    243 181:  0.25
+    243 188:  0.25
+    243 183:  0.25
+    243 198:  0.25
+    249 188:  0.5
+    249 198:  0.5
+    410 188:  0.25
+    410 326:  0.25
+    410 198:  0.25
+    410 294:  0.25
+    393 194:  0.5
+    393 396:  0.5
+    395 194:  0.25
+    395 196:  0.25
+    395 396:  0.25
+    395 402:  0.25
+    637 423:  0.25
+    637 536:  0.25
+    637 430:  0.25
+    637 608:  0.25
+****
+    568 518:  0.5
+    568 520:  0.5
+    553 518:  0.5
+    553 522:  0.5
+    569 518:  0.25
+    569 520:  0.25
+    569 522:  0.25
+    569 524:  0.25
+    574 520:  0.5
+    574 524:  0.5
+    578 522:  0.5
+    578 524:  0.5
+    552 518:  0.5
+    552 519:  0.5
+    554 518:  0.25
+    554 522:  0.25
+    554 519:  0.25
+    554 523:  0.25
+    559 522:  0.5
+    559 523:  0.5
+    555 519:  0.5
+    555 523:  0.5
+    589 526:  0.5
+    589 528:  0.5
+    575 526:  0.5
+    575 522:  0.5
+    590 526:  0.25
+    590 528:  0.25
+    590 522:  0.25
+    590 529:  0.25
+    595 528:  0.5
+    595 529:  0.5
+    591 522:  0.5
+    591 529:  0.5
+    576 526:  0.5
+    576 527:  0.5
+    577 526:  0.25
+    577 522:  0.25
+    577 527:  0.25
+    577 524:  0.25
+    579 527:  0.5
+    579 524:  0.5
+    1043 528:  0.5
+    1043 530:  0.5
+    1044 528:  0.25
+    1044 529:  0.25
+    1044 530:  0.25
+    1044 531:  0.25
+    1047 529:  0.5
+    1047 531:  0.5
+    1049 530:  0.5
+    1049 531:  0.5
+    598 522:  0.25
+    598 529:  0.25
+    598 523:  0.25
+    598 532:  0.25
+    602 529:  0.5
+    602 532:  0.5
+    599 523:  0.5
+    599 532:  0.5
+    670 540:  0.5
+    670 646:  0.5
+    542 540:  0.5
+    542 610:  0.5
+    672 540:  0.25
+    672 646:  0.25
+    672 610:  0.25
+    672 647:  0.25
+    666 610:  0.5
+    666 647:  0.5
+    605 519:  0.5
+    605 540:  0.5
+    606 519:  0.25
+    606 523:  0.25
+    606 540:  0.25
+    606 610:  0.25
+    609 523:  0.5
+    609 610:  0.5
+    653 610:  0.5
+    653 648:  0.5
+    668 610:  0.25
+    668 647:  0.25
+    668 648:  0.25
+    668 649:  0.25
+    652 523:  0.25
+    652 532:  0.25
+    652 610:  0.25
+    652 648:  0.25
+    656 532:  0.5
+    656 648:  0.5
+    1032 529:  0.5
+    1032 994:  0.5
+    1048 529:  0.25
+    1048 531:  0.25
+    1048 994:  0.25
+    1048 996:  0.25
+    1052 531:  0.5
+    1052 996:  0.5
+    1041 529:  0.25
+    1041 994:  0.25
+    1041 532:  0.25
+    1041 995:  0.25
+    1042 532:  0.5
+    1042 995:  0.5
+    1130 532:  0.25
+    1130 995:  0.25
+    1130 648:  0.25
+    1130 1108:  0.25
+    632 423:  0.5
+    632 424:  0.5
+    633 423:  0.5
+    633 536:  0.5
+    634 423:  0.25
+    634 424:  0.25
+    634 536:  0.25
+    634 537:  0.25
+    612 424:  0.5
+    612 537:  0.5
+    639 536:  0.5
+    639 537:  0.5
+    611 424:  0.5
+    611 426:  0.5
+    613 424:  0.25
+    613 426:  0.25
+    613 537:  0.25
+    613 539:  0.25
+    618 426:  0.5
+    618 539:  0.5
+    621 537:  0.5
+    621 539:  0.5
+    713 537:  0.5
+    713 543:  0.5
+    714 537:  0.25
+    714 539:  0.25
+    714 543:  0.25
+    714 545:  0.25
+    717 539:  0.5
+    717 545:  0.5
+    719 543:  0.5
+    719 545:  0.5
+    622 537:  0.5
+    622 629:  0.5
+    715 537:  0.25
+    715 543:  0.25
+    715 629:  0.25
+    715 657:  0.25
+    720 543:  0.5
+    720 657:  0.5
+    698 629:  0.5
+    698 657:  0.5
+    640 536:  0.5
+    640 608:  0.5
+    641 536:  0.25
+    641 608:  0.25
+    641 537:  0.25
+    641 629:  0.25
+    645 608:  0.5
+    645 629:  0.5
+    232 39:  0.5
+    232 181:  0.5
+    233 39:  0.25
+    233 41:  0.25
+    233 181:  0.25
+    233 183:  0.25
+    241 181:  0.5
+    241 183:  0.5
+    238 41:  0.5
+    238 183:  0.5
+    236 39:  0.25
+    236 181:  0.25
+    236 185:  0.25
+    236 188:  0.25
+    242 181:  0.5
+    242 188:  0.5
+    246 185:  0.5
+    246 188:  0.5
+    387 193:  0.5
+    387 194:  0.5
+    389 193:  0.25
+    389 194:  0.25
+    389 195:  0.25
+    389 196:  0.25
+    394 194:  0.5
+    394 196:  0.5
+    398 195:  0.5
+    398 196:  0.5
+    240 41:  0.25
+    240 183:  0.25
+    240 186:  0.25
+    240 198:  0.25
+    244 183:  0.5
+    244 198:  0.5
+    248 186:  0.5
+    248 198:  0.5
+    635 423:  0.5
+    635 430:  0.5
+    636 423:  0.25
+    636 430:  0.25
+    636 424:  0.25
+    636 431:  0.25
+    642 430:  0.5
+    642 431:  0.5
+    614 424:  0.5
+    614 431:  0.5
+    615 424:  0.25
+    615 431:  0.25
+    615 426:  0.25
+    615 432:  0.25
+    625 431:  0.5
+    625 432:  0.5
+    619 426:  0.5
+    619 432:  0.5
+    684 431:  0.5
+    684 440:  0.5
+    685 431:  0.25
+    685 440:  0.25
+    685 432:  0.25
+    685 441:  0.25
+    688 432:  0.5
+    688 441:  0.5
+    408 186:  0.25
+    408 198:  0.25
+    408 216:  0.25
+    408 294:  0.25
+    411 198:  0.5
+    411 294:  0.5
+    415 216:  0.5
+    415 294:  0.5
+    391 321:  0.5
+    391 396:  0.5
+    392 321:  0.25
+    392 396:  0.25
+    392 323:  0.25
+    392 402:  0.25
+    397 396:  0.5
+    397 402:  0.5
+    400 323:  0.5
+    400 402:  0.5
+    399 195:  0.25
+    399 323:  0.25
+    399 196:  0.25
+    399 402:  0.25
+    401 196:  0.5
+    401 402:  0.5
+    626 431:  0.5
+    626 629:  0.5
+    686 431:  0.25
+    686 629:  0.25
+    686 440:  0.25
+    686 658:  0.25
+    690 629:  0.5
+    690 658:  0.5
+    643 430:  0.5
+    643 608:  0.5
+    644 430:  0.25
+    644 431:  0.25
+    644 608:  0.25
+    644 629:  0.25
+    700 629:  0.25
+    700 657:  0.25
+    700 658:  0.25
+    700 659:  0.25
+    738 543:  0.5
+    738 673:  0.5
+    739 543:  0.25
+    739 545:  0.25
+    739 673:  0.25
+    739 675:  0.25
+    742 545:  0.5
+    742 675:  0.5
+    740 543:  0.25
+    740 673:  0.25
+    740 657:  0.25
+    740 667:  0.25
+    405 185:  0.25
+    405 188:  0.25
+    405 215:  0.25
+    405 326:  0.25
+    409 188:  0.5
+    409 326:  0.5
+    413 215:  0.5
+    413 326:  0.5
+    414 215:  0.25
+    414 216:  0.25
+    414 326:  0.25
+    414 294:  0.25
+    416 326:  0.5
+    416 294:  0.5
+    243 181:  0.25
+    243 188:  0.25
+    243 183:  0.25
+    243 198:  0.25
+    249 188:  0.5
+    249 198:  0.5
+    410 188:  0.25
+    410 326:  0.25
+    410 198:  0.25
+    410 294:  0.25
+    393 194:  0.5
+    393 396:  0.5
+    395 194:  0.25
+    395 196:  0.25
+    395 396:  0.25
+    395 402:  0.25
+    637 423:  0.25
+    637 536:  0.25
+    637 430:  0.25
+    637 608:  0.25
+
+**** proc 5
+    552 518:  0.5
+    552 519:  0.5
+    554 518:  0.25
+    554 522:  0.25
+    554 519:  0.25
+    554 523:  0.25
+    555 519:  0.5
+    555 523:  0.5
+    559 522:  0.5
+    559 523:  0.5
+    598 522:  0.25
+    598 529:  0.25
+    598 523:  0.25
+    598 532:  0.25
+    599 523:  0.5
+    599 532:  0.5
+    602 529:  0.5
+    602 532:  0.5
+    670 540:  0.5
+    670 646:  0.5
+    542 540:  0.5
+    542 610:  0.5
+    672 540:  0.25
+    672 646:  0.25
+    672 610:  0.25
+    672 647:  0.25
+    677 646:  0.5
+    677 647:  0.5
+    666 610:  0.5
+    666 647:  0.5
+    605 519:  0.5
+    605 540:  0.5
+    606 519:  0.25
+    606 523:  0.25
+    606 540:  0.25
+    606 610:  0.25
+    609 523:  0.5
+    609 610:  0.5
+    653 610:  0.5
+    653 648:  0.5
+    668 610:  0.25
+    668 647:  0.25
+    668 648:  0.25
+    668 649:  0.25
+    762 647:  0.5
+    762 649:  0.5
+    765 648:  0.5
+    765 649:  0.5
+    652 523:  0.25
+    652 532:  0.25
+    652 610:  0.25
+    652 648:  0.25
+    656 532:  0.5
+    656 648:  0.5
+    1041 529:  0.25
+    1041 994:  0.25
+    1041 532:  0.25
+    1041 995:  0.25
+    1042 532:  0.5
+    1042 995:  0.5
+    1131 648:  0.5
+    1131 1108:  0.5
+    1139 648:  0.25
+    1139 649:  0.25
+    1139 1108:  0.25
+    1139 1109:  0.25
+    1142 649:  0.5
+    1142 1109:  0.5
+    1130 532:  0.25
+    1130 995:  0.25
+    1130 648:  0.25
+    1130 1108:  0.25
+    633 423:  0.5
+    633 536:  0.5
+    634 423:  0.25
+    634 424:  0.25
+    634 536:  0.25
+    634 537:  0.25
+    639 536:  0.5
+    639 537:  0.5
+    612 424:  0.5
+    612 537:  0.5
+    613 424:  0.25
+    613 426:  0.25
+    613 537:  0.25
+    613 539:  0.25
+    621 537:  0.5
+    621 539:  0.5
+    618 426:  0.5
+    618 539:  0.5
+    713 537:  0.5
+    713 543:  0.5
+    714 537:  0.25
+    714 539:  0.25
+    714 543:  0.25
+    714 545:  0.25
+    717 539:  0.5
+    717 545:  0.5
+    719 543:  0.5
+    719 545:  0.5
+    622 537:  0.5
+    622 629:  0.5
+    715 537:  0.25
+    715 543:  0.25
+    715 629:  0.25
+    715 657:  0.25
+    720 543:  0.5
+    720 657:  0.5
+    698 629:  0.5
+    698 657:  0.5
+    640 536:  0.5
+    640 608:  0.5
+    641 536:  0.25
+    641 608:  0.25
+    641 537:  0.25
+    641 629:  0.25
+    645 608:  0.5
+    645 629:  0.5
+    635 423:  0.5
+    635 430:  0.5
+    636 423:  0.25
+    636 430:  0.25
+    636 424:  0.25
+    636 431:  0.25
+    642 430:  0.5
+    642 431:  0.5
+    614 424:  0.5
+    614 431:  0.5
+    615 424:  0.25
+    615 431:  0.25
+    615 426:  0.25
+    615 432:  0.25
+    625 431:  0.5
+    625 432:  0.5
+    619 426:  0.5
+    619 432:  0.5
+    684 431:  0.5
+    684 440:  0.5
+    685 431:  0.25
+    685 440:  0.25
+    685 432:  0.25
+    685 441:  0.25
+    693 440:  0.5
+    693 441:  0.5
+    688 432:  0.5
+    688 441:  0.5
+    626 431:  0.5
+    626 629:  0.5
+    686 431:  0.25
+    686 629:  0.25
+    686 440:  0.25
+    686 658:  0.25
+    690 629:  0.5
+    690 658:  0.5
+    694 440:  0.5
+    694 658:  0.5
+    643 430:  0.5
+    643 608:  0.5
+    644 430:  0.25
+    644 431:  0.25
+    644 608:  0.25
+    644 629:  0.25
+    700 629:  0.25
+    700 657:  0.25
+    700 658:  0.25
+    700 659:  0.25
+    705 657:  0.5
+    705 659:  0.5
+    709 658:  0.5
+    709 659:  0.5
+    695 440:  0.25
+    695 441:  0.25
+    695 658:  0.25
+    695 661:  0.25
+    696 441:  0.5
+    696 661:  0.5
+    697 658:  0.5
+    697 661:  0.5
+    710 658:  0.25
+    710 661:  0.25
+    710 659:  0.25
+    710 664:  0.25
+    711 661:  0.5
+    711 664:  0.5
+    712 659:  0.5
+    712 664:  0.5
+    723 657:  0.5
+    723 667:  0.5
+    725 657:  0.25
+    725 667:  0.25
+    725 659:  0.25
+    725 669:  0.25
+    730 667:  0.5
+    730 669:  0.5
+    733 659:  0.5
+    733 669:  0.5
+    729 667:  0.5
+    729 682:  0.5
+    731 667:  0.25
+    731 669:  0.25
+    731 682:  0.25
+    731 737:  0.25
+    736 669:  0.5
+    736 737:  0.5
+    732 682:  0.5
+    732 737:  0.5
+    833 669:  0.5
+    833 763:  0.5
+    834 669:  0.25
+    834 737:  0.25
+    834 763:  0.25
+    834 764:  0.25
+    839 737:  0.5
+    839 764:  0.5
+    835 669:  0.5
+    835 766:  0.5
+    836 669:  0.25
+    836 766:  0.25
+    836 737:  0.25
+    836 767:  0.25
+    840 737:  0.5
+    840 767:  0.5
+    734 659:  0.25
+    734 664:  0.25
+    734 669:  0.25
+    734 737:  0.25
+    735 664:  0.5
+    735 737:  0.5
+    837 669:  0.25
+    837 763:  0.25
+    837 766:  0.25
+    837 768:  0.25
+    738 543:  0.5
+    738 673:  0.5
+    739 543:  0.25
+    739 545:  0.25
+    739 673:  0.25
+    739 675:  0.25
+    742 545:  0.5
+    742 675:  0.5
+    744 673:  0.5
+    744 675:  0.5
+    740 543:  0.25
+    740 673:  0.25
+    740 657:  0.25
+    740 667:  0.25
+    745 673:  0.5
+    745 667:  0.5
+    746 673:  0.25
+    746 667:  0.25
+    746 675:  0.25
+    746 682:  0.25
+    747 675:  0.5
+    747 682:  0.5
+    637 423:  0.25
+    637 536:  0.25
+    637 430:  0.25
+    637 608:  0.25
+****
+    552 518:  0.5
+    552 519:  0.5
+    554 518:  0.25
+    554 522:  0.25
+    554 519:  0.25
+    554 523:  0.25
+    555 519:  0.5
+    555 523:  0.5
+    559 522:  0.5
+    559 523:  0.5
+    598 522:  0.25
+    598 529:  0.25
+    598 523:  0.25
+    598 532:  0.25
+    599 523:  0.5
+    599 532:  0.5
+    602 529:  0.5
+    602 532:  0.5
+    670 540:  0.5
+    670 646:  0.5
+    542 540:  0.5
+    542 610:  0.5
+    672 540:  0.25
+    672 646:  0.25
+    672 610:  0.25
+    672 647:  0.25
+    677 646:  0.5
+    677 647:  0.5
+    666 610:  0.5
+    666 647:  0.5
+    605 519:  0.5
+    605 540:  0.5
+    606 519:  0.25
+    606 523:  0.25
+    606 540:  0.25
+    606 610:  0.25
+    609 523:  0.5
+    609 610:  0.5
+    653 610:  0.5
+    653 648:  0.5
+    668 610:  0.25
+    668 647:  0.25
+    668 648:  0.25
+    668 649:  0.25
+    762 647:  0.5
+    762 649:  0.5
+    765 648:  0.5
+    765 649:  0.5
+    652 523:  0.25
+    652 532:  0.25
+    652 610:  0.25
+    652 648:  0.25
+    656 532:  0.5
+    656 648:  0.5
+    1041 529:  0.25
+    1041 994:  0.25
+    1041 532:  0.25
+    1041 995:  0.25
+    1042 532:  0.5
+    1042 995:  0.5
+    1131 648:  0.5
+    1131 1108:  0.5
+    1139 648:  0.25
+    1139 649:  0.25
+    1139 1108:  0.25
+    1139 1109:  0.25
+    1142 649:  0.5
+    1142 1109:  0.5
+    1130 532:  0.25
+    1130 995:  0.25
+    1130 648:  0.25
+    1130 1108:  0.25
+    633 423:  0.5
+    633 536:  0.5
+    634 423:  0.25
+    634 424:  0.25
+    634 536:  0.25
+    634 537:  0.25
+    639 536:  0.5
+    639 537:  0.5
+    612 424:  0.5
+    612 537:  0.5
+    613 424:  0.25
+    613 426:  0.25
+    613 537:  0.25
+    613 539:  0.25
+    621 537:  0.5
+    621 539:  0.5
+    618 426:  0.5
+    618 539:  0.5
+    713 537:  0.5
+    713 543:  0.5
+    714 537:  0.25
+    714 539:  0.25
+    714 543:  0.25
+    714 545:  0.25
+    717 539:  0.5
+    717 545:  0.5
+    719 543:  0.5
+    719 545:  0.5
+    622 537:  0.5
+    622 629:  0.5
+    715 537:  0.25
+    715 543:  0.25
+    715 629:  0.25
+    715 657:  0.25
+    720 543:  0.5
+    720 657:  0.5
+    698 629:  0.5
+    698 657:  0.5
+    640 536:  0.5
+    640 608:  0.5
+    641 536:  0.25
+    641 608:  0.25
+    641 537:  0.25
+    641 629:  0.25
+    645 608:  0.5
+    645 629:  0.5
+    635 423:  0.5
+    635 430:  0.5
+    636 423:  0.25
+    636 430:  0.25
+    636 424:  0.25
+    636 431:  0.25
+    642 430:  0.5
+    642 431:  0.5
+    614 424:  0.5
+    614 431:  0.5
+    615 424:  0.25
+    615 431:  0.25
+    615 426:  0.25
+    615 432:  0.25
+    625 431:  0.5
+    625 432:  0.5
+    619 426:  0.5
+    619 432:  0.5
+    684 431:  0.5
+    684 440:  0.5
+    685 431:  0.25
+    685 440:  0.25
+    685 432:  0.25
+    685 441:  0.25
+    693 440:  0.5
+    693 441:  0.5
+    688 432:  0.5
+    688 441:  0.5
+    626 431:  0.5
+    626 629:  0.5
+    686 431:  0.25
+    686 629:  0.25
+    686 440:  0.25
+    686 658:  0.25
+    690 629:  0.5
+    690 658:  0.5
+    694 440:  0.5
+    694 658:  0.5
+    643 430:  0.5
+    643 608:  0.5
+    644 430:  0.25
+    644 431:  0.25
+    644 608:  0.25
+    644 629:  0.25
+    700 629:  0.25
+    700 657:  0.25
+    700 658:  0.25
+    700 659:  0.25
+    705 657:  0.5
+    705 659:  0.5
+    709 658:  0.5
+    709 659:  0.5
+    695 440:  0.25
+    695 441:  0.25
+    695 658:  0.25
+    695 661:  0.25
+    696 441:  0.5
+    696 661:  0.5
+    697 658:  0.5
+    697 661:  0.5
+    710 658:  0.25
+    710 661:  0.25
+    710 659:  0.25
+    710 664:  0.25
+    711 661:  0.5
+    711 664:  0.5
+    712 659:  0.5
+    712 664:  0.5
+    723 657:  0.5
+    723 667:  0.5
+    725 657:  0.25
+    725 667:  0.25
+    725 659:  0.25
+    725 669:  0.25
+    730 667:  0.5
+    730 669:  0.5
+    733 659:  0.5
+    733 669:  0.5
+    729 667:  0.5
+    729 682:  0.5
+    731 667:  0.25
+    731 669:  0.25
+    731 682:  0.25
+    731 737:  0.25
+    736 669:  0.5
+    736 737:  0.5
+    732 682:  0.5
+    732 737:  0.5
+    833 669:  0.5
+    833 763:  0.5
+    834 669:  0.25
+    834 737:  0.25
+    834 763:  0.25
+    834 764:  0.25
+    839 737:  0.5
+    839 764:  0.5
+    835 669:  0.5
+    835 766:  0.5
+    836 669:  0.25
+    836 766:  0.25
+    836 737:  0.25
+    836 767:  0.25
+    840 737:  0.5
+    840 767:  0.5
+    734 659:  0.25
+    734 664:  0.25
+    734 669:  0.25
+    734 737:  0.25
+    735 664:  0.5
+    735 737:  0.5
+    837 669:  0.25
+    837 763:  0.25
+    837 766:  0.25
+    837 768:  0.25
+    738 543:  0.5
+    738 673:  0.5
+    739 543:  0.25
+    739 545:  0.25
+    739 673:  0.25
+    739 675:  0.25
+    742 545:  0.5
+    742 675:  0.5
+    744 673:  0.5
+    744 675:  0.5
+    740 543:  0.25
+    740 673:  0.25
+    740 657:  0.25
+    740 667:  0.25
+    745 673:  0.5
+    745 667:  0.5
+    746 673:  0.25
+    746 667:  0.25
+    746 675:  0.25
+    746 682:  0.25
+    747 675:  0.5
+    747 682:  0.5
+    637 423:  0.25
+    637 536:  0.25
+    637 430:  0.25
+    637 608:  0.25
+
+**** proc 6
+    542 540:  0.5
+    542 610:  0.5
+    672 540:  0.25
+    672 646:  0.25
+    672 610:  0.25
+    672 647:  0.25
+    666 610:  0.5
+    666 647:  0.5
+    677 646:  0.5
+    677 647:  0.5
+    653 610:  0.5
+    653 648:  0.5
+    668 610:  0.25
+    668 647:  0.25
+    668 648:  0.25
+    668 649:  0.25
+    762 647:  0.5
+    762 649:  0.5
+    765 648:  0.5
+    765 649:  0.5
+    609 523:  0.5
+    609 610:  0.5
+    652 523:  0.25
+    652 532:  0.25
+    652 610:  0.25
+    652 648:  0.25
+    656 532:  0.5
+    656 648:  0.5
+    782 748:  0.5
+    782 750:  0.5
+    816 748:  0.5
+    816 752:  0.5
+    817 748:  0.25
+    817 750:  0.25
+    817 752:  0.25
+    817 754:  0.25
+    820 750:  0.5
+    820 754:  0.5
+    823 752:  0.5
+    823 754:  0.5
+    793 750:  0.5
+    793 751:  0.5
+    826 750:  0.25
+    826 754:  0.25
+    826 751:  0.25
+    826 755:  0.25
+    905 754:  0.5
+    905 755:  0.5
+    829 751:  0.5
+    829 755:  0.5
+    790 748:  0.5
+    790 749:  0.5
+    791 748:  0.25
+    791 749:  0.25
+    791 750:  0.25
+    791 751:  0.25
+    792 749:  0.5
+    792 751:  0.5
+    802 750:  0.5
+    802 758:  0.5
+    827 750:  0.25
+    827 758:  0.25
+    827 754:  0.25
+    827 761:  0.25
+    831 758:  0.5
+    831 761:  0.5
+    906 754:  0.5
+    906 761:  0.5
+    818 756:  0.5
+    818 759:  0.5
+    783 756:  0.5
+    783 750:  0.5
+    819 756:  0.25
+    819 759:  0.25
+    819 750:  0.25
+    819 754:  0.25
+    825 759:  0.5
+    825 754:  0.5
+    800 756:  0.5
+    800 757:  0.5
+    801 756:  0.25
+    801 750:  0.25
+    801 757:  0.25
+    801 758:  0.25
+    803 757:  0.5
+    803 758:  0.5
+    915 751:  0.5
+    915 873:  0.5
+    921 751:  0.25
+    921 755:  0.25
+    921 873:  0.25
+    921 875:  0.25
+    1036 755:  0.5
+    1036 875:  0.5
+    913 749:  0.5
+    913 872:  0.5
+    914 749:  0.25
+    914 872:  0.25
+    914 751:  0.25
+    914 873:  0.25
+    1001 758:  0.5
+    1001 994:  0.5
+    1003 758:  0.25
+    1003 994:  0.25
+    1003 761:  0.25
+    1003 1000:  0.25
+    1011 761:  0.5
+    1011 1000:  0.5
+    1033 757:  0.5
+    1033 998:  0.5
+    1034 757:  0.25
+    1034 758:  0.25
+    1034 998:  0.25
+    1034 994:  0.25
+    1131 648:  0.5
+    1131 1108:  0.5
+    1139 648:  0.25
+    1139 649:  0.25
+    1139 1108:  0.25
+    1139 1109:  0.25
+    1142 649:  0.5
+    1142 1109:  0.5
+    1130 532:  0.25
+    1130 995:  0.25
+    1130 648:  0.25
+    1130 1108:  0.25
+    740 543:  0.25
+    740 673:  0.25
+    740 657:  0.25
+    740 667:  0.25
+    745 673:  0.5
+    745 667:  0.5
+    723 657:  0.5
+    723 667:  0.5
+    746 673:  0.25
+    746 667:  0.25
+    746 675:  0.25
+    746 682:  0.25
+    729 667:  0.5
+    729 682:  0.5
+    747 675:  0.5
+    747 682:  0.5
+    700 629:  0.25
+    700 657:  0.25
+    700 658:  0.25
+    700 659:  0.25
+    705 657:  0.5
+    705 659:  0.5
+    709 658:  0.5
+    709 659:  0.5
+    710 658:  0.25
+    710 661:  0.25
+    710 659:  0.25
+    710 664:  0.25
+    712 659:  0.5
+    712 664:  0.5
+    711 661:  0.5
+    711 664:  0.5
+    725 657:  0.25
+    725 667:  0.25
+    725 659:  0.25
+    725 669:  0.25
+    730 667:  0.5
+    730 669:  0.5
+    733 659:  0.5
+    733 669:  0.5
+    731 667:  0.25
+    731 669:  0.25
+    731 682:  0.25
+    731 737:  0.25
+    736 669:  0.5
+    736 737:  0.5
+    732 682:  0.5
+    732 737:  0.5
+    833 669:  0.5
+    833 763:  0.5
+    834 669:  0.25
+    834 737:  0.25
+    834 763:  0.25
+    834 764:  0.25
+    839 737:  0.5
+    839 764:  0.5
+    842 763:  0.5
+    842 764:  0.5
+    835 669:  0.5
+    835 766:  0.5
+    836 669:  0.25
+    836 766:  0.25
+    836 737:  0.25
+    836 767:  0.25
+    846 766:  0.5
+    846 767:  0.5
+    840 737:  0.5
+    840 767:  0.5
+    734 659:  0.25
+    734 664:  0.25
+    734 669:  0.25
+    734 737:  0.25
+    735 664:  0.5
+    735 737:  0.5
+    837 669:  0.25
+    837 763:  0.25
+    837 766:  0.25
+    837 768:  0.25
+    843 763:  0.5
+    843 768:  0.5
+    847 766:  0.5
+    847 768:  0.5
+    960 809:  0.5
+    960 918:  0.5
+    932 809:  0.5
+    932 811:  0.5
+    961 809:  0.25
+    961 918:  0.25
+    961 811:  0.25
+    961 919:  0.25
+    967 811:  0.5
+    967 919:  0.5
+    925 808:  0.5
+    925 809:  0.5
+    926 808:  0.5
+    926 810:  0.5
+    927 808:  0.25
+    927 809:  0.25
+    927 810:  0.25
+    927 811:  0.25
+    935 810:  0.5
+    935 811:  0.5
+    852 812:  0.5
+    852 813:  0.5
+    853 812:  0.5
+    853 814:  0.5
+    854 812:  0.25
+    854 813:  0.25
+    854 814:  0.25
+    854 815:  0.25
+    859 813:  0.5
+    859 815:  0.5
+    862 814:  0.5
+    862 815:  0.5
+    860 813:  0.5
+    860 821:  0.5
+    861 813:  0.25
+    861 815:  0.25
+    861 821:  0.25
+    861 822:  0.25
+    865 815:  0.5
+    865 822:  0.5
+    870 821:  0.5
+    870 822:  0.5
+    863 814:  0.5
+    863 824:  0.5
+    864 814:  0.25
+    864 824:  0.25
+    864 815:  0.25
+    864 822:  0.25
+    871 824:  0.5
+    871 822:  0.5
+    928 808:  0.5
+    928 828:  0.5
+    929 808:  0.25
+    929 828:  0.25
+    929 809:  0.25
+    929 830:  0.25
+    939 828:  0.5
+    939 830:  0.5
+    933 809:  0.5
+    933 830:  0.5
+    930 808:  0.25
+    930 810:  0.25
+    930 828:  0.25
+    930 832:  0.25
+    936 810:  0.5
+    936 832:  0.5
+    940 828:  0.5
+    940 832:  0.5
+    945 828:  0.5
+    945 907:  0.5
+    946 828:  0.25
+    946 907:  0.25
+    946 830:  0.25
+    946 908:  0.25
+    949 830:  0.5
+    949 908:  0.5
+    947 828:  0.25
+    947 832:  0.25
+    947 907:  0.25
+    947 909:  0.25
+    951 832:  0.5
+    951 909:  0.5
+    962 809:  0.25
+    962 830:  0.25
+    962 918:  0.25
+    962 922:  0.25
+    970 830:  0.5
+    970 922:  0.5
+    1074 830:  0.25
+    1074 908:  0.25
+    1074 922:  0.25
+    1074 1037:  0.25
+    1062 810:  0.5
+    1062 1002:  0.5
+    1063 810:  0.25
+    1063 811:  0.25
+    1063 1002:  0.25
+    1063 1008:  0.25
+    1066 811:  0.5
+    1066 1008:  0.5
+    1064 810:  0.25
+    1064 1002:  0.25
+    1064 832:  0.25
+    1064 1004:  0.25
+    1058 832:  0.5
+    1058 1004:  0.5
+    1060 832:  0.25
+    1060 1004:  0.25
+    1060 909:  0.25
+    1060 1012:  0.25
+    1163 811:  0.25
+    1163 919:  0.25
+    1163 1008:  0.25
+    1163 1118:  0.25
+    848 766:  0.25
+    848 767:  0.25
+    848 768:  0.25
+    848 851:  0.25
+    849 767:  0.5
+    849 851:  0.5
+    850 768:  0.5
+    850 851:  0.5
+****
+    542 540:  0.5
+    542 610:  0.5
+    672 540:  0.25
+    672 646:  0.25
+    672 610:  0.25
+    672 647:  0.25
+    666 610:  0.5
+    666 647:  0.5
+    677 646:  0.5
+    677 647:  0.5
+    653 610:  0.5
+    653 648:  0.5
+    668 610:  0.25
+    668 647:  0.25
+    668 648:  0.25
+    668 649:  0.25
+    762 647:  0.5
+    762 649:  0.5
+    765 648:  0.5
+    765 649:  0.5
+    609 523:  0.5
+    609 610:  0.5
+    652 523:  0.25
+    652 532:  0.25
+    652 610:  0.25
+    652 648:  0.25
+    656 532:  0.5
+    656 648:  0.5
+    782 748:  0.5
+    782 750:  0.5
+    816 748:  0.5
+    816 752:  0.5
+    817 748:  0.25
+    817 750:  0.25
+    817 752:  0.25
+    817 754:  0.25
+    820 750:  0.5
+    820 754:  0.5
+    823 752:  0.5
+    823 754:  0.5
+    793 750:  0.5
+    793 751:  0.5
+    826 750:  0.25
+    826 754:  0.25
+    826 751:  0.25
+    826 755:  0.25
+    905 754:  0.5
+    905 755:  0.5
+    829 751:  0.5
+    829 755:  0.5
+    790 748:  0.5
+    790 749:  0.5
+    791 748:  0.25
+    791 749:  0.25
+    791 750:  0.25
+    791 751:  0.25
+    792 749:  0.5
+    792 751:  0.5
+    802 750:  0.5
+    802 758:  0.5
+    827 750:  0.25
+    827 758:  0.25
+    827 754:  0.25
+    827 761:  0.25
+    831 758:  0.5
+    831 761:  0.5
+    906 754:  0.5
+    906 761:  0.5
+    818 756:  0.5
+    818 759:  0.5
+    783 756:  0.5
+    783 750:  0.5
+    819 756:  0.25
+    819 759:  0.25
+    819 750:  0.25
+    819 754:  0.25
+    825 759:  0.5
+    825 754:  0.5
+    800 756:  0.5
+    800 757:  0.5
+    801 756:  0.25
+    801 750:  0.25
+    801 757:  0.25
+    801 758:  0.25
+    803 757:  0.5
+    803 758:  0.5
+    915 751:  0.5
+    915 873:  0.5
+    921 751:  0.25
+    921 755:  0.25
+    921 873:  0.25
+    921 875:  0.25
+    1036 755:  0.5
+    1036 875:  0.5
+    913 749:  0.5
+    913 872:  0.5
+    914 749:  0.25
+    914 872:  0.25
+    914 751:  0.25
+    914 873:  0.25
+    1001 758:  0.5
+    1001 994:  0.5
+    1003 758:  0.25
+    1003 994:  0.25
+    1003 761:  0.25
+    1003 1000:  0.25
+    1011 761:  0.5
+    1011 1000:  0.5
+    1033 757:  0.5
+    1033 998:  0.5
+    1034 757:  0.25
+    1034 758:  0.25
+    1034 998:  0.25
+    1034 994:  0.25
+    1131 648:  0.5
+    1131 1108:  0.5
+    1139 648:  0.25
+    1139 649:  0.25
+    1139 1108:  0.25
+    1139 1109:  0.25
+    1142 649:  0.5
+    1142 1109:  0.5
+    1130 532:  0.25
+    1130 995:  0.25
+    1130 648:  0.25
+    1130 1108:  0.25
+    740 543:  0.25
+    740 673:  0.25
+    740 657:  0.25
+    740 667:  0.25
+    745 673:  0.5
+    745 667:  0.5
+    723 657:  0.5
+    723 667:  0.5
+    746 673:  0.25
+    746 667:  0.25
+    746 675:  0.25
+    746 682:  0.25
+    729 667:  0.5
+    729 682:  0.5
+    747 675:  0.5
+    747 682:  0.5
+    700 629:  0.25
+    700 657:  0.25
+    700 658:  0.25
+    700 659:  0.25
+    705 657:  0.5
+    705 659:  0.5
+    709 658:  0.5
+    709 659:  0.5
+    710 658:  0.25
+    710 661:  0.25
+    710 659:  0.25
+    710 664:  0.25
+    712 659:  0.5
+    712 664:  0.5
+    711 661:  0.5
+    711 664:  0.5
+    725 657:  0.25
+    725 667:  0.25
+    725 659:  0.25
+    725 669:  0.25
+    730 667:  0.5
+    730 669:  0.5
+    733 659:  0.5
+    733 669:  0.5
+    731 667:  0.25
+    731 669:  0.25
+    731 682:  0.25
+    731 737:  0.25
+    736 669:  0.5
+    736 737:  0.5
+    732 682:  0.5
+    732 737:  0.5
+    833 669:  0.5
+    833 763:  0.5
+    834 669:  0.25
+    834 737:  0.25
+    834 763:  0.25
+    834 764:  0.25
+    839 737:  0.5
+    839 764:  0.5
+    842 763:  0.5
+    842 764:  0.5
+    835 669:  0.5
+    835 766:  0.5
+    836 669:  0.25
+    836 766:  0.25
+    836 737:  0.25
+    836 767:  0.25
+    846 766:  0.5
+    846 767:  0.5
+    840 737:  0.5
+    840 767:  0.5
+    734 659:  0.25
+    734 664:  0.25
+    734 669:  0.25
+    734 737:  0.25
+    735 664:  0.5
+    735 737:  0.5
+    837 669:  0.25
+    837 763:  0.25
+    837 766:  0.25
+    837 768:  0.25
+    843 763:  0.5
+    843 768:  0.5
+    847 766:  0.5
+    847 768:  0.5
+    960 809:  0.5
+    960 918:  0.5
+    932 809:  0.5
+    932 811:  0.5
+    961 809:  0.25
+    961 918:  0.25
+    961 811:  0.25
+    961 919:  0.25
+    967 811:  0.5
+    967 919:  0.5
+    925 808:  0.5
+    925 809:  0.5
+    926 808:  0.5
+    926 810:  0.5
+    927 808:  0.25
+    927 809:  0.25
+    927 810:  0.25
+    927 811:  0.25
+    935 810:  0.5
+    935 811:  0.5
+    852 812:  0.5
+    852 813:  0.5
+    853 812:  0.5
+    853 814:  0.5
+    854 812:  0.25
+    854 813:  0.25
+    854 814:  0.25
+    854 815:  0.25
+    859 813:  0.5
+    859 815:  0.5
+    862 814:  0.5
+    862 815:  0.5
+    860 813:  0.5
+    860 821:  0.5
+    861 813:  0.25
+    861 815:  0.25
+    861 821:  0.25
+    861 822:  0.25
+    865 815:  0.5
+    865 822:  0.5
+    870 821:  0.5
+    870 822:  0.5
+    863 814:  0.5
+    863 824:  0.5
+    864 814:  0.25
+    864 824:  0.25
+    864 815:  0.25
+    864 822:  0.25
+    871 824:  0.5
+    871 822:  0.5
+    928 808:  0.5
+    928 828:  0.5
+    929 808:  0.25
+    929 828:  0.25
+    929 809:  0.25
+    929 830:  0.25
+    939 828:  0.5
+    939 830:  0.5
+    933 809:  0.5
+    933 830:  0.5
+    930 808:  0.25
+    930 810:  0.25
+    930 828:  0.25
+    930 832:  0.25
+    936 810:  0.5
+    936 832:  0.5
+    940 828:  0.5
+    940 832:  0.5
+    945 828:  0.5
+    945 907:  0.5
+    946 828:  0.25
+    946 907:  0.25
+    946 830:  0.25
+    946 908:  0.25
+    949 830:  0.5
+    949 908:  0.5
+    947 828:  0.25
+    947 832:  0.25
+    947 907:  0.25
+    947 909:  0.25
+    951 832:  0.5
+    951 909:  0.5
+    962 809:  0.25
+    962 830:  0.25
+    962 918:  0.25
+    962 922:  0.25
+    970 830:  0.5
+    970 922:  0.5
+    1074 830:  0.25
+    1074 908:  0.25
+    1074 922:  0.25
+    1074 1037:  0.25
+    1062 810:  0.5
+    1062 1002:  0.5
+    1063 810:  0.25
+    1063 811:  0.25
+    1063 1002:  0.25
+    1063 1008:  0.25
+    1066 811:  0.5
+    1066 1008:  0.5
+    1064 810:  0.25
+    1064 1002:  0.25
+    1064 832:  0.25
+    1064 1004:  0.25
+    1058 832:  0.5
+    1058 1004:  0.5
+    1060 832:  0.25
+    1060 1004:  0.25
+    1060 909:  0.25
+    1060 1012:  0.25
+    1163 811:  0.25
+    1163 919:  0.25
+    1163 1008:  0.25
+    1163 1118:  0.25
+    848 766:  0.25
+    848 767:  0.25
+    848 768:  0.25
+    848 851:  0.25
+    849 767:  0.5
+    849 851:  0.5
+    850 768:  0.5
+    850 851:  0.5
+
+**** proc 7
+    782 748:  0.5
+    782 750:  0.5
+    817 748:  0.25
+    817 750:  0.25
+    817 752:  0.25
+    817 754:  0.25
+    820 750:  0.5
+    820 754:  0.5
+    823 752:  0.5
+    823 754:  0.5
+    793 750:  0.5
+    793 751:  0.5
+    826 750:  0.25
+    826 754:  0.25
+    826 751:  0.25
+    826 755:  0.25
+    905 754:  0.5
+    905 755:  0.5
+    829 751:  0.5
+    829 755:  0.5
+    790 748:  0.5
+    790 749:  0.5
+    791 748:  0.25
+    791 749:  0.25
+    791 750:  0.25
+    791 751:  0.25
+    792 749:  0.5
+    792 751:  0.5
+    802 750:  0.5
+    802 758:  0.5
+    827 750:  0.25
+    827 758:  0.25
+    827 754:  0.25
+    827 761:  0.25
+    831 758:  0.5
+    831 761:  0.5
+    906 754:  0.5
+    906 761:  0.5
+    783 756:  0.5
+    783 750:  0.5
+    819 756:  0.25
+    819 759:  0.25
+    819 750:  0.25
+    819 754:  0.25
+    825 759:  0.5
+    825 754:  0.5
+    915 751:  0.5
+    915 873:  0.5
+    921 751:  0.25
+    921 755:  0.25
+    921 873:  0.25
+    921 875:  0.25
+    1036 755:  0.5
+    1036 875:  0.5
+    923 873:  0.5
+    923 875:  0.5
+    913 749:  0.5
+    913 872:  0.5
+    914 749:  0.25
+    914 872:  0.25
+    914 751:  0.25
+    914 873:  0.25
+    890 872:  0.5
+    890 873:  0.5
+    893 873:  0.5
+    893 877:  0.5
+    1013 873:  0.25
+    1013 875:  0.25
+    1013 877:  0.25
+    1013 879:  0.25
+    1020 875:  0.5
+    1020 879:  0.5
+    1015 877:  0.5
+    1015 879:  0.5
+    889 872:  0.5
+    889 876:  0.5
+    891 872:  0.25
+    891 876:  0.25
+    891 873:  0.25
+    891 877:  0.25
+    892 876:  0.5
+    892 877:  0.5
+    1001 758:  0.5
+    1001 994:  0.5
+    1003 758:  0.25
+    1003 994:  0.25
+    1003 761:  0.25
+    1003 1000:  0.25
+    1011 761:  0.5
+    1011 1000:  0.5
+    1062 810:  0.5
+    1062 1002:  0.5
+    936 810:  0.5
+    936 832:  0.5
+    1064 810:  0.25
+    1064 1002:  0.25
+    1064 832:  0.25
+    1064 1004:  0.25
+    1058 832:  0.5
+    1058 1004:  0.5
+    951 832:  0.5
+    951 909:  0.5
+    1060 832:  0.25
+    1060 1004:  0.25
+    1060 909:  0.25
+    1060 1012:  0.25
+    1159 909:  0.5
+    1159 1012:  0.5
+    483 454:  0.5
+    483 459:  0.5
+    484 454:  0.25
+    484 456:  0.25
+    484 459:  0.25
+    484 461:  0.25
+    492 459:  0.5
+    492 461:  0.5
+    488 456:  0.5
+    488 461:  0.5
+    499 456:  0.25
+    499 434:  0.25
+    499 461:  0.25
+    499 443:  0.25
+    506 461:  0.5
+    506 443:  0.5
+    503 434:  0.5
+    503 443:  0.5
+    501 433:  0.5
+    501 442:  0.5
+    502 433:  0.25
+    502 442:  0.25
+    502 434:  0.25
+    502 443:  0.25
+    507 442:  0.5
+    507 443:  0.5
+    925 808:  0.5
+    925 809:  0.5
+    926 808:  0.5
+    926 810:  0.5
+    927 808:  0.25
+    927 809:  0.25
+    927 810:  0.25
+    927 811:  0.25
+    932 809:  0.5
+    932 811:  0.5
+    935 810:  0.5
+    935 811:  0.5
+    478 453:  0.5
+    478 468:  0.5
+    480 453:  0.25
+    480 455:  0.25
+    480 468:  0.25
+    480 469:  0.25
+    490 468:  0.5
+    490 469:  0.5
+    486 455:  0.5
+    486 469:  0.5
+    496 455:  0.25
+    496 433:  0.25
+    496 469:  0.25
+    496 442:  0.25
+    504 469:  0.5
+    504 442:  0.5
+    489 468:  0.5
+    489 459:  0.5
+    491 468:  0.25
+    491 459:  0.25
+    491 469:  0.25
+    491 461:  0.25
+    493 469:  0.5
+    493 461:  0.5
+    505 469:  0.25
+    505 461:  0.25
+    505 442:  0.25
+    505 443:  0.25
+    975 894:  0.5
+    975 895:  0.5
+    976 894:  0.5
+    976 897:  0.5
+    977 894:  0.25
+    977 895:  0.25
+    977 897:  0.25
+    977 898:  0.25
+    982 895:  0.5
+    982 898:  0.5
+    985 897:  0.5
+    985 898:  0.5
+    978 894:  0.5
+    978 900:  0.5
+    979 894:  0.25
+    979 900:  0.25
+    979 895:  0.25
+    979 901:  0.25
+    989 900:  0.5
+    989 901:  0.5
+    983 895:  0.5
+    983 901:  0.5
+    984 895:  0.25
+    984 898:  0.25
+    984 901:  0.25
+    984 903:  0.25
+    988 898:  0.5
+    988 903:  0.5
+    992 901:  0.5
+    992 903:  0.5
+    928 808:  0.5
+    928 828:  0.5
+    929 808:  0.25
+    929 828:  0.25
+    929 809:  0.25
+    929 830:  0.25
+    939 828:  0.5
+    939 830:  0.5
+    933 809:  0.5
+    933 830:  0.5
+    930 808:  0.25
+    930 810:  0.25
+    930 828:  0.25
+    930 832:  0.25
+    940 828:  0.5
+    940 832:  0.5
+    945 828:  0.5
+    945 907:  0.5
+    946 828:  0.25
+    946 907:  0.25
+    946 830:  0.25
+    946 908:  0.25
+    954 907:  0.5
+    954 908:  0.5
+    949 830:  0.5
+    949 908:  0.5
+    947 828:  0.25
+    947 832:  0.25
+    947 907:  0.25
+    947 909:  0.25
+    955 907:  0.5
+    955 909:  0.5
+    960 809:  0.5
+    960 918:  0.5
+    961 809:  0.25
+    961 918:  0.25
+    961 811:  0.25
+    961 919:  0.25
+    964 918:  0.5
+    964 919:  0.5
+    967 811:  0.5
+    967 919:  0.5
+    980 894:  0.25
+    980 897:  0.25
+    980 900:  0.25
+    980 920:  0.25
+    986 897:  0.5
+    986 920:  0.5
+    990 900:  0.5
+    990 920:  0.5
+    962 809:  0.25
+    962 830:  0.25
+    962 918:  0.25
+    962 922:  0.25
+    970 830:  0.5
+    970 922:  0.5
+    965 918:  0.5
+    965 922:  0.5
+    966 918:  0.25
+    966 919:  0.25
+    966 922:  0.25
+    966 974:  0.25
+    969 919:  0.5
+    969 974:  0.5
+    972 922:  0.5
+    972 974:  0.5
+    1074 830:  0.25
+    1074 908:  0.25
+    1074 922:  0.25
+    1074 1037:  0.25
+    1080 908:  0.5
+    1080 1037:  0.5
+    1076 922:  0.5
+    1076 1037:  0.5
+    1077 922:  0.25
+    1077 974:  0.25
+    1077 1037:  0.25
+    1077 1038:  0.25
+    1079 974:  0.5
+    1079 1038:  0.5
+    1165 919:  0.5
+    1165 1118:  0.5
+    1166 919:  0.25
+    1166 1118:  0.25
+    1166 974:  0.25
+    1166 1120:  0.25
+    1171 974:  0.5
+    1171 1120:  0.5
+    1174 974:  0.25
+    1174 1120:  0.25
+    1174 1038:  0.25
+    1174 1125:  0.25
+    991 900:  0.25
+    991 901:  0.25
+    991 920:  0.25
+    991 903:  0.25
+    993 920:  0.5
+    993 903:  0.5
+    1063 810:  0.25
+    1063 811:  0.25
+    1063 1002:  0.25
+    1063 1008:  0.25
+    1066 811:  0.5
+    1066 1008:  0.5
+    1163 811:  0.25
+    1163 919:  0.25
+    1163 1008:  0.25
+    1163 1118:  0.25
+    987 897:  0.25
+    987 920:  0.25
+    987 898:  0.25
+    987 903:  0.25
+    1084 943:  0.5
+    1084 944:  0.5
+    1085 943:  0.5
+    1085 1059:  0.5
+    1086 943:  0.25
+    1086 944:  0.25
+    1086 1059:  0.25
+    1086 1072:  0.25
+    1091 944:  0.5
+    1091 1072:  0.5
+    1087 943:  0.5
+    1087 952:  0.5
+    1089 943:  0.25
+    1089 1059:  0.25
+    1089 952:  0.25
+    1089 1061:  0.25
+    1099 952:  0.5
+    1099 1061:  0.5
+    1098 952:  0.5
+    1098 953:  0.5
+    1100 952:  0.25
+    1100 953:  0.25
+    1100 1061:  0.25
+    1100 1103:  0.25
+    1101 953:  0.5
+    1101 1103:  0.5
+    1088 943:  0.25
+    1088 952:  0.25
+    1088 944:  0.25
+    1088 953:  0.25
+    1092 944:  0.5
+    1092 953:  0.5
+    1093 944:  0.25
+    1093 1072:  0.25
+    1093 953:  0.25
+    1093 1103:  0.25
+****
+    782 748:  0.5
+    782 750:  0.5
+    817 748:  0.25
+    817 750:  0.25
+    817 752:  0.25
+    817 754:  0.25
+    820 750:  0.5
+    820 754:  0.5
+    823 752:  0.5
+    823 754:  0.5
+    793 750:  0.5
+    793 751:  0.5
+    826 750:  0.25
+    826 754:  0.25
+    826 751:  0.25
+    826 755:  0.25
+    905 754:  0.5
+    905 755:  0.5
+    829 751:  0.5
+    829 755:  0.5
+    790 748:  0.5
+    790 749:  0.5
+    791 748:  0.25
+    791 749:  0.25
+    791 750:  0.25
+    791 751:  0.25
+    792 749:  0.5
+    792 751:  0.5
+    802 750:  0.5
+    802 758:  0.5
+    827 750:  0.25
+    827 758:  0.25
+    827 754:  0.25
+    827 761:  0.25
+    831 758:  0.5
+    831 761:  0.5
+    906 754:  0.5
+    906 761:  0.5
+    783 756:  0.5
+    783 750:  0.5
+    819 756:  0.25
+    819 759:  0.25
+    819 750:  0.25
+    819 754:  0.25
+    825 759:  0.5
+    825 754:  0.5
+    915 751:  0.5
+    915 873:  0.5
+    921 751:  0.25
+    921 755:  0.25
+    921 873:  0.25
+    921 875:  0.25
+    1036 755:  0.5
+    1036 875:  0.5
+    923 873:  0.5
+    923 875:  0.5
+    913 749:  0.5
+    913 872:  0.5
+    914 749:  0.25
+    914 872:  0.25
+    914 751:  0.25
+    914 873:  0.25
+    890 872:  0.5
+    890 873:  0.5
+    893 873:  0.5
+    893 877:  0.5
+    1013 873:  0.25
+    1013 875:  0.25
+    1013 877:  0.25
+    1013 879:  0.25
+    1020 875:  0.5
+    1020 879:  0.5
+    1015 877:  0.5
+    1015 879:  0.5
+    889 872:  0.5
+    889 876:  0.5
+    891 872:  0.25
+    891 876:  0.25
+    891 873:  0.25
+    891 877:  0.25
+    892 876:  0.5
+    892 877:  0.5
+    1001 758:  0.5
+    1001 994:  0.5
+    1003 758:  0.25
+    1003 994:  0.25
+    1003 761:  0.25
+    1003 1000:  0.25
+    1011 761:  0.5
+    1011 1000:  0.5
+    1062 810:  0.5
+    1062 1002:  0.5
+    936 810:  0.5
+    936 832:  0.5
+    1064 810:  0.25
+    1064 1002:  0.25
+    1064 832:  0.25
+    1064 1004:  0.25
+    1058 832:  0.5
+    1058 1004:  0.5
+    951 832:  0.5
+    951 909:  0.5
+    1060 832:  0.25
+    1060 1004:  0.25
+    1060 909:  0.25
+    1060 1012:  0.25
+    1159 909:  0.5
+    1159 1012:  0.5
+    483 454:  0.5
+    483 459:  0.5
+    484 454:  0.25
+    484 456:  0.25
+    484 459:  0.25
+    484 461:  0.25
+    492 459:  0.5
+    492 461:  0.5
+    488 456:  0.5
+    488 461:  0.5
+    499 456:  0.25
+    499 434:  0.25
+    499 461:  0.25
+    499 443:  0.25
+    506 461:  0.5
+    506 443:  0.5
+    503 434:  0.5
+    503 443:  0.5
+    501 433:  0.5
+    501 442:  0.5
+    502 433:  0.25
+    502 442:  0.25
+    502 434:  0.25
+    502 443:  0.25
+    507 442:  0.5
+    507 443:  0.5
+    925 808:  0.5
+    925 809:  0.5
+    926 808:  0.5
+    926 810:  0.5
+    927 808:  0.25
+    927 809:  0.25
+    927 810:  0.25
+    927 811:  0.25
+    932 809:  0.5
+    932 811:  0.5
+    935 810:  0.5
+    935 811:  0.5
+    478 453:  0.5
+    478 468:  0.5
+    480 453:  0.25
+    480 455:  0.25
+    480 468:  0.25
+    480 469:  0.25
+    490 468:  0.5
+    490 469:  0.5
+    486 455:  0.5
+    486 469:  0.5
+    496 455:  0.25
+    496 433:  0.25
+    496 469:  0.25
+    496 442:  0.25
+    504 469:  0.5
+    504 442:  0.5
+    489 468:  0.5
+    489 459:  0.5
+    491 468:  0.25
+    491 459:  0.25
+    491 469:  0.25
+    491 461:  0.25
+    493 469:  0.5
+    493 461:  0.5
+    505 469:  0.25
+    505 461:  0.25
+    505 442:  0.25
+    505 443:  0.25
+    975 894:  0.5
+    975 895:  0.5
+    976 894:  0.5
+    976 897:  0.5
+    977 894:  0.25
+    977 895:  0.25
+    977 897:  0.25
+    977 898:  0.25
+    982 895:  0.5
+    982 898:  0.5
+    985 897:  0.5
+    985 898:  0.5
+    978 894:  0.5
+    978 900:  0.5
+    979 894:  0.25
+    979 900:  0.25
+    979 895:  0.25
+    979 901:  0.25
+    989 900:  0.5
+    989 901:  0.5
+    983 895:  0.5
+    983 901:  0.5
+    984 895:  0.25
+    984 898:  0.25
+    984 901:  0.25
+    984 903:  0.25
+    988 898:  0.5
+    988 903:  0.5
+    992 901:  0.5
+    992 903:  0.5
+    928 808:  0.5
+    928 828:  0.5
+    929 808:  0.25
+    929 828:  0.25
+    929 809:  0.25
+    929 830:  0.25
+    939 828:  0.5
+    939 830:  0.5
+    933 809:  0.5
+    933 830:  0.5
+    930 808:  0.25
+    930 810:  0.25
+    930 828:  0.25
+    930 832:  0.25
+    940 828:  0.5
+    940 832:  0.5
+    945 828:  0.5
+    945 907:  0.5
+    946 828:  0.25
+    946 907:  0.25
+    946 830:  0.25
+    946 908:  0.25
+    954 907:  0.5
+    954 908:  0.5
+    949 830:  0.5
+    949 908:  0.5
+    947 828:  0.25
+    947 832:  0.25
+    947 907:  0.25
+    947 909:  0.25
+    955 907:  0.5
+    955 909:  0.5
+    960 809:  0.5
+    960 918:  0.5
+    961 809:  0.25
+    961 918:  0.25
+    961 811:  0.25
+    961 919:  0.25
+    964 918:  0.5
+    964 919:  0.5
+    967 811:  0.5
+    967 919:  0.5
+    980 894:  0.25
+    980 897:  0.25
+    980 900:  0.25
+    980 920:  0.25
+    986 897:  0.5
+    986 920:  0.5
+    990 900:  0.5
+    990 920:  0.5
+    962 809:  0.25
+    962 830:  0.25
+    962 918:  0.25
+    962 922:  0.25
+    970 830:  0.5
+    970 922:  0.5
+    965 918:  0.5
+    965 922:  0.5
+    966 918:  0.25
+    966 919:  0.25
+    966 922:  0.25
+    966 974:  0.25
+    969 919:  0.5
+    969 974:  0.5
+    972 922:  0.5
+    972 974:  0.5
+    1074 830:  0.25
+    1074 908:  0.25
+    1074 922:  0.25
+    1074 1037:  0.25
+    1080 908:  0.5
+    1080 1037:  0.5
+    1076 922:  0.5
+    1076 1037:  0.5
+    1077 922:  0.25
+    1077 974:  0.25
+    1077 1037:  0.25
+    1077 1038:  0.25
+    1079 974:  0.5
+    1079 1038:  0.5
+    1165 919:  0.5
+    1165 1118:  0.5
+    1166 919:  0.25
+    1166 1118:  0.25
+    1166 974:  0.25
+    1166 1120:  0.25
+    1171 974:  0.5
+    1171 1120:  0.5
+    1174 974:  0.25
+    1174 1120:  0.25
+    1174 1038:  0.25
+    1174 1125:  0.25
+    991 900:  0.25
+    991 901:  0.25
+    991 920:  0.25
+    991 903:  0.25
+    993 920:  0.5
+    993 903:  0.5
+    1063 810:  0.25
+    1063 811:  0.25
+    1063 1002:  0.25
+    1063 1008:  0.25
+    1066 811:  0.5
+    1066 1008:  0.5
+    1163 811:  0.25
+    1163 919:  0.25
+    1163 1008:  0.25
+    1163 1118:  0.25
+    987 897:  0.25
+    987 920:  0.25
+    987 898:  0.25
+    987 903:  0.25
+    1084 943:  0.5
+    1084 944:  0.5
+    1085 943:  0.5
+    1085 1059:  0.5
+    1086 943:  0.25
+    1086 944:  0.25
+    1086 1059:  0.25
+    1086 1072:  0.25
+    1091 944:  0.5
+    1091 1072:  0.5
+    1087 943:  0.5
+    1087 952:  0.5
+    1089 943:  0.25
+    1089 1059:  0.25
+    1089 952:  0.25
+    1089 1061:  0.25
+    1099 952:  0.5
+    1099 1061:  0.5
+    1098 952:  0.5
+    1098 953:  0.5
+    1100 952:  0.25
+    1100 953:  0.25
+    1100 1061:  0.25
+    1100 1103:  0.25
+    1101 953:  0.5
+    1101 1103:  0.5
+    1088 943:  0.25
+    1088 952:  0.25
+    1088 944:  0.25
+    1088 953:  0.25
+    1092 944:  0.5
+    1092 953:  0.5
+    1093 944:  0.25
+    1093 1072:  0.25
+    1093 953:  0.25
+    1093 1103:  0.25
+
+**** proc 8
+    589 526:  0.5
+    589 528:  0.5
+    590 526:  0.25
+    590 528:  0.25
+    590 522:  0.25
+    590 529:  0.25
+    595 528:  0.5
+    595 529:  0.5
+    591 522:  0.5
+    591 529:  0.5
+    1043 528:  0.5
+    1043 530:  0.5
+    1044 528:  0.25
+    1044 529:  0.25
+    1044 530:  0.25
+    1044 531:  0.25
+    1047 529:  0.5
+    1047 531:  0.5
+    1049 530:  0.5
+    1049 531:  0.5
+    598 522:  0.25
+    598 529:  0.25
+    598 523:  0.25
+    598 532:  0.25
+    602 529:  0.5
+    602 532:  0.5
+    599 523:  0.5
+    599 532:  0.5
+    652 523:  0.25
+    652 532:  0.25
+    652 610:  0.25
+    652 648:  0.25
+    656 532:  0.5
+    656 648:  0.5
+    793 750:  0.5
+    793 751:  0.5
+    826 750:  0.25
+    826 754:  0.25
+    826 751:  0.25
+    826 755:  0.25
+    829 751:  0.5
+    829 755:  0.5
+    905 754:  0.5
+    905 755:  0.5
+    802 750:  0.5
+    802 758:  0.5
+    827 750:  0.25
+    827 758:  0.25
+    827 754:  0.25
+    827 761:  0.25
+    831 758:  0.5
+    831 761:  0.5
+    906 754:  0.5
+    906 761:  0.5
+    800 756:  0.5
+    800 757:  0.5
+    801 756:  0.25
+    801 750:  0.25
+    801 757:  0.25
+    801 758:  0.25
+    803 757:  0.5
+    803 758:  0.5
+    915 751:  0.5
+    915 873:  0.5
+    921 751:  0.25
+    921 755:  0.25
+    921 873:  0.25
+    921 875:  0.25
+    1036 755:  0.5
+    1036 875:  0.5
+    923 873:  0.5
+    923 875:  0.5
+    914 749:  0.25
+    914 872:  0.25
+    914 751:  0.25
+    914 873:  0.25
+    890 872:  0.5
+    890 873:  0.5
+    893 873:  0.5
+    893 877:  0.5
+    1013 873:  0.25
+    1013 875:  0.25
+    1013 877:  0.25
+    1013 879:  0.25
+    1020 875:  0.5
+    1020 879:  0.5
+    1015 877:  0.5
+    1015 879:  0.5
+    891 872:  0.25
+    891 876:  0.25
+    891 873:  0.25
+    891 877:  0.25
+    892 876:  0.5
+    892 877:  0.5
+    1032 529:  0.5
+    1032 994:  0.5
+    1048 529:  0.25
+    1048 531:  0.25
+    1048 994:  0.25
+    1048 996:  0.25
+    1052 531:  0.5
+    1052 996:  0.5
+    1055 994:  0.5
+    1055 996:  0.5
+    1041 529:  0.25
+    1041 994:  0.25
+    1041 532:  0.25
+    1041 995:  0.25
+    1005 994:  0.5
+    1005 995:  0.5
+    1042 532:  0.5
+    1042 995:  0.5
+    1001 758:  0.5
+    1001 994:  0.5
+    1003 758:  0.25
+    1003 994:  0.25
+    1003 761:  0.25
+    1003 1000:  0.25
+    1006 994:  0.5
+    1006 1000:  0.5
+    1011 761:  0.5
+    1011 1000:  0.5
+    1033 757:  0.5
+    1033 998:  0.5
+    1034 757:  0.25
+    1034 758:  0.25
+    1034 998:  0.25
+    1034 994:  0.25
+    1035 998:  0.5
+    1035 994:  0.5
+    1053 998:  0.5
+    1053 1056:  0.5
+    1054 998:  0.25
+    1054 994:  0.25
+    1054 1056:  0.25
+    1054 996:  0.25
+    1057 1056:  0.5
+    1057 996:  0.5
+    1007 994:  0.25
+    1007 1000:  0.25
+    1007 995:  0.25
+    1007 1106:  0.25
+    1116 1000:  0.5
+    1116 1106:  0.5
+    1010 995:  0.5
+    1010 1106:  0.5
+    1130 532:  0.25
+    1130 995:  0.25
+    1130 648:  0.25
+    1130 1108:  0.25
+    1122 995:  0.5
+    1122 1108:  0.5
+    1123 995:  0.25
+    1123 1106:  0.25
+    1123 1108:  0.25
+    1123 1110:  0.25
+    1127 1106:  0.5
+    1127 1110:  0.5
+    1062 810:  0.5
+    1062 1002:  0.5
+    936 810:  0.5
+    936 832:  0.5
+    1064 810:  0.25
+    1064 1002:  0.25
+    1064 832:  0.25
+    1064 1004:  0.25
+    1069 1002:  0.5
+    1069 1004:  0.5
+    1058 832:  0.5
+    1058 1004:  0.5
+    1068 1002:  0.5
+    1068 1008:  0.5
+    1070 1002:  0.25
+    1070 1004:  0.25
+    1070 1008:  0.25
+    1070 1009:  0.25
+    1073 1004:  0.5
+    1073 1009:  0.5
+    1071 1008:  0.5
+    1071 1009:  0.5
+    951 832:  0.5
+    951 909:  0.5
+    1060 832:  0.25
+    1060 1004:  0.25
+    1060 909:  0.25
+    1060 1012:  0.25
+    1156 1004:  0.5
+    1156 1012:  0.5
+    1159 909:  0.5
+    1159 1012:  0.5
+    1157 1004:  0.25
+    1157 1012:  0.25
+    1157 1009:  0.25
+    1157 1117:  0.25
+    1162 1012:  0.5
+    1162 1117:  0.5
+    1158 1009:  0.5
+    1158 1117:  0.5
+    989 900:  0.5
+    989 901:  0.5
+    990 900:  0.5
+    990 920:  0.5
+    991 900:  0.25
+    991 901:  0.25
+    991 920:  0.25
+    991 903:  0.25
+    992 901:  0.5
+    992 903:  0.5
+    993 920:  0.5
+    993 903:  0.5
+    926 808:  0.5
+    926 810:  0.5
+    927 808:  0.25
+    927 809:  0.25
+    927 810:  0.25
+    927 811:  0.25
+    935 810:  0.5
+    935 811:  0.5
+    932 809:  0.5
+    932 811:  0.5
+    929 808:  0.25
+    929 828:  0.25
+    929 809:  0.25
+    929 830:  0.25
+    939 828:  0.5
+    939 830:  0.5
+    933 809:  0.5
+    933 830:  0.5
+    930 808:  0.25
+    930 810:  0.25
+    930 828:  0.25
+    930 832:  0.25
+    940 828:  0.5
+    940 832:  0.5
+    946 828:  0.25
+    946 907:  0.25
+    946 830:  0.25
+    946 908:  0.25
+    949 830:  0.5
+    949 908:  0.5
+    954 907:  0.5
+    954 908:  0.5
+    947 828:  0.25
+    947 832:  0.25
+    947 907:  0.25
+    947 909:  0.25
+    955 907:  0.5
+    955 909:  0.5
+    960 809:  0.5
+    960 918:  0.5
+    961 809:  0.25
+    961 918:  0.25
+    961 811:  0.25
+    961 919:  0.25
+    964 918:  0.5
+    964 919:  0.5
+    967 811:  0.5
+    967 919:  0.5
+    978 894:  0.5
+    978 900:  0.5
+    980 894:  0.25
+    980 897:  0.25
+    980 900:  0.25
+    980 920:  0.25
+    986 897:  0.5
+    986 920:  0.5
+    979 894:  0.25
+    979 900:  0.25
+    979 895:  0.25
+    979 901:  0.25
+    983 895:  0.5
+    983 901:  0.5
+    984 895:  0.25
+    984 898:  0.25
+    984 901:  0.25
+    984 903:  0.25
+    988 898:  0.5
+    988 903:  0.5
+    962 809:  0.25
+    962 830:  0.25
+    962 918:  0.25
+    962 922:  0.25
+    970 830:  0.5
+    970 922:  0.5
+    965 918:  0.5
+    965 922:  0.5
+    966 918:  0.25
+    966 919:  0.25
+    966 922:  0.25
+    966 974:  0.25
+    969 919:  0.5
+    969 974:  0.5
+    972 922:  0.5
+    972 974:  0.5
+    1074 830:  0.25
+    1074 908:  0.25
+    1074 922:  0.25
+    1074 1037:  0.25
+    1080 908:  0.5
+    1080 1037:  0.5
+    1076 922:  0.5
+    1076 1037:  0.5
+    1077 922:  0.25
+    1077 974:  0.25
+    1077 1037:  0.25
+    1077 1038:  0.25
+    1079 974:  0.5
+    1079 1038:  0.5
+    1082 1037:  0.5
+    1082 1038:  0.5
+    1165 919:  0.5
+    1165 1118:  0.5
+    1166 919:  0.25
+    1166 1118:  0.25
+    1166 974:  0.25
+    1166 1120:  0.25
+    1171 974:  0.5
+    1171 1120:  0.5
+    1167 1008:  0.5
+    1167 1118:  0.5
+    1168 1008:  0.25
+    1168 1009:  0.25
+    1168 1118:  0.25
+    1168 1120:  0.25
+    1172 1009:  0.5
+    1172 1120:  0.5
+    1174 974:  0.25
+    1174 1120:  0.25
+    1174 1038:  0.25
+    1174 1125:  0.25
+    1178 1038:  0.5
+    1178 1125:  0.5
+    1175 1009:  0.25
+    1175 1117:  0.25
+    1175 1120:  0.25
+    1175 1125:  0.25
+    1179 1117:  0.5
+    1179 1125:  0.5
+    1063 810:  0.25
+    1063 811:  0.25
+    1063 1002:  0.25
+    1063 1008:  0.25
+    1066 811:  0.5
+    1066 1008:  0.5
+    1163 811:  0.25
+    1163 919:  0.25
+    1163 1008:  0.25
+    1163 1118:  0.25
+    987 897:  0.25
+    987 920:  0.25
+    987 898:  0.25
+    987 903:  0.25
+    1085 943:  0.5
+    1085 1059:  0.5
+    1087 943:  0.5
+    1087 952:  0.5
+    1089 943:  0.25
+    1089 1059:  0.25
+    1089 952:  0.25
+    1089 1061:  0.25
+    1095 1059:  0.5
+    1095 1061:  0.5
+    1099 952:  0.5
+    1099 1061:  0.5
+    1094 1059:  0.5
+    1094 1072:  0.5
+    1096 1059:  0.25
+    1096 1061:  0.25
+    1096 1072:  0.25
+    1096 1103:  0.25
+    1102 1061:  0.5
+    1102 1103:  0.5
+    1097 1072:  0.5
+    1097 1103:  0.5
+    1098 952:  0.5
+    1098 953:  0.5
+    1100 952:  0.25
+    1100 953:  0.25
+    1100 1061:  0.25
+    1100 1103:  0.25
+    1101 953:  0.5
+    1101 1103:  0.5
+    1084 943:  0.5
+    1084 944:  0.5
+    1086 943:  0.25
+    1086 944:  0.25
+    1086 1059:  0.25
+    1086 1072:  0.25
+    1091 944:  0.5
+    1091 1072:  0.5
+    1088 943:  0.25
+    1088 952:  0.25
+    1088 944:  0.25
+    1088 953:  0.25
+    1092 944:  0.5
+    1092 953:  0.5
+    1093 944:  0.25
+    1093 1072:  0.25
+    1093 953:  0.25
+    1093 1103:  0.25
+****
+    589 526:  0.5
+    589 528:  0.5
+    590 526:  0.25
+    590 528:  0.25
+    590 522:  0.25
+    590 529:  0.25
+    595 528:  0.5
+    595 529:  0.5
+    591 522:  0.5
+    591 529:  0.5
+    1043 528:  0.5
+    1043 530:  0.5
+    1044 528:  0.25
+    1044 529:  0.25
+    1044 530:  0.25
+    1044 531:  0.25
+    1047 529:  0.5
+    1047 531:  0.5
+    1049 530:  0.5
+    1049 531:  0.5
+    598 522:  0.25
+    598 529:  0.25
+    598 523:  0.25
+    598 532:  0.25
+    602 529:  0.5
+    602 532:  0.5
+    599 523:  0.5
+    599 532:  0.5
+    652 523:  0.25
+    652 532:  0.25
+    652 610:  0.25
+    652 648:  0.25
+    656 532:  0.5
+    656 648:  0.5
+    793 750:  0.5
+    793 751:  0.5
+    826 750:  0.25
+    826 754:  0.25
+    826 751:  0.25
+    826 755:  0.25
+    829 751:  0.5
+    829 755:  0.5
+    905 754:  0.5
+    905 755:  0.5
+    802 750:  0.5
+    802 758:  0.5
+    827 750:  0.25
+    827 758:  0.25
+    827 754:  0.25
+    827 761:  0.25
+    831 758:  0.5
+    831 761:  0.5
+    906 754:  0.5
+    906 761:  0.5
+    800 756:  0.5
+    800 757:  0.5
+    801 756:  0.25
+    801 750:  0.25
+    801 757:  0.25
+    801 758:  0.25
+    803 757:  0.5
+    803 758:  0.5
+    915 751:  0.5
+    915 873:  0.5
+    921 751:  0.25
+    921 755:  0.25
+    921 873:  0.25
+    921 875:  0.25
+    1036 755:  0.5
+    1036 875:  0.5
+    923 873:  0.5
+    923 875:  0.5
+    914 749:  0.25
+    914 872:  0.25
+    914 751:  0.25
+    914 873:  0.25
+    890 872:  0.5
+    890 873:  0.5
+    893 873:  0.5
+    893 877:  0.5
+    1013 873:  0.25
+    1013 875:  0.25
+    1013 877:  0.25
+    1013 879:  0.25
+    1020 875:  0.5
+    1020 879:  0.5
+    1015 877:  0.5
+    1015 879:  0.5
+    891 872:  0.25
+    891 876:  0.25
+    891 873:  0.25
+    891 877:  0.25
+    892 876:  0.5
+    892 877:  0.5
+    1032 529:  0.5
+    1032 994:  0.5
+    1048 529:  0.25
+    1048 531:  0.25
+    1048 994:  0.25
+    1048 996:  0.25
+    1052 531:  0.5
+    1052 996:  0.5
+    1055 994:  0.5
+    1055 996:  0.5
+    1041 529:  0.25
+    1041 994:  0.25
+    1041 532:  0.25
+    1041 995:  0.25
+    1005 994:  0.5
+    1005 995:  0.5
+    1042 532:  0.5
+    1042 995:  0.5
+    1001 758:  0.5
+    1001 994:  0.5
+    1003 758:  0.25
+    1003 994:  0.25
+    1003 761:  0.25
+    1003 1000:  0.25
+    1006 994:  0.5
+    1006 1000:  0.5
+    1011 761:  0.5
+    1011 1000:  0.5
+    1033 757:  0.5
+    1033 998:  0.5
+    1034 757:  0.25
+    1034 758:  0.25
+    1034 998:  0.25
+    1034 994:  0.25
+    1035 998:  0.5
+    1035 994:  0.5
+    1053 998:  0.5
+    1053 1056:  0.5
+    1054 998:  0.25
+    1054 994:  0.25
+    1054 1056:  0.25
+    1054 996:  0.25
+    1057 1056:  0.5
+    1057 996:  0.5
+    1007 994:  0.25
+    1007 1000:  0.25
+    1007 995:  0.25
+    1007 1106:  0.25
+    1116 1000:  0.5
+    1116 1106:  0.5
+    1010 995:  0.5
+    1010 1106:  0.5
+    1130 532:  0.25
+    1130 995:  0.25
+    1130 648:  0.25
+    1130 1108:  0.25
+    1122 995:  0.5
+    1122 1108:  0.5
+    1123 995:  0.25
+    1123 1106:  0.25
+    1123 1108:  0.25
+    1123 1110:  0.25
+    1127 1106:  0.5
+    1127 1110:  0.5
+    1062 810:  0.5
+    1062 1002:  0.5
+    936 810:  0.5
+    936 832:  0.5
+    1064 810:  0.25
+    1064 1002:  0.25
+    1064 832:  0.25
+    1064 1004:  0.25
+    1069 1002:  0.5
+    1069 1004:  0.5
+    1058 832:  0.5
+    1058 1004:  0.5
+    1068 1002:  0.5
+    1068 1008:  0.5
+    1070 1002:  0.25
+    1070 1004:  0.25
+    1070 1008:  0.25
+    1070 1009:  0.25
+    1073 1004:  0.5
+    1073 1009:  0.5
+    1071 1008:  0.5
+    1071 1009:  0.5
+    951 832:  0.5
+    951 909:  0.5
+    1060 832:  0.25
+    1060 1004:  0.25
+    1060 909:  0.25
+    1060 1012:  0.25
+    1156 1004:  0.5
+    1156 1012:  0.5
+    1159 909:  0.5
+    1159 1012:  0.5
+    1157 1004:  0.25
+    1157 1012:  0.25
+    1157 1009:  0.25
+    1157 1117:  0.25
+    1162 1012:  0.5
+    1162 1117:  0.5
+    1158 1009:  0.5
+    1158 1117:  0.5
+    989 900:  0.5
+    989 901:  0.5
+    990 900:  0.5
+    990 920:  0.5
+    991 900:  0.25
+    991 901:  0.25
+    991 920:  0.25
+    991 903:  0.25
+    992 901:  0.5
+    992 903:  0.5
+    993 920:  0.5
+    993 903:  0.5
+    926 808:  0.5
+    926 810:  0.5
+    927 808:  0.25
+    927 809:  0.25
+    927 810:  0.25
+    927 811:  0.25
+    935 810:  0.5
+    935 811:  0.5
+    932 809:  0.5
+    932 811:  0.5
+    929 808:  0.25
+    929 828:  0.25
+    929 809:  0.25
+    929 830:  0.25
+    939 828:  0.5
+    939 830:  0.5
+    933 809:  0.5
+    933 830:  0.5
+    930 808:  0.25
+    930 810:  0.25
+    930 828:  0.25
+    930 832:  0.25
+    940 828:  0.5
+    940 832:  0.5
+    946 828:  0.25
+    946 907:  0.25
+    946 830:  0.25
+    946 908:  0.25
+    949 830:  0.5
+    949 908:  0.5
+    954 907:  0.5
+    954 908:  0.5
+    947 828:  0.25
+    947 832:  0.25
+    947 907:  0.25
+    947 909:  0.25
+    955 907:  0.5
+    955 909:  0.5
+    960 809:  0.5
+    960 918:  0.5
+    961 809:  0.25
+    961 918:  0.25
+    961 811:  0.25
+    961 919:  0.25
+    964 918:  0.5
+    964 919:  0.5
+    967 811:  0.5
+    967 919:  0.5
+    978 894:  0.5
+    978 900:  0.5
+    980 894:  0.25
+    980 897:  0.25
+    980 900:  0.25
+    980 920:  0.25
+    986 897:  0.5
+    986 920:  0.5
+    979 894:  0.25
+    979 900:  0.25
+    979 895:  0.25
+    979 901:  0.25
+    983 895:  0.5
+    983 901:  0.5
+    984 895:  0.25
+    984 898:  0.25
+    984 901:  0.25
+    984 903:  0.25
+    988 898:  0.5
+    988 903:  0.5
+    962 809:  0.25
+    962 830:  0.25
+    962 918:  0.25
+    962 922:  0.25
+    970 830:  0.5
+    970 922:  0.5
+    965 918:  0.5
+    965 922:  0.5
+    966 918:  0.25
+    966 919:  0.25
+    966 922:  0.25
+    966 974:  0.25
+    969 919:  0.5
+    969 974:  0.5
+    972 922:  0.5
+    972 974:  0.5
+    1074 830:  0.25
+    1074 908:  0.25
+    1074 922:  0.25
+    1074 1037:  0.25
+    1080 908:  0.5
+    1080 1037:  0.5
+    1076 922:  0.5
+    1076 1037:  0.5
+    1077 922:  0.25
+    1077 974:  0.25
+    1077 1037:  0.25
+    1077 1038:  0.25
+    1079 974:  0.5
+    1079 1038:  0.5
+    1082 1037:  0.5
+    1082 1038:  0.5
+    1165 919:  0.5
+    1165 1118:  0.5
+    1166 919:  0.25
+    1166 1118:  0.25
+    1166 974:  0.25
+    1166 1120:  0.25
+    1171 974:  0.5
+    1171 1120:  0.5
+    1167 1008:  0.5
+    1167 1118:  0.5
+    1168 1008:  0.25
+    1168 1009:  0.25
+    1168 1118:  0.25
+    1168 1120:  0.25
+    1172 1009:  0.5
+    1172 1120:  0.5
+    1174 974:  0.25
+    1174 1120:  0.25
+    1174 1038:  0.25
+    1174 1125:  0.25
+    1178 1038:  0.5
+    1178 1125:  0.5
+    1175 1009:  0.25
+    1175 1117:  0.25
+    1175 1120:  0.25
+    1175 1125:  0.25
+    1179 1117:  0.5
+    1179 1125:  0.5
+    1063 810:  0.25
+    1063 811:  0.25
+    1063 1002:  0.25
+    1063 1008:  0.25
+    1066 811:  0.5
+    1066 1008:  0.5
+    1163 811:  0.25
+    1163 919:  0.25
+    1163 1008:  0.25
+    1163 1118:  0.25
+    987 897:  0.25
+    987 920:  0.25
+    987 898:  0.25
+    987 903:  0.25
+    1085 943:  0.5
+    1085 1059:  0.5
+    1087 943:  0.5
+    1087 952:  0.5
+    1089 943:  0.25
+    1089 1059:  0.25
+    1089 952:  0.25
+    1089 1061:  0.25
+    1095 1059:  0.5
+    1095 1061:  0.5
+    1099 952:  0.5
+    1099 1061:  0.5
+    1094 1059:  0.5
+    1094 1072:  0.5
+    1096 1059:  0.25
+    1096 1061:  0.25
+    1096 1072:  0.25
+    1096 1103:  0.25
+    1102 1061:  0.5
+    1102 1103:  0.5
+    1097 1072:  0.5
+    1097 1103:  0.5
+    1098 952:  0.5
+    1098 953:  0.5
+    1100 952:  0.25
+    1100 953:  0.25
+    1100 1061:  0.25
+    1100 1103:  0.25
+    1101 953:  0.5
+    1101 1103:  0.5
+    1084 943:  0.5
+    1084 944:  0.5
+    1086 943:  0.25
+    1086 944:  0.25
+    1086 1059:  0.25
+    1086 1072:  0.25
+    1091 944:  0.5
+    1091 1072:  0.5
+    1088 943:  0.25
+    1088 952:  0.25
+    1088 944:  0.25
+    1088 953:  0.25
+    1092 944:  0.5
+    1092 953:  0.5
+    1093 944:  0.25
+    1093 1072:  0.25
+    1093 953:  0.25
+    1093 1103:  0.25
+
+**** proc 9
+    598 522:  0.25
+    598 529:  0.25
+    598 523:  0.25
+    598 532:  0.25
+    602 529:  0.5
+    602 532:  0.5
+    599 523:  0.5
+    599 532:  0.5
+    653 610:  0.5
+    653 648:  0.5
+    668 610:  0.25
+    668 647:  0.25
+    668 648:  0.25
+    668 649:  0.25
+    765 648:  0.5
+    765 649:  0.5
+    762 647:  0.5
+    762 649:  0.5
+    652 523:  0.25
+    652 532:  0.25
+    652 610:  0.25
+    652 648:  0.25
+    656 532:  0.5
+    656 648:  0.5
+    1032 529:  0.5
+    1032 994:  0.5
+    1048 529:  0.25
+    1048 531:  0.25
+    1048 994:  0.25
+    1048 996:  0.25
+    1055 994:  0.5
+    1055 996:  0.5
+    1052 531:  0.5
+    1052 996:  0.5
+    1041 529:  0.25
+    1041 994:  0.25
+    1041 532:  0.25
+    1041 995:  0.25
+    1005 994:  0.5
+    1005 995:  0.5
+    1042 532:  0.5
+    1042 995:  0.5
+    1001 758:  0.5
+    1001 994:  0.5
+    831 758:  0.5
+    831 761:  0.5
+    1003 758:  0.25
+    1003 994:  0.25
+    1003 761:  0.25
+    1003 1000:  0.25
+    1006 994:  0.5
+    1006 1000:  0.5
+    1011 761:  0.5
+    1011 1000:  0.5
+    1033 757:  0.5
+    1033 998:  0.5
+    1034 757:  0.25
+    1034 758:  0.25
+    1034 998:  0.25
+    1034 994:  0.25
+    1035 998:  0.5
+    1035 994:  0.5
+    1053 998:  0.5
+    1053 1056:  0.5
+    1054 998:  0.25
+    1054 994:  0.25
+    1054 1056:  0.25
+    1054 996:  0.25
+    1057 1056:  0.5
+    1057 996:  0.5
+    1007 994:  0.25
+    1007 1000:  0.25
+    1007 995:  0.25
+    1007 1106:  0.25
+    1116 1000:  0.5
+    1116 1106:  0.5
+    1010 995:  0.5
+    1010 1106:  0.5
+    1131 648:  0.5
+    1131 1108:  0.5
+    1139 648:  0.25
+    1139 649:  0.25
+    1139 1108:  0.25
+    1139 1109:  0.25
+    1142 649:  0.5
+    1142 1109:  0.5
+    1145 1108:  0.5
+    1145 1109:  0.5
+    1130 532:  0.25
+    1130 995:  0.25
+    1130 648:  0.25
+    1130 1108:  0.25
+    1122 995:  0.5
+    1122 1108:  0.5
+    1123 995:  0.25
+    1123 1106:  0.25
+    1123 1108:  0.25
+    1123 1110:  0.25
+    1127 1106:  0.5
+    1127 1110:  0.5
+    1124 1108:  0.5
+    1124 1110:  0.5
+    1138 1108:  0.5
+    1138 1112:  0.5
+    1151 1108:  0.25
+    1151 1110:  0.25
+    1151 1112:  0.25
+    1151 1114:  0.25
+    1155 1110:  0.5
+    1155 1114:  0.5
+    1152 1112:  0.5
+    1152 1114:  0.5
+    1146 1108:  0.25
+    1146 1112:  0.25
+    1146 1109:  0.25
+    1146 1113:  0.25
+    1147 1112:  0.5
+    1147 1113:  0.5
+    1148 1109:  0.5
+    1148 1113:  0.5
+    936 810:  0.5
+    936 832:  0.5
+    1064 810:  0.25
+    1064 1002:  0.25
+    1064 832:  0.25
+    1064 1004:  0.25
+    1058 832:  0.5
+    1058 1004:  0.5
+    1069 1002:  0.5
+    1069 1004:  0.5
+    1070 1002:  0.25
+    1070 1004:  0.25
+    1070 1008:  0.25
+    1070 1009:  0.25
+    1073 1004:  0.5
+    1073 1009:  0.5
+    1068 1002:  0.5
+    1068 1008:  0.5
+    1071 1008:  0.5
+    1071 1009:  0.5
+    951 832:  0.5
+    951 909:  0.5
+    1060 832:  0.25
+    1060 1004:  0.25
+    1060 909:  0.25
+    1060 1012:  0.25
+    1156 1004:  0.5
+    1156 1012:  0.5
+    1159 909:  0.5
+    1159 1012:  0.5
+    1157 1004:  0.25
+    1157 1012:  0.25
+    1157 1009:  0.25
+    1157 1117:  0.25
+    1162 1012:  0.5
+    1162 1117:  0.5
+    1158 1009:  0.5
+    1158 1117:  0.5
+    835 669:  0.5
+    835 766:  0.5
+    836 669:  0.25
+    836 766:  0.25
+    836 737:  0.25
+    836 767:  0.25
+    846 766:  0.5
+    846 767:  0.5
+    840 737:  0.5
+    840 767:  0.5
+    837 669:  0.25
+    837 763:  0.25
+    837 766:  0.25
+    837 768:  0.25
+    847 766:  0.5
+    847 768:  0.5
+    843 763:  0.5
+    843 768:  0.5
+    990 900:  0.5
+    990 920:  0.5
+    991 900:  0.25
+    991 901:  0.25
+    991 920:  0.25
+    991 903:  0.25
+    993 920:  0.5
+    993 903:  0.5
+    992 901:  0.5
+    992 903:  0.5
+    927 808:  0.25
+    927 809:  0.25
+    927 810:  0.25
+    927 811:  0.25
+    932 809:  0.5
+    932 811:  0.5
+    935 810:  0.5
+    935 811:  0.5
+    940 828:  0.5
+    940 832:  0.5
+    947 828:  0.25
+    947 832:  0.25
+    947 907:  0.25
+    947 909:  0.25
+    955 907:  0.5
+    955 909:  0.5
+    1063 810:  0.25
+    1063 811:  0.25
+    1063 1002:  0.25
+    1063 1008:  0.25
+    1066 811:  0.5
+    1066 1008:  0.5
+    961 809:  0.25
+    961 918:  0.25
+    961 811:  0.25
+    961 919:  0.25
+    967 811:  0.5
+    967 919:  0.5
+    964 918:  0.5
+    964 919:  0.5
+    976 894:  0.5
+    976 897:  0.5
+    980 894:  0.25
+    980 897:  0.25
+    980 900:  0.25
+    980 920:  0.25
+    986 897:  0.5
+    986 920:  0.5
+    977 894:  0.25
+    977 895:  0.25
+    977 897:  0.25
+    977 898:  0.25
+    985 897:  0.5
+    985 898:  0.5
+    982 895:  0.5
+    982 898:  0.5
+    984 895:  0.25
+    984 898:  0.25
+    984 901:  0.25
+    984 903:  0.25
+    988 898:  0.5
+    988 903:  0.5
+    966 918:  0.25
+    966 919:  0.25
+    966 922:  0.25
+    966 974:  0.25
+    969 919:  0.5
+    969 974:  0.5
+    972 922:  0.5
+    972 974:  0.5
+    1077 922:  0.25
+    1077 974:  0.25
+    1077 1037:  0.25
+    1077 1038:  0.25
+    1079 974:  0.5
+    1079 1038:  0.5
+    1082 1037:  0.5
+    1082 1038:  0.5
+    1165 919:  0.5
+    1165 1118:  0.5
+    1166 919:  0.25
+    1166 1118:  0.25
+    1166 974:  0.25
+    1166 1120:  0.25
+    1169 1118:  0.5
+    1169 1120:  0.5
+    1171 974:  0.5
+    1171 1120:  0.5
+    1167 1008:  0.5
+    1167 1118:  0.5
+    1168 1008:  0.25
+    1168 1009:  0.25
+    1168 1118:  0.25
+    1168 1120:  0.25
+    1172 1009:  0.5
+    1172 1120:  0.5
+    1174 974:  0.25
+    1174 1120:  0.25
+    1174 1038:  0.25
+    1174 1125:  0.25
+    1176 1120:  0.5
+    1176 1125:  0.5
+    1178 1038:  0.5
+    1178 1125:  0.5
+    1175 1009:  0.25
+    1175 1117:  0.25
+    1175 1120:  0.25
+    1175 1125:  0.25
+    1179 1117:  0.5
+    1179 1125:  0.5
+    1163 811:  0.25
+    1163 919:  0.25
+    1163 1008:  0.25
+    1163 1118:  0.25
+    987 897:  0.25
+    987 920:  0.25
+    987 898:  0.25
+    987 903:  0.25
+    848 766:  0.25
+    848 767:  0.25
+    848 768:  0.25
+    848 851:  0.25
+    849 767:  0.5
+    849 851:  0.5
+    850 768:  0.5
+    850 851:  0.5
+    1085 943:  0.5
+    1085 1059:  0.5
+    1089 943:  0.25
+    1089 1059:  0.25
+    1089 952:  0.25
+    1089 1061:  0.25
+    1095 1059:  0.5
+    1095 1061:  0.5
+    1087 943:  0.5
+    1087 952:  0.5
+    1099 952:  0.5
+    1099 1061:  0.5
+    1094 1059:  0.5
+    1094 1072:  0.5
+    1096 1059:  0.25
+    1096 1061:  0.25
+    1096 1072:  0.25
+    1096 1103:  0.25
+    1102 1061:  0.5
+    1102 1103:  0.5
+    1097 1072:  0.5
+    1097 1103:  0.5
+    1098 952:  0.5
+    1098 953:  0.5
+    1100 952:  0.25
+    1100 953:  0.25
+    1100 1061:  0.25
+    1100 1103:  0.25
+    1101 953:  0.5
+    1101 1103:  0.5
+    1084 943:  0.5
+    1084 944:  0.5
+    1086 943:  0.25
+    1086 944:  0.25
+    1086 1059:  0.25
+    1086 1072:  0.25
+    1091 944:  0.5
+    1091 1072:  0.5
+    1088 943:  0.25
+    1088 952:  0.25
+    1088 944:  0.25
+    1088 953:  0.25
+    1092 944:  0.5
+    1092 953:  0.5
+    1093 944:  0.25
+    1093 1072:  0.25
+    1093 953:  0.25
+    1093 1103:  0.25
+****
+    598 522:  0.25
+    598 529:  0.25
+    598 523:  0.25
+    598 532:  0.25
+    602 529:  0.5
+    602 532:  0.5
+    599 523:  0.5
+    599 532:  0.5
+    653 610:  0.5
+    653 648:  0.5
+    668 610:  0.25
+    668 647:  0.25
+    668 648:  0.25
+    668 649:  0.25
+    765 648:  0.5
+    765 649:  0.5
+    762 647:  0.5
+    762 649:  0.5
+    652 523:  0.25
+    652 532:  0.25
+    652 610:  0.25
+    652 648:  0.25
+    656 532:  0.5
+    656 648:  0.5
+    1032 529:  0.5
+    1032 994:  0.5
+    1048 529:  0.25
+    1048 531:  0.25
+    1048 994:  0.25
+    1048 996:  0.25
+    1055 994:  0.5
+    1055 996:  0.5
+    1052 531:  0.5
+    1052 996:  0.5
+    1041 529:  0.25
+    1041 994:  0.25
+    1041 532:  0.25
+    1041 995:  0.25
+    1005 994:  0.5
+    1005 995:  0.5
+    1042 532:  0.5
+    1042 995:  0.5
+    1001 758:  0.5
+    1001 994:  0.5
+    831 758:  0.5
+    831 761:  0.5
+    1003 758:  0.25
+    1003 994:  0.25
+    1003 761:  0.25
+    1003 1000:  0.25
+    1006 994:  0.5
+    1006 1000:  0.5
+    1011 761:  0.5
+    1011 1000:  0.5
+    1033 757:  0.5
+    1033 998:  0.5
+    1034 757:  0.25
+    1034 758:  0.25
+    1034 998:  0.25
+    1034 994:  0.25
+    1035 998:  0.5
+    1035 994:  0.5
+    1053 998:  0.5
+    1053 1056:  0.5
+    1054 998:  0.25
+    1054 994:  0.25
+    1054 1056:  0.25
+    1054 996:  0.25
+    1057 1056:  0.5
+    1057 996:  0.5
+    1007 994:  0.25
+    1007 1000:  0.25
+    1007 995:  0.25
+    1007 1106:  0.25
+    1116 1000:  0.5
+    1116 1106:  0.5
+    1010 995:  0.5
+    1010 1106:  0.5
+    1131 648:  0.5
+    1131 1108:  0.5
+    1139 648:  0.25
+    1139 649:  0.25
+    1139 1108:  0.25
+    1139 1109:  0.25
+    1142 649:  0.5
+    1142 1109:  0.5
+    1145 1108:  0.5
+    1145 1109:  0.5
+    1130 532:  0.25
+    1130 995:  0.25
+    1130 648:  0.25
+    1130 1108:  0.25
+    1122 995:  0.5
+    1122 1108:  0.5
+    1123 995:  0.25
+    1123 1106:  0.25
+    1123 1108:  0.25
+    1123 1110:  0.25
+    1127 1106:  0.5
+    1127 1110:  0.5
+    1124 1108:  0.5
+    1124 1110:  0.5
+    1138 1108:  0.5
+    1138 1112:  0.5
+    1151 1108:  0.25
+    1151 1110:  0.25
+    1151 1112:  0.25
+    1151 1114:  0.25
+    1155 1110:  0.5
+    1155 1114:  0.5
+    1152 1112:  0.5
+    1152 1114:  0.5
+    1146 1108:  0.25
+    1146 1112:  0.25
+    1146 1109:  0.25
+    1146 1113:  0.25
+    1147 1112:  0.5
+    1147 1113:  0.5
+    1148 1109:  0.5
+    1148 1113:  0.5
+    936 810:  0.5
+    936 832:  0.5
+    1064 810:  0.25
+    1064 1002:  0.25
+    1064 832:  0.25
+    1064 1004:  0.25
+    1058 832:  0.5
+    1058 1004:  0.5
+    1069 1002:  0.5
+    1069 1004:  0.5
+    1070 1002:  0.25
+    1070 1004:  0.25
+    1070 1008:  0.25
+    1070 1009:  0.25
+    1073 1004:  0.5
+    1073 1009:  0.5
+    1068 1002:  0.5
+    1068 1008:  0.5
+    1071 1008:  0.5
+    1071 1009:  0.5
+    951 832:  0.5
+    951 909:  0.5
+    1060 832:  0.25
+    1060 1004:  0.25
+    1060 909:  0.25
+    1060 1012:  0.25
+    1156 1004:  0.5
+    1156 1012:  0.5
+    1159 909:  0.5
+    1159 1012:  0.5
+    1157 1004:  0.25
+    1157 1012:  0.25
+    1157 1009:  0.25
+    1157 1117:  0.25
+    1162 1012:  0.5
+    1162 1117:  0.5
+    1158 1009:  0.5
+    1158 1117:  0.5
+    835 669:  0.5
+    835 766:  0.5
+    836 669:  0.25
+    836 766:  0.25
+    836 737:  0.25
+    836 767:  0.25
+    846 766:  0.5
+    846 767:  0.5
+    840 737:  0.5
+    840 767:  0.5
+    837 669:  0.25
+    837 763:  0.25
+    837 766:  0.25
+    837 768:  0.25
+    847 766:  0.5
+    847 768:  0.5
+    843 763:  0.5
+    843 768:  0.5
+    990 900:  0.5
+    990 920:  0.5
+    991 900:  0.25
+    991 901:  0.25
+    991 920:  0.25
+    991 903:  0.25
+    993 920:  0.5
+    993 903:  0.5
+    992 901:  0.5
+    992 903:  0.5
+    927 808:  0.25
+    927 809:  0.25
+    927 810:  0.25
+    927 811:  0.25
+    932 809:  0.5
+    932 811:  0.5
+    935 810:  0.5
+    935 811:  0.5
+    940 828:  0.5
+    940 832:  0.5
+    947 828:  0.25
+    947 832:  0.25
+    947 907:  0.25
+    947 909:  0.25
+    955 907:  0.5
+    955 909:  0.5
+    1063 810:  0.25
+    1063 811:  0.25
+    1063 1002:  0.25
+    1063 1008:  0.25
+    1066 811:  0.5
+    1066 1008:  0.5
+    961 809:  0.25
+    961 918:  0.25
+    961 811:  0.25
+    961 919:  0.25
+    967 811:  0.5
+    967 919:  0.5
+    964 918:  0.5
+    964 919:  0.5
+    976 894:  0.5
+    976 897:  0.5
+    980 894:  0.25
+    980 897:  0.25
+    980 900:  0.25
+    980 920:  0.25
+    986 897:  0.5
+    986 920:  0.5
+    977 894:  0.25
+    977 895:  0.25
+    977 897:  0.25
+    977 898:  0.25
+    985 897:  0.5
+    985 898:  0.5
+    982 895:  0.5
+    982 898:  0.5
+    984 895:  0.25
+    984 898:  0.25
+    984 901:  0.25
+    984 903:  0.25
+    988 898:  0.5
+    988 903:  0.5
+    966 918:  0.25
+    966 919:  0.25
+    966 922:  0.25
+    966 974:  0.25
+    969 919:  0.5
+    969 974:  0.5
+    972 922:  0.5
+    972 974:  0.5
+    1077 922:  0.25
+    1077 974:  0.25
+    1077 1037:  0.25
+    1077 1038:  0.25
+    1079 974:  0.5
+    1079 1038:  0.5
+    1082 1037:  0.5
+    1082 1038:  0.5
+    1165 919:  0.5
+    1165 1118:  0.5
+    1166 919:  0.25
+    1166 1118:  0.25
+    1166 974:  0.25
+    1166 1120:  0.25
+    1169 1118:  0.5
+    1169 1120:  0.5
+    1171 974:  0.5
+    1171 1120:  0.5
+    1167 1008:  0.5
+    1167 1118:  0.5
+    1168 1008:  0.25
+    1168 1009:  0.25
+    1168 1118:  0.25
+    1168 1120:  0.25
+    1172 1009:  0.5
+    1172 1120:  0.5
+    1174 974:  0.25
+    1174 1120:  0.25
+    1174 1038:  0.25
+    1174 1125:  0.25
+    1176 1120:  0.5
+    1176 1125:  0.5
+    1178 1038:  0.5
+    1178 1125:  0.5
+    1175 1009:  0.25
+    1175 1117:  0.25
+    1175 1120:  0.25
+    1175 1125:  0.25
+    1179 1117:  0.5
+    1179 1125:  0.5
+    1163 811:  0.25
+    1163 919:  0.25
+    1163 1008:  0.25
+    1163 1118:  0.25
+    987 897:  0.25
+    987 920:  0.25
+    987 898:  0.25
+    987 903:  0.25
+    848 766:  0.25
+    848 767:  0.25
+    848 768:  0.25
+    848 851:  0.25
+    849 767:  0.5
+    849 851:  0.5
+    850 768:  0.5
+    850 851:  0.5
+    1085 943:  0.5
+    1085 1059:  0.5
+    1089 943:  0.25
+    1089 1059:  0.25
+    1089 952:  0.25
+    1089 1061:  0.25
+    1095 1059:  0.5
+    1095 1061:  0.5
+    1087 943:  0.5
+    1087 952:  0.5
+    1099 952:  0.5
+    1099 1061:  0.5
+    1094 1059:  0.5
+    1094 1072:  0.5
+    1096 1059:  0.25
+    1096 1061:  0.25
+    1096 1072:  0.25
+    1096 1103:  0.25
+    1102 1061:  0.5
+    1102 1103:  0.5
+    1097 1072:  0.5
+    1097 1103:  0.5
+    1098 952:  0.5
+    1098 953:  0.5
+    1100 952:  0.25
+    1100 953:  0.25
+    1100 1061:  0.25
+    1100 1103:  0.25
+    1101 953:  0.5
+    1101 1103:  0.5
+    1084 943:  0.5
+    1084 944:  0.5
+    1086 943:  0.25
+    1086 944:  0.25
+    1086 1059:  0.25
+    1086 1072:  0.25
+    1091 944:  0.5
+    1091 1072:  0.5
+    1088 943:  0.25
+    1088 952:  0.25
+    1088 944:  0.25
+    1088 953:  0.25
+    1092 944:  0.5
+    1092 953:  0.5
+    1093 944:  0.25
+    1093 1072:  0.25
+    1093 953:  0.25
+    1093 1103:  0.25
+

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.