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