From: kronbichler Date: Wed, 24 Aug 2011 11:03:20 +0000 (+0000) Subject: Add test that makes sure that no entries are written into constrained entries in... X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=af8086a4e84a6b39199d8d5c099293db02f1856b;p=dealii-svn.git Add test that makes sure that no entries are written into constrained entries in assembly. git-svn-id: https://svn.dealii.org/trunk@24173 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/tests/mpi/no_flux_constraints.cc b/tests/mpi/no_flux_constraints.cc new file mode 100644 index 0000000000..415e20af80 --- /dev/null +++ b/tests/mpi/no_flux_constraints.cc @@ -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 +#include +#include +#include +#include +#include +#include +#include +#include +#include +#include +#include +#include +#include +#include + +#include +#include + +template +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 triangulation(MPI_COMM_WORLD); + + // create hypershell mesh and refine some + // cells + GridGenerator::hyper_shell (triangulation, + Point(), + 0.5, + 1., + 96, true); + triangulation.refine_global (2); + + for (typename Triangulation::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::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 fe(FE_Q (1), dim); + DoFHandler 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 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(degree)); + constraints.close(); + + // print the number of constraints. since + // processors might write info in different + // orders, copy all numbers to root processor + std::vector 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 local_dof_indices (dofs_per_cell); + Vector local_vector (dofs_per_cell); + for (unsigned int i=0; i::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 range = + vector.local_range(); + for (unsigned int i=range.first; i(); + 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 index 0000000000..27bec08db1 --- /dev/null +++ b/tests/mpi/no_flux_constraints/ncpu_9/cmp/generic @@ -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 +