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