$ crushtool -i "$TESTDIR/test-map-vary-r.crushmap" --test --show-mappings --show-statistics --rule 3 --set-chooseleaf-vary-r 4 --weight 0 0 --weight 4 0 --weight 9 0
  rule 3 (delltestrule), x = 0..1023, numrep = 2..4
  CRUSH rule 3 x 0 [94,85]
  CRUSH rule 3 x 1 [73,78]
  CRUSH rule 3 x 2 [91,104]
  CRUSH rule 3 x 3 [51,94]
  CRUSH rule 3 x 4 [45,28]
  CRUSH rule 3 x 5 [89,113]
  CRUSH rule 3 x 6 [91,12]
  CRUSH rule 3 x 7 [104,71]
  CRUSH rule 3 x 8 [41,12]
  CRUSH rule 3 x 9 [46,35]
  CRUSH rule 3 x 10 [61,60]
  CRUSH rule 3 x 11 [13,74]
  CRUSH rule 3 x 12 [83,62]
  CRUSH rule 3 x 13 [27,117]
  CRUSH rule 3 x 14 [105,115]
  CRUSH rule 3 x 15 [18,87]
  CRUSH rule 3 x 16 [103,52]
  CRUSH rule 3 x 17 [85,80]
  CRUSH rule 3 x 18 [11,46]
  CRUSH rule 3 x 19 [75,114]
  CRUSH rule 3 x 20 [111,27]
  CRUSH rule 3 x 21 [84,7]
  CRUSH rule 3 x 22 [23,66]
  CRUSH rule 3 x 23 [19,84]
  CRUSH rule 3 x 24 [83,40]
  CRUSH rule 3 x 25 [81,108]
  CRUSH rule 3 x 26 [17,117]
  CRUSH rule 3 x 27 [33,58]
  CRUSH rule 3 x 28 [45,98]
  CRUSH rule 3 x 29 [8,46]
  CRUSH rule 3 x 30 [55,119]
  CRUSH rule 3 x 31 [76,35]
  CRUSH rule 3 x 32 [72,13]
  CRUSH rule 3 x 33 [86,107]
  CRUSH rule 3 x 34 [7,38]
  CRUSH rule 3 x 35 [108,31]
  CRUSH rule 3 x 36 [67,24]
  CRUSH rule 3 x 37 [38,17]
  CRUSH rule 3 x 38 [72,57]
  CRUSH rule 3 x 39 [68,73]
  CRUSH rule 3 x 40 [30,25]
  CRUSH rule 3 x 41 [52,91]
  CRUSH rule 3 x 42 [106,39]
  CRUSH rule 3 x 43 [10,115]
  CRUSH rule 3 x 44 [101,115]
  CRUSH rule 3 x 45 [83,80]
  CRUSH rule 3 x 46 [54,33]
  CRUSH rule 3 x 47 [106,41]
  CRUSH rule 3 x 48 [34,65]
  CRUSH rule 3 x 49 [99,46]
  CRUSH rule 3 x 50 [42,85]
  CRUSH rule 3 x 51 [6,114]
  CRUSH rule 3 x 52 [82,14]
  CRUSH rule 3 x 53 [32,29]
  CRUSH rule 3 x 54 [28,77]
  CRUSH rule 3 x 55 [14,44]
  CRUSH rule 3 x 56 [21,112]
  CRUSH rule 3 x 57 [93,26]
  CRUSH rule 3 x 58 [48,95]
  CRUSH rule 3 x 59 [21,104]
  CRUSH rule 3 x 60 [90,75]
  CRUSH rule 3 x 61 [88,39]
  CRUSH rule 3 x 62 [100,8]
  CRUSH rule 3 x 63 [79,96]
  CRUSH rule 3 x 64 [1,77]
  CRUSH rule 3 x 65 [32,25]
  CRUSH rule 3 x 66 [48,93]
  CRUSH rule 3 x 67 [94,91]
  CRUSH rule 3 x 68 [102,105]
  CRUSH rule 3 x 69 [62,20]
  CRUSH rule 3 x 70 [84,27]
  CRUSH rule 3 x 71 [12,99]
  CRUSH rule 3 x 72 [26,69]
  CRUSH rule 3 x 73 [29,88]
  CRUSH rule 3 x 74 [29,60]
  CRUSH rule 3 x 75 [60,43]
  CRUSH rule 3 x 76 [55,60]
  CRUSH rule 3 x 77 [107,78]
  CRUSH rule 3 x 78 [86,39]
  CRUSH rule 3 x 79 [64,65]
  CRUSH rule 3 x 80 [73,26]
  CRUSH rule 3 x 81 [64,57]
  CRUSH rule 3 x 82 [37,1]
  CRUSH rule 3 x 83 [92,22]
  CRUSH rule 3 x 84 [49,40]
  CRUSH rule 3 x 85 [87,30]
  CRUSH rule 3 x 86 [37,119]
  CRUSH rule 3 x 87 [116,3]
  CRUSH rule 3 x 88 [38,22]
  CRUSH rule 3 x 89 [76,41]
  CRUSH rule 3 x 90 [14,98]
  CRUSH rule 3 x 91 [68,27]
  CRUSH rule 3 x 92 [86,13]
  CRUSH rule 3 x 93 [44,83]
  CRUSH rule 3 x 94 [46,15]
  CRUSH rule 3 x 95 [108,6]
  CRUSH rule 3 x 96 [66,25]
  CRUSH rule 3 x 97 [111,33]
  CRUSH rule 3 x 98 [93,36]
  CRUSH rule 3 x 99 [78,17]
  CRUSH rule 3 x 100 [28,55]
  CRUSH rule 3 x 101 [91,34]
  CRUSH rule 3 x 102 [82,93]
  CRUSH rule 3 x 103 [66,105]
  CRUSH rule 3 x 104 [116,10]
  CRUSH rule 3 x 105 [34,69]
  CRUSH rule 3 x 106 [69,66]
  CRUSH rule 3 x 107 [1,41]
  CRUSH rule 3 x 108 [7,68]
  CRUSH rule 3 x 109 [112,87]
  CRUSH rule 3 x 110 [54,10]
  CRUSH rule 3 x 111 [10,86]
  CRUSH rule 3 x 112 [80,29]
  CRUSH rule 3 x 113 [69,26]
  CRUSH rule 3 x 114 [79,46]
  CRUSH rule 3 x 115 [10,111]
  CRUSH rule 3 x 116 [37,86]
  CRUSH rule 3 x 117 [87,50]
  CRUSH rule 3 x 118 [23,106]
  CRUSH rule 3 x 119 [104,14]
  CRUSH rule 3 x 120 [44,3]
  CRUSH rule 3 x 121 [80,14]
  CRUSH rule 3 x 122 [45,68]
  CRUSH rule 3 x 123 [112,22]
  CRUSH rule 3 x 124 [97,118]
  CRUSH rule 3 x 125 [66,7]
  CRUSH rule 3 x 126 [70,23]
  CRUSH rule 3 x 127 [70,13]
  CRUSH rule 3 x 128 [11,119]
  CRUSH rule 3 x 129 [103,108]
  CRUSH rule 3 x 130 [50,17]
  CRUSH rule 3 x 131 [44,55]
  CRUSH rule 3 x 132 [69,1]
  CRUSH rule 3 x 133 [67,104]
  CRUSH rule 3 x 134 [37,66]
  CRUSH rule 3 x 135 [78,101]
  CRUSH rule 3 x 136 [32,83]
  CRUSH rule 3 x 137 [92,81]
  CRUSH rule 3 x 138 [54,17]
  CRUSH rule 3 x 139 [89,92]
  CRUSH rule 3 x 140 [39,1]
  CRUSH rule 3 x 141 [89,28]
  CRUSH rule 3 x 142 [22,26]
  CRUSH rule 3 x 143 [96,77]
  CRUSH rule 3 x 144 [13,111]
  CRUSH rule 3 x 145 [77,100]
  CRUSH rule 3 x 146 [12,15]
  CRUSH rule 3 x 147 [2,11]
  CRUSH rule 3 x 148 [85,108]
  CRUSH rule 3 x 149 [103,62]
  CRUSH rule 3 x 150 [14,78]
  CRUSH rule 3 x 151 [75,119]
  CRUSH rule 3 x 152 [49,84]
  CRUSH rule 3 x 153 [92,81]
  CRUSH rule 3 x 154 [19,56]
  CRUSH rule 3 x 155 [12,75]
  CRUSH rule 3 x 156 [107,112]
  CRUSH rule 3 x 157 [15,28]
  CRUSH rule 3 x 158 [11,113]
  CRUSH rule 3 x 159 [33,52]
  CRUSH rule 3 x 160 [86,35]
  CRUSH rule 3 x 161 [19,117]
  CRUSH rule 3 x 162 [55,113]
  CRUSH rule 3 x 163 [54,87]
  CRUSH rule 3 x 164 [72,8]
  CRUSH rule 3 x 165 [25,74]
  CRUSH rule 3 x 166 [2,22]
  CRUSH rule 3 x 167 [89,56]
  CRUSH rule 3 x 168 [68,103]
  CRUSH rule 3 x 169 [51,12]
  CRUSH rule 3 x 170 [68,53]
  CRUSH rule 3 x 171 [88,79]
  CRUSH rule 3 x 172 [117,89]
  CRUSH rule 3 x 173 [29,40]
  CRUSH rule 3 x 174 [67,86]
  CRUSH rule 3 x 175 [48,85]
  CRUSH rule 3 x 176 [94,83]
  CRUSH rule 3 x 177 [53,18]
  CRUSH rule 3 x 178 [39,30]
  CRUSH rule 3 x 179 [72,17]
  CRUSH rule 3 x 180 [3,114]
  CRUSH rule 3 x 181 [18,16]
  CRUSH rule 3 x 182 [75,5]
  CRUSH rule 3 x 183 [11,110]
  CRUSH rule 3 x 184 [79,48]
  CRUSH rule 3 x 185 [97,100]
  CRUSH rule 3 x 186 [67,44]
  CRUSH rule 3 x 187 [6,50]
  CRUSH rule 3 x 188 [76,85]
  CRUSH rule 3 x 189 [96,7]
  CRUSH rule 3 x 190 [90,95]
  CRUSH rule 3 x 191 [49,113]
  CRUSH rule 3 x 192 [93,58]
  CRUSH rule 3 x 193 [89,66]
  CRUSH rule 3 x 194 [62,3]
  CRUSH rule 3 x 195 [119,85]
  CRUSH rule 3 x 196 [20,72]
  CRUSH rule 3 x 197 [6,116]
  CRUSH rule 3 x 198 [55,92]
  CRUSH rule 3 x 199 [77,66]
  CRUSH rule 3 x 200 [12,81]
  CRUSH rule 3 x 201 [52,71]
  CRUSH rule 3 x 202 [98,59]
  CRUSH rule 3 x 203 [36,19]
  CRUSH rule 3 x 204 [10,113]
  CRUSH rule 3 x 205 [38,79]
  CRUSH rule 3 x 206 [38,105]
  CRUSH rule 3 x 207 [19,86]
  CRUSH rule 3 x 208 [63,92]
  CRUSH rule 3 x 209 [70,99]
  CRUSH rule 3 x 210 [79,102]
  CRUSH rule 3 x 211 [26,27]
  CRUSH rule 3 x 212 [28,107]
  CRUSH rule 3 x 213 [100,49]
  CRUSH rule 3 x 214 [91,88]
  CRUSH rule 3 x 215 [92,7]
  CRUSH rule 3 x 216 [99,108]
  CRUSH rule 3 x 217 [86,97]
  CRUSH rule 3 x 218 [70,10]
  CRUSH rule 3 x 219 [61,112]
  CRUSH rule 3 x 220 [23,66]
  CRUSH rule 3 x 221 [51,66]
  CRUSH rule 3 x 222 [50,65]
  CRUSH rule 3 x 223 [34,45]
  CRUSH rule 3 x 224 [107,44]
  CRUSH rule 3 x 225 [61,102]
  CRUSH rule 3 x 226 [44,87]
  CRUSH rule 3 x 227 [55,66]
  CRUSH rule 3 x 228 [117,103]
  CRUSH rule 3 x 229 [100,27]
  CRUSH rule 3 x 230 [41,32]
  CRUSH rule 3 x 231 [30,16]
  CRUSH rule 3 x 232 [23,102]
  CRUSH rule 3 x 233 [47,32]
  CRUSH rule 3 x 234 [55,78]
  CRUSH rule 3 x 235 [20,32]
  CRUSH rule 3 x 236 [95,118]
  CRUSH rule 3 x 237 [21,72]
  CRUSH rule 3 x 238 [109,53]
  CRUSH rule 3 x 239 [40,10]
  CRUSH rule 3 x 240 [63,96]
  CRUSH rule 3 x 241 [47,1]
  CRUSH rule 3 x 242 [73,24]
  CRUSH rule 3 x 243 [76,79]
  CRUSH rule 3 x 244 [103,115]
  CRUSH rule 3 x 245 [106,29]
  CRUSH rule 3 x 246 [35,5]
  CRUSH rule 3 x 247 [116,37]
  CRUSH rule 3 x 248 [8,34]
  CRUSH rule 3 x 249 [2,105]
  CRUSH rule 3 x 250 [34,79]
  CRUSH rule 3 x 251 [28,87]
  CRUSH rule 3 x 252 [95,24]
  CRUSH rule 3 x 253 [109,97]
  CRUSH rule 3 x 254 [99,56]
  CRUSH rule 3 x 255 [112,31]
  CRUSH rule 3 x 256 [94,31]
  CRUSH rule 3 x 257 [100,39]
  CRUSH rule 3 x 258 [34,83]
  CRUSH rule 3 x 259 [70,87]
  CRUSH rule 3 x 260 [89,24]
  CRUSH rule 3 x 261 [94,77]
  CRUSH rule 3 x 262 [42,97]
  CRUSH rule 3 x 263 [113,37]
  CRUSH rule 3 x 264 [36,89]
  CRUSH rule 3 x 265 [14,46]
  CRUSH rule 3 x 266 [75,48]
  CRUSH rule 3 x 267 [6,46]
  CRUSH rule 3 x 268 [38,3]
  CRUSH rule 3 x 269 [86,91]
  CRUSH rule 3 x 270 [87,54]
  CRUSH rule 3 x 271 [19,78]
  CRUSH rule 3 x 272 [73,110]
  CRUSH rule 3 x 273 [69,113]
  CRUSH rule 3 x 274 [47,26]
  CRUSH rule 3 x 275 [92,29]
  CRUSH rule 3 x 276 [7,38]
  CRUSH rule 3 x 277 [74,95]
  CRUSH rule 3 x 278 [107,62]
  CRUSH rule 3 x 279 [112,53]
  CRUSH rule 3 x 280 [113,75]
  CRUSH rule 3 x 281 [89,40]
  CRUSH rule 3 x 282 [20,46]
  CRUSH rule 3 x 283 [8,36]
  CRUSH rule 3 x 284 [66,85]
  CRUSH rule 3 x 285 [99,109]
  CRUSH rule 3 x 286 [78,89]
  CRUSH rule 3 x 287 [12,79]
  CRUSH rule 3 x 288 [24,37]
  CRUSH rule 3 x 289 [105,74]
  CRUSH rule 3 x 290 [25,18]
  CRUSH rule 3 x 291 [35,42]
  CRUSH rule 3 x 292 [20,74]
  CRUSH rule 3 x 293 [27,118]
  CRUSH rule 3 x 294 [60,75]
  CRUSH rule 3 x 295 [37,36]
  CRUSH rule 3 x 296 [16,28]
  CRUSH rule 3 x 297 [36,29]
  CRUSH rule 3 x 298 [70,105]
  CRUSH rule 3 x 299 [116,85]
  CRUSH rule 3 x 300 [67,36]
  CRUSH rule 3 x 301 [117,71]
  CRUSH rule 3 x 302 [78,105]
  CRUSH rule 3 x 303 [19,82]
  CRUSH rule 3 x 304 [101,38]
  CRUSH rule 3 x 305 [5,49]
  CRUSH rule 3 x 306 [41,64]
  CRUSH rule 3 x 307 [65,119]
  CRUSH rule 3 x 308 [91,115]
  CRUSH rule 3 x 309 [38,41]
  CRUSH rule 3 x 310 [26,43]
  CRUSH rule 3 x 311 [36,75]
  CRUSH rule 3 x 312 [114,15]
  CRUSH rule 3 x 313 [104,79]
  CRUSH rule 3 x 314 [28,43]
  CRUSH rule 3 x 315 [118,17]
  CRUSH rule 3 x 316 [98,39]
  CRUSH rule 3 x 317 [118,21]
  CRUSH rule 3 x 318 [17,94]
  CRUSH rule 3 x 319 [53,62]
  CRUSH rule 3 x 320 [36,3]
  CRUSH rule 3 x 321 [33,60]
  CRUSH rule 3 x 322 [68,3]
  CRUSH rule 3 x 323 [66,95]
  CRUSH rule 3 x 324 [21,42]
  CRUSH rule 3 x 325 [52,43]
  CRUSH rule 3 x 326 [7,90]
  CRUSH rule 3 x 327 [62,3]
  CRUSH rule 3 x 328 [61,42]
  CRUSH rule 3 x 329 [19,115]
  CRUSH rule 3 x 330 [24,15]
  CRUSH rule 3 x 331 [84,14]
  CRUSH rule 3 x 332 [61,72]
  CRUSH rule 3 x 333 [116,6]
  CRUSH rule 3 x 334 [94,29]
  CRUSH rule 3 x 335 [71,116]
  CRUSH rule 3 x 336 [24,11]
  CRUSH rule 3 x 337 [18,23]
  CRUSH rule 3 x 338 [43,118]
  CRUSH rule 3 x 339 [13,50]
  CRUSH rule 3 x 340 [81,115]
  CRUSH rule 3 x 341 [46,65]
  CRUSH rule 3 x 342 [92,71]
  CRUSH rule 3 x 343 [49,56]
  CRUSH rule 3 x 344 [1,25]
  CRUSH rule 3 x 345 [56,11]
  CRUSH rule 3 x 346 [3,112]
  CRUSH rule 3 x 347 [106,85]
  CRUSH rule 3 x 348 [10,114]
  CRUSH rule 3 x 349 [96,51]
  CRUSH rule 3 x 350 [63,32]
  CRUSH rule 3 x 351 [60,20]
  CRUSH rule 3 x 352 [36,21]
  CRUSH rule 3 x 353 [10,32]
  CRUSH rule 3 x 354 [55,74]
  CRUSH rule 3 x 355 [73,80]
  CRUSH rule 3 x 356 [75,96]
  CRUSH rule 3 x 357 [70,89]
  CRUSH rule 3 x 358 [97,92]
  CRUSH rule 3 x 359 [119,20]
  CRUSH rule 3 x 360 [106,15]
  CRUSH rule 3 x 361 [27,56]
  CRUSH rule 3 x 362 [28,22]
  CRUSH rule 3 x 363 [68,81]
  CRUSH rule 3 x 364 [23,2]
  CRUSH rule 3 x 365 [57,12]
  CRUSH rule 3 x 366 [42,61]
  CRUSH rule 3 x 367 [103,108]
  CRUSH rule 3 x 368 [103,119]
  CRUSH rule 3 x 369 [12,11]
  CRUSH rule 3 x 370 [11,109]
  CRUSH rule 3 x 371 [34,65]
  CRUSH rule 3 x 372 [58,29]
  CRUSH rule 3 x 373 [6,64]
  CRUSH rule 3 x 374 [110,89]
  CRUSH rule 3 x 375 [5,89]
  CRUSH rule 3 x 376 [91,98]
  CRUSH rule 3 x 377 [93,113]
  CRUSH rule 3 x 378 [68,41]
  CRUSH rule 3 x 379 [77,94]
  CRUSH rule 3 x 380 [76,107]
  CRUSH rule 3 x 381 [36,20]
  CRUSH rule 3 x 382 [26,107]
  CRUSH rule 3 x 383 [48,93]
  CRUSH rule 3 x 384 [15,100]
  CRUSH rule 3 x 385 [82,27]
  CRUSH rule 3 x 386 [83,24]
  CRUSH rule 3 x 387 [16,70]
  CRUSH rule 3 x 388 [29,66]
  CRUSH rule 3 x 389 [92,67]
  CRUSH rule 3 x 390 [68,13]
  CRUSH rule 3 x 391 [15,2]
  CRUSH rule 3 x 392 [21,110]
  CRUSH rule 3 x 393 [91,113]
  CRUSH rule 3 x 394 [38,21]
  CRUSH rule 3 x 395 [21,92]
  CRUSH rule 3 x 396 [12,59]
  CRUSH rule 3 x 397 [40,51]
  CRUSH rule 3 x 398 [44,21]
  CRUSH rule 3 x 399 [5,33]
  CRUSH rule 3 x 400 [19,64]
  CRUSH rule 3 x 401 [79,109]
  CRUSH rule 3 x 402 [107,72]
  CRUSH rule 3 x 403 [23,74]
  CRUSH rule 3 x 404 [87,78]
  CRUSH rule 3 x 405 [90,93]
  CRUSH rule 3 x 406 [15,98]
  CRUSH rule 3 x 407 [70,25]
  CRUSH rule 3 x 408 [55,104]
  CRUSH rule 3 x 409 [73,44]
  CRUSH rule 3 x 410 [70,47]
  CRUSH rule 3 x 411 [34,15]
  CRUSH rule 3 x 412 [105,44]
  CRUSH rule 3 x 413 [41,86]
  CRUSH rule 3 x 414 [70,71]
  CRUSH rule 3 x 415 [107,80]
  CRUSH rule 3 x 416 [2,23]
  CRUSH rule 3 x 417 [26,23]
  CRUSH rule 3 x 418 [51,114]
  CRUSH rule 3 x 419 [8,94]
  CRUSH rule 3 x 420 [109,15]
  CRUSH rule 3 x 421 [114,77]
  CRUSH rule 3 x 422 [109,39]
  CRUSH rule 3 x 423 [59,98]
  CRUSH rule 3 x 424 [92,65]
  CRUSH rule 3 x 425 [101,50]
  CRUSH rule 3 x 426 [36,57]
  CRUSH rule 3 x 427 [8,38]
  CRUSH rule 3 x 428 [68,63]
  CRUSH rule 3 x 429 [76,13]
  CRUSH rule 3 x 430 [67,100]
  CRUSH rule 3 x 431 [70,53]
  CRUSH rule 3 x 432 [7,50]
  CRUSH rule 3 x 433 [49,24]
  CRUSH rule 3 x 434 [64,59]
  CRUSH rule 3 x 435 [110,71]
  CRUSH rule 3 x 436 [106,47]
  CRUSH rule 3 x 437 [26,29]
  CRUSH rule 3 x 438 [118,95]
  CRUSH rule 3 x 439 [40,83]
  CRUSH rule 3 x 440 [45,68]
  CRUSH rule 3 x 441 [112,15]
  CRUSH rule 3 x 442 [55,18]
  CRUSH rule 3 x 443 [44,37]
  CRUSH rule 3 x 444 [71,119]
  CRUSH rule 3 x 445 [58,63]
  CRUSH rule 3 x 446 [40,20]
  CRUSH rule 3 x 447 [100,43]
  CRUSH rule 3 x 448 [111,15]
  CRUSH rule 3 x 449 [67,102]
  CRUSH rule 3 x 450 [117,79]
  CRUSH rule 3 x 451 [66,75]
  CRUSH rule 3 x 452 [70,33]
  CRUSH rule 3 x 453 [82,21]
  CRUSH rule 3 x 454 [53,28]
  CRUSH rule 3 x 455 [91,68]
  CRUSH rule 3 x 456 [101,60]
  CRUSH rule 3 x 457 [113,97]
  CRUSH rule 3 x 458 [119,41]
  CRUSH rule 3 x 459 [50,55]
  CRUSH rule 3 x 460 [105,30]
  CRUSH rule 3 x 461 [102,45]
  CRUSH rule 3 x 462 [98,25]
  CRUSH rule 3 x 463 [108,57]
  CRUSH rule 3 x 464 [19,50]
  CRUSH rule 3 x 465 [62,95]
  CRUSH rule 3 x 466 [53,106]
  CRUSH rule 3 x 467 [40,95]
  CRUSH rule 3 x 468 [97,108]
  CRUSH rule 3 x 469 [98,16]
  CRUSH rule 3 x 470 [50,3]
  CRUSH rule 3 x 471 [40,14]
  CRUSH rule 3 x 472 [27,28]
  CRUSH rule 3 x 473 [48,17]
  CRUSH rule 3 x 474 [51,113]
  CRUSH rule 3 x 475 [49,66]
  CRUSH rule 3 x 476 [110,55]
  CRUSH rule 3 x 477 [80,8]
  CRUSH rule 3 x 478 [78,25]
  CRUSH rule 3 x 479 [31,106]
  CRUSH rule 3 x 480 [75,5]
  CRUSH rule 3 x 481 [26,37]
  CRUSH rule 3 x 482 [84,87]
  CRUSH rule 3 x 483 [15,113]
  CRUSH rule 3 x 484 [37,28]
  CRUSH rule 3 x 485 [84,61]
  CRUSH rule 3 x 486 [92,61]
  CRUSH rule 3 x 487 [106,53]
  CRUSH rule 3 x 488 [42,7]
  CRUSH rule 3 x 489 [89,98]
  CRUSH rule 3 x 490 [22,119]
  CRUSH rule 3 x 491 [99,5]
  CRUSH rule 3 x 492 [21,58]
  CRUSH rule 3 x 493 [94,89]
  CRUSH rule 3 x 494 [56,59]
  CRUSH rule 3 x 495 [95,119]
  CRUSH rule 3 x 496 [46,43]
  CRUSH rule 3 x 497 [102,89]
  CRUSH rule 3 x 498 [21,82]
  CRUSH rule 3 x 499 [5,95]
  CRUSH rule 3 x 500 [50,6]
  CRUSH rule 3 x 501 [60,75]
  CRUSH rule 3 x 502 [65,1]
  CRUSH rule 3 x 503 [21,115]
  CRUSH rule 3 x 504 [67,5]
  CRUSH rule 3 x 505 [12,91]
  CRUSH rule 3 x 506 [79,110]
  CRUSH rule 3 x 507 [34,77]
  CRUSH rule 3 x 508 [34,45]
  CRUSH rule 3 x 509 [19,74]
  CRUSH rule 3 x 510 [117,69]
  CRUSH rule 3 x 511 [14,34]
  CRUSH rule 3 x 512 [59,111]
  CRUSH rule 3 x 513 [102,13]
  CRUSH rule 3 x 514 [75,111]
  CRUSH rule 3 x 515 [84,83]
  CRUSH rule 3 x 516 [37,80]
  CRUSH rule 3 x 517 [83,30]
  CRUSH rule 3 x 518 [18,37]
  CRUSH rule 3 x 519 [67,52]
  CRUSH rule 3 x 520 [15,70]
  CRUSH rule 3 x 521 [70,22]
  CRUSH rule 3 x 522 [56,3]
  CRUSH rule 3 x 523 [36,23]
  CRUSH rule 3 x 524 [33,94]
  CRUSH rule 3 x 525 [63,104]
  CRUSH rule 3 x 526 [83,118]
  CRUSH rule 3 x 527 [37,5]
  CRUSH rule 3 x 528 [108,43]
  CRUSH rule 3 x 529 [74,7]
  CRUSH rule 3 x 530 [49,12]
  CRUSH rule 3 x 531 [117,107]
  CRUSH rule 3 x 532 [31,68]
  CRUSH rule 3 x 533 [5,73]
  CRUSH rule 3 x 534 [97,104]
  CRUSH rule 3 x 535 [48,41]
  CRUSH rule 3 x 536 [113,71]
  CRUSH rule 3 x 537 [116,7]
  CRUSH rule 3 x 538 [85,40]
  CRUSH rule 3 x 539 [72,85]
  CRUSH rule 3 x 540 [39,12]
  CRUSH rule 3 x 541 [53,64]
  CRUSH rule 3 x 542 [27,54]
  CRUSH rule 3 x 543 [45,106]
  CRUSH rule 3 x 544 [59,26]
  CRUSH rule 3 x 545 [118,15]
  CRUSH rule 3 x 546 [18,71]
  CRUSH rule 3 x 547 [67,80]
  CRUSH rule 3 x 548 [53,92]
  CRUSH rule 3 x 549 [60,51]
  CRUSH rule 3 x 550 [92,37]
  CRUSH rule 3 x 551 [77,52]
  CRUSH rule 3 x 552 [61,80]
  CRUSH rule 3 x 553 [71,84]
  CRUSH rule 3 x 554 [61,52]
  CRUSH rule 3 x 555 [76,69]
  CRUSH rule 3 x 556 [106,10]
  CRUSH rule 3 x 557 [26,35]
  CRUSH rule 3 x 558 [41,46]
  CRUSH rule 3 x 559 [65,86]
  CRUSH rule 3 x 560 [94,91]
  CRUSH rule 3 x 561 [27,98]
  CRUSH rule 3 x 562 [78,19]
  CRUSH rule 3 x 563 [59,82]
  CRUSH rule 3 x 564 [96,15]
  CRUSH rule 3 x 565 [8,92]
  CRUSH rule 3 x 566 [119,81]
  CRUSH rule 3 x 567 [7,46]
  CRUSH rule 3 x 568 [57,96]
  CRUSH rule 3 x 569 [65,100]
  CRUSH rule 3 x 570 [98,103]
  CRUSH rule 3 x 571 [95,110]
  CRUSH rule 3 x 572 [62,75]
  CRUSH rule 3 x 573 [1,20]
  CRUSH rule 3 x 574 [89,64]
  CRUSH rule 3 x 575 [87,54]
  CRUSH rule 3 x 576 [21,113]
  CRUSH rule 3 x 577 [8,113]
  CRUSH rule 3 x 578 [75,116]
  CRUSH rule 3 x 579 [105,96]
  CRUSH rule 3 x 580 [51,12]
  CRUSH rule 3 x 581 [55,40]
  CRUSH rule 3 x 582 [27,106]
  CRUSH rule 3 x 583 [6,102]
  CRUSH rule 3 x 584 [10,90]
  CRUSH rule 3 x 585 [20,88]
  CRUSH rule 3 x 586 [48,67]
  CRUSH rule 3 x 587 [29,5]
  CRUSH rule 3 x 588 [103,40]
  CRUSH rule 3 x 589 [88,85]
  CRUSH rule 3 x 590 [76,11]
  CRUSH rule 3 x 591 [42,17]
  CRUSH rule 3 x 592 [78,6]
  CRUSH rule 3 x 593 [82,35]
  CRUSH rule 3 x 594 [27,76]
  CRUSH rule 3 x 595 [52,10]
  CRUSH rule 3 x 596 [82,99]
  CRUSH rule 3 x 597 [16,32]
  CRUSH rule 3 x 598 [37,36]
  CRUSH rule 3 x 599 [10,24]
  CRUSH rule 3 x 600 [24,37]
  CRUSH rule 3 x 601 [104,21]
  CRUSH rule 3 x 602 [48,39]
  CRUSH rule 3 x 603 [93,44]
  CRUSH rule 3 x 604 [118,87]
  CRUSH rule 3 x 605 [104,63]
  CRUSH rule 3 x 606 [90,103]
  CRUSH rule 3 x 607 [95,72]
  CRUSH rule 3 x 608 [112,71]
  CRUSH rule 3 x 609 [34,16]
  CRUSH rule 3 x 610 [106,73]
  CRUSH rule 3 x 611 [66,37]
  CRUSH rule 3 x 612 [2,20]
  CRUSH rule 3 x 613 [13,92]
  CRUSH rule 3 x 614 [50,65]
  CRUSH rule 3 x 615 [24,39]
  CRUSH rule 3 x 616 [41,46]
  CRUSH rule 3 x 617 [111,81]
  CRUSH rule 3 x 618 [3,72]
  CRUSH rule 3 x 619 [92,31]
  CRUSH rule 3 x 620 [108,31]
  CRUSH rule 3 x 621 [105,50]
  CRUSH rule 3 x 622 [67,102]
  CRUSH rule 3 x 623 [69,117]
  CRUSH rule 3 x 624 [115,79]
  CRUSH rule 3 x 625 [73,94]
  CRUSH rule 3 x 626 [52,25]
  CRUSH rule 3 x 627 [116,105]
  CRUSH rule 3 x 628 [98,87]
  CRUSH rule 3 x 629 [6,116]
  CRUSH rule 3 x 630 [22,50]
  CRUSH rule 3 x 631 [35,96]
  CRUSH rule 3 x 632 [80,53]
  CRUSH rule 3 x 633 [65,110]
  CRUSH rule 3 x 634 [87,50]
  CRUSH rule 3 x 635 [107,111]
  CRUSH rule 3 x 636 [23,30]
  CRUSH rule 3 x 637 [99,114]
  CRUSH rule 3 x 638 [43,78]
  CRUSH rule 3 x 639 [30,31]
  CRUSH rule 3 x 640 [113,87]
  CRUSH rule 3 x 641 [45,58]
  CRUSH rule 3 x 642 [47,30]
  CRUSH rule 3 x 643 [64,99]
  CRUSH rule 3 x 644 [31,119]
  CRUSH rule 3 x 645 [77,90]
  CRUSH rule 3 x 646 [37,26]
  CRUSH rule 3 x 647 [65,112]
  CRUSH rule 3 x 648 [31,84]
  CRUSH rule 3 x 649 [88,39]
  CRUSH rule 3 x 650 [21,44]
  CRUSH rule 3 x 651 [63,12]
  CRUSH rule 3 x 652 [57,28]
  CRUSH rule 3 x 653 [38,63]
  CRUSH rule 3 x 654 [104,107]
  CRUSH rule 3 x 655 [89,109]
  CRUSH rule 3 x 656 [79,84]
  CRUSH rule 3 x 657 [47,18]
  CRUSH rule 3 x 658 [80,49]
  CRUSH rule 3 x 659 [11,104]
  CRUSH rule 3 x 660 [65,102]
  CRUSH rule 3 x 661 [96,67]
  CRUSH rule 3 x 662 [111,43]
  CRUSH rule 3 x 663 [83,115]
  CRUSH rule 3 x 664 [59,52]
  CRUSH rule 3 x 665 [31,86]
  CRUSH rule 3 x 666 [112,8]
  CRUSH rule 3 x 667 [70,107]
  CRUSH rule 3 x 668 [96,43]
  CRUSH rule 3 x 669 [56,25]
  CRUSH rule 3 x 670 [98,83]
  CRUSH rule 3 x 671 [57,100]
  CRUSH rule 3 x 672 [37,98]
  CRUSH rule 3 x 673 [83,116]
  CRUSH rule 3 x 674 [36,95]
  CRUSH rule 3 x 675 [88,91]
  CRUSH rule 3 x 676 [3,40]
  CRUSH rule 3 x 677 [88,105]
  CRUSH rule 3 x 678 [27,100]
  CRUSH rule 3 x 679 [33,118]
  CRUSH rule 3 x 680 [111,81]
  CRUSH rule 3 x 681 [53,68]
  CRUSH rule 3 x 682 [12,83]
  CRUSH rule 3 x 683 [24,67]
  CRUSH rule 3 x 684 [98,45]
  CRUSH rule 3 x 685 [106,25]
  CRUSH rule 3 x 686 [86,45]
  CRUSH rule 3 x 687 [49,102]
  CRUSH rule 3 x 688 [16,52]
  CRUSH rule 3 x 689 [32,101]
  CRUSH rule 3 x 690 [96,79]
  CRUSH rule 3 x 691 [34,99]
  CRUSH rule 3 x 692 [97,68]
  CRUSH rule 3 x 693 [29,38]
  CRUSH rule 3 x 694 [6,26]
  CRUSH rule 3 x 695 [31,112]
  CRUSH rule 3 x 696 [36,97]
  CRUSH rule 3 x 697 [19,38]
  CRUSH rule 3 x 698 [30,103]
  CRUSH rule 3 x 699 [47,60]
  CRUSH rule 3 x 700 [99,82]
  CRUSH rule 3 x 701 [53,72]
  CRUSH rule 3 x 702 [101,113]
  CRUSH rule 3 x 703 [92,20]
  CRUSH rule 3 x 704 [34,47]
  CRUSH rule 3 x 705 [105,88]
  CRUSH rule 3 x 706 [74,20]
  CRUSH rule 3 x 707 [95,40]
  CRUSH rule 3 x 708 [95,38]
  CRUSH rule 3 x 709 [73,94]
  CRUSH rule 3 x 710 [94,7]
  CRUSH rule 3 x 711 [68,16]
  CRUSH rule 3 x 712 [107,64]
  CRUSH rule 3 x 713 [29,2]
  CRUSH rule 3 x 714 [86,97]
  CRUSH rule 3 x 715 [74,95]
  CRUSH rule 3 x 716 [101,74]
  CRUSH rule 3 x 717 [12,57]
  CRUSH rule 3 x 718 [83,106]
  CRUSH rule 3 x 719 [26,39]
  CRUSH rule 3 x 720 [69,64]
  CRUSH rule 3 x 721 [51,119]
  CRUSH rule 3 x 722 [15,26]
  CRUSH rule 3 x 723 [117,75]
  CRUSH rule 3 x 724 [45,106]
  CRUSH rule 3 x 725 [53,66]
  CRUSH rule 3 x 726 [103,38]
  CRUSH rule 3 x 727 [89,115]
  CRUSH rule 3 x 728 [76,65]
  CRUSH rule 3 x 729 [35,48]
  CRUSH rule 3 x 730 [28,37]
  CRUSH rule 3 x 731 [78,6]
  CRUSH rule 3 x 732 [1,93]
  CRUSH rule 3 x 733 [35,44]
  CRUSH rule 3 x 734 [119,93]
  CRUSH rule 3 x 735 [102,17]
  CRUSH rule 3 x 736 [37,78]
  CRUSH rule 3 x 737 [117,35]
  CRUSH rule 3 x 738 [57,56]
  CRUSH rule 3 x 739 [87,24]
  CRUSH rule 3 x 740 [29,34]
  CRUSH rule 3 x 741 [47,94]
  CRUSH rule 3 x 742 [106,107]
  CRUSH rule 3 x 743 [105,5]
  CRUSH rule 3 x 744 [23,30]
  CRUSH rule 3 x 745 [37,106]
  CRUSH rule 3 x 746 [56,47]
  CRUSH rule 3 x 747 [56,107]
  CRUSH rule 3 x 748 [48,25]
  CRUSH rule 3 x 749 [102,93]
  CRUSH rule 3 x 750 [83,102]
  CRUSH rule 3 x 751 [25,56]
  CRUSH rule 3 x 752 [82,16]
  CRUSH rule 3 x 753 [116,14]
  CRUSH rule 3 x 754 [114,39]
  CRUSH rule 3 x 755 [87,60]
  CRUSH rule 3 x 756 [113,77]
  CRUSH rule 3 x 757 [47,112]
  CRUSH rule 3 x 758 [54,107]
  CRUSH rule 3 x 759 [74,65]
  CRUSH rule 3 x 760 [88,47]
  CRUSH rule 3 x 761 [73,98]
  CRUSH rule 3 x 762 [34,33]
  CRUSH rule 3 x 763 [13,116]
  CRUSH rule 3 x 764 [89,2]
  CRUSH rule 3 x 765 [109,77]
  CRUSH rule 3 x 766 [19,92]
  CRUSH rule 3 x 767 [41,80]
  CRUSH rule 3 x 768 [106,16]
  CRUSH rule 3 x 769 [91,2]
  CRUSH rule 3 x 770 [72,19]
  CRUSH rule 3 x 771 [115,63]
  CRUSH rule 3 x 772 [97,102]
  CRUSH rule 3 x 773 [116,91]
  CRUSH rule 3 x 774 [100,105]
  CRUSH rule 3 x 775 [102,95]
  CRUSH rule 3 x 776 [69,44]
  CRUSH rule 3 x 777 [91,102]
  CRUSH rule 3 x 778 [83,110]
  CRUSH rule 3 x 779 [47,80]
  CRUSH rule 3 x 780 [63,117]
  CRUSH rule 3 x 781 [105,106]
  CRUSH rule 3 x 782 [117,107]
  CRUSH rule 3 x 783 [19,30]
  CRUSH rule 3 x 784 [63,82]
  CRUSH rule 3 x 785 [27,50]
  CRUSH rule 3 x 786 [41,90]
  CRUSH rule 3 x 787 [108,27]
  CRUSH rule 3 x 788 [74,75]
  CRUSH rule 3 x 789 [50,67]
  CRUSH rule 3 x 790 [20,108]
  CRUSH rule 3 x 791 [96,53]
  CRUSH rule 3 x 792 [80,13]
  CRUSH rule 3 x 793 [6,82]
  CRUSH rule 3 x 794 [14,90]
  CRUSH rule 3 x 795 [30,67]
  CRUSH rule 3 x 796 [87,60]
  CRUSH rule 3 x 797 [64,93]
  CRUSH rule 3 x 798 [42,19]
  CRUSH rule 3 x 799 [19,113]
  CRUSH rule 3 x 800 [106,22]
  CRUSH rule 3 x 801 [2,11]
  CRUSH rule 3 x 802 [63,1]
  CRUSH rule 3 x 803 [37,46]
  CRUSH rule 3 x 804 [33,66]
  CRUSH rule 3 x 805 [96,3]
  CRUSH rule 3 x 806 [48,57]
  CRUSH rule 3 x 807 [48,85]
  CRUSH rule 3 x 808 [76,15]
  CRUSH rule 3 x 809 [27,90]
  CRUSH rule 3 x 810 [119,61]
  CRUSH rule 3 x 811 [111,93]
  CRUSH rule 3 x 812 [25,94]
  CRUSH rule 3 x 813 [81,50]
  CRUSH rule 3 x 814 [95,48]
  CRUSH rule 3 x 815 [84,6]
  CRUSH rule 3 x 816 [64,3]
  CRUSH rule 3 x 817 [63,117]
  CRUSH rule 3 x 818 [69,52]
  CRUSH rule 3 x 819 [88,19]
  CRUSH rule 3 x 820 [104,29]
  CRUSH rule 3 x 821 [58,107]
  CRUSH rule 3 x 822 [20,18]
  CRUSH rule 3 x 823 [63,102]
  CRUSH rule 3 x 824 [102,95]
  CRUSH rule 3 x 825 [47,46]
  CRUSH rule 3 x 826 [44,33]
  CRUSH rule 3 x 827 [101,115]
  CRUSH rule 3 x 828 [60,39]
  CRUSH rule 3 x 829 [45,24]
  CRUSH rule 3 x 830 [51,96]
  CRUSH rule 3 x 831 [78,53]
  CRUSH rule 3 x 832 [28,15]
  CRUSH rule 3 x 833 [57,72]
  CRUSH rule 3 x 834 [90,77]
  CRUSH rule 3 x 835 [14,50]
  CRUSH rule 3 x 836 [63,100]
  CRUSH rule 3 x 837 [76,85]
  CRUSH rule 3 x 838 [106,75]
  CRUSH rule 3 x 839 [87,12]
  CRUSH rule 3 x 840 [33,117]
  CRUSH rule 3 x 841 [110,13]
  CRUSH rule 3 x 842 [66,97]
  CRUSH rule 3 x 843 [11,50]
  CRUSH rule 3 x 844 [74,22]
  CRUSH rule 3 x 845 [74,20]
  CRUSH rule 3 x 846 [43,113]
  CRUSH rule 3 x 847 [62,105]
  CRUSH rule 3 x 848 [92,19]
  CRUSH rule 3 x 849 [93,118]
  CRUSH rule 3 x 850 [83,119]
  CRUSH rule 3 x 851 [65,56]
  CRUSH rule 3 x 852 [60,11]
  CRUSH rule 3 x 853 [88,11]
  CRUSH rule 3 x 854 [83,52]
  CRUSH rule 3 x 855 [2,22]
  CRUSH rule 3 x 856 [40,13]
  CRUSH rule 3 x 857 [69,110]
  CRUSH rule 3 x 858 [98,27]
  CRUSH rule 3 x 859 [56,41]
  CRUSH rule 3 x 860 [11,30]
  CRUSH rule 3 x 861 [22,68]
  CRUSH rule 3 x 862 [22,52]
  CRUSH rule 3 x 863 [79,32]
  CRUSH rule 3 x 864 [77,32]
  CRUSH rule 3 x 865 [119,99]
  CRUSH rule 3 x 866 [18,39]
  CRUSH rule 3 x 867 [3,58]
  CRUSH rule 3 x 868 [100,22]
  CRUSH rule 3 x 869 [22,86]
  CRUSH rule 3 x 870 [73,94]
  CRUSH rule 3 x 871 [84,51]
  CRUSH rule 3 x 872 [72,91]
  CRUSH rule 3 x 873 [81,72]
  CRUSH rule 3 x 874 [21,38]
  CRUSH rule 3 x 875 [115,27]
  CRUSH rule 3 x 876 [98,16]
  CRUSH rule 3 x 877 [80,25]
  CRUSH rule 3 x 878 [87,114]
  CRUSH rule 3 x 879 [29,1]
  CRUSH rule 3 x 880 [23,2]
  CRUSH rule 3 x 881 [109,97]
  CRUSH rule 3 x 882 [31,36]
  CRUSH rule 3 x 883 [102,17]
  CRUSH rule 3 x 884 [80,23]
  CRUSH rule 3 x 885 [46,31]
  CRUSH rule 3 x 886 [2,11]
  CRUSH rule 3 x 887 [5,85]
  CRUSH rule 3 x 888 [16,64]
  CRUSH rule 3 x 889 [84,45]
  CRUSH rule 3 x 890 [65,50]
  CRUSH rule 3 x 891 [86,59]
  CRUSH rule 3 x 892 [64,11]
  CRUSH rule 3 x 893 [20,118]
  CRUSH rule 3 x 894 [32,14]
  CRUSH rule 3 x 895 [40,91]
  CRUSH rule 3 x 896 [113,29]
  CRUSH rule 3 x 897 [107,112]
  CRUSH rule 3 x 898 [76,51]
  CRUSH rule 3 x 899 [75,66]
  CRUSH rule 3 x 900 [83,111]
  CRUSH rule 3 x 901 [66,17]
  CRUSH rule 3 x 902 [25,5]
  CRUSH rule 3 x 903 [53,54]
  CRUSH rule 3 x 904 [50,10]
  CRUSH rule 3 x 905 [99,106]
  CRUSH rule 3 x 906 [68,73]
  CRUSH rule 3 x 907 [109,45]
  CRUSH rule 3 x 908 [47,24]
  CRUSH rule 3 x 909 [73,94]
  CRUSH rule 3 x 910 [71,26]
  CRUSH rule 3 x 911 [39,62]
  CRUSH rule 3 x 912 [90,39]
  CRUSH rule 3 x 913 [29,80]
  CRUSH rule 3 x 914 [84,99]
  CRUSH rule 3 x 915 [49,62]
  CRUSH rule 3 x 916 [32,7]
  CRUSH rule 3 x 917 [46,91]
  CRUSH rule 3 x 918 [82,71]
  CRUSH rule 3 x 919 [13,109]
  CRUSH rule 3 x 920 [25,100]
  CRUSH rule 3 x 921 [55,32]
  CRUSH rule 3 x 922 [33,96]
  CRUSH rule 3 x 923 [28,79]
  CRUSH rule 3 x 924 [1,41]
  CRUSH rule 3 x 925 [113,25]
  CRUSH rule 3 x 926 [64,65]
  CRUSH rule 3 x 927 [32,23]
  CRUSH rule 3 x 928 [13,94]
  CRUSH rule 3 x 929 [85,60]
  CRUSH rule 3 x 930 [104,55]
  CRUSH rule 3 x 931 [46,91]
  CRUSH rule 3 x 932 [43,54]
  CRUSH rule 3 x 933 [18,93]
  CRUSH rule 3 x 934 [68,107]
  CRUSH rule 3 x 935 [28,23]
  CRUSH rule 3 x 936 [104,51]
  CRUSH rule 3 x 937 [110,37]
  CRUSH rule 3 x 938 [48,69]
  CRUSH rule 3 x 939 [77,32]
  CRUSH rule 3 x 940 [76,19]
  CRUSH rule 3 x 941 [66,10]
  CRUSH rule 3 x 942 [80,37]
  CRUSH rule 3 x 943 [75,82]
  CRUSH rule 3 x 944 [113,15]
  CRUSH rule 3 x 945 [71,111]
  CRUSH rule 3 x 946 [37,115]
  CRUSH rule 3 x 947 [107,48]
  CRUSH rule 3 x 948 [108,8]
  CRUSH rule 3 x 949 [46,14]
  CRUSH rule 3 x 950 [96,13]
  CRUSH rule 3 x 951 [40,63]
  CRUSH rule 3 x 952 [114,16]
  CRUSH rule 3 x 953 [62,53]
  CRUSH rule 3 x 954 [103,68]
  CRUSH rule 3 x 955 [42,63]
  CRUSH rule 3 x 956 [72,6]
  CRUSH rule 3 x 957 [117,6]
  CRUSH rule 3 x 958 [23,74]
  CRUSH rule 3 x 959 [42,87]
  CRUSH rule 3 x 960 [113,91]
  CRUSH rule 3 x 961 [116,61]
  CRUSH rule 3 x 962 [60,41]
  CRUSH rule 3 x 963 [103,46]
  CRUSH rule 3 x 964 [66,15]
  CRUSH rule 3 x 965 [47,108]
  CRUSH rule 3 x 966 [88,69]
  CRUSH rule 3 x 967 [71,74]
  CRUSH rule 3 x 968 [74,75]
  CRUSH rule 3 x 969 [53,30]
  CRUSH rule 3 x 970 [3,2]
  CRUSH rule 3 x 971 [66,19]
  CRUSH rule 3 x 972 [3,115]
  CRUSH rule 3 x 973 [113,89]
  CRUSH rule 3 x 974 [114,73]
  CRUSH rule 3 x 975 [83,96]
  CRUSH rule 3 x 976 [81,100]
  CRUSH rule 3 x 977 [95,76]
  CRUSH rule 3 x 978 [35,119]
  CRUSH rule 3 x 979 [98,13]
  CRUSH rule 3 x 980 [39,113]
  CRUSH rule 3 x 981 [89,46]
  CRUSH rule 3 x 982 [19,66]
  CRUSH rule 3 x 983 [34,107]
  CRUSH rule 3 x 984 [78,23]
  CRUSH rule 3 x 985 [99,24]
  CRUSH rule 3 x 986 [44,33]
  CRUSH rule 3 x 987 [25,98]
  CRUSH rule 3 x 988 [79,84]
  CRUSH rule 3 x 989 [87,60]
  CRUSH rule 3 x 990 [72,22]
  CRUSH rule 3 x 991 [90,71]
  CRUSH rule 3 x 992 [30,75]
  CRUSH rule 3 x 993 [74,27]
  CRUSH rule 3 x 994 [74,75]
  CRUSH rule 3 x 995 [100,45]
  CRUSH rule 3 x 996 [41,34]
  CRUSH rule 3 x 997 [89,32]
  CRUSH rule 3 x 998 [92,41]
  CRUSH rule 3 x 999 [117,13]
  CRUSH rule 3 x 1000 [50,31]
  CRUSH rule 3 x 1001 [83,116]
  CRUSH rule 3 x 1002 [94,13]
  CRUSH rule 3 x 1003 [43,54]
  CRUSH rule 3 x 1004 [89,106]
  CRUSH rule 3 x 1005 [105,76]
  CRUSH rule 3 x 1006 [45,5]
  CRUSH rule 3 x 1007 [19,111]
  CRUSH rule 3 x 1008 [31,74]
  CRUSH rule 3 x 1009 [1,51]
  CRUSH rule 3 x 1010 [31,108]
  CRUSH rule 3 x 1011 [64,3]
  CRUSH rule 3 x 1012 [68,81]
  CRUSH rule 3 x 1013 [5,35]
  CRUSH rule 3 x 1014 [33,48]
  CRUSH rule 3 x 1015 [106,99]
  CRUSH rule 3 x 1016 [107,111]
  CRUSH rule 3 x 1017 [12,69]
  CRUSH rule 3 x 1018 [61,60]
  CRUSH rule 3 x 1019 [27,88]
  CRUSH rule 3 x 1020 [31,111]
  CRUSH rule 3 x 1021 [22,36]
  CRUSH rule 3 x 1022 [73,28]
  CRUSH rule 3 x 1023 [59,88]
  rule 3 (delltestrule) num_rep 2 result size == 2:\t1024/1024 (esc)
  CRUSH rule 3 x 0 [94,85]
  CRUSH rule 3 x 1 [73,78]
  CRUSH rule 3 x 2 [91,104]
  CRUSH rule 3 x 3 [51,94]
  CRUSH rule 3 x 4 [45,28]
  CRUSH rule 3 x 5 [89,113]
  CRUSH rule 3 x 6 [91,12]
  CRUSH rule 3 x 7 [104,71]
  CRUSH rule 3 x 8 [41,12]
  CRUSH rule 3 x 9 [46,35]
  CRUSH rule 3 x 10 [61,60]
  CRUSH rule 3 x 11 [13,74]
  CRUSH rule 3 x 12 [83,62]
  CRUSH rule 3 x 13 [27,117]
  CRUSH rule 3 x 14 [105,115]
  CRUSH rule 3 x 15 [18,87]
  CRUSH rule 3 x 16 [103,52]
  CRUSH rule 3 x 17 [85,80]
  CRUSH rule 3 x 18 [11,46]
  CRUSH rule 3 x 19 [75,114]
  CRUSH rule 3 x 20 [111,27]
  CRUSH rule 3 x 21 [84,7]
  CRUSH rule 3 x 22 [23,66]
  CRUSH rule 3 x 23 [19,84]
  CRUSH rule 3 x 24 [83,40]
  CRUSH rule 3 x 25 [81,108]
  CRUSH rule 3 x 26 [17,117]
  CRUSH rule 3 x 27 [33,58]
  CRUSH rule 3 x 28 [45,98]
  CRUSH rule 3 x 29 [8,46]
  CRUSH rule 3 x 30 [55,119]
  CRUSH rule 3 x 31 [76,35]
  CRUSH rule 3 x 32 [72,13]
  CRUSH rule 3 x 33 [86,107]
  CRUSH rule 3 x 34 [7,38]
  CRUSH rule 3 x 35 [108,31]
  CRUSH rule 3 x 36 [67,24]
  CRUSH rule 3 x 37 [38,17]
  CRUSH rule 3 x 38 [72,57]
  CRUSH rule 3 x 39 [68,73]
  CRUSH rule 3 x 40 [30,25]
  CRUSH rule 3 x 41 [52,91]
  CRUSH rule 3 x 42 [106,39]
  CRUSH rule 3 x 43 [10,115]
  CRUSH rule 3 x 44 [101,115]
  CRUSH rule 3 x 45 [83,80]
  CRUSH rule 3 x 46 [54,33]
  CRUSH rule 3 x 47 [106,41]
  CRUSH rule 3 x 48 [34,65]
  CRUSH rule 3 x 49 [99,46]
  CRUSH rule 3 x 50 [42,85]
  CRUSH rule 3 x 51 [6,114]
  CRUSH rule 3 x 52 [82,14]
  CRUSH rule 3 x 53 [32,29]
  CRUSH rule 3 x 54 [28,77]
  CRUSH rule 3 x 55 [14,44]
  CRUSH rule 3 x 56 [21,112]
  CRUSH rule 3 x 57 [93,26]
  CRUSH rule 3 x 58 [48,95]
  CRUSH rule 3 x 59 [21,104]
  CRUSH rule 3 x 60 [90,75]
  CRUSH rule 3 x 61 [88,39]
  CRUSH rule 3 x 62 [100,8]
  CRUSH rule 3 x 63 [79,96]
  CRUSH rule 3 x 64 [1,77]
  CRUSH rule 3 x 65 [32,25]
  CRUSH rule 3 x 66 [48,93]
  CRUSH rule 3 x 67 [94,91]
  CRUSH rule 3 x 68 [102,105]
  CRUSH rule 3 x 69 [62,20]
  CRUSH rule 3 x 70 [84,27]
  CRUSH rule 3 x 71 [12,99]
  CRUSH rule 3 x 72 [26,69]
  CRUSH rule 3 x 73 [29,88]
  CRUSH rule 3 x 74 [29,60]
  CRUSH rule 3 x 75 [60,43]
  CRUSH rule 3 x 76 [55,60]
  CRUSH rule 3 x 77 [107,78]
  CRUSH rule 3 x 78 [86,39]
  CRUSH rule 3 x 79 [64,65]
  CRUSH rule 3 x 80 [73,26]
  CRUSH rule 3 x 81 [64,57]
  CRUSH rule 3 x 82 [37,1]
  CRUSH rule 3 x 83 [92,22]
  CRUSH rule 3 x 84 [49,40]
  CRUSH rule 3 x 85 [87,30]
  CRUSH rule 3 x 86 [37,119]
  CRUSH rule 3 x 87 [116,3]
  CRUSH rule 3 x 88 [38,22]
  CRUSH rule 3 x 89 [76,41]
  CRUSH rule 3 x 90 [14,98]
  CRUSH rule 3 x 91 [68,27]
  CRUSH rule 3 x 92 [86,13]
  CRUSH rule 3 x 93 [44,83]
  CRUSH rule 3 x 94 [46,15]
  CRUSH rule 3 x 95 [108,6]
  CRUSH rule 3 x 96 [66,25]
  CRUSH rule 3 x 97 [111,33]
  CRUSH rule 3 x 98 [93,36]
  CRUSH rule 3 x 99 [78,17]
  CRUSH rule 3 x 100 [28,55]
  CRUSH rule 3 x 101 [91,34]
  CRUSH rule 3 x 102 [82,93]
  CRUSH rule 3 x 103 [66,105]
  CRUSH rule 3 x 104 [116,10]
  CRUSH rule 3 x 105 [34,69]
  CRUSH rule 3 x 106 [69,66]
  CRUSH rule 3 x 107 [1,41]
  CRUSH rule 3 x 108 [7,68]
  CRUSH rule 3 x 109 [112,87]
  CRUSH rule 3 x 110 [54,10]
  CRUSH rule 3 x 111 [10,86]
  CRUSH rule 3 x 112 [80,29]
  CRUSH rule 3 x 113 [69,26]
  CRUSH rule 3 x 114 [79,46]
  CRUSH rule 3 x 115 [10,111]
  CRUSH rule 3 x 116 [37,86]
  CRUSH rule 3 x 117 [87,50]
  CRUSH rule 3 x 118 [23,106]
  CRUSH rule 3 x 119 [104,14]
  CRUSH rule 3 x 120 [44,3]
  CRUSH rule 3 x 121 [80,14]
  CRUSH rule 3 x 122 [45,68]
  CRUSH rule 3 x 123 [112,22]
  CRUSH rule 3 x 124 [97,118]
  CRUSH rule 3 x 125 [66,7]
  CRUSH rule 3 x 126 [70,23]
  CRUSH rule 3 x 127 [70,13]
  CRUSH rule 3 x 128 [11,119]
  CRUSH rule 3 x 129 [103,108]
  CRUSH rule 3 x 130 [50,17]
  CRUSH rule 3 x 131 [44,55]
  CRUSH rule 3 x 132 [69,1]
  CRUSH rule 3 x 133 [67,104]
  CRUSH rule 3 x 134 [37,66]
  CRUSH rule 3 x 135 [78,101]
  CRUSH rule 3 x 136 [32,83]
  CRUSH rule 3 x 137 [92,81]
  CRUSH rule 3 x 138 [54,17]
  CRUSH rule 3 x 139 [89,92]
  CRUSH rule 3 x 140 [39,1]
  CRUSH rule 3 x 141 [89,28]
  CRUSH rule 3 x 142 [22,26]
  CRUSH rule 3 x 143 [96,77]
  CRUSH rule 3 x 144 [13,111]
  CRUSH rule 3 x 145 [77,100]
  CRUSH rule 3 x 146 [12,15]
  CRUSH rule 3 x 147 [2,11]
  CRUSH rule 3 x 148 [85,108]
  CRUSH rule 3 x 149 [103,62]
  CRUSH rule 3 x 150 [14,78]
  CRUSH rule 3 x 151 [75,119]
  CRUSH rule 3 x 152 [49,84]
  CRUSH rule 3 x 153 [92,81]
  CRUSH rule 3 x 154 [19,56]
  CRUSH rule 3 x 155 [12,75]
  CRUSH rule 3 x 156 [107,112]
  CRUSH rule 3 x 157 [15,28]
  CRUSH rule 3 x 158 [11,113]
  CRUSH rule 3 x 159 [33,52]
  CRUSH rule 3 x 160 [86,35]
  CRUSH rule 3 x 161 [19,117]
  CRUSH rule 3 x 162 [55,113]
  CRUSH rule 3 x 163 [54,87]
  CRUSH rule 3 x 164 [72,8]
  CRUSH rule 3 x 165 [25,74]
  CRUSH rule 3 x 166 [2,22]
  CRUSH rule 3 x 167 [89,56]
  CRUSH rule 3 x 168 [68,103]
  CRUSH rule 3 x 169 [51,12]
  CRUSH rule 3 x 170 [68,53]
  CRUSH rule 3 x 171 [88,79]
  CRUSH rule 3 x 172 [117,89]
  CRUSH rule 3 x 173 [29,40]
  CRUSH rule 3 x 174 [67,86]
  CRUSH rule 3 x 175 [48,85]
  CRUSH rule 3 x 176 [94,83]
  CRUSH rule 3 x 177 [53,18]
  CRUSH rule 3 x 178 [39,30]
  CRUSH rule 3 x 179 [72,17]
  CRUSH rule 3 x 180 [3,114]
  CRUSH rule 3 x 181 [18,16]
  CRUSH rule 3 x 182 [75,5]
  CRUSH rule 3 x 183 [11,110]
  CRUSH rule 3 x 184 [79,48]
  CRUSH rule 3 x 185 [97,100]
  CRUSH rule 3 x 186 [67,44]
  CRUSH rule 3 x 187 [6,50]
  CRUSH rule 3 x 188 [76,85]
  CRUSH rule 3 x 189 [96,7]
  CRUSH rule 3 x 190 [90,95]
  CRUSH rule 3 x 191 [49,113]
  CRUSH rule 3 x 192 [93,58]
  CRUSH rule 3 x 193 [89,66]
  CRUSH rule 3 x 194 [62,3]
  CRUSH rule 3 x 195 [119,85]
  CRUSH rule 3 x 196 [20,72]
  CRUSH rule 3 x 197 [6,116]
  CRUSH rule 3 x 198 [55,92]
  CRUSH rule 3 x 199 [77,66]
  CRUSH rule 3 x 200 [12,81]
  CRUSH rule 3 x 201 [52,71]
  CRUSH rule 3 x 202 [98,59]
  CRUSH rule 3 x 203 [36,19]
  CRUSH rule 3 x 204 [10,113]
  CRUSH rule 3 x 205 [38,79]
  CRUSH rule 3 x 206 [38,105]
  CRUSH rule 3 x 207 [19,86]
  CRUSH rule 3 x 208 [63,92]
  CRUSH rule 3 x 209 [70,99]
  CRUSH rule 3 x 210 [79,102]
  CRUSH rule 3 x 211 [26,27]
  CRUSH rule 3 x 212 [28,107]
  CRUSH rule 3 x 213 [100,49]
  CRUSH rule 3 x 214 [91,88]
  CRUSH rule 3 x 215 [92,7]
  CRUSH rule 3 x 216 [99,108]
  CRUSH rule 3 x 217 [86,97]
  CRUSH rule 3 x 218 [70,10]
  CRUSH rule 3 x 219 [61,112]
  CRUSH rule 3 x 220 [23,66]
  CRUSH rule 3 x 221 [51,66]
  CRUSH rule 3 x 222 [50,65]
  CRUSH rule 3 x 223 [34,45]
  CRUSH rule 3 x 224 [107,44]
  CRUSH rule 3 x 225 [61,102]
  CRUSH rule 3 x 226 [44,87]
  CRUSH rule 3 x 227 [55,66]
  CRUSH rule 3 x 228 [117,103]
  CRUSH rule 3 x 229 [100,27]
  CRUSH rule 3 x 230 [41,32]
  CRUSH rule 3 x 231 [30,16]
  CRUSH rule 3 x 232 [23,102]
  CRUSH rule 3 x 233 [47,32]
  CRUSH rule 3 x 234 [55,78]
  CRUSH rule 3 x 235 [20,32]
  CRUSH rule 3 x 236 [95,118]
  CRUSH rule 3 x 237 [21,72]
  CRUSH rule 3 x 238 [109,53]
  CRUSH rule 3 x 239 [40,10]
  CRUSH rule 3 x 240 [63,96]
  CRUSH rule 3 x 241 [47,1]
  CRUSH rule 3 x 242 [73,24]
  CRUSH rule 3 x 243 [76,79]
  CRUSH rule 3 x 244 [103,115]
  CRUSH rule 3 x 245 [106,29]
  CRUSH rule 3 x 246 [35,5]
  CRUSH rule 3 x 247 [116,37]
  CRUSH rule 3 x 248 [8,34]
  CRUSH rule 3 x 249 [2,105]
  CRUSH rule 3 x 250 [34,79]
  CRUSH rule 3 x 251 [28,87]
  CRUSH rule 3 x 252 [95,24]
  CRUSH rule 3 x 253 [109,97]
  CRUSH rule 3 x 254 [99,56]
  CRUSH rule 3 x 255 [112,31]
  CRUSH rule 3 x 256 [94,31]
  CRUSH rule 3 x 257 [100,39]
  CRUSH rule 3 x 258 [34,83]
  CRUSH rule 3 x 259 [70,87]
  CRUSH rule 3 x 260 [89,24]
  CRUSH rule 3 x 261 [94,77]
  CRUSH rule 3 x 262 [42,97]
  CRUSH rule 3 x 263 [113,37]
  CRUSH rule 3 x 264 [36,89]
  CRUSH rule 3 x 265 [14,46]
  CRUSH rule 3 x 266 [75,48]
  CRUSH rule 3 x 267 [6,46]
  CRUSH rule 3 x 268 [38,3]
  CRUSH rule 3 x 269 [86,91]
  CRUSH rule 3 x 270 [87,54]
  CRUSH rule 3 x 271 [19,78]
  CRUSH rule 3 x 272 [73,110]
  CRUSH rule 3 x 273 [69,113]
  CRUSH rule 3 x 274 [47,26]
  CRUSH rule 3 x 275 [92,29]
  CRUSH rule 3 x 276 [7,38]
  CRUSH rule 3 x 277 [74,95]
  CRUSH rule 3 x 278 [107,62]
  CRUSH rule 3 x 279 [112,53]
  CRUSH rule 3 x 280 [113,75]
  CRUSH rule 3 x 281 [89,40]
  CRUSH rule 3 x 282 [20,46]
  CRUSH rule 3 x 283 [8,36]
  CRUSH rule 3 x 284 [66,85]
  CRUSH rule 3 x 285 [99,109]
  CRUSH rule 3 x 286 [78,89]
  CRUSH rule 3 x 287 [12,79]
  CRUSH rule 3 x 288 [24,37]
  CRUSH rule 3 x 289 [105,74]
  CRUSH rule 3 x 290 [25,18]
  CRUSH rule 3 x 291 [35,42]
  CRUSH rule 3 x 292 [20,74]
  CRUSH rule 3 x 293 [27,118]
  CRUSH rule 3 x 294 [60,75]
  CRUSH rule 3 x 295 [37,36]
  CRUSH rule 3 x 296 [16,28]
  CRUSH rule 3 x 297 [36,29]
  CRUSH rule 3 x 298 [70,105]
  CRUSH rule 3 x 299 [116,85]
  CRUSH rule 3 x 300 [67,36]
  CRUSH rule 3 x 301 [117,71]
  CRUSH rule 3 x 302 [78,105]
  CRUSH rule 3 x 303 [19,82]
  CRUSH rule 3 x 304 [101,38]
  CRUSH rule 3 x 305 [5,49]
  CRUSH rule 3 x 306 [41,64]
  CRUSH rule 3 x 307 [65,119]
  CRUSH rule 3 x 308 [91,115]
  CRUSH rule 3 x 309 [38,41]
  CRUSH rule 3 x 310 [26,43]
  CRUSH rule 3 x 311 [36,75]
  CRUSH rule 3 x 312 [114,15]
  CRUSH rule 3 x 313 [104,79]
  CRUSH rule 3 x 314 [28,43]
  CRUSH rule 3 x 315 [118,17]
  CRUSH rule 3 x 316 [98,39]
  CRUSH rule 3 x 317 [118,21]
  CRUSH rule 3 x 318 [17,94]
  CRUSH rule 3 x 319 [53,62]
  CRUSH rule 3 x 320 [36,3]
  CRUSH rule 3 x 321 [33,60]
  CRUSH rule 3 x 322 [68,3]
  CRUSH rule 3 x 323 [66,95]
  CRUSH rule 3 x 324 [21,42]
  CRUSH rule 3 x 325 [52,43]
  CRUSH rule 3 x 326 [7,90]
  CRUSH rule 3 x 327 [62,3]
  CRUSH rule 3 x 328 [61,42]
  CRUSH rule 3 x 329 [19,115]
  CRUSH rule 3 x 330 [24,15]
  CRUSH rule 3 x 331 [84,14]
  CRUSH rule 3 x 332 [61,72]
  CRUSH rule 3 x 333 [116,6]
  CRUSH rule 3 x 334 [94,29]
  CRUSH rule 3 x 335 [71,116]
  CRUSH rule 3 x 336 [24,11]
  CRUSH rule 3 x 337 [18,23]
  CRUSH rule 3 x 338 [43,118]
  CRUSH rule 3 x 339 [13,50]
  CRUSH rule 3 x 340 [81,115]
  CRUSH rule 3 x 341 [46,65]
  CRUSH rule 3 x 342 [92,71]
  CRUSH rule 3 x 343 [49,56]
  CRUSH rule 3 x 344 [1,25]
  CRUSH rule 3 x 345 [56,11]
  CRUSH rule 3 x 346 [3,112]
  CRUSH rule 3 x 347 [106,85]
  CRUSH rule 3 x 348 [10,114]
  CRUSH rule 3 x 349 [96,51]
  CRUSH rule 3 x 350 [63,32]
  CRUSH rule 3 x 351 [60,20]
  CRUSH rule 3 x 352 [36,21]
  CRUSH rule 3 x 353 [10,32]
  CRUSH rule 3 x 354 [55,74]
  CRUSH rule 3 x 355 [73,80]
  CRUSH rule 3 x 356 [75,96]
  CRUSH rule 3 x 357 [70,89]
  CRUSH rule 3 x 358 [97,92]
  CRUSH rule 3 x 359 [119,20]
  CRUSH rule 3 x 360 [106,15]
  CRUSH rule 3 x 361 [27,56]
  CRUSH rule 3 x 362 [28,22]
  CRUSH rule 3 x 363 [68,81]
  CRUSH rule 3 x 364 [23,2]
  CRUSH rule 3 x 365 [57,12]
  CRUSH rule 3 x 366 [42,61]
  CRUSH rule 3 x 367 [103,108]
  CRUSH rule 3 x 368 [103,119]
  CRUSH rule 3 x 369 [12,11]
  CRUSH rule 3 x 370 [11,109]
  CRUSH rule 3 x 371 [34,65]
  CRUSH rule 3 x 372 [58,29]
  CRUSH rule 3 x 373 [6,64]
  CRUSH rule 3 x 374 [110,89]
  CRUSH rule 3 x 375 [5,89]
  CRUSH rule 3 x 376 [91,98]
  CRUSH rule 3 x 377 [93,113]
  CRUSH rule 3 x 378 [68,41]
  CRUSH rule 3 x 379 [77,94]
  CRUSH rule 3 x 380 [76,107]
  CRUSH rule 3 x 381 [36,20]
  CRUSH rule 3 x 382 [26,107]
  CRUSH rule 3 x 383 [48,93]
  CRUSH rule 3 x 384 [15,100]
  CRUSH rule 3 x 385 [82,27]
  CRUSH rule 3 x 386 [83,24]
  CRUSH rule 3 x 387 [16,70]
  CRUSH rule 3 x 388 [29,66]
  CRUSH rule 3 x 389 [92,67]
  CRUSH rule 3 x 390 [68,13]
  CRUSH rule 3 x 391 [15,2]
  CRUSH rule 3 x 392 [21,110]
  CRUSH rule 3 x 393 [91,113]
  CRUSH rule 3 x 394 [38,21]
  CRUSH rule 3 x 395 [21,92]
  CRUSH rule 3 x 396 [12,59]
  CRUSH rule 3 x 397 [40,51]
  CRUSH rule 3 x 398 [44,21]
  CRUSH rule 3 x 399 [5,33]
  CRUSH rule 3 x 400 [19,64]
  CRUSH rule 3 x 401 [79,109]
  CRUSH rule 3 x 402 [107,72]
  CRUSH rule 3 x 403 [23,74]
  CRUSH rule 3 x 404 [87,78]
  CRUSH rule 3 x 405 [90,93]
  CRUSH rule 3 x 406 [15,98]
  CRUSH rule 3 x 407 [70,25]
  CRUSH rule 3 x 408 [55,104]
  CRUSH rule 3 x 409 [73,44]
  CRUSH rule 3 x 410 [70,47]
  CRUSH rule 3 x 411 [34,15]
  CRUSH rule 3 x 412 [105,44]
  CRUSH rule 3 x 413 [41,86]
  CRUSH rule 3 x 414 [70,71]
  CRUSH rule 3 x 415 [107,80]
  CRUSH rule 3 x 416 [2,23]
  CRUSH rule 3 x 417 [26,23]
  CRUSH rule 3 x 418 [51,114]
  CRUSH rule 3 x 419 [8,94]
  CRUSH rule 3 x 420 [109,15]
  CRUSH rule 3 x 421 [114,77]
  CRUSH rule 3 x 422 [109,39]
  CRUSH rule 3 x 423 [59,98]
  CRUSH rule 3 x 424 [92,65]
  CRUSH rule 3 x 425 [101,50]
  CRUSH rule 3 x 426 [36,57]
  CRUSH rule 3 x 427 [8,38]
  CRUSH rule 3 x 428 [68,63]
  CRUSH rule 3 x 429 [76,13]
  CRUSH rule 3 x 430 [67,100]
  CRUSH rule 3 x 431 [70,53]
  CRUSH rule 3 x 432 [7,50]
  CRUSH rule 3 x 433 [49,24]
  CRUSH rule 3 x 434 [64,59]
  CRUSH rule 3 x 435 [110,71]
  CRUSH rule 3 x 436 [106,47]
  CRUSH rule 3 x 437 [26,29]
  CRUSH rule 3 x 438 [118,95]
  CRUSH rule 3 x 439 [40,83]
  CRUSH rule 3 x 440 [45,68]
  CRUSH rule 3 x 441 [112,15]
  CRUSH rule 3 x 442 [55,18]
  CRUSH rule 3 x 443 [44,37]
  CRUSH rule 3 x 444 [71,119]
  CRUSH rule 3 x 445 [58,63]
  CRUSH rule 3 x 446 [40,20]
  CRUSH rule 3 x 447 [100,43]
  CRUSH rule 3 x 448 [111,15]
  CRUSH rule 3 x 449 [67,102]
  CRUSH rule 3 x 450 [117,79]
  CRUSH rule 3 x 451 [66,75]
  CRUSH rule 3 x 452 [70,33]
  CRUSH rule 3 x 453 [82,21]
  CRUSH rule 3 x 454 [53,28]
  CRUSH rule 3 x 455 [91,68]
  CRUSH rule 3 x 456 [101,60]
  CRUSH rule 3 x 457 [113,97]
  CRUSH rule 3 x 458 [119,41]
  CRUSH rule 3 x 459 [50,55]
  CRUSH rule 3 x 460 [105,30]
  CRUSH rule 3 x 461 [102,45]
  CRUSH rule 3 x 462 [98,25]
  CRUSH rule 3 x 463 [108,57]
  CRUSH rule 3 x 464 [19,50]
  CRUSH rule 3 x 465 [62,95]
  CRUSH rule 3 x 466 [53,106]
  CRUSH rule 3 x 467 [40,95]
  CRUSH rule 3 x 468 [97,108]
  CRUSH rule 3 x 469 [98,16]
  CRUSH rule 3 x 470 [50,3]
  CRUSH rule 3 x 471 [40,14]
  CRUSH rule 3 x 472 [27,28]
  CRUSH rule 3 x 473 [48,17]
  CRUSH rule 3 x 474 [51,113]
  CRUSH rule 3 x 475 [49,66]
  CRUSH rule 3 x 476 [110,55]
  CRUSH rule 3 x 477 [80,8]
  CRUSH rule 3 x 478 [78,25]
  CRUSH rule 3 x 479 [31,106]
  CRUSH rule 3 x 480 [75,5]
  CRUSH rule 3 x 481 [26,37]
  CRUSH rule 3 x 482 [84,87]
  CRUSH rule 3 x 483 [15,113]
  CRUSH rule 3 x 484 [37,28]
  CRUSH rule 3 x 485 [84,61]
  CRUSH rule 3 x 486 [92,61]
  CRUSH rule 3 x 487 [106,53]
  CRUSH rule 3 x 488 [42,7]
  CRUSH rule 3 x 489 [89,98]
  CRUSH rule 3 x 490 [22,119]
  CRUSH rule 3 x 491 [99,5]
  CRUSH rule 3 x 492 [21,58]
  CRUSH rule 3 x 493 [94,89]
  CRUSH rule 3 x 494 [56,59]
  CRUSH rule 3 x 495 [95,119]
  CRUSH rule 3 x 496 [46,43]
  CRUSH rule 3 x 497 [102,89]
  CRUSH rule 3 x 498 [21,82]
  CRUSH rule 3 x 499 [5,95]
  CRUSH rule 3 x 500 [50,6]
  CRUSH rule 3 x 501 [60,75]
  CRUSH rule 3 x 502 [65,1]
  CRUSH rule 3 x 503 [21,115]
  CRUSH rule 3 x 504 [67,5]
  CRUSH rule 3 x 505 [12,91]
  CRUSH rule 3 x 506 [79,110]
  CRUSH rule 3 x 507 [34,77]
  CRUSH rule 3 x 508 [34,45]
  CRUSH rule 3 x 509 [19,74]
  CRUSH rule 3 x 510 [117,69]
  CRUSH rule 3 x 511 [14,34]
  CRUSH rule 3 x 512 [59,111]
  CRUSH rule 3 x 513 [102,13]
  CRUSH rule 3 x 514 [75,111]
  CRUSH rule 3 x 515 [84,83]
  CRUSH rule 3 x 516 [37,80]
  CRUSH rule 3 x 517 [83,30]
  CRUSH rule 3 x 518 [18,37]
  CRUSH rule 3 x 519 [67,52]
  CRUSH rule 3 x 520 [15,70]
  CRUSH rule 3 x 521 [70,22]
  CRUSH rule 3 x 522 [56,3]
  CRUSH rule 3 x 523 [36,23]
  CRUSH rule 3 x 524 [33,94]
  CRUSH rule 3 x 525 [63,104]
  CRUSH rule 3 x 526 [83,118]
  CRUSH rule 3 x 527 [37,5]
  CRUSH rule 3 x 528 [108,43]
  CRUSH rule 3 x 529 [74,7]
  CRUSH rule 3 x 530 [49,12]
  CRUSH rule 3 x 531 [117,107]
  CRUSH rule 3 x 532 [31,68]
  CRUSH rule 3 x 533 [5,73]
  CRUSH rule 3 x 534 [97,104]
  CRUSH rule 3 x 535 [48,41]
  CRUSH rule 3 x 536 [113,71]
  CRUSH rule 3 x 537 [116,7]
  CRUSH rule 3 x 538 [85,40]
  CRUSH rule 3 x 539 [72,85]
  CRUSH rule 3 x 540 [39,12]
  CRUSH rule 3 x 541 [53,64]
  CRUSH rule 3 x 542 [27,54]
  CRUSH rule 3 x 543 [45,106]
  CRUSH rule 3 x 544 [59,26]
  CRUSH rule 3 x 545 [118,15]
  CRUSH rule 3 x 546 [18,71]
  CRUSH rule 3 x 547 [67,80]
  CRUSH rule 3 x 548 [53,92]
  CRUSH rule 3 x 549 [60,51]
  CRUSH rule 3 x 550 [92,37]
  CRUSH rule 3 x 551 [77,52]
  CRUSH rule 3 x 552 [61,80]
  CRUSH rule 3 x 553 [71,84]
  CRUSH rule 3 x 554 [61,52]
  CRUSH rule 3 x 555 [76,69]
  CRUSH rule 3 x 556 [106,10]
  CRUSH rule 3 x 557 [26,35]
  CRUSH rule 3 x 558 [41,46]
  CRUSH rule 3 x 559 [65,86]
  CRUSH rule 3 x 560 [94,91]
  CRUSH rule 3 x 561 [27,98]
  CRUSH rule 3 x 562 [78,19]
  CRUSH rule 3 x 563 [59,82]
  CRUSH rule 3 x 564 [96,15]
  CRUSH rule 3 x 565 [8,92]
  CRUSH rule 3 x 566 [119,81]
  CRUSH rule 3 x 567 [7,46]
  CRUSH rule 3 x 568 [57,96]
  CRUSH rule 3 x 569 [65,100]
  CRUSH rule 3 x 570 [98,103]
  CRUSH rule 3 x 571 [95,110]
  CRUSH rule 3 x 572 [62,75]
  CRUSH rule 3 x 573 [1,20]
  CRUSH rule 3 x 574 [89,64]
  CRUSH rule 3 x 575 [87,54]
  CRUSH rule 3 x 576 [21,113]
  CRUSH rule 3 x 577 [8,113]
  CRUSH rule 3 x 578 [75,116]
  CRUSH rule 3 x 579 [105,96]
  CRUSH rule 3 x 580 [51,12]
  CRUSH rule 3 x 581 [55,40]
  CRUSH rule 3 x 582 [27,106]
  CRUSH rule 3 x 583 [6,102]
  CRUSH rule 3 x 584 [10,90]
  CRUSH rule 3 x 585 [20,88]
  CRUSH rule 3 x 586 [48,67]
  CRUSH rule 3 x 587 [29,5]
  CRUSH rule 3 x 588 [103,40]
  CRUSH rule 3 x 589 [88,85]
  CRUSH rule 3 x 590 [76,11]
  CRUSH rule 3 x 591 [42,17]
  CRUSH rule 3 x 592 [78,6]
  CRUSH rule 3 x 593 [82,35]
  CRUSH rule 3 x 594 [27,76]
  CRUSH rule 3 x 595 [52,10]
  CRUSH rule 3 x 596 [82,99]
  CRUSH rule 3 x 597 [16,32]
  CRUSH rule 3 x 598 [37,36]
  CRUSH rule 3 x 599 [10,24]
  CRUSH rule 3 x 600 [24,37]
  CRUSH rule 3 x 601 [104,21]
  CRUSH rule 3 x 602 [48,39]
  CRUSH rule 3 x 603 [93,44]
  CRUSH rule 3 x 604 [118,87]
  CRUSH rule 3 x 605 [104,63]
  CRUSH rule 3 x 606 [90,103]
  CRUSH rule 3 x 607 [95,72]
  CRUSH rule 3 x 608 [112,71]
  CRUSH rule 3 x 609 [34,16]
  CRUSH rule 3 x 610 [106,73]
  CRUSH rule 3 x 611 [66,37]
  CRUSH rule 3 x 612 [2,20]
  CRUSH rule 3 x 613 [13,92]
  CRUSH rule 3 x 614 [50,65]
  CRUSH rule 3 x 615 [24,39]
  CRUSH rule 3 x 616 [41,46]
  CRUSH rule 3 x 617 [111,81]
  CRUSH rule 3 x 618 [3,72]
  CRUSH rule 3 x 619 [92,31]
  CRUSH rule 3 x 620 [108,31]
  CRUSH rule 3 x 621 [105,50]
  CRUSH rule 3 x 622 [67,102]
  CRUSH rule 3 x 623 [69,117]
  CRUSH rule 3 x 624 [115,79]
  CRUSH rule 3 x 625 [73,94]
  CRUSH rule 3 x 626 [52,25]
  CRUSH rule 3 x 627 [116,105]
  CRUSH rule 3 x 628 [98,87]
  CRUSH rule 3 x 629 [6,116]
  CRUSH rule 3 x 630 [22,50]
  CRUSH rule 3 x 631 [35,96]
  CRUSH rule 3 x 632 [80,53]
  CRUSH rule 3 x 633 [65,110]
  CRUSH rule 3 x 634 [87,50]
  CRUSH rule 3 x 635 [107,111]
  CRUSH rule 3 x 636 [23,30]
  CRUSH rule 3 x 637 [99,114]
  CRUSH rule 3 x 638 [43,78]
  CRUSH rule 3 x 639 [30,31]
  CRUSH rule 3 x 640 [113,87]
  CRUSH rule 3 x 641 [45,58]
  CRUSH rule 3 x 642 [47,30]
  CRUSH rule 3 x 643 [64,99]
  CRUSH rule 3 x 644 [31,119]
  CRUSH rule 3 x 645 [77,90]
  CRUSH rule 3 x 646 [37,26]
  CRUSH rule 3 x 647 [65,112]
  CRUSH rule 3 x 648 [31,84]
  CRUSH rule 3 x 649 [88,39]
  CRUSH rule 3 x 650 [21,44]
  CRUSH rule 3 x 651 [63,12]
  CRUSH rule 3 x 652 [57,28]
  CRUSH rule 3 x 653 [38,63]
  CRUSH rule 3 x 654 [104,107]
  CRUSH rule 3 x 655 [89,109]
  CRUSH rule 3 x 656 [79,84]
  CRUSH rule 3 x 657 [47,18]
  CRUSH rule 3 x 658 [80,49]
  CRUSH rule 3 x 659 [11,104]
  CRUSH rule 3 x 660 [65,102]
  CRUSH rule 3 x 661 [96,67]
  CRUSH rule 3 x 662 [111,43]
  CRUSH rule 3 x 663 [83,115]
  CRUSH rule 3 x 664 [59,52]
  CRUSH rule 3 x 665 [31,86]
  CRUSH rule 3 x 666 [112,8]
  CRUSH rule 3 x 667 [70,107]
  CRUSH rule 3 x 668 [96,43]
  CRUSH rule 3 x 669 [56,25]
  CRUSH rule 3 x 670 [98,83]
  CRUSH rule 3 x 671 [57,100]
  CRUSH rule 3 x 672 [37,98]
  CRUSH rule 3 x 673 [83,116]
  CRUSH rule 3 x 674 [36,95]
  CRUSH rule 3 x 675 [88,91]
  CRUSH rule 3 x 676 [3,40]
  CRUSH rule 3 x 677 [88,105]
  CRUSH rule 3 x 678 [27,100]
  CRUSH rule 3 x 679 [33,118]
  CRUSH rule 3 x 680 [111,81]
  CRUSH rule 3 x 681 [53,68]
  CRUSH rule 3 x 682 [12,83]
  CRUSH rule 3 x 683 [24,67]
  CRUSH rule 3 x 684 [98,45]
  CRUSH rule 3 x 685 [106,25]
  CRUSH rule 3 x 686 [86,45]
  CRUSH rule 3 x 687 [49,102]
  CRUSH rule 3 x 688 [16,52]
  CRUSH rule 3 x 689 [32,101]
  CRUSH rule 3 x 690 [96,79]
  CRUSH rule 3 x 691 [34,99]
  CRUSH rule 3 x 692 [97,68]
  CRUSH rule 3 x 693 [29,38]
  CRUSH rule 3 x 694 [6,26]
  CRUSH rule 3 x 695 [31,112]
  CRUSH rule 3 x 696 [36,97]
  CRUSH rule 3 x 697 [19,38]
  CRUSH rule 3 x 698 [30,103]
  CRUSH rule 3 x 699 [47,60]
  CRUSH rule 3 x 700 [99,82]
  CRUSH rule 3 x 701 [53,72]
  CRUSH rule 3 x 702 [101,113]
  CRUSH rule 3 x 703 [92,20]
  CRUSH rule 3 x 704 [34,47]
  CRUSH rule 3 x 705 [105,88]
  CRUSH rule 3 x 706 [74,20]
  CRUSH rule 3 x 707 [95,40]
  CRUSH rule 3 x 708 [95,38]
  CRUSH rule 3 x 709 [73,94]
  CRUSH rule 3 x 710 [94,7]
  CRUSH rule 3 x 711 [68,16]
  CRUSH rule 3 x 712 [107,64]
  CRUSH rule 3 x 713 [29,2]
  CRUSH rule 3 x 714 [86,97]
  CRUSH rule 3 x 715 [74,95]
  CRUSH rule 3 x 716 [101,74]
  CRUSH rule 3 x 717 [12,57]
  CRUSH rule 3 x 718 [83,106]
  CRUSH rule 3 x 719 [26,39]
  CRUSH rule 3 x 720 [69,64]
  CRUSH rule 3 x 721 [51,119]
  CRUSH rule 3 x 722 [15,26]
  CRUSH rule 3 x 723 [117,75]
  CRUSH rule 3 x 724 [45,106]
  CRUSH rule 3 x 725 [53,66]
  CRUSH rule 3 x 726 [103,38]
  CRUSH rule 3 x 727 [89,115]
  CRUSH rule 3 x 728 [76,65]
  CRUSH rule 3 x 729 [35,48]
  CRUSH rule 3 x 730 [28,37]
  CRUSH rule 3 x 731 [78,6]
  CRUSH rule 3 x 732 [1,93]
  CRUSH rule 3 x 733 [35,44]
  CRUSH rule 3 x 734 [119,93]
  CRUSH rule 3 x 735 [102,17]
  CRUSH rule 3 x 736 [37,78]
  CRUSH rule 3 x 737 [117,35]
  CRUSH rule 3 x 738 [57,56]
  CRUSH rule 3 x 739 [87,24]
  CRUSH rule 3 x 740 [29,34]
  CRUSH rule 3 x 741 [47,94]
  CRUSH rule 3 x 742 [106,107]
  CRUSH rule 3 x 743 [105,5]
  CRUSH rule 3 x 744 [23,30]
  CRUSH rule 3 x 745 [37,106]
  CRUSH rule 3 x 746 [56,47]
  CRUSH rule 3 x 747 [56,107]
  CRUSH rule 3 x 748 [48,25]
  CRUSH rule 3 x 749 [102,93]
  CRUSH rule 3 x 750 [83,102]
  CRUSH rule 3 x 751 [25,56]
  CRUSH rule 3 x 752 [82,16]
  CRUSH rule 3 x 753 [116,14]
  CRUSH rule 3 x 754 [114,39]
  CRUSH rule 3 x 755 [87,60]
  CRUSH rule 3 x 756 [113,77]
  CRUSH rule 3 x 757 [47,112]
  CRUSH rule 3 x 758 [54,107]
  CRUSH rule 3 x 759 [74,65]
  CRUSH rule 3 x 760 [88,47]
  CRUSH rule 3 x 761 [73,98]
  CRUSH rule 3 x 762 [34,33]
  CRUSH rule 3 x 763 [13,116]
  CRUSH rule 3 x 764 [89,2]
  CRUSH rule 3 x 765 [109,77]
  CRUSH rule 3 x 766 [19,92]
  CRUSH rule 3 x 767 [41,80]
  CRUSH rule 3 x 768 [106,16]
  CRUSH rule 3 x 769 [91,2]
  CRUSH rule 3 x 770 [72,19]
  CRUSH rule 3 x 771 [115,63]
  CRUSH rule 3 x 772 [97,102]
  CRUSH rule 3 x 773 [116,91]
  CRUSH rule 3 x 774 [100,105]
  CRUSH rule 3 x 775 [102,95]
  CRUSH rule 3 x 776 [69,44]
  CRUSH rule 3 x 777 [91,102]
  CRUSH rule 3 x 778 [83,110]
  CRUSH rule 3 x 779 [47,80]
  CRUSH rule 3 x 780 [63,117]
  CRUSH rule 3 x 781 [105,106]
  CRUSH rule 3 x 782 [117,107]
  CRUSH rule 3 x 783 [19,30]
  CRUSH rule 3 x 784 [63,82]
  CRUSH rule 3 x 785 [27,50]
  CRUSH rule 3 x 786 [41,90]
  CRUSH rule 3 x 787 [108,27]
  CRUSH rule 3 x 788 [74,75]
  CRUSH rule 3 x 789 [50,67]
  CRUSH rule 3 x 790 [20,108]
  CRUSH rule 3 x 791 [96,53]
  CRUSH rule 3 x 792 [80,13]
  CRUSH rule 3 x 793 [6,82]
  CRUSH rule 3 x 794 [14,90]
  CRUSH rule 3 x 795 [30,67]
  CRUSH rule 3 x 796 [87,60]
  CRUSH rule 3 x 797 [64,93]
  CRUSH rule 3 x 798 [42,19]
  CRUSH rule 3 x 799 [19,113]
  CRUSH rule 3 x 800 [106,22]
  CRUSH rule 3 x 801 [2,11]
  CRUSH rule 3 x 802 [63,1]
  CRUSH rule 3 x 803 [37,46]
  CRUSH rule 3 x 804 [33,66]
  CRUSH rule 3 x 805 [96,3]
  CRUSH rule 3 x 806 [48,57]
  CRUSH rule 3 x 807 [48,85]
  CRUSH rule 3 x 808 [76,15]
  CRUSH rule 3 x 809 [27,90]
  CRUSH rule 3 x 810 [119,61]
  CRUSH rule 3 x 811 [111,93]
  CRUSH rule 3 x 812 [25,94]
  CRUSH rule 3 x 813 [81,50]
  CRUSH rule 3 x 814 [95,48]
  CRUSH rule 3 x 815 [84,6]
  CRUSH rule 3 x 816 [64,3]
  CRUSH rule 3 x 817 [63,117]
  CRUSH rule 3 x 818 [69,52]
  CRUSH rule 3 x 819 [88,19]
  CRUSH rule 3 x 820 [104,29]
  CRUSH rule 3 x 821 [58,107]
  CRUSH rule 3 x 822 [20,18]
  CRUSH rule 3 x 823 [63,102]
  CRUSH rule 3 x 824 [102,95]
  CRUSH rule 3 x 825 [47,46]
  CRUSH rule 3 x 826 [44,33]
  CRUSH rule 3 x 827 [101,115]
  CRUSH rule 3 x 828 [60,39]
  CRUSH rule 3 x 829 [45,24]
  CRUSH rule 3 x 830 [51,96]
  CRUSH rule 3 x 831 [78,53]
  CRUSH rule 3 x 832 [28,15]
  CRUSH rule 3 x 833 [57,72]
  CRUSH rule 3 x 834 [90,77]
  CRUSH rule 3 x 835 [14,50]
  CRUSH rule 3 x 836 [63,100]
  CRUSH rule 3 x 837 [76,85]
  CRUSH rule 3 x 838 [106,75]
  CRUSH rule 3 x 839 [87,12]
  CRUSH rule 3 x 840 [33,117]
  CRUSH rule 3 x 841 [110,13]
  CRUSH rule 3 x 842 [66,97]
  CRUSH rule 3 x 843 [11,50]
  CRUSH rule 3 x 844 [74,22]
  CRUSH rule 3 x 845 [74,20]
  CRUSH rule 3 x 846 [43,113]
  CRUSH rule 3 x 847 [62,105]
  CRUSH rule 3 x 848 [92,19]
  CRUSH rule 3 x 849 [93,118]
  CRUSH rule 3 x 850 [83,119]
  CRUSH rule 3 x 851 [65,56]
  CRUSH rule 3 x 852 [60,11]
  CRUSH rule 3 x 853 [88,11]
  CRUSH rule 3 x 854 [83,52]
  CRUSH rule 3 x 855 [2,22]
  CRUSH rule 3 x 856 [40,13]
  CRUSH rule 3 x 857 [69,110]
  CRUSH rule 3 x 858 [98,27]
  CRUSH rule 3 x 859 [56,41]
  CRUSH rule 3 x 860 [11,30]
  CRUSH rule 3 x 861 [22,68]
  CRUSH rule 3 x 862 [22,52]
  CRUSH rule 3 x 863 [79,32]
  CRUSH rule 3 x 864 [77,32]
  CRUSH rule 3 x 865 [119,99]
  CRUSH rule 3 x 866 [18,39]
  CRUSH rule 3 x 867 [3,58]
  CRUSH rule 3 x 868 [100,22]
  CRUSH rule 3 x 869 [22,86]
  CRUSH rule 3 x 870 [73,94]
  CRUSH rule 3 x 871 [84,51]
  CRUSH rule 3 x 872 [72,91]
  CRUSH rule 3 x 873 [81,72]
  CRUSH rule 3 x 874 [21,38]
  CRUSH rule 3 x 875 [115,27]
  CRUSH rule 3 x 876 [98,16]
  CRUSH rule 3 x 877 [80,25]
  CRUSH rule 3 x 878 [87,114]
  CRUSH rule 3 x 879 [29,1]
  CRUSH rule 3 x 880 [23,2]
  CRUSH rule 3 x 881 [109,97]
  CRUSH rule 3 x 882 [31,36]
  CRUSH rule 3 x 883 [102,17]
  CRUSH rule 3 x 884 [80,23]
  CRUSH rule 3 x 885 [46,31]
  CRUSH rule 3 x 886 [2,11]
  CRUSH rule 3 x 887 [5,85]
  CRUSH rule 3 x 888 [16,64]
  CRUSH rule 3 x 889 [84,45]
  CRUSH rule 3 x 890 [65,50]
  CRUSH rule 3 x 891 [86,59]
  CRUSH rule 3 x 892 [64,11]
  CRUSH rule 3 x 893 [20,118]
  CRUSH rule 3 x 894 [32,14]
  CRUSH rule 3 x 895 [40,91]
  CRUSH rule 3 x 896 [113,29]
  CRUSH rule 3 x 897 [107,112]
  CRUSH rule 3 x 898 [76,51]
  CRUSH rule 3 x 899 [75,66]
  CRUSH rule 3 x 900 [83,111]
  CRUSH rule 3 x 901 [66,17]
  CRUSH rule 3 x 902 [25,5]
  CRUSH rule 3 x 903 [53,54]
  CRUSH rule 3 x 904 [50,10]
  CRUSH rule 3 x 905 [99,106]
  CRUSH rule 3 x 906 [68,73]
  CRUSH rule 3 x 907 [109,45]
  CRUSH rule 3 x 908 [47,24]
  CRUSH rule 3 x 909 [73,94]
  CRUSH rule 3 x 910 [71,26]
  CRUSH rule 3 x 911 [39,62]
  CRUSH rule 3 x 912 [90,39]
  CRUSH rule 3 x 913 [29,80]
  CRUSH rule 3 x 914 [84,99]
  CRUSH rule 3 x 915 [49,62]
  CRUSH rule 3 x 916 [32,7]
  CRUSH rule 3 x 917 [46,91]
  CRUSH rule 3 x 918 [82,71]
  CRUSH rule 3 x 919 [13,109]
  CRUSH rule 3 x 920 [25,100]
  CRUSH rule 3 x 921 [55,32]
  CRUSH rule 3 x 922 [33,96]
  CRUSH rule 3 x 923 [28,79]
  CRUSH rule 3 x 924 [1,41]
  CRUSH rule 3 x 925 [113,25]
  CRUSH rule 3 x 926 [64,65]
  CRUSH rule 3 x 927 [32,23]
  CRUSH rule 3 x 928 [13,94]
  CRUSH rule 3 x 929 [85,60]
  CRUSH rule 3 x 930 [104,55]
  CRUSH rule 3 x 931 [46,91]
  CRUSH rule 3 x 932 [43,54]
  CRUSH rule 3 x 933 [18,93]
  CRUSH rule 3 x 934 [68,107]
  CRUSH rule 3 x 935 [28,23]
  CRUSH rule 3 x 936 [104,51]
  CRUSH rule 3 x 937 [110,37]
  CRUSH rule 3 x 938 [48,69]
  CRUSH rule 3 x 939 [77,32]
  CRUSH rule 3 x 940 [76,19]
  CRUSH rule 3 x 941 [66,10]
  CRUSH rule 3 x 942 [80,37]
  CRUSH rule 3 x 943 [75,82]
  CRUSH rule 3 x 944 [113,15]
  CRUSH rule 3 x 945 [71,111]
  CRUSH rule 3 x 946 [37,115]
  CRUSH rule 3 x 947 [107,48]
  CRUSH rule 3 x 948 [108,8]
  CRUSH rule 3 x 949 [46,14]
  CRUSH rule 3 x 950 [96,13]
  CRUSH rule 3 x 951 [40,63]
  CRUSH rule 3 x 952 [114,16]
  CRUSH rule 3 x 953 [62,53]
  CRUSH rule 3 x 954 [103,68]
  CRUSH rule 3 x 955 [42,63]
  CRUSH rule 3 x 956 [72,6]
  CRUSH rule 3 x 957 [117,6]
  CRUSH rule 3 x 958 [23,74]
  CRUSH rule 3 x 959 [42,87]
  CRUSH rule 3 x 960 [113,91]
  CRUSH rule 3 x 961 [116,61]
  CRUSH rule 3 x 962 [60,41]
  CRUSH rule 3 x 963 [103,46]
  CRUSH rule 3 x 964 [66,15]
  CRUSH rule 3 x 965 [47,108]
  CRUSH rule 3 x 966 [88,69]
  CRUSH rule 3 x 967 [71,74]
  CRUSH rule 3 x 968 [74,75]
  CRUSH rule 3 x 969 [53,30]
  CRUSH rule 3 x 970 [3,2]
  CRUSH rule 3 x 971 [66,19]
  CRUSH rule 3 x 972 [3,115]
  CRUSH rule 3 x 973 [113,89]
  CRUSH rule 3 x 974 [114,73]
  CRUSH rule 3 x 975 [83,96]
  CRUSH rule 3 x 976 [81,100]
  CRUSH rule 3 x 977 [95,76]
  CRUSH rule 3 x 978 [35,119]
  CRUSH rule 3 x 979 [98,13]
  CRUSH rule 3 x 980 [39,113]
  CRUSH rule 3 x 981 [89,46]
  CRUSH rule 3 x 982 [19,66]
  CRUSH rule 3 x 983 [34,107]
  CRUSH rule 3 x 984 [78,23]
  CRUSH rule 3 x 985 [99,24]
  CRUSH rule 3 x 986 [44,33]
  CRUSH rule 3 x 987 [25,98]
  CRUSH rule 3 x 988 [79,84]
  CRUSH rule 3 x 989 [87,60]
  CRUSH rule 3 x 990 [72,22]
  CRUSH rule 3 x 991 [90,71]
  CRUSH rule 3 x 992 [30,75]
  CRUSH rule 3 x 993 [74,27]
  CRUSH rule 3 x 994 [74,75]
  CRUSH rule 3 x 995 [100,45]
  CRUSH rule 3 x 996 [41,34]
  CRUSH rule 3 x 997 [89,32]
  CRUSH rule 3 x 998 [92,41]
  CRUSH rule 3 x 999 [117,13]
  CRUSH rule 3 x 1000 [50,31]
  CRUSH rule 3 x 1001 [83,116]
  CRUSH rule 3 x 1002 [94,13]
  CRUSH rule 3 x 1003 [43,54]
  CRUSH rule 3 x 1004 [89,106]
  CRUSH rule 3 x 1005 [105,76]
  CRUSH rule 3 x 1006 [45,5]
  CRUSH rule 3 x 1007 [19,111]
  CRUSH rule 3 x 1008 [31,74]
  CRUSH rule 3 x 1009 [1,51]
  CRUSH rule 3 x 1010 [31,108]
  CRUSH rule 3 x 1011 [64,3]
  CRUSH rule 3 x 1012 [68,81]
  CRUSH rule 3 x 1013 [5,35]
  CRUSH rule 3 x 1014 [33,48]
  CRUSH rule 3 x 1015 [106,99]
  CRUSH rule 3 x 1016 [107,111]
  CRUSH rule 3 x 1017 [12,69]
  CRUSH rule 3 x 1018 [61,60]
  CRUSH rule 3 x 1019 [27,88]
  CRUSH rule 3 x 1020 [31,111]
  CRUSH rule 3 x 1021 [22,36]
  CRUSH rule 3 x 1022 [73,28]
  CRUSH rule 3 x 1023 [59,88]
  rule 3 (delltestrule) num_rep 3 result size == 2:\t1024/1024 (esc)
  CRUSH rule 3 x 0 [94,85]
  CRUSH rule 3 x 1 [73,78]
  CRUSH rule 3 x 2 [91,104]
  CRUSH rule 3 x 3 [51,94]
  CRUSH rule 3 x 4 [45,28]
  CRUSH rule 3 x 5 [89,113]
  CRUSH rule 3 x 6 [91,12]
  CRUSH rule 3 x 7 [104,71]
  CRUSH rule 3 x 8 [41,12]
  CRUSH rule 3 x 9 [46,35]
  CRUSH rule 3 x 10 [61,60]
  CRUSH rule 3 x 11 [13,74]
  CRUSH rule 3 x 12 [83,62]
  CRUSH rule 3 x 13 [27,117]
  CRUSH rule 3 x 14 [105,115]
  CRUSH rule 3 x 15 [18,87]
  CRUSH rule 3 x 16 [103,52]
  CRUSH rule 3 x 17 [85,80]
  CRUSH rule 3 x 18 [11,46]
  CRUSH rule 3 x 19 [75,114]
  CRUSH rule 3 x 20 [111,27]
  CRUSH rule 3 x 21 [84,7]
  CRUSH rule 3 x 22 [23,66]
  CRUSH rule 3 x 23 [19,84]
  CRUSH rule 3 x 24 [83,40]
  CRUSH rule 3 x 25 [81,108]
  CRUSH rule 3 x 26 [17,117]
  CRUSH rule 3 x 27 [33,58]
  CRUSH rule 3 x 28 [45,98]
  CRUSH rule 3 x 29 [8,46]
  CRUSH rule 3 x 30 [55,119]
  CRUSH rule 3 x 31 [76,35]
  CRUSH rule 3 x 32 [72,13]
  CRUSH rule 3 x 33 [86,107]
  CRUSH rule 3 x 34 [7,38]
  CRUSH rule 3 x 35 [108,31]
  CRUSH rule 3 x 36 [67,24]
  CRUSH rule 3 x 37 [38,17]
  CRUSH rule 3 x 38 [72,57]
  CRUSH rule 3 x 39 [68,73]
  CRUSH rule 3 x 40 [30,25]
  CRUSH rule 3 x 41 [52,91]
  CRUSH rule 3 x 42 [106,39]
  CRUSH rule 3 x 43 [10,115]
  CRUSH rule 3 x 44 [101,115]
  CRUSH rule 3 x 45 [83,80]
  CRUSH rule 3 x 46 [54,33]
  CRUSH rule 3 x 47 [106,41]
  CRUSH rule 3 x 48 [34,65]
  CRUSH rule 3 x 49 [99,46]
  CRUSH rule 3 x 50 [42,85]
  CRUSH rule 3 x 51 [6,114]
  CRUSH rule 3 x 52 [82,14]
  CRUSH rule 3 x 53 [32,29]
  CRUSH rule 3 x 54 [28,77]
  CRUSH rule 3 x 55 [14,44]
  CRUSH rule 3 x 56 [21,112]
  CRUSH rule 3 x 57 [93,26]
  CRUSH rule 3 x 58 [48,95]
  CRUSH rule 3 x 59 [21,104]
  CRUSH rule 3 x 60 [90,75]
  CRUSH rule 3 x 61 [88,39]
  CRUSH rule 3 x 62 [100,8]
  CRUSH rule 3 x 63 [79,96]
  CRUSH rule 3 x 64 [1,77]
  CRUSH rule 3 x 65 [32,25]
  CRUSH rule 3 x 66 [48,93]
  CRUSH rule 3 x 67 [94,91]
  CRUSH rule 3 x 68 [102,105]
  CRUSH rule 3 x 69 [62,20]
  CRUSH rule 3 x 70 [84,27]
  CRUSH rule 3 x 71 [12,99]
  CRUSH rule 3 x 72 [26,69]
  CRUSH rule 3 x 73 [29,88]
  CRUSH rule 3 x 74 [29,60]
  CRUSH rule 3 x 75 [60,43]
  CRUSH rule 3 x 76 [55,60]
  CRUSH rule 3 x 77 [107,78]
  CRUSH rule 3 x 78 [86,39]
  CRUSH rule 3 x 79 [64,65]
  CRUSH rule 3 x 80 [73,26]
  CRUSH rule 3 x 81 [64,57]
  CRUSH rule 3 x 82 [37,1]
  CRUSH rule 3 x 83 [92,22]
  CRUSH rule 3 x 84 [49,40]
  CRUSH rule 3 x 85 [87,30]
  CRUSH rule 3 x 86 [37,119]
  CRUSH rule 3 x 87 [116,3]
  CRUSH rule 3 x 88 [38,22]
  CRUSH rule 3 x 89 [76,41]
  CRUSH rule 3 x 90 [14,98]
  CRUSH rule 3 x 91 [68,27]
  CRUSH rule 3 x 92 [86,13]
  CRUSH rule 3 x 93 [44,83]
  CRUSH rule 3 x 94 [46,15]
  CRUSH rule 3 x 95 [108,6]
  CRUSH rule 3 x 96 [66,25]
  CRUSH rule 3 x 97 [111,33]
  CRUSH rule 3 x 98 [93,36]
  CRUSH rule 3 x 99 [78,17]
  CRUSH rule 3 x 100 [28,55]
  CRUSH rule 3 x 101 [91,34]
  CRUSH rule 3 x 102 [82,93]
  CRUSH rule 3 x 103 [66,105]
  CRUSH rule 3 x 104 [116,10]
  CRUSH rule 3 x 105 [34,69]
  CRUSH rule 3 x 106 [69,66]
  CRUSH rule 3 x 107 [1,41]
  CRUSH rule 3 x 108 [7,68]
  CRUSH rule 3 x 109 [112,87]
  CRUSH rule 3 x 110 [54,10]
  CRUSH rule 3 x 111 [10,86]
  CRUSH rule 3 x 112 [80,29]
  CRUSH rule 3 x 113 [69,26]
  CRUSH rule 3 x 114 [79,46]
  CRUSH rule 3 x 115 [10,111]
  CRUSH rule 3 x 116 [37,86]
  CRUSH rule 3 x 117 [87,50]
  CRUSH rule 3 x 118 [23,106]
  CRUSH rule 3 x 119 [104,14]
  CRUSH rule 3 x 120 [44,3]
  CRUSH rule 3 x 121 [80,14]
  CRUSH rule 3 x 122 [45,68]
  CRUSH rule 3 x 123 [112,22]
  CRUSH rule 3 x 124 [97,118]
  CRUSH rule 3 x 125 [66,7]
  CRUSH rule 3 x 126 [70,23]
  CRUSH rule 3 x 127 [70,13]
  CRUSH rule 3 x 128 [11,119]
  CRUSH rule 3 x 129 [103,108]
  CRUSH rule 3 x 130 [50,17]
  CRUSH rule 3 x 131 [44,55]
  CRUSH rule 3 x 132 [69,1]
  CRUSH rule 3 x 133 [67,104]
  CRUSH rule 3 x 134 [37,66]
  CRUSH rule 3 x 135 [78,101]
  CRUSH rule 3 x 136 [32,83]
  CRUSH rule 3 x 137 [92,81]
  CRUSH rule 3 x 138 [54,17]
  CRUSH rule 3 x 139 [89,92]
  CRUSH rule 3 x 140 [39,1]
  CRUSH rule 3 x 141 [89,28]
  CRUSH rule 3 x 142 [22,26]
  CRUSH rule 3 x 143 [96,77]
  CRUSH rule 3 x 144 [13,111]
  CRUSH rule 3 x 145 [77,100]
  CRUSH rule 3 x 146 [12,15]
  CRUSH rule 3 x 147 [2,11]
  CRUSH rule 3 x 148 [85,108]
  CRUSH rule 3 x 149 [103,62]
  CRUSH rule 3 x 150 [14,78]
  CRUSH rule 3 x 151 [75,119]
  CRUSH rule 3 x 152 [49,84]
  CRUSH rule 3 x 153 [92,81]
  CRUSH rule 3 x 154 [19,56]
  CRUSH rule 3 x 155 [12,75]
  CRUSH rule 3 x 156 [107,112]
  CRUSH rule 3 x 157 [15,28]
  CRUSH rule 3 x 158 [11,113]
  CRUSH rule 3 x 159 [33,52]
  CRUSH rule 3 x 160 [86,35]
  CRUSH rule 3 x 161 [19,117]
  CRUSH rule 3 x 162 [55,113]
  CRUSH rule 3 x 163 [54,87]
  CRUSH rule 3 x 164 [72,8]
  CRUSH rule 3 x 165 [25,74]
  CRUSH rule 3 x 166 [2,22]
  CRUSH rule 3 x 167 [89,56]
  CRUSH rule 3 x 168 [68,103]
  CRUSH rule 3 x 169 [51,12]
  CRUSH rule 3 x 170 [68,53]
  CRUSH rule 3 x 171 [88,79]
  CRUSH rule 3 x 172 [117,89]
  CRUSH rule 3 x 173 [29,40]
  CRUSH rule 3 x 174 [67,86]
  CRUSH rule 3 x 175 [48,85]
  CRUSH rule 3 x 176 [94,83]
  CRUSH rule 3 x 177 [53,18]
  CRUSH rule 3 x 178 [39,30]
  CRUSH rule 3 x 179 [72,17]
  CRUSH rule 3 x 180 [3,114]
  CRUSH rule 3 x 181 [18,16]
  CRUSH rule 3 x 182 [75,5]
  CRUSH rule 3 x 183 [11,110]
  CRUSH rule 3 x 184 [79,48]
  CRUSH rule 3 x 185 [97,100]
  CRUSH rule 3 x 186 [67,44]
  CRUSH rule 3 x 187 [6,50]
  CRUSH rule 3 x 188 [76,85]
  CRUSH rule 3 x 189 [96,7]
  CRUSH rule 3 x 190 [90,95]
  CRUSH rule 3 x 191 [49,113]
  CRUSH rule 3 x 192 [93,58]
  CRUSH rule 3 x 193 [89,66]
  CRUSH rule 3 x 194 [62,3]
  CRUSH rule 3 x 195 [119,85]
  CRUSH rule 3 x 196 [20,72]
  CRUSH rule 3 x 197 [6,116]
  CRUSH rule 3 x 198 [55,92]
  CRUSH rule 3 x 199 [77,66]
  CRUSH rule 3 x 200 [12,81]
  CRUSH rule 3 x 201 [52,71]
  CRUSH rule 3 x 202 [98,59]
  CRUSH rule 3 x 203 [36,19]
  CRUSH rule 3 x 204 [10,113]
  CRUSH rule 3 x 205 [38,79]
  CRUSH rule 3 x 206 [38,105]
  CRUSH rule 3 x 207 [19,86]
  CRUSH rule 3 x 208 [63,92]
  CRUSH rule 3 x 209 [70,99]
  CRUSH rule 3 x 210 [79,102]
  CRUSH rule 3 x 211 [26,27]
  CRUSH rule 3 x 212 [28,107]
  CRUSH rule 3 x 213 [100,49]
  CRUSH rule 3 x 214 [91,88]
  CRUSH rule 3 x 215 [92,7]
  CRUSH rule 3 x 216 [99,108]
  CRUSH rule 3 x 217 [86,97]
  CRUSH rule 3 x 218 [70,10]
  CRUSH rule 3 x 219 [61,112]
  CRUSH rule 3 x 220 [23,66]
  CRUSH rule 3 x 221 [51,66]
  CRUSH rule 3 x 222 [50,65]
  CRUSH rule 3 x 223 [34,45]
  CRUSH rule 3 x 224 [107,44]
  CRUSH rule 3 x 225 [61,102]
  CRUSH rule 3 x 226 [44,87]
  CRUSH rule 3 x 227 [55,66]
  CRUSH rule 3 x 228 [117,103]
  CRUSH rule 3 x 229 [100,27]
  CRUSH rule 3 x 230 [41,32]
  CRUSH rule 3 x 231 [30,16]
  CRUSH rule 3 x 232 [23,102]
  CRUSH rule 3 x 233 [47,32]
  CRUSH rule 3 x 234 [55,78]
  CRUSH rule 3 x 235 [20,32]
  CRUSH rule 3 x 236 [95,118]
  CRUSH rule 3 x 237 [21,72]
  CRUSH rule 3 x 238 [109,53]
  CRUSH rule 3 x 239 [40,10]
  CRUSH rule 3 x 240 [63,96]
  CRUSH rule 3 x 241 [47,1]
  CRUSH rule 3 x 242 [73,24]
  CRUSH rule 3 x 243 [76,79]
  CRUSH rule 3 x 244 [103,115]
  CRUSH rule 3 x 245 [106,29]
  CRUSH rule 3 x 246 [35,5]
  CRUSH rule 3 x 247 [116,37]
  CRUSH rule 3 x 248 [8,34]
  CRUSH rule 3 x 249 [2,105]
  CRUSH rule 3 x 250 [34,79]
  CRUSH rule 3 x 251 [28,87]
  CRUSH rule 3 x 252 [95,24]
  CRUSH rule 3 x 253 [109,97]
  CRUSH rule 3 x 254 [99,56]
  CRUSH rule 3 x 255 [112,31]
  CRUSH rule 3 x 256 [94,31]
  CRUSH rule 3 x 257 [100,39]
  CRUSH rule 3 x 258 [34,83]
  CRUSH rule 3 x 259 [70,87]
  CRUSH rule 3 x 260 [89,24]
  CRUSH rule 3 x 261 [94,77]
  CRUSH rule 3 x 262 [42,97]
  CRUSH rule 3 x 263 [113,37]
  CRUSH rule 3 x 264 [36,89]
  CRUSH rule 3 x 265 [14,46]
  CRUSH rule 3 x 266 [75,48]
  CRUSH rule 3 x 267 [6,46]
  CRUSH rule 3 x 268 [38,3]
  CRUSH rule 3 x 269 [86,91]
  CRUSH rule 3 x 270 [87,54]
  CRUSH rule 3 x 271 [19,78]
  CRUSH rule 3 x 272 [73,110]
  CRUSH rule 3 x 273 [69,113]
  CRUSH rule 3 x 274 [47,26]
  CRUSH rule 3 x 275 [92,29]
  CRUSH rule 3 x 276 [7,38]
  CRUSH rule 3 x 277 [74,95]
  CRUSH rule 3 x 278 [107,62]
  CRUSH rule 3 x 279 [112,53]
  CRUSH rule 3 x 280 [113,75]
  CRUSH rule 3 x 281 [89,40]
  CRUSH rule 3 x 282 [20,46]
  CRUSH rule 3 x 283 [8,36]
  CRUSH rule 3 x 284 [66,85]
  CRUSH rule 3 x 285 [99,109]
  CRUSH rule 3 x 286 [78,89]
  CRUSH rule 3 x 287 [12,79]
  CRUSH rule 3 x 288 [24,37]
  CRUSH rule 3 x 289 [105,74]
  CRUSH rule 3 x 290 [25,18]
  CRUSH rule 3 x 291 [35,42]
  CRUSH rule 3 x 292 [20,74]
  CRUSH rule 3 x 293 [27,118]
  CRUSH rule 3 x 294 [60,75]
  CRUSH rule 3 x 295 [37,36]
  CRUSH rule 3 x 296 [16,28]
  CRUSH rule 3 x 297 [36,29]
  CRUSH rule 3 x 298 [70,105]
  CRUSH rule 3 x 299 [116,85]
  CRUSH rule 3 x 300 [67,36]
  CRUSH rule 3 x 301 [117,71]
  CRUSH rule 3 x 302 [78,105]
  CRUSH rule 3 x 303 [19,82]
  CRUSH rule 3 x 304 [101,38]
  CRUSH rule 3 x 305 [5,49]
  CRUSH rule 3 x 306 [41,64]
  CRUSH rule 3 x 307 [65,119]
  CRUSH rule 3 x 308 [91,115]
  CRUSH rule 3 x 309 [38,41]
  CRUSH rule 3 x 310 [26,43]
  CRUSH rule 3 x 311 [36,75]
  CRUSH rule 3 x 312 [114,15]
  CRUSH rule 3 x 313 [104,79]
  CRUSH rule 3 x 314 [28,43]
  CRUSH rule 3 x 315 [118,17]
  CRUSH rule 3 x 316 [98,39]
  CRUSH rule 3 x 317 [118,21]
  CRUSH rule 3 x 318 [17,94]
  CRUSH rule 3 x 319 [53,62]
  CRUSH rule 3 x 320 [36,3]
  CRUSH rule 3 x 321 [33,60]
  CRUSH rule 3 x 322 [68,3]
  CRUSH rule 3 x 323 [66,95]
  CRUSH rule 3 x 324 [21,42]
  CRUSH rule 3 x 325 [52,43]
  CRUSH rule 3 x 326 [7,90]
  CRUSH rule 3 x 327 [62,3]
  CRUSH rule 3 x 328 [61,42]
  CRUSH rule 3 x 329 [19,115]
  CRUSH rule 3 x 330 [24,15]
  CRUSH rule 3 x 331 [84,14]
  CRUSH rule 3 x 332 [61,72]
  CRUSH rule 3 x 333 [116,6]
  CRUSH rule 3 x 334 [94,29]
  CRUSH rule 3 x 335 [71,116]
  CRUSH rule 3 x 336 [24,11]
  CRUSH rule 3 x 337 [18,23]
  CRUSH rule 3 x 338 [43,118]
  CRUSH rule 3 x 339 [13,50]
  CRUSH rule 3 x 340 [81,115]
  CRUSH rule 3 x 341 [46,65]
  CRUSH rule 3 x 342 [92,71]
  CRUSH rule 3 x 343 [49,56]
  CRUSH rule 3 x 344 [1,25]
  CRUSH rule 3 x 345 [56,11]
  CRUSH rule 3 x 346 [3,112]
  CRUSH rule 3 x 347 [106,85]
  CRUSH rule 3 x 348 [10,114]
  CRUSH rule 3 x 349 [96,51]
  CRUSH rule 3 x 350 [63,32]
  CRUSH rule 3 x 351 [60,20]
  CRUSH rule 3 x 352 [36,21]
  CRUSH rule 3 x 353 [10,32]
  CRUSH rule 3 x 354 [55,74]
  CRUSH rule 3 x 355 [73,80]
  CRUSH rule 3 x 356 [75,96]
  CRUSH rule 3 x 357 [70,89]
  CRUSH rule 3 x 358 [97,92]
  CRUSH rule 3 x 359 [119,20]
  CRUSH rule 3 x 360 [106,15]
  CRUSH rule 3 x 361 [27,56]
  CRUSH rule 3 x 362 [28,22]
  CRUSH rule 3 x 363 [68,81]
  CRUSH rule 3 x 364 [23,2]
  CRUSH rule 3 x 365 [57,12]
  CRUSH rule 3 x 366 [42,61]
  CRUSH rule 3 x 367 [103,108]
  CRUSH rule 3 x 368 [103,119]
  CRUSH rule 3 x 369 [12,11]
  CRUSH rule 3 x 370 [11,109]
  CRUSH rule 3 x 371 [34,65]
  CRUSH rule 3 x 372 [58,29]
  CRUSH rule 3 x 373 [6,64]
  CRUSH rule 3 x 374 [110,89]
  CRUSH rule 3 x 375 [5,89]
  CRUSH rule 3 x 376 [91,98]
  CRUSH rule 3 x 377 [93,113]
  CRUSH rule 3 x 378 [68,41]
  CRUSH rule 3 x 379 [77,94]
  CRUSH rule 3 x 380 [76,107]
  CRUSH rule 3 x 381 [36,20]
  CRUSH rule 3 x 382 [26,107]
  CRUSH rule 3 x 383 [48,93]
  CRUSH rule 3 x 384 [15,100]
  CRUSH rule 3 x 385 [82,27]
  CRUSH rule 3 x 386 [83,24]
  CRUSH rule 3 x 387 [16,70]
  CRUSH rule 3 x 388 [29,66]
  CRUSH rule 3 x 389 [92,67]
  CRUSH rule 3 x 390 [68,13]
  CRUSH rule 3 x 391 [15,2]
  CRUSH rule 3 x 392 [21,110]
  CRUSH rule 3 x 393 [91,113]
  CRUSH rule 3 x 394 [38,21]
  CRUSH rule 3 x 395 [21,92]
  CRUSH rule 3 x 396 [12,59]
  CRUSH rule 3 x 397 [40,51]
  CRUSH rule 3 x 398 [44,21]
  CRUSH rule 3 x 399 [5,33]
  CRUSH rule 3 x 400 [19,64]
  CRUSH rule 3 x 401 [79,109]
  CRUSH rule 3 x 402 [107,72]
  CRUSH rule 3 x 403 [23,74]
  CRUSH rule 3 x 404 [87,78]
  CRUSH rule 3 x 405 [90,93]
  CRUSH rule 3 x 406 [15,98]
  CRUSH rule 3 x 407 [70,25]
  CRUSH rule 3 x 408 [55,104]
  CRUSH rule 3 x 409 [73,44]
  CRUSH rule 3 x 410 [70,47]
  CRUSH rule 3 x 411 [34,15]
  CRUSH rule 3 x 412 [105,44]
  CRUSH rule 3 x 413 [41,86]
  CRUSH rule 3 x 414 [70,71]
  CRUSH rule 3 x 415 [107,80]
  CRUSH rule 3 x 416 [2,23]
  CRUSH rule 3 x 417 [26,23]
  CRUSH rule 3 x 418 [51,114]
  CRUSH rule 3 x 419 [8,94]
  CRUSH rule 3 x 420 [109,15]
  CRUSH rule 3 x 421 [114,77]
  CRUSH rule 3 x 422 [109,39]
  CRUSH rule 3 x 423 [59,98]
  CRUSH rule 3 x 424 [92,65]
  CRUSH rule 3 x 425 [101,50]
  CRUSH rule 3 x 426 [36,57]
  CRUSH rule 3 x 427 [8,38]
  CRUSH rule 3 x 428 [68,63]
  CRUSH rule 3 x 429 [76,13]
  CRUSH rule 3 x 430 [67,100]
  CRUSH rule 3 x 431 [70,53]
  CRUSH rule 3 x 432 [7,50]
  CRUSH rule 3 x 433 [49,24]
  CRUSH rule 3 x 434 [64,59]
  CRUSH rule 3 x 435 [110,71]
  CRUSH rule 3 x 436 [106,47]
  CRUSH rule 3 x 437 [26,29]
  CRUSH rule 3 x 438 [118,95]
  CRUSH rule 3 x 439 [40,83]
  CRUSH rule 3 x 440 [45,68]
  CRUSH rule 3 x 441 [112,15]
  CRUSH rule 3 x 442 [55,18]
  CRUSH rule 3 x 443 [44,37]
  CRUSH rule 3 x 444 [71,119]
  CRUSH rule 3 x 445 [58,63]
  CRUSH rule 3 x 446 [40,20]
  CRUSH rule 3 x 447 [100,43]
  CRUSH rule 3 x 448 [111,15]
  CRUSH rule 3 x 449 [67,102]
  CRUSH rule 3 x 450 [117,79]
  CRUSH rule 3 x 451 [66,75]
  CRUSH rule 3 x 452 [70,33]
  CRUSH rule 3 x 453 [82,21]
  CRUSH rule 3 x 454 [53,28]
  CRUSH rule 3 x 455 [91,68]
  CRUSH rule 3 x 456 [101,60]
  CRUSH rule 3 x 457 [113,97]
  CRUSH rule 3 x 458 [119,41]
  CRUSH rule 3 x 459 [50,55]
  CRUSH rule 3 x 460 [105,30]
  CRUSH rule 3 x 461 [102,45]
  CRUSH rule 3 x 462 [98,25]
  CRUSH rule 3 x 463 [108,57]
  CRUSH rule 3 x 464 [19,50]
  CRUSH rule 3 x 465 [62,95]
  CRUSH rule 3 x 466 [53,106]
  CRUSH rule 3 x 467 [40,95]
  CRUSH rule 3 x 468 [97,108]
  CRUSH rule 3 x 469 [98,16]
  CRUSH rule 3 x 470 [50,3]
  CRUSH rule 3 x 471 [40,14]
  CRUSH rule 3 x 472 [27,28]
  CRUSH rule 3 x 473 [48,17]
  CRUSH rule 3 x 474 [51,113]
  CRUSH rule 3 x 475 [49,66]
  CRUSH rule 3 x 476 [110,55]
  CRUSH rule 3 x 477 [80,8]
  CRUSH rule 3 x 478 [78,25]
  CRUSH rule 3 x 479 [31,106]
  CRUSH rule 3 x 480 [75,5]
  CRUSH rule 3 x 481 [26,37]
  CRUSH rule 3 x 482 [84,87]
  CRUSH rule 3 x 483 [15,113]
  CRUSH rule 3 x 484 [37,28]
  CRUSH rule 3 x 485 [84,61]
  CRUSH rule 3 x 486 [92,61]
  CRUSH rule 3 x 487 [106,53]
  CRUSH rule 3 x 488 [42,7]
  CRUSH rule 3 x 489 [89,98]
  CRUSH rule 3 x 490 [22,119]
  CRUSH rule 3 x 491 [99,5]
  CRUSH rule 3 x 492 [21,58]
  CRUSH rule 3 x 493 [94,89]
  CRUSH rule 3 x 494 [56,59]
  CRUSH rule 3 x 495 [95,119]
  CRUSH rule 3 x 496 [46,43]
  CRUSH rule 3 x 497 [102,89]
  CRUSH rule 3 x 498 [21,82]
  CRUSH rule 3 x 499 [5,95]
  CRUSH rule 3 x 500 [50,6]
  CRUSH rule 3 x 501 [60,75]
  CRUSH rule 3 x 502 [65,1]
  CRUSH rule 3 x 503 [21,115]
  CRUSH rule 3 x 504 [67,5]
  CRUSH rule 3 x 505 [12,91]
  CRUSH rule 3 x 506 [79,110]
  CRUSH rule 3 x 507 [34,77]
  CRUSH rule 3 x 508 [34,45]
  CRUSH rule 3 x 509 [19,74]
  CRUSH rule 3 x 510 [117,69]
  CRUSH rule 3 x 511 [14,34]
  CRUSH rule 3 x 512 [59,111]
  CRUSH rule 3 x 513 [102,13]
  CRUSH rule 3 x 514 [75,111]
  CRUSH rule 3 x 515 [84,83]
  CRUSH rule 3 x 516 [37,80]
  CRUSH rule 3 x 517 [83,30]
  CRUSH rule 3 x 518 [18,37]
  CRUSH rule 3 x 519 [67,52]
  CRUSH rule 3 x 520 [15,70]
  CRUSH rule 3 x 521 [70,22]
  CRUSH rule 3 x 522 [56,3]
  CRUSH rule 3 x 523 [36,23]
  CRUSH rule 3 x 524 [33,94]
  CRUSH rule 3 x 525 [63,104]
  CRUSH rule 3 x 526 [83,118]
  CRUSH rule 3 x 527 [37,5]
  CRUSH rule 3 x 528 [108,43]
  CRUSH rule 3 x 529 [74,7]
  CRUSH rule 3 x 530 [49,12]
  CRUSH rule 3 x 531 [117,107]
  CRUSH rule 3 x 532 [31,68]
  CRUSH rule 3 x 533 [5,73]
  CRUSH rule 3 x 534 [97,104]
  CRUSH rule 3 x 535 [48,41]
  CRUSH rule 3 x 536 [113,71]
  CRUSH rule 3 x 537 [116,7]
  CRUSH rule 3 x 538 [85,40]
  CRUSH rule 3 x 539 [72,85]
  CRUSH rule 3 x 540 [39,12]
  CRUSH rule 3 x 541 [53,64]
  CRUSH rule 3 x 542 [27,54]
  CRUSH rule 3 x 543 [45,106]
  CRUSH rule 3 x 544 [59,26]
  CRUSH rule 3 x 545 [118,15]
  CRUSH rule 3 x 546 [18,71]
  CRUSH rule 3 x 547 [67,80]
  CRUSH rule 3 x 548 [53,92]
  CRUSH rule 3 x 549 [60,51]
  CRUSH rule 3 x 550 [92,37]
  CRUSH rule 3 x 551 [77,52]
  CRUSH rule 3 x 552 [61,80]
  CRUSH rule 3 x 553 [71,84]
  CRUSH rule 3 x 554 [61,52]
  CRUSH rule 3 x 555 [76,69]
  CRUSH rule 3 x 556 [106,10]
  CRUSH rule 3 x 557 [26,35]
  CRUSH rule 3 x 558 [41,46]
  CRUSH rule 3 x 559 [65,86]
  CRUSH rule 3 x 560 [94,91]
  CRUSH rule 3 x 561 [27,98]
  CRUSH rule 3 x 562 [78,19]
  CRUSH rule 3 x 563 [59,82]
  CRUSH rule 3 x 564 [96,15]
  CRUSH rule 3 x 565 [8,92]
  CRUSH rule 3 x 566 [119,81]
  CRUSH rule 3 x 567 [7,46]
  CRUSH rule 3 x 568 [57,96]
  CRUSH rule 3 x 569 [65,100]
  CRUSH rule 3 x 570 [98,103]
  CRUSH rule 3 x 571 [95,110]
  CRUSH rule 3 x 572 [62,75]
  CRUSH rule 3 x 573 [1,20]
  CRUSH rule 3 x 574 [89,64]
  CRUSH rule 3 x 575 [87,54]
  CRUSH rule 3 x 576 [21,113]
  CRUSH rule 3 x 577 [8,113]
  CRUSH rule 3 x 578 [75,116]
  CRUSH rule 3 x 579 [105,96]
  CRUSH rule 3 x 580 [51,12]
  CRUSH rule 3 x 581 [55,40]
  CRUSH rule 3 x 582 [27,106]
  CRUSH rule 3 x 583 [6,102]
  CRUSH rule 3 x 584 [10,90]
  CRUSH rule 3 x 585 [20,88]
  CRUSH rule 3 x 586 [48,67]
  CRUSH rule 3 x 587 [29,5]
  CRUSH rule 3 x 588 [103,40]
  CRUSH rule 3 x 589 [88,85]
  CRUSH rule 3 x 590 [76,11]
  CRUSH rule 3 x 591 [42,17]
  CRUSH rule 3 x 592 [78,6]
  CRUSH rule 3 x 593 [82,35]
  CRUSH rule 3 x 594 [27,76]
  CRUSH rule 3 x 595 [52,10]
  CRUSH rule 3 x 596 [82,99]
  CRUSH rule 3 x 597 [16,32]
  CRUSH rule 3 x 598 [37,36]
  CRUSH rule 3 x 599 [10,24]
  CRUSH rule 3 x 600 [24,37]
  CRUSH rule 3 x 601 [104,21]
  CRUSH rule 3 x 602 [48,39]
  CRUSH rule 3 x 603 [93,44]
  CRUSH rule 3 x 604 [118,87]
  CRUSH rule 3 x 605 [104,63]
  CRUSH rule 3 x 606 [90,103]
  CRUSH rule 3 x 607 [95,72]
  CRUSH rule 3 x 608 [112,71]
  CRUSH rule 3 x 609 [34,16]
  CRUSH rule 3 x 610 [106,73]
  CRUSH rule 3 x 611 [66,37]
  CRUSH rule 3 x 612 [2,20]
  CRUSH rule 3 x 613 [13,92]
  CRUSH rule 3 x 614 [50,65]
  CRUSH rule 3 x 615 [24,39]
  CRUSH rule 3 x 616 [41,46]
  CRUSH rule 3 x 617 [111,81]
  CRUSH rule 3 x 618 [3,72]
  CRUSH rule 3 x 619 [92,31]
  CRUSH rule 3 x 620 [108,31]
  CRUSH rule 3 x 621 [105,50]
  CRUSH rule 3 x 622 [67,102]
  CRUSH rule 3 x 623 [69,117]
  CRUSH rule 3 x 624 [115,79]
  CRUSH rule 3 x 625 [73,94]
  CRUSH rule 3 x 626 [52,25]
  CRUSH rule 3 x 627 [116,105]
  CRUSH rule 3 x 628 [98,87]
  CRUSH rule 3 x 629 [6,116]
  CRUSH rule 3 x 630 [22,50]
  CRUSH rule 3 x 631 [35,96]
  CRUSH rule 3 x 632 [80,53]
  CRUSH rule 3 x 633 [65,110]
  CRUSH rule 3 x 634 [87,50]
  CRUSH rule 3 x 635 [107,111]
  CRUSH rule 3 x 636 [23,30]
  CRUSH rule 3 x 637 [99,114]
  CRUSH rule 3 x 638 [43,78]
  CRUSH rule 3 x 639 [30,31]
  CRUSH rule 3 x 640 [113,87]
  CRUSH rule 3 x 641 [45,58]
  CRUSH rule 3 x 642 [47,30]
  CRUSH rule 3 x 643 [64,99]
  CRUSH rule 3 x 644 [31,119]
  CRUSH rule 3 x 645 [77,90]
  CRUSH rule 3 x 646 [37,26]
  CRUSH rule 3 x 647 [65,112]
  CRUSH rule 3 x 648 [31,84]
  CRUSH rule 3 x 649 [88,39]
  CRUSH rule 3 x 650 [21,44]
  CRUSH rule 3 x 651 [63,12]
  CRUSH rule 3 x 652 [57,28]
  CRUSH rule 3 x 653 [38,63]
  CRUSH rule 3 x 654 [104,107]
  CRUSH rule 3 x 655 [89,109]
  CRUSH rule 3 x 656 [79,84]
  CRUSH rule 3 x 657 [47,18]
  CRUSH rule 3 x 658 [80,49]
  CRUSH rule 3 x 659 [11,104]
  CRUSH rule 3 x 660 [65,102]
  CRUSH rule 3 x 661 [96,67]
  CRUSH rule 3 x 662 [111,43]
  CRUSH rule 3 x 663 [83,115]
  CRUSH rule 3 x 664 [59,52]
  CRUSH rule 3 x 665 [31,86]
  CRUSH rule 3 x 666 [112,8]
  CRUSH rule 3 x 667 [70,107]
  CRUSH rule 3 x 668 [96,43]
  CRUSH rule 3 x 669 [56,25]
  CRUSH rule 3 x 670 [98,83]
  CRUSH rule 3 x 671 [57,100]
  CRUSH rule 3 x 672 [37,98]
  CRUSH rule 3 x 673 [83,116]
  CRUSH rule 3 x 674 [36,95]
  CRUSH rule 3 x 675 [88,91]
  CRUSH rule 3 x 676 [3,40]
  CRUSH rule 3 x 677 [88,105]
  CRUSH rule 3 x 678 [27,100]
  CRUSH rule 3 x 679 [33,118]
  CRUSH rule 3 x 680 [111,81]
  CRUSH rule 3 x 681 [53,68]
  CRUSH rule 3 x 682 [12,83]
  CRUSH rule 3 x 683 [24,67]
  CRUSH rule 3 x 684 [98,45]
  CRUSH rule 3 x 685 [106,25]
  CRUSH rule 3 x 686 [86,45]
  CRUSH rule 3 x 687 [49,102]
  CRUSH rule 3 x 688 [16,52]
  CRUSH rule 3 x 689 [32,101]
  CRUSH rule 3 x 690 [96,79]
  CRUSH rule 3 x 691 [34,99]
  CRUSH rule 3 x 692 [97,68]
  CRUSH rule 3 x 693 [29,38]
  CRUSH rule 3 x 694 [6,26]
  CRUSH rule 3 x 695 [31,112]
  CRUSH rule 3 x 696 [36,97]
  CRUSH rule 3 x 697 [19,38]
  CRUSH rule 3 x 698 [30,103]
  CRUSH rule 3 x 699 [47,60]
  CRUSH rule 3 x 700 [99,82]
  CRUSH rule 3 x 701 [53,72]
  CRUSH rule 3 x 702 [101,113]
  CRUSH rule 3 x 703 [92,20]
  CRUSH rule 3 x 704 [34,47]
  CRUSH rule 3 x 705 [105,88]
  CRUSH rule 3 x 706 [74,20]
  CRUSH rule 3 x 707 [95,40]
  CRUSH rule 3 x 708 [95,38]
  CRUSH rule 3 x 709 [73,94]
  CRUSH rule 3 x 710 [94,7]
  CRUSH rule 3 x 711 [68,16]
  CRUSH rule 3 x 712 [107,64]
  CRUSH rule 3 x 713 [29,2]
  CRUSH rule 3 x 714 [86,97]
  CRUSH rule 3 x 715 [74,95]
  CRUSH rule 3 x 716 [101,74]
  CRUSH rule 3 x 717 [12,57]
  CRUSH rule 3 x 718 [83,106]
  CRUSH rule 3 x 719 [26,39]
  CRUSH rule 3 x 720 [69,64]
  CRUSH rule 3 x 721 [51,119]
  CRUSH rule 3 x 722 [15,26]
  CRUSH rule 3 x 723 [117,75]
  CRUSH rule 3 x 724 [45,106]
  CRUSH rule 3 x 725 [53,66]
  CRUSH rule 3 x 726 [103,38]
  CRUSH rule 3 x 727 [89,115]
  CRUSH rule 3 x 728 [76,65]
  CRUSH rule 3 x 729 [35,48]
  CRUSH rule 3 x 730 [28,37]
  CRUSH rule 3 x 731 [78,6]
  CRUSH rule 3 x 732 [1,93]
  CRUSH rule 3 x 733 [35,44]
  CRUSH rule 3 x 734 [119,93]
  CRUSH rule 3 x 735 [102,17]
  CRUSH rule 3 x 736 [37,78]
  CRUSH rule 3 x 737 [117,35]
  CRUSH rule 3 x 738 [57,56]
  CRUSH rule 3 x 739 [87,24]
  CRUSH rule 3 x 740 [29,34]
  CRUSH rule 3 x 741 [47,94]
  CRUSH rule 3 x 742 [106,107]
  CRUSH rule 3 x 743 [105,5]
  CRUSH rule 3 x 744 [23,30]
  CRUSH rule 3 x 745 [37,106]
  CRUSH rule 3 x 746 [56,47]
  CRUSH rule 3 x 747 [56,107]
  CRUSH rule 3 x 748 [48,25]
  CRUSH rule 3 x 749 [102,93]
  CRUSH rule 3 x 750 [83,102]
  CRUSH rule 3 x 751 [25,56]
  CRUSH rule 3 x 752 [82,16]
  CRUSH rule 3 x 753 [116,14]
  CRUSH rule 3 x 754 [114,39]
  CRUSH rule 3 x 755 [87,60]
  CRUSH rule 3 x 756 [113,77]
  CRUSH rule 3 x 757 [47,112]
  CRUSH rule 3 x 758 [54,107]
  CRUSH rule 3 x 759 [74,65]
  CRUSH rule 3 x 760 [88,47]
  CRUSH rule 3 x 761 [73,98]
  CRUSH rule 3 x 762 [34,33]
  CRUSH rule 3 x 763 [13,116]
  CRUSH rule 3 x 764 [89,2]
  CRUSH rule 3 x 765 [109,77]
  CRUSH rule 3 x 766 [19,92]
  CRUSH rule 3 x 767 [41,80]
  CRUSH rule 3 x 768 [106,16]
  CRUSH rule 3 x 769 [91,2]
  CRUSH rule 3 x 770 [72,19]
  CRUSH rule 3 x 771 [115,63]
  CRUSH rule 3 x 772 [97,102]
  CRUSH rule 3 x 773 [116,91]
  CRUSH rule 3 x 774 [100,105]
  CRUSH rule 3 x 775 [102,95]
  CRUSH rule 3 x 776 [69,44]
  CRUSH rule 3 x 777 [91,102]
  CRUSH rule 3 x 778 [83,110]
  CRUSH rule 3 x 779 [47,80]
  CRUSH rule 3 x 780 [63,117]
  CRUSH rule 3 x 781 [105,106]
  CRUSH rule 3 x 782 [117,107]
  CRUSH rule 3 x 783 [19,30]
  CRUSH rule 3 x 784 [63,82]
  CRUSH rule 3 x 785 [27,50]
  CRUSH rule 3 x 786 [41,90]
  CRUSH rule 3 x 787 [108,27]
  CRUSH rule 3 x 788 [74,75]
  CRUSH rule 3 x 789 [50,67]
  CRUSH rule 3 x 790 [20,108]
  CRUSH rule 3 x 791 [96,53]
  CRUSH rule 3 x 792 [80,13]
  CRUSH rule 3 x 793 [6,82]
  CRUSH rule 3 x 794 [14,90]
  CRUSH rule 3 x 795 [30,67]
  CRUSH rule 3 x 796 [87,60]
  CRUSH rule 3 x 797 [64,93]
  CRUSH rule 3 x 798 [42,19]
  CRUSH rule 3 x 799 [19,113]
  CRUSH rule 3 x 800 [106,22]
  CRUSH rule 3 x 801 [2,11]
  CRUSH rule 3 x 802 [63,1]
  CRUSH rule 3 x 803 [37,46]
  CRUSH rule 3 x 804 [33,66]
  CRUSH rule 3 x 805 [96,3]
  CRUSH rule 3 x 806 [48,57]
  CRUSH rule 3 x 807 [48,85]
  CRUSH rule 3 x 808 [76,15]
  CRUSH rule 3 x 809 [27,90]
  CRUSH rule 3 x 810 [119,61]
  CRUSH rule 3 x 811 [111,93]
  CRUSH rule 3 x 812 [25,94]
  CRUSH rule 3 x 813 [81,50]
  CRUSH rule 3 x 814 [95,48]
  CRUSH rule 3 x 815 [84,6]
  CRUSH rule 3 x 816 [64,3]
  CRUSH rule 3 x 817 [63,117]
  CRUSH rule 3 x 818 [69,52]
  CRUSH rule 3 x 819 [88,19]
  CRUSH rule 3 x 820 [104,29]
  CRUSH rule 3 x 821 [58,107]
  CRUSH rule 3 x 822 [20,18]
  CRUSH rule 3 x 823 [63,102]
  CRUSH rule 3 x 824 [102,95]
  CRUSH rule 3 x 825 [47,46]
  CRUSH rule 3 x 826 [44,33]
  CRUSH rule 3 x 827 [101,115]
  CRUSH rule 3 x 828 [60,39]
  CRUSH rule 3 x 829 [45,24]
  CRUSH rule 3 x 830 [51,96]
  CRUSH rule 3 x 831 [78,53]
  CRUSH rule 3 x 832 [28,15]
  CRUSH rule 3 x 833 [57,72]
  CRUSH rule 3 x 834 [90,77]
  CRUSH rule 3 x 835 [14,50]
  CRUSH rule 3 x 836 [63,100]
  CRUSH rule 3 x 837 [76,85]
  CRUSH rule 3 x 838 [106,75]
  CRUSH rule 3 x 839 [87,12]
  CRUSH rule 3 x 840 [33,117]
  CRUSH rule 3 x 841 [110,13]
  CRUSH rule 3 x 842 [66,97]
  CRUSH rule 3 x 843 [11,50]
  CRUSH rule 3 x 844 [74,22]
  CRUSH rule 3 x 845 [74,20]
  CRUSH rule 3 x 846 [43,113]
  CRUSH rule 3 x 847 [62,105]
  CRUSH rule 3 x 848 [92,19]
  CRUSH rule 3 x 849 [93,118]
  CRUSH rule 3 x 850 [83,119]
  CRUSH rule 3 x 851 [65,56]
  CRUSH rule 3 x 852 [60,11]
  CRUSH rule 3 x 853 [88,11]
  CRUSH rule 3 x 854 [83,52]
  CRUSH rule 3 x 855 [2,22]
  CRUSH rule 3 x 856 [40,13]
  CRUSH rule 3 x 857 [69,110]
  CRUSH rule 3 x 858 [98,27]
  CRUSH rule 3 x 859 [56,41]
  CRUSH rule 3 x 860 [11,30]
  CRUSH rule 3 x 861 [22,68]
  CRUSH rule 3 x 862 [22,52]
  CRUSH rule 3 x 863 [79,32]
  CRUSH rule 3 x 864 [77,32]
  CRUSH rule 3 x 865 [119,99]
  CRUSH rule 3 x 866 [18,39]
  CRUSH rule 3 x 867 [3,58]
  CRUSH rule 3 x 868 [100,22]
  CRUSH rule 3 x 869 [22,86]
  CRUSH rule 3 x 870 [73,94]
  CRUSH rule 3 x 871 [84,51]
  CRUSH rule 3 x 872 [72,91]
  CRUSH rule 3 x 873 [81,72]
  CRUSH rule 3 x 874 [21,38]
  CRUSH rule 3 x 875 [115,27]
  CRUSH rule 3 x 876 [98,16]
  CRUSH rule 3 x 877 [80,25]
  CRUSH rule 3 x 878 [87,114]
  CRUSH rule 3 x 879 [29,1]
  CRUSH rule 3 x 880 [23,2]
  CRUSH rule 3 x 881 [109,97]
  CRUSH rule 3 x 882 [31,36]
  CRUSH rule 3 x 883 [102,17]
  CRUSH rule 3 x 884 [80,23]
  CRUSH rule 3 x 885 [46,31]
  CRUSH rule 3 x 886 [2,11]
  CRUSH rule 3 x 887 [5,85]
  CRUSH rule 3 x 888 [16,64]
  CRUSH rule 3 x 889 [84,45]
  CRUSH rule 3 x 890 [65,50]
  CRUSH rule 3 x 891 [86,59]
  CRUSH rule 3 x 892 [64,11]
  CRUSH rule 3 x 893 [20,118]
  CRUSH rule 3 x 894 [32,14]
  CRUSH rule 3 x 895 [40,91]
  CRUSH rule 3 x 896 [113,29]
  CRUSH rule 3 x 897 [107,112]
  CRUSH rule 3 x 898 [76,51]
  CRUSH rule 3 x 899 [75,66]
  CRUSH rule 3 x 900 [83,111]
  CRUSH rule 3 x 901 [66,17]
  CRUSH rule 3 x 902 [25,5]
  CRUSH rule 3 x 903 [53,54]
  CRUSH rule 3 x 904 [50,10]
  CRUSH rule 3 x 905 [99,106]
  CRUSH rule 3 x 906 [68,73]
  CRUSH rule 3 x 907 [109,45]
  CRUSH rule 3 x 908 [47,24]
  CRUSH rule 3 x 909 [73,94]
  CRUSH rule 3 x 910 [71,26]
  CRUSH rule 3 x 911 [39,62]
  CRUSH rule 3 x 912 [90,39]
  CRUSH rule 3 x 913 [29,80]
  CRUSH rule 3 x 914 [84,99]
  CRUSH rule 3 x 915 [49,62]
  CRUSH rule 3 x 916 [32,7]
  CRUSH rule 3 x 917 [46,91]
  CRUSH rule 3 x 918 [82,71]
  CRUSH rule 3 x 919 [13,109]
  CRUSH rule 3 x 920 [25,100]
  CRUSH rule 3 x 921 [55,32]
  CRUSH rule 3 x 922 [33,96]
  CRUSH rule 3 x 923 [28,79]
  CRUSH rule 3 x 924 [1,41]
  CRUSH rule 3 x 925 [113,25]
  CRUSH rule 3 x 926 [64,65]
  CRUSH rule 3 x 927 [32,23]
  CRUSH rule 3 x 928 [13,94]
  CRUSH rule 3 x 929 [85,60]
  CRUSH rule 3 x 930 [104,55]
  CRUSH rule 3 x 931 [46,91]
  CRUSH rule 3 x 932 [43,54]
  CRUSH rule 3 x 933 [18,93]
  CRUSH rule 3 x 934 [68,107]
  CRUSH rule 3 x 935 [28,23]
  CRUSH rule 3 x 936 [104,51]
  CRUSH rule 3 x 937 [110,37]
  CRUSH rule 3 x 938 [48,69]
  CRUSH rule 3 x 939 [77,32]
  CRUSH rule 3 x 940 [76,19]
  CRUSH rule 3 x 941 [66,10]
  CRUSH rule 3 x 942 [80,37]
  CRUSH rule 3 x 943 [75,82]
  CRUSH rule 3 x 944 [113,15]
  CRUSH rule 3 x 945 [71,111]
  CRUSH rule 3 x 946 [37,115]
  CRUSH rule 3 x 947 [107,48]
  CRUSH rule 3 x 948 [108,8]
  CRUSH rule 3 x 949 [46,14]
  CRUSH rule 3 x 950 [96,13]
  CRUSH rule 3 x 951 [40,63]
  CRUSH rule 3 x 952 [114,16]
  CRUSH rule 3 x 953 [62,53]
  CRUSH rule 3 x 954 [103,68]
  CRUSH rule 3 x 955 [42,63]
  CRUSH rule 3 x 956 [72,6]
  CRUSH rule 3 x 957 [117,6]
  CRUSH rule 3 x 958 [23,74]
  CRUSH rule 3 x 959 [42,87]
  CRUSH rule 3 x 960 [113,91]
  CRUSH rule 3 x 961 [116,61]
  CRUSH rule 3 x 962 [60,41]
  CRUSH rule 3 x 963 [103,46]
  CRUSH rule 3 x 964 [66,15]
  CRUSH rule 3 x 965 [47,108]
  CRUSH rule 3 x 966 [88,69]
  CRUSH rule 3 x 967 [71,74]
  CRUSH rule 3 x 968 [74,75]
  CRUSH rule 3 x 969 [53,30]
  CRUSH rule 3 x 970 [3,2]
  CRUSH rule 3 x 971 [66,19]
  CRUSH rule 3 x 972 [3,115]
  CRUSH rule 3 x 973 [113,89]
  CRUSH rule 3 x 974 [114,73]
  CRUSH rule 3 x 975 [83,96]
  CRUSH rule 3 x 976 [81,100]
  CRUSH rule 3 x 977 [95,76]
  CRUSH rule 3 x 978 [35,119]
  CRUSH rule 3 x 979 [98,13]
  CRUSH rule 3 x 980 [39,113]
  CRUSH rule 3 x 981 [89,46]
  CRUSH rule 3 x 982 [19,66]
  CRUSH rule 3 x 983 [34,107]
  CRUSH rule 3 x 984 [78,23]
  CRUSH rule 3 x 985 [99,24]
  CRUSH rule 3 x 986 [44,33]
  CRUSH rule 3 x 987 [25,98]
  CRUSH rule 3 x 988 [79,84]
  CRUSH rule 3 x 989 [87,60]
  CRUSH rule 3 x 990 [72,22]
  CRUSH rule 3 x 991 [90,71]
  CRUSH rule 3 x 992 [30,75]
  CRUSH rule 3 x 993 [74,27]
  CRUSH rule 3 x 994 [74,75]
  CRUSH rule 3 x 995 [100,45]
  CRUSH rule 3 x 996 [41,34]
  CRUSH rule 3 x 997 [89,32]
  CRUSH rule 3 x 998 [92,41]
  CRUSH rule 3 x 999 [117,13]
  CRUSH rule 3 x 1000 [50,31]
  CRUSH rule 3 x 1001 [83,116]
  CRUSH rule 3 x 1002 [94,13]
  CRUSH rule 3 x 1003 [43,54]
  CRUSH rule 3 x 1004 [89,106]
  CRUSH rule 3 x 1005 [105,76]
  CRUSH rule 3 x 1006 [45,5]
  CRUSH rule 3 x 1007 [19,111]
  CRUSH rule 3 x 1008 [31,74]
  CRUSH rule 3 x 1009 [1,51]
  CRUSH rule 3 x 1010 [31,108]
  CRUSH rule 3 x 1011 [64,3]
  CRUSH rule 3 x 1012 [68,81]
  CRUSH rule 3 x 1013 [5,35]
  CRUSH rule 3 x 1014 [33,48]
  CRUSH rule 3 x 1015 [106,99]
  CRUSH rule 3 x 1016 [107,111]
  CRUSH rule 3 x 1017 [12,69]
  CRUSH rule 3 x 1018 [61,60]
  CRUSH rule 3 x 1019 [27,88]
  CRUSH rule 3 x 1020 [31,111]
  CRUSH rule 3 x 1021 [22,36]
  CRUSH rule 3 x 1022 [73,28]
  CRUSH rule 3 x 1023 [59,88]
  rule 3 (delltestrule) num_rep 4 result size == 2:\t1024/1024 (esc)
  crushtool successfully built or modified map.  Use '-o <file>' to write it out.