MAYBE

Problem:
 a(0(),b(0(),x)) -> b(0(),a(0(),x))
 a(0(),x) -> b(0(),b(0(),x))
 a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
 b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
 a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))

Proof:
 DP Processor:
  DPs:
   a#(0(),b(0(),x)) -> a#(0(),x)
   a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
   a#(0(),x) -> b#(0(),x)
   a#(0(),x) -> b#(0(),b(0(),x))
   a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
   a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
   b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
   b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
   a#(0(),a(x,y)) -> a#(1(),a(x,y))
   a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
  TRS:
   a(0(),b(0(),x)) -> b(0(),a(0(),x))
   a(0(),x) -> b(0(),b(0(),x))
   a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
   b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
   a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))
  TDG Processor:
   DPs:
    a#(0(),b(0(),x)) -> a#(0(),x)
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
    a#(0(),x) -> b#(0(),x)
    a#(0(),x) -> b#(0(),b(0(),x))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
    a#(0(),a(x,y)) -> a#(1(),a(x,y))
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
   TRS:
    a(0(),b(0(),x)) -> b(0(),a(0(),x))
    a(0(),x) -> b(0(),b(0(),x))
    a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
    b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
    a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))
   graph:
    b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y))) ->
    b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
    b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y))) ->
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(x,y)) -> a#(1(),a(x,y))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),x) -> b#(0(),b(0(),x))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),x) -> b#(0(),x)
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),b(0(),x)) -> a#(0(),x)
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y))) ->
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y))) ->
    a#(0(),a(x,y)) -> a#(1(),a(x,y))
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y))) ->
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y))) ->
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y))) ->
    a#(0(),x) -> b#(0(),b(0(),x))
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y))) ->
    a#(0(),x) -> b#(0(),x)
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y))) ->
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y))) ->
    a#(0(),b(0(),x)) -> a#(0(),x)
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(x,y)) -> a#(1(),a(x,y))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),x) -> b#(0(),b(0(),x))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),x) -> b#(0(),x)
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),b(0(),x)) -> a#(0(),x)
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y))) ->
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y))) ->
    a#(0(),a(x,y)) -> a#(1(),a(x,y))
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y))) ->
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y))) ->
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y))) ->
    a#(0(),x) -> b#(0(),b(0(),x))
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y))) ->
    a#(0(),x) -> b#(0(),x)
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y))) ->
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y))) ->
    a#(0(),b(0(),x)) -> a#(0(),x)
    a#(0(),a(x,y)) -> a#(1(),a(x,y)) ->
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
    a#(0(),a(x,y)) -> a#(1(),a(x,y)) ->
    a#(0(),a(x,y)) -> a#(1(),a(x,y))
    a#(0(),a(x,y)) -> a#(1(),a(x,y)) ->
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
    a#(0(),a(x,y)) -> a#(1(),a(x,y)) ->
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),a(x,y)) -> a#(1(),a(x,y)) ->
    a#(0(),x) -> b#(0(),b(0(),x))
    a#(0(),a(x,y)) -> a#(1(),a(x,y)) -> a#(0(),x) -> b#(0(),x)
    a#(0(),a(x,y)) -> a#(1(),a(x,y)) ->
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
    a#(0(),a(x,y)) -> a#(1(),a(x,y)) ->
    a#(0(),b(0(),x)) -> a#(0(),x)
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x)) ->
    b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x)) ->
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),b(0(),x)) -> a#(0(),x) ->
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
    a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),a(x,y)) -> a#(1(),a(x,y))
    a#(0(),b(0(),x)) -> a#(0(),x) ->
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
    a#(0(),b(0(),x)) -> a#(0(),x) ->
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),x) -> b#(0(),b(0(),x))
    a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),x) -> b#(0(),x)
    a#(0(),b(0(),x)) -> a#(0(),x) ->
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
    a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),b(0(),x)) -> a#(0(),x)
    a#(0(),x) -> b#(0(),b(0(),x)) ->
    b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
    a#(0(),x) -> b#(0(),b(0(),x)) -> b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),x) -> b#(0(),x) -> b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
    a#(0(),x) -> b#(0(),x) -> b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
   EDG Processor:
    DPs:
     a#(0(),b(0(),x)) -> a#(0(),x)
     a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
     a#(0(),x) -> b#(0(),x)
     a#(0(),x) -> b#(0(),b(0(),x))
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
     a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
     b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
     a#(0(),a(x,y)) -> a#(1(),a(x,y))
     a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
    TRS:
     a(0(),b(0(),x)) -> b(0(),a(0(),x))
     a(0(),x) -> b(0(),b(0(),x))
     a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
     b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
     a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))
    graph:
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),b(0(),x)) -> a#(0(),x)
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),x) -> b#(0(),x)
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),x) -> b#(0(),b(0(),x))
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),a(x,y)) -> a#(1(),a(x,y))
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),b(0(),x)) -> a#(0(),x)
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),x) -> b#(0(),x)
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),x) -> b#(0(),b(0(),x))
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),a(x,y)) -> a#(1(),a(x,y))
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
     a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
     a#(0(),b(0(),x)) -> b#(0(),a(0(),x)) ->
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
     a#(0(),b(0(),x)) -> b#(0(),a(0(),x)) ->
     b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
     a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),b(0(),x)) -> a#(0(),x)
     a#(0(),b(0(),x)) -> a#(0(),x) ->
     a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
     a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),x) -> b#(0(),x)
     a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),x) -> b#(0(),b(0(),x))
     a#(0(),b(0(),x)) -> a#(0(),x) ->
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
     a#(0(),b(0(),x)) -> a#(0(),x) ->
     a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
     a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),a(x,y)) -> a#(1(),a(x,y))
     a#(0(),b(0(),x)) -> a#(0(),x) ->
     a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
     a#(0(),x) -> b#(0(),b(0(),x)) ->
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
     a#(0(),x) -> b#(0(),b(0(),x)) ->
     b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
     a#(0(),x) -> b#(0(),x) -> b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
     a#(0(),x) -> b#(0(),x) -> b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
    CDG Processor:
     DPs:
      a#(0(),b(0(),x)) -> a#(0(),x)
      a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
      a#(0(),x) -> b#(0(),x)
      a#(0(),x) -> b#(0(),b(0(),x))
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
      a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
      b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
      b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
      a#(0(),a(x,y)) -> a#(1(),a(x,y))
      a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
     TRS:
      a(0(),b(0(),x)) -> b(0(),a(0(),x))
      a(0(),x) -> b(0(),b(0(),x))
      a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
      b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
      a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))
     graph:
      b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
      b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),a(x,y)) -> a#(1(),a(x,y))
      b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
      b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
      b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),x) -> b#(0(),b(0(),x))
      b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),x) -> b#(0(),x)
      b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
      b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),b(0(),x)) -> a#(0(),x)
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),a(x,y)) -> a#(1(),a(x,y))
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),x) -> b#(0(),b(0(),x))
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),x) -> b#(0(),x)
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
      a#(0(),b(0(),x)) -> a#(0(),x)
      a#(0(),b(0(),x)) -> b#(0(),a(0(),x)) ->
      b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
      a#(0(),b(0(),x)) -> b#(0(),a(0(),x)) ->
      b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
      a#(0(),b(0(),x)) -> a#(0(),x) ->
      a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
      a#(0(),b(0(),x)) -> a#(0(),x) ->
      a#(0(),a(x,y)) -> a#(1(),a(x,y))
      a#(0(),b(0(),x)) -> a#(0(),x) ->
      a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
      a#(0(),b(0(),x)) -> a#(0(),x) ->
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
      a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),x) -> b#(0(),b(0(),x))
      a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),x) -> b#(0(),x)
      a#(0(),b(0(),x)) -> a#(0(),x) ->
      a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
      a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),b(0(),x)) -> a#(0(),x)
      a#(0(),x) -> b#(0(),x) ->
      b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
      a#(0(),x) -> b#(0(),x) -> b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
     SCC Processor:
      #sccs: 1
      #rules: 5
      #arcs: 28/100
      DPs:
       b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
       a#(0(),b(0(),x)) -> a#(0(),x)
       a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
       a#(0(),x) -> b#(0(),x)
       a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
      TRS:
       a(0(),b(0(),x)) -> b(0(),a(0(),x))
       a(0(),x) -> b(0(),b(0(),x))
       a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
       b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
       a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))
      Open