diff options
Diffstat (limited to 'src/test/cli/crushtool/test-map-vary-r-4.t')
-rw-r--r-- | src/test/cli/crushtool/test-map-vary-r-4.t | 3078 |
1 files changed, 3078 insertions, 0 deletions
diff --git a/src/test/cli/crushtool/test-map-vary-r-4.t b/src/test/cli/crushtool/test-map-vary-r-4.t new file mode 100644 index 000000000..29b41ccf6 --- /dev/null +++ b/src/test/cli/crushtool/test-map-vary-r-4.t @@ -0,0 +1,3078 @@ + $ 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 --min-rep 2 --max-rep 4 + 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. |