BEST_CASE(Omega(n^1),?)

Solution:
---------

  "#0" :: [] -(0)-> "b"(0)
  "#abs" :: ["b"(0)] -(1)-> "b"(0)
  "#add" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "#mult" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "#natadd" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "#natmult" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "#neg" :: ["b"(0)] -(0)-> "b"(0)
  "#pos" :: ["b"(0)] -(0)-> "b"(0)
  "#pred" :: ["b"(0)] -(1)-> "b"(0)
  "#s" :: ["b"(0)] -(0)-> "b"(0)
  "#succ" :: ["b"(0)] -(1)-> "b"(0)
  "add" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "attach" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "attach#1" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "attach#2" :: ["b"(0) x "b"(0) x "b"(0)] -(1)-> "b"(0)
  "dd" :: ["b"(0) x "b"(0)] -(0)-> "b"(0)
  "dd" :: ["b"(0) x "b"(1)] -(1)-> "b"(1)
  "lineMult" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "lineMult#1" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "makeBase" :: ["b"(0)] -(1)-> "b"(0)
  "makeBase#1" :: ["b"(0)] -(1)-> "b"(0)
  "matrixMult" :: ["b"(1) x "b"(0)] -(1)-> "b"(0)
  "matrixMult'" :: ["b"(1) x "b"(0)] -(1)-> "b"(0)
  "matrixMult'#1" :: ["b"(1) x "b"(0)] -(1)-> "b"(0)
  "matrixMult3" :: ["b"(1) x "b"(0) x "b"(0)] -(1)-> "b"(0)
  "matrixMultList" :: ["b"(1) x "b"(0)] -(1)-> "b"(1)
  "matrixMultList#1" :: ["b"(0) x "b"(1)] -(1)-> "b"(1)
  "matrixMultOld" :: ["b"(1) x "b"(0)] -(1)-> "b"(0)
  "mkBase" :: ["b"(0)] -(1)-> "b"(0)
  "mkBase#1" :: ["b"(0)] -(1)-> "b"(0)
  "mult" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "mult#1" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "mult#2" :: ["b"(0) x "b"(0) x "b"(0)] -(1)-> "b"(0)
  "nil" :: [] -(0)-> "b"(0)
  "nil" :: [] -(0)-> "b"(1)
  "split" :: ["b"(0)] -(1)-> "a"(0)
  "split#1" :: ["b"(0)] -(1)-> "a"(0)
  "split#2" :: ["b"(0) x "b"(0)] -(1)-> "a"(0)
  "split#3" :: ["a"(0) x "b"(0) x "b"(0)] -(1)-> "a"(0)
  "transAcc" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "transAcc#1" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "transpose" :: ["b"(0)] -(1)-> "b"(0)
  "transpose#1" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "transpose#2" :: ["a"(0)] -(1)-> "b"(0)
  "transpose#3" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "transpose'" :: ["b"(0)] -(1)-> "b"(0)
  "tuple#2" :: ["b"(0) x "b"(0)] -(0)-> "a"(0)


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