Confluence proofs

There are 100 critical peaks. To see the confluence proof, click on corresponding diagram below:

Note: Some diagrams appear to only have one branch. This is because the diagram reduces to the same diagram via multiple different rules in one step.

  • cd
    • cd
  • cdc
    • c
    • dc
      • c
  • abab
    • ab
  • abad
    • ad
    • abd
      • ad
  • abca
    • aba
      • a
    • aca
      • a
  • abcb
    • ab
    • acb
      • ab
  • abcd
    • abd
      • ad
    • acd
      • ad
  • ac
    • ac
    • ac
      • ac
  • aca
    • acca
      • aca
        • a
    • aca
      • a
  • ac
    • ac
    • ac
      • ac
  • acc
    • acc
      • ac
    • acac
      • ac
  • ab
    • ab
  • abb
    • abb
    • abab
      • abbab
        • abb
  • abc
    • abc
      • abc
    • abc
      • abc
        • abc
  • abca
    • abca
      • ab
    • abca
      • ab
  • abcb
    • ab
      • ab
    • abcb
      • abcb
        • ab
  • abcba
    • aba
      • abba
    • abcaba
      • abba
  • abc
    • abc
    • abc
      • abc
        • abc
  • abca
    • abca
      • aba
        • abba
    • abcca
      • abbca
        • abba
  • abcd
    • abcd
      • abdc
    • abdc
      • abdc
  • abcdc
    • abcc
      • abbc
    • abdbc
      • abbc
  • abbc
    • abbc
    • abcb
      • abcb
        • abbc
  • abbcb
    • abb
    • abcab
      • abb
  • abc
    • abc
      • abc
        • abc
    • abc
      • abc
  • abcb
    • abbc
      • abbc
    • abcb
      • abbc
  • abcc
    • abcc
      • abc
    • abcc
      • abc
        • abc
  • abccb
    • abbccb
      • abbcb
        • abb
    • abccb
      • abcb
        • abb
  • abcc
    • abcc
      • abcc
        • abc
    • abc
      • abc
  • abccc
    • abcc
      • abbc
    • abbcc
      • abbc
  • abc
    • abc
    • abc
      • abc
        • abc
  • abcc
    • abcc
      • abac
        • abbac
          • abbc
    • abcbc
      • abbc
  • abc
    • abc
      • abc
    • abc
      • abc
        • abc
  • abcc
    • abcc
      • abc
    • abcc
      • abc
        • abc
  • abcb
    • abbc
      • abbc
    • abcb
      • abbc
  • abcbc
    • abbcc
      • abbc
    • abccbc
      • abcbc
        • abbc
  • abcb
    • ab
    • abcb
      • abcb
        • ab
  • abcbb
    • abb
    • abccb
      • abcb
        • abb
  • abc
    • abc
    • abc
      • abc
        • abc
  • abcc
    • abcc
    • abcc
      • abcc
  • abcb
    • abcb
    • abcb
      • abcb
  • abcbc
    • abcbc
    • abccbc
      • abcbcbc
        • abcbc
  • abcb
    • abcb
      • abcb
        • abccb
    • abccb
      • abccb
        • abccb
  • abcbb
    • abccb
      • abcbcb
    • abccbb
      • abcccb
        • abcbcb
  • abc
    • abc
    • abc
      • abc
        • abc
  • abca
    • abcba
      • abcba
    • abca
      • abca
        • abcba
          • abcba
  • abc
    • abc
      • abc
        • abc
    • abc
      • abc
        • abc
  • abca
    • abca
      • abcca
        • abcca
          • abcca
    • abca
      • abca
        • abcca
  • abcb
    • abcb
      • abcb
        • abccb
    • abcb
      • abccb
        • abccb
          • abccb
            • abccb
  • abcba
    • abcaba
      • abccaba
        • abccba
          • abcbcba
            • abcbca
    • abcba
      • abccba
        • abcca
          • abcaca
            • abcbaca
              • abcbca
  • abcb
    • abcb
      • abcb
        • abcb
    • abcb
      • abcb
  • abcbb
    • abcab
      • abccab
        • abccb
          • abcbcb
    • abcbb
      • abcbcb
  • abcc
    • abcc
    • abcc
      • abcc
        • abcc
  • abccc
    • abccbc
      • abcbcbc
        • abcbc
    • abccc
      • abcac
        • abcbac
          • abcbc
  • abcd
    • abcd
      • abcd
        • abcd
    • abcd
      • abcd
        • abcd
  • abcdb
    • abcdb
      • abcb
        • abcb
    • abcdb
      • abcb
  • abcdc
    • abcc
      • abcc
    • abcdc
      • abcdc
        • abcc
  • abcdcb
    • abccb
      • abcbcb
    • abcdbcb
      • abcbcb
  • abccc
    • abccc
      • abccc
        • abccc
    • abccc
      • abccc
        • abccc
  • abcccc
    • abccbc
      • abcbcc
    • abcccc
      • abcccc
        • abcbcc
  • abcd
    • abcd
      • abcd
        • abcd
    • abcd
      • abcd
        • abcd
  • abcdb
    • abcdb
      • abcbd
        • abcbd
    • abcdb
      • abcbd
  • abcdd
    • abcdd
      • abccd
        • abccd
          • abccd
    • abcdd
      • abccd
  • abcddb
    • abcddb
      • abccdb
        • abccb
          • abcbcb
    • abcdbdb
      • abcbcdb
        • abcbcb
  • abcdd
    • abcdd
      • abcdd
        • abccd
    • abccd
      • abccd
        • abccd
  • abcddd
    • abcdbd
      • abcbcd
    • abccdd
      • abcccd
        • abcbcd
  • abcc
    • abcc
    • abcc
      • abcc
        • abcc
  • abcca
    • abccca
      • abcbca
    • abcca
      • abcaca
        • abcbaca
          • abcbca
  • abccd
    • abccd
      • abcdc
    • abcdc
      • abcdc
        • abcdc
  • abccdc
    • abccc
      • abcbc
    • abcdbc
      • abcbc
  • abccc
    • abcc
      • abcc
    • abccc
      • abccc
        • abcc
  • abcccc
    • abccc
      • abcbc
    • abcccc
      • abcbcc
        • abcbc
  • abcd
    • abcd
      • abcd
        • abcd
    • abcd
      • abcd
        • abcd
  • abcdd
    • abcdd
      • abcbd
        • abcbd
    • abcdd
      • abcbd
        • abcbd
  • abcdc
    • abcdc
      • abccd
        • abccd
    • abcdc
      • abccd
  • abcdcd
    • abcdcd
      • abccbd
        • abcbcbd
          • abcbcd
    • abcddcd
      • abcbdcd
        • abcbcd
  • abcdc
    • abcc
      • abcc
    • abcdc
      • abcdc
        • abcc
  • abcdcc
    • abccc
      • abcbc
    • abcddc
      • abcbdc
        • abcbc
  • abcd
    • abcd
      • abcd
        • abcd
          • abcd
    • abcd
      • abcd
        • abcd
          • abcd
  • abcdb
    • abcdb
      • abcdb
        • abcdb
    • abcdb
      • abcdb
        • abcdb
          • abcdb
  • abcdc
    • abcdc
      • abcdc
        • abcdc
    • abcdc
      • abcdc
        • abcdc
          • abcdc
  • abcdcb
    • abcdbcb
      • abcdbcb
        • abcdbcb
    • abcdcb
      • abcdcb
        • abcdcb
          • abcdbcb
            • abcdbcb
  • abcdd
    • abcdd
      • abcdd
        • abcdd
    • abcdd
      • abcdd
        • abcdd
          • abcdd
  • abcddb
    • abcddb
      • abcdbdb
        • abcdbdb
          • abcdbdb
    • abcddb
      • abcddb
        • abcdbdb
          • abcdbdb
  • abcddc
    • abcddc
      • abcddc
        • abcdcdc
    • abcddc
      • abcdcdc
        • abcdcdc
          • abcdcdc
            • abcdcdc
  • abcddcb
    • abcddbcb
      • abcdbdbcb
        • abcdbdcb
          • abcdbcdcb
            • abcdbcdb
    • abcddcb
      • abcdcdcb
        • abcdcdb
          • abcdcbdb
            • abcdbcbdb
              • abcdbcdb
  • abcdc
    • abcdc
      • abcdc
        • abcdc
          • abcdc
    • abcdc
      • abcdc
        • abcdc
  • abcdcc
    • abcdbc
      • abcdbc
        • abcdbc
    • abcdcc
      • abcdcc
        • abcdbc
  • abcdcd
    • abcddc
      • abcddc
        • abcddc
    • abcdcd
      • abcdcd
        • abcddc
  • abcdcdc
    • abcddbc
      • abcdbdbc
        • abcdbdc
          • abcdbcdc
    • abcdcdc
      • abcdccdc
        • abcdbcdc
  • abcdd
    • abcdd
      • abcdd
        • abcdd
          • abcdd
    • abcdd
      • abcdd
        • abcdd
  • abcddc
    • abcddc
      • abcdcd
        • abcdcd
    • abcddc
      • abcdcd
        • abcdcd
  • abcddcd
    • abcdddcd
      • abcdbdcd
        • abcdbcdcd
          • abcdbcd
    • abcddcd
      • abcdcbd
        • abcdbcbd
          • abcdbcd
  • abcddc
    • abcddc
      • abcddc
        • abcddc
          • abcdcdc
    • abcdcdc
      • abcdcdc
        • abcdcdc
          • abcdcdc
  • abcddcc
    • abcdddc
      • abcdbdc
        • abcdbcdc
    • abcdcdcc
      • abcdcddc
        • abcdccdc
          • abcdbcdc
  • abcdd
    • abcdd
      • abcdd
        • abcdd
    • abcdd
      • abcdd
        • abcdd
          • abcdd
  • abcddb
    • abcddb
      • abcdbd
    • abcddb
      • abcdbd
        • abcdbd
          • abcdbd
  • abcddd
    • abcddd
      • abcdcd
    • abcddd
      • abcdcd
        • abcdcd
          • abcdcd
  • abcdddb
    • abcddbdb
      • abcdbcdb
    • abcdddb
      • abcdcdb
        • abcdcbdb
          • abcdbcbdb
            • abcdbcdb
  • abcddd
    • abcddd
      • abcddd
        • abcdcd
    • abcdcd
      • abcdcd
        • abcdcd
  • abcdddd
    • abcddbd
      • abcdbcd
    • abcdcdd
      • abcdccd
        • abcdbcd