BEST_CASE(Omega(n^3),?)

Solution:
---------

  "Cons" :: ["A"(0, 0, 0) x "A"(0, 0, 0)] -(0)-> "A"(0, 0, 0)
  "Cons" :: ["A"(12, 12, 12) x "A"(0, 0, 0)] -(13)-> "A"(8, 4, 1)
  "Cons" :: ["A"(10, 10, 13) x "A"(0, 0, 0)] -(11)-> "A"(9, 1, 1)
  "Cons" :: ["A"(12, 12, 12) x "A"(0, 0, 0)] -(15)-> "A"(0, 12, 3)
  "Cons" :: ["A"(13, 13, 14) x "A"(0, 0, 0)] -(15)-> "A"(6, 7, 2)
  "Nil" :: [] -(0)-> "A"(8, 4, 1)
  "Nil" :: [] -(0)-> "A"(0, 0, 0)
  "Nil" :: [] -(0)-> "A"(9, 1, 1)
  "Nil" :: [] -(0)-> "A"(1, 1, 2)
  "Nil" :: [] -(0)-> "A"(1, 1, 1)
  "f" :: ["A"(9, 1, 1) x "A"(0, 0, 0)] -(1)-> "A"(0, 0, 0)
  "g" :: ["A"(0, 0, 0) x "A"(0, 0, 0)] -(1)-> "A"(0, 0, 0)
  "h" :: ["A"(8, 4, 1) x "A"(0, 0, 0)] -(1)-> "A"(0, 0, 0)
  "r" :: ["A"(0, 0, 1) x "A"(0, 0, 0)] -(1)-> "A"(15, 15, 15)
  "sp1" :: ["A"(8, 1, 1) x "A"(0, 0, 0)] -(1)-> "A"(0, 0, 0)


Cost Free Signatures:
---------------------

  "Cons" :: ["A"_cf(6, 6, 9) x "A"_cf(0, 0, 0)] -(7)-> "A"_cf(5, 1, 1)
  "Cons" :: ["A"_cf(6, 6, 9) x "A"_cf(0, 0, 0)] -(8)-> "A"_cf(1, 5, 2)
  "Cons" :: ["A"_cf(0, 0, 0) x "A"_cf(0, 0, 0)] -(0)-> "A"_cf(0, 0, 0)
  "Cons" :: ["A"_cf(12, 12, 12) x "A"_cf(0, 0, 0)] -(15)-> "A"_cf(0, 12, 3)
  "Cons" :: ["A"_cf(0, 0, 12) x "A"_cf(0, 0, 0)] -(3)-> "A"_cf(0, 0, 3)
  "Cons" :: ["A"_cf(2, 2, 12) x "A"_cf(0, 0, 0)] -(5)-> "A"_cf(0, 2, 3)
  "Cons" :: ["A"_cf(12, 12, 12) x "A"_cf(0, 0, 0)] -(14)-> "A"_cf(4, 8, 2)
  "Cons" :: ["A"_cf(10, 10, 15) x "A"_cf(0, 0, 0)] -(12)-> "A"_cf(7, 3, 2)
  "Cons" :: ["A"_cf(10, 10, 15) x "A"_cf(0, 0, 0)] -(13)-> "A"_cf(3, 7, 3)
  "Cons" :: ["A"_cf(10, 10, 4) x "A"_cf(0, 0, 0)] -(11)-> "A"_cf(0, 10, 1)
  "Nil" :: [] -(0)-> "A"_cf(5, 1, 1)
  "Nil" :: [] -(0)-> "A"_cf(0, 0, 0)
  "Nil" :: [] -(0)-> "A"_cf(1, 5, 2)
  "Nil" :: [] -(0)-> "A"_cf(0, 12, 3)
  "Nil" :: [] -(0)-> "A"_cf(0, 0, 3)
  "Nil" :: [] -(0)-> "A"_cf(4, 8, 2)
  "Nil" :: [] -(0)-> "A"_cf(0, 1, 0)
  "Nil" :: [] -(0)-> "A"_cf(7, 3, 2)
  "Nil" :: [] -(0)-> "A"_cf(1, 0, 0)
  "Nil" :: [] -(0)-> "A"_cf(3, 7, 3)
  "Nil" :: [] -(0)-> "A"_cf(0, 10, 1)
  "f" :: ["A"_cf(1, 5, 2) x "A"_cf(0, 0, 0)] -(0)-> "A"_cf(0, 0, 0)
  "f" :: ["A"_cf(0, 12, 3) x "A"_cf(0, 0, 0)] -(0)-> "A"_cf(0, 0, 0)
  "f" :: ["A"_cf(3, 7, 3) x "A"_cf(0, 0, 0)] -(0)-> "A"_cf(0, 0, 0)
  "f" :: ["A"_cf(0, 0, 0) x "A"_cf(0, 0, 0)] -(0)-> "A"_cf(0, 0, 0)
  "f" :: ["A"_cf(0, 10, 1) x "A"_cf(0, 0, 0)] -(0)-> "A"_cf(0, 0, 0)
  "g" :: ["A"_cf(0, 0, 0) x "A"_cf(0, 0, 0)] -(0)-> "A"_cf(0, 0, 0)
  "h" :: ["A"_cf(5, 1, 1) x "A"_cf(0, 0, 0)] -(1)-> "A"_cf(0, 0, 0)
  "h" :: ["A"_cf(0, 0, 3) x "A"_cf(0, 0, 0)] -(0)-> "A"_cf(0, 0, 0)
  "h" :: ["A"_cf(4, 8, 2) x "A"_cf(0, 0, 0)] -(1)-> "A"_cf(0, 0, 0)
  "h" :: ["A"_cf(7, 3, 2) x "A"_cf(0, 0, 0)] -(1)-> "A"_cf(0, 0, 0)
  "h" :: ["A"_cf(0, 0, 0) x "A"_cf(0, 0, 0)] -(0)-> "A"_cf(0, 0, 0)
  "h" :: ["A"_cf(0, 10, 1) x "A"_cf(0, 0, 0)] -(0)-> "A"_cf(0, 0, 0)


Base Constructors:
------------------
  "\"Cons\"_A" :: ["A"(1, 1, 1) x "A"(0, 0, 0)] -(1)-> "A"(1, 0, 0)
  "\"Cons\"_A" :: ["A"(1, 1, 0) x "A"(0, 0, 0)] -(1)-> "A"(0, 1, 0)
  "\"Cons\"_A" :: ["A"(0, 0, 4) x "A"(0, 0, 0)] -(1)-> "A"(0, 0, 1)
  "\"Nil\"_A" :: [] -(0)-> "A"(1, 0, 0)
  "\"Nil\"_A" :: [] -(0)-> "A"(0, 1, 0)
  "\"Nil\"_A" :: [] -(0)-> "A"(0, 0, 1)