Rule:ObviouslyNotB356S23

@RULE ObviouslyNotB356S23

@TREE

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