]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Use Q2 instead of Q1, set default output.
authorkronbichler <kronbichler@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 24 Aug 2011 11:23:07 +0000 (11:23 +0000)
committerkronbichler <kronbichler@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 24 Aug 2011 11:23:07 +0000 (11:23 +0000)
git-svn-id: https://svn.dealii.org/trunk@24174 0785d39b-7218-0410-832d-ea1e28bc413d

tests/mpi/no_flux_constraints.cc
tests/mpi/no_flux_constraints/ncpu_9/cmp/generic

index 415e20af80fee27710a0ee6dc372e1c829098a9c..671c2bf7b3d14e7809b0d8a491ef77e9215a35a8 100644 (file)
@@ -90,7 +90,7 @@ void test()
 
                                // create FE_System and fill in no-normal flux
                                // conditions on boundary 1 (outer)
-  static const FESystem<dim> fe(FE_Q<dim> (1), dim);
+  static const FESystem<dim> fe(FE_Q<dim> (2), dim);
   DoFHandler<dim> dofh(triangulation);
   dofh.distribute_dofs (fe);
   if (myid == 0)
index 27bec08db127035ca269ce487da30c1d1a4b078f..62e305614465f2fb25b0ee3dc2767d7782cb4e6a 100644 (file)
 
-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
-
+DEAL:0:3d::# flagged cells = 224
+DEAL:0:3d::#cells = 7712
+DEAL:0:3d::#dofs = 202422
+DEAL:0:3d::#constraints on 0: 607
+DEAL:0:3d::#constraints on 1: 4388
+DEAL:0:3d::#constraints on 2: 2518
+DEAL:0:3d::#constraints on 3: 4774
+DEAL:0:3d::#constraints on 4: 2557
+DEAL:0:3d::#constraints on 5: 4330
+DEAL:0:3d::#constraints on 6: 2922
+DEAL:0:3d::#constraints on 7: 3888
+DEAL:0:3d::#constraints on 8: 1147
+DEAL:0:3d::OK

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

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.