=========================================================
Recognized function symbols in input:

  name                arity   strict-pos  binder-arity        
  ----                -----   -----       -----               

=========================================================

===============================
Input Problem:
===============================
Gamma ={
  U01 =?= C01[U02],
  U02 =?= C02[U03],
  U03 =?= C03[U04],
  U04 =?= C05[U05]}
Delta1=  {C01,C02,C03,C04,C05}
Delta2=  {}
Delta3=  {}

===============================
Solution 1:
------------------
Instantiated Expressions:
  C01[C02[C03[C05[U05]]]] =?= C01[C02[C03[C05[U05]]]],
  C02[C03[C05[U05]]] =?= C02[C03[C05[U05]]],
  C03[C05[U05]] =?= C03[C05[U05]],
  C05[U05] =?= C05[U05]
Sol = {
  U01 |-> C01[C02[C03[C05[U05]]]],
  U02 |-> C02[C03[C05[U05]]],
  U03 |-> C03[C05[U05]],
  U04 |-> C05[U05]}
Delta1  = 
  {C01,C02,C03,C04,C05}
Delta2 = 
  {}
Delta3 = 
  {}