+DEAL::136 (on 5 levels)
+DEAL::256 (on 6 levels)
+DEAL::520 (on 7 levels)
+DEAL::1120 (on 8 levels)
+DEAL::Coarsen flag set: 5.208
+DEAL::Coarsen flag set: 5.209
+DEAL::Coarsen flag set: 5.210
+DEAL::Coarsen flag set: 5.211
+DEAL::Coarsen flag set: 5.212
+DEAL::Coarsen flag set: 5.213
+DEAL::Coarsen flag set: 5.214
+DEAL::Coarsen flag set: 5.215
+DEAL::Coarsen flag set: 5.216
+DEAL::Coarsen flag set: 5.217
+DEAL::Coarsen flag set: 5.218
+DEAL::Coarsen flag set: 5.219
+DEAL::Coarsen flag set: 5.220
+DEAL::Coarsen flag set: 5.221
+DEAL::Coarsen flag set: 5.222
+DEAL::Coarsen flag set: 5.223
+DEAL::Coarsen flag set: 6.288
+DEAL::Coarsen flag set: 6.289
+DEAL::Coarsen flag set: 6.290
+DEAL::Coarsen flag set: 6.291
+DEAL::Coarsen flag set: 6.292
+DEAL::Coarsen flag set: 6.293
+DEAL::Coarsen flag set: 6.294
+DEAL::Coarsen flag set: 6.295
+DEAL::Coarsen flag set: 6.296
+DEAL::Coarsen flag set: 6.297
+DEAL::Coarsen flag set: 6.298
+DEAL::Coarsen flag set: 6.299
+DEAL::Coarsen flag set: 6.300
+DEAL::Coarsen flag set: 6.301
+DEAL::Coarsen flag set: 6.302
+DEAL::Coarsen flag set: 6.303
+DEAL::Coarsen flag set: 6.320
+DEAL::Coarsen flag set: 6.321
+DEAL::Coarsen flag set: 6.322
+DEAL::Coarsen flag set: 6.323
+DEAL::Coarsen flag set: 6.324
+DEAL::Coarsen flag set: 6.325
+DEAL::Coarsen flag set: 6.326
+DEAL::Coarsen flag set: 6.327
+DEAL::Coarsen flag set: 6.328
+DEAL::Coarsen flag set: 6.329
+DEAL::Coarsen flag set: 6.330
+DEAL::Coarsen flag set: 6.331
+DEAL::Coarsen flag set: 6.332
+DEAL::Coarsen flag set: 6.333
+DEAL::Coarsen flag set: 6.334
+DEAL::Coarsen flag set: 6.335
+DEAL::Coarsen flag set: 6.336
+DEAL::Coarsen flag set: 6.337
+DEAL::Coarsen flag set: 6.338
+DEAL::Coarsen flag set: 6.339
+DEAL::Coarsen flag set: 6.340
+DEAL::Coarsen flag set: 6.341
+DEAL::Coarsen flag set: 6.342
+DEAL::Coarsen flag set: 6.343
+DEAL::Coarsen flag set: 6.344
+DEAL::Coarsen flag set: 6.345
+DEAL::Coarsen flag set: 6.346
+DEAL::Coarsen flag set: 6.347
+DEAL::Coarsen flag set: 6.348
+DEAL::Coarsen flag set: 6.349
+DEAL::Coarsen flag set: 6.350
+DEAL::Coarsen flag set: 6.351
+DEAL::Coarsen flag set: 6.368
+DEAL::Coarsen flag set: 6.369
+DEAL::Coarsen flag set: 6.370
+DEAL::Coarsen flag set: 6.371
+DEAL::Coarsen flag set: 6.372
+DEAL::Coarsen flag set: 6.373
+DEAL::Coarsen flag set: 6.374
+DEAL::Coarsen flag set: 6.375
+DEAL::Coarsen flag set: 6.376
+DEAL::Coarsen flag set: 6.377
+DEAL::Coarsen flag set: 6.378
+DEAL::Coarsen flag set: 6.379
+DEAL::Coarsen flag set: 6.380
+DEAL::Coarsen flag set: 6.381
+DEAL::Coarsen flag set: 6.382
+DEAL::Coarsen flag set: 6.383
+DEAL::Coarsen flag set: 6.384
+DEAL::Coarsen flag set: 6.385
+DEAL::Coarsen flag set: 6.386
+DEAL::Coarsen flag set: 6.387
+DEAL::Coarsen flag set: 6.388
+DEAL::Coarsen flag set: 6.389
+DEAL::Coarsen flag set: 6.390
+DEAL::Coarsen flag set: 6.391
+DEAL::Coarsen flag set: 6.392
+DEAL::Coarsen flag set: 6.393
+DEAL::Coarsen flag set: 6.394
+DEAL::Coarsen flag set: 6.395
+DEAL::Coarsen flag set: 6.396
+DEAL::Coarsen flag set: 6.397
+DEAL::Coarsen flag set: 6.398
+DEAL::Coarsen flag set: 6.399
+DEAL::Coarsen flag set: 6.432
+DEAL::Coarsen flag set: 6.433
+DEAL::Coarsen flag set: 6.434
+DEAL::Coarsen flag set: 6.435
+DEAL::Coarsen flag set: 6.436
+DEAL::Coarsen flag set: 6.437
+DEAL::Coarsen flag set: 6.438
+DEAL::Coarsen flag set: 6.439
+DEAL::Coarsen flag set: 6.440
+DEAL::Coarsen flag set: 6.441
+DEAL::Coarsen flag set: 6.442
+DEAL::Coarsen flag set: 6.443
+DEAL::Coarsen flag set: 6.444
+DEAL::Coarsen flag set: 6.445
+DEAL::Coarsen flag set: 6.446
+DEAL::Coarsen flag set: 6.447
+DEAL::Coarsen flag set: 7.16
+DEAL::Coarsen flag set: 7.17
+DEAL::Coarsen flag set: 7.18
+DEAL::Coarsen flag set: 7.19
+DEAL::Coarsen flag set: 7.20
+DEAL::Coarsen flag set: 7.21
+DEAL::Coarsen flag set: 7.22
+DEAL::Coarsen flag set: 7.23
+DEAL::Coarsen flag set: 7.24
+DEAL::Coarsen flag set: 7.25
+DEAL::Coarsen flag set: 7.26
+DEAL::Coarsen flag set: 7.27
+DEAL::Coarsen flag set: 7.28
+DEAL::Coarsen flag set: 7.29
+DEAL::Coarsen flag set: 7.30
+DEAL::Coarsen flag set: 7.31
+DEAL::Coarsen flag set: 7.112
+DEAL::Coarsen flag set: 7.113
+DEAL::Coarsen flag set: 7.114
+DEAL::Coarsen flag set: 7.115
+DEAL::Coarsen flag set: 7.116
+DEAL::Coarsen flag set: 7.117
+DEAL::Coarsen flag set: 7.118
+DEAL::Coarsen flag set: 7.119
+DEAL::Coarsen flag set: 7.120
+DEAL::Coarsen flag set: 7.121
+DEAL::Coarsen flag set: 7.122
+DEAL::Coarsen flag set: 7.123
+DEAL::Coarsen flag set: 7.124
+DEAL::Coarsen flag set: 7.125
+DEAL::Coarsen flag set: 7.126
+DEAL::Coarsen flag set: 7.127
+DEAL::Coarsen flag set: 7.144
+DEAL::Coarsen flag set: 7.145
+DEAL::Coarsen flag set: 7.146
+DEAL::Coarsen flag set: 7.147
+DEAL::Coarsen flag set: 7.148
+DEAL::Coarsen flag set: 7.149
+DEAL::Coarsen flag set: 7.150
+DEAL::Coarsen flag set: 7.151
+DEAL::Coarsen flag set: 7.152
+DEAL::Coarsen flag set: 7.153
+DEAL::Coarsen flag set: 7.154
+DEAL::Coarsen flag set: 7.155
+DEAL::Coarsen flag set: 7.156
+DEAL::Coarsen flag set: 7.157
+DEAL::Coarsen flag set: 7.158
+DEAL::Coarsen flag set: 7.159
+DEAL::Coarsen flag set: 7.160
+DEAL::Coarsen flag set: 7.161
+DEAL::Coarsen flag set: 7.162
+DEAL::Coarsen flag set: 7.163
+DEAL::Coarsen flag set: 7.164
+DEAL::Coarsen flag set: 7.165
+DEAL::Coarsen flag set: 7.166
+DEAL::Coarsen flag set: 7.167
+DEAL::Coarsen flag set: 7.168
+DEAL::Coarsen flag set: 7.169
+DEAL::Coarsen flag set: 7.170
+DEAL::Coarsen flag set: 7.171
+DEAL::Coarsen flag set: 7.172
+DEAL::Coarsen flag set: 7.173
+DEAL::Coarsen flag set: 7.174
+DEAL::Coarsen flag set: 7.175
+DEAL::Coarsen flag set: 7.192
+DEAL::Coarsen flag set: 7.193
+DEAL::Coarsen flag set: 7.194
+DEAL::Coarsen flag set: 7.195
+DEAL::Coarsen flag set: 7.196
+DEAL::Coarsen flag set: 7.197
+DEAL::Coarsen flag set: 7.198
+DEAL::Coarsen flag set: 7.199
+DEAL::Coarsen flag set: 7.200
+DEAL::Coarsen flag set: 7.201
+DEAL::Coarsen flag set: 7.202
+DEAL::Coarsen flag set: 7.203
+DEAL::Coarsen flag set: 7.204
+DEAL::Coarsen flag set: 7.205
+DEAL::Coarsen flag set: 7.206
+DEAL::Coarsen flag set: 7.207
+DEAL::Coarsen flag set: 7.224
+DEAL::Coarsen flag set: 7.225
+DEAL::Coarsen flag set: 7.226
+DEAL::Coarsen flag set: 7.227
+DEAL::Coarsen flag set: 7.228
+DEAL::Coarsen flag set: 7.229
+DEAL::Coarsen flag set: 7.230
+DEAL::Coarsen flag set: 7.231
+DEAL::Coarsen flag set: 7.232
+DEAL::Coarsen flag set: 7.233
+DEAL::Coarsen flag set: 7.234
+DEAL::Coarsen flag set: 7.235
+DEAL::Coarsen flag set: 7.236
+DEAL::Coarsen flag set: 7.237
+DEAL::Coarsen flag set: 7.238
+DEAL::Coarsen flag set: 7.239
+DEAL::988 (on 8 levels)
+DEAL::OK