Words: rule trace ----------------- Word : rules used 1 : 1 1 1 18 22 29 29 30 31 63 89 90 148 149 206 245 259 323 412 415 423 425 427 2 : 21 28 152 355 421 423 428 429 3 : 23 29 63 75 90 180 184 238 325 325 339 339 374 374 384 384 384 423 426 426 426 427 427 428 428 429 429 4 : 18 22 28 89 245 254 421 421 430 430 430 431 431 431 436 436 436 5 : 7 18 23 89 180 184 238 245 432 432 6 : 21 28 7 : 23 40 52 59 96 152 152 174 184 238 240 243 432 8 : 31 124 136 9 : 22 39 90 96 174 211 246 268 268 360 395 395 10 : 21 11 : 31 44 55 101 101 325 434 434 434 442 442 443 443 12 : 40 52 54 59 250 13 : 14 : 43 137 321 15 : 30 63 109 120 172 268 290 336 336 387 387 389 392 393 394 394 395 396 396 396 397 397 397 425 425 16 : 109 120 228 232 234 311 318 321 387 389 389 394 17 : 96 174 18 : 25 92 442 19 : 20 : 127 338 371 437 21 : 211 316 22 : 182 296 382 413 414 23 : 27 107 144 145 168 179 186 186 214 214 231 234 308 317 321 383 383 383 411 411 411 24 : 30 25 : 27 60 199 233 236 324 26 : 107 145 417 27 : 175 251 302 361 378 420 28 : 88 29 : 15 107 145 244 381 417 417 30 : 183 31 : 253 32 : 25 72 81 123 123 180 187 187 211 242 385 385 400 33 : 42 34 : 175 252 302 361 378 420 35 : 19 36 : 243 362 37 : 27 214 226 227 251 254 255 255 255 256 256 256 267 267 267 369 369 369 376 376 376 38 : 38 59 81 242 257 257 296 296 316 316 385 413 413 414 414 435 435 435 39 : 119 197 229 234 308 40 : 104 195 265 324 41 : 17 56 246 246 250 250 313 42 : 88 318 43 : 44 : 83 177 197 197 207 229 229 247 247 308 314 45 : 46 : 3 148 148 259 259 262 323 323 336 412 412 415 415 47 : 73 75 75 84 242 48 : 17 52 86 177 400 49 : 175 252 302 361 378 420 50 : 81 257 51 : 241 307 314 314 52 : 53 : 41 169 54 : 2 2 168 168 186 294 294 294 55 : 57 339 374 418 418 56 : 57 : 124 58 : 78 59 : 50 78 340 340 60 : 38 61 : 340 62 : 318 63 : 251 64 : 99 108 144 179 65 : 109 114 278 286 419 66 : 338 67 : 68 : 338 418 69 : 70 : 38 295 382 71 : 72 : 17 151 422 422 73 : 60 171 74 : 438 75 : 241 76 : 104 155 195 265 312 319 77 : 73 84 78 : 79 : 176 80 : 116 124 364 81 : 82 : 158 289 83 : 88 225 233 275 299 84 : 123 158 289 85 : 42 241 86 : 25 142 154 162 87 : 15 131 176 88 : 291 89 : 225 233 275 299 90 : 113 335 91 : 15 92 : 208 438 438 93 : 2 101 158 289 386 386 386 94 : 356 356 356 443 95 : 141 143 154 96 : 97 : 49 73 84 141 141 153 153 153 154 163 163 163 170 170 170 307 307 315 315 315 98 : 99 : 100 : 101 : 243 330 102 : 48 103 : 104 : 247 105 : 51 106 : 92 92 104 195 265 270 270 270 317 317 375 375 375 409 409 409 440 440 440 107 : 108 : 109 : 110 : 262 111 : 11 56 112 : 204 113 : 46 130 130 114 : 128 128 128 115 : 290 116 : 40 66 240 117 : 0 344 118 : 119 : 120 : 121 : 80 122 : 46 123 : 124 : 437 437 125 : 328 126 : 41 219 127 : 128 : 253 129 : 130 : 50 131 : 327 329 132 : 140 133 : 134 : 135 : 260 136 : 39 324 137 : 129 129 129 138 : 139 : 140 : 141 : 142 : 143 143 334 334 334 143 : 99 228 230 311 388 144 : 187 212 304 304 304 305 305 331 331 332 332 333 333 145 : 24 400 146 : 147 : 254 148 : 98 283 283 286 286 300 300 433 433 433 149 : 120 172 290 392 393 150 : 20 20 20 151 : 152 : 226 227 252 153 : 135 226 227 154 : 155 : 155 182 382 156 : 157 : 158 : 67 137 137 228 232 232 311 401 401 401 422 159 : 363 388 160 : 155 161 : 78 162 : 56 313 163 : 164 : 165 : 189 358 360 166 : 167 : 168 : 169 : 170 : 171 : 53 60 172 : 173 : 174 : 175 : 157 196 272 176 : 177 : 178 : 179 : 180 : 69 181 : 36 182 : 19 183 : 0 342 342 353 184 : 185 : 57 312 313 319 186 : 263 264 187 : 176 188 : 194 276 299 189 : 190 : 162 162 305 306 306 331 332 333 191 : 370 192 : 193 : 194 : 156 183 195 : 219 219 196 : 210 258 258 404 404 416 416 197 : 198 : 188 235 359 199 : 200 : 34 35 36 201 : 181 202 : 37 110 126 179 203 : 19 204 : 312 319 205 : 182 206 : 362 207 : 208 : 209 : 210 : 26 26 26 326 326 326 407 407 407 211 : 0 341 341 341 212 : 213 : 214 : 392 393 215 : 58 216 : 225 253 275 217 : 218 : 219 : 68 68 68 264 264 220 : 57 357 357 373 373 373 221 : 54 222 : 372 223 : 115 122 322 322 224 : 225 : 226 : 227 : 228 : 229 : 230 : 231 : 232 : 34 35 36 233 : 234 : 133 133 133 235 : 47 156 156 181 181 236 : 42 237 : 218 238 : 16 51 169 169 239 : 210 210 212 212 291 291 240 : 58 241 : 114 220 242 : 199 221 231 243 : 74 364 364 244 : 218 245 : 51 87 87 87 183 246 : 247 : 277 277 248 : 103 147 160 288 249 : 250 : 251 : 260 252 : 150 253 : 254 : 349 349 353 255 : 256 : 257 : 258 : 259 : 260 : 261 : 262 : 263 : 264 : 46 265 : 98 146 159 273 288 266 : 267 : 268 : 366 366 269 : 270 : 271 : 142 142 272 : 273 : 274 : 275 : 276 : 277 : 278 : 279 : 280 : 282 282 282 300 303 303 303 281 : 269 282 : 283 : 284 : 157 272 272 285 : 286 : 287 : 306 288 : 289 : 290 : 291 : 292 : 293 : 99 108 294 : 261 295 : 296 : 297 : 47 298 : 299 : 300 : 263 301 : 37 103 237 302 : 303 : 91 304 : 305 : 306 : 194 231 276 276 307 : 108 144 398 308 : 309 : 116 310 : 311 : 312 : 313 : 314 : 315 : 115 199 316 : 317 : 318 : 319 : 320 : 321 : 322 : 132 323 : 324 : 61 202 325 : 326 : 132 380 380 327 : 328 : 329 : 330 : 331 : 150 332 : 333 : 218 398 334 : 222 367 335 : 336 : 337 : 338 : 249 398 339 : 340 : 341 : 342 : 208 343 : 344 : 345 : 346 : 347 : 230 388 348 : 98 102 110 126 146 159 273 288 349 : 4 347 347 347 354 354 354 350 : 106 351 : 215 352 : 353 : 244 244 354 : 287 355 : 115 356 : 239 357 : 72 213 358 : 359 : 235 287 359 360 : 198 230 361 : 362 : 201 201 201 372 372 363 : 364 : 365 : 34 35 366 : 215 215 367 : 3 368 : 369 : 370 : 41 157 371 : 66 372 : 165 373 : 86 374 : 375 : 3 376 : 377 : 378 : 173 379 : 380 : 381 : 382 : 383 : 116 263 384 : 61 97 385 : 16 386 : 387 : 388 : 380 389 : 390 : 391 : 392 : 393 : 284 285 394 : 395 : 239 239 396 : 117 117 397 : 398 : 61 97 278 310 310 310 399 : 400 : 401 : 402 : 403 : 404 : 320 320 320 405 : 406 : 407 : 408 : 409 : 146 159 165 273 410 : 411 : 412 : 413 : 188 188 235 359 414 : 112 415 : 416 : 417 : 418 : 419 : 420 : 421 : 220 422 : 269 423 : 424 : 425 : 426 : 427 : 428 : 220 355 429 : 45 430 : 431 : 260 432 : 433 : 97 434 : 435 : 4 349 353 436 : 74 437 : 438 : 439 : 440 : 258 404 416 441 : 72 213 213 442 : 443 : 444 : 445 : 446 : 322 447 : 71 448 : 449 : 16 450 : 451 : 452 : 24 453 : 454 : 455 : 456 : 457 : 458 : 459 : 460 : 277 461 : 462 : 357 463 : 464 : 465 : 466 : 127 467 : 468 : 469 : 365 365 365 406 406 406 470 : 471 : 472 : 473 : 474 : 475 : 196 476 : 477 : 161 478 : 121 479 : 150 360 480 : 481 : 482 : 483 : 484 : 485 : 486 : 100 487 : 379 379 488 : 489 : 490 : 491 : 492 : 493 : 494 : 495 : 496 : 194 497 : 498 : 337 499 : 248 500 : 501 : 58 502 : 503 : 504 : 505 : 506 : 507 : 508 : 509 : 510 : 511 : 512 : 513 : 514 : 515 : 516 : 517 : 119 518 : 269 519 : 520 : 521 : 522 : 523 : 524 : 118 118 525 : 526 : 527 : 528 : 529 : 402 402 402 530 : 531 : 532 : 533 : 134 134 134 266 266 266 534 : 200 202 236 535 : 368 536 : 537 : 538 : 539 : 540 : 541 : 542 : 543 : 544 : 545 : 546 : 547 : 222 345 345 367 367 548 : 549 : 550 : 362 551 : 552 : 553 : 50 554 : 198 555 : 556 : 557 : 558 : 138 140 559 : 560 : 561 : 562 : 563 : 564 : 565 : 566 : 567 : 568 : 569 : 570 : 571 : 118 572 : 573 : 574 : 4 342 575 : 576 : 204 204 577 : 33 171 578 : 579 : 580 : 581 : 200 202 236 582 : 583 : 584 : 585 : 586 : 587 : 588 : 216 224 589 : 172 590 : 591 : 592 : 593 : 237 594 :