BEST_CASE(Omega(n^1),?)

Solution:
---------

  "0" :: [] -(0)-> "d"(0)
  "and" :: ["c"(12) x "c"(10)] -(1)-> "c"(4)
  "dd" :: ["d"(0) x "d"(0)] -(0)-> "d"(0)
  "dd" :: ["d"(0) x "d"(6)] -(6)-> "d"(6)
  "dd" :: ["d"(0) x "d"(1)] -(1)-> "d"(1)
  "dd" :: ["d"(0) x "d"(3)] -(3)-> "d"(3)
  "dd" :: ["d"(0) x "d"(2)] -(2)-> "d"(2)
  "edge" :: ["d"(0) x "d"(0) x "d"(0)] -(0)-> "d"(0)
  "elem" :: ["d"(0) x "d"(0)] -(1)-> "c"(2)
  "eq" :: ["d"(0) x "d"(0)] -(1)-> "c"(8)
  "false" :: [] -(0)-> "c"(14)
  "false" :: [] -(0)-> "c"(12)
  "false" :: [] -(0)-> "c"(10)
  "false" :: [] -(0)-> "c"(8)
  "false" :: [] -(0)-> "c"(2)
  "false" :: [] -(0)-> "c"(6)
  "false" :: [] -(0)-> "c"(0)
  "false" :: [] -(0)-> "c"(1)
  "false" :: [] -(0)-> "c"(9)
  "false" :: [] -(0)-> "c"(3)
  "forrest" :: ["a"(2)] -(1)-> "b"(0)
  "graph" :: ["d"(0) x "d"(2)] -(2)-> "a"(2)
  "inBlock" :: ["d"(0) x "d"(6)] -(1)-> "c"(2)
  "insert" :: ["d"(0) x "d"(1)] -(2)-> "d"(1)
  "insert#q" :: ["c"(14) x "d"(0) x "d"(0) x "d"(1)] -(1)-> "d"(1)
  "join" :: ["d"(0) x "d"(1) x "d"(0)] -(1)-> "d"(0)
  "join#q" :: ["c"(14) x "d"(0) x "d"(0) x "d"(1) x "d"(0)] -(1)-> "d"(0)
  "kruskal" :: ["d"(2) x "d"(0) x "d"(0)] -(1)-> "b"(0)
  "kruskal#q" :: ["c"(6) x "d"(0) x "d"(2) x "d"(0) x "d"(0)] -(1)-> "b"(0)
  "leq" :: ["d"(0) x "d"(0)] -(1)-> "c"(13)
  "nil" :: [] -(0)-> "d"(0)
  "nil" :: [] -(0)-> "d"(6)
  "nil" :: [] -(0)-> "d"(1)
  "nil" :: [] -(0)-> "d"(3)
  "nil" :: [] -(0)-> "d"(2)
  "or" :: ["c"(8) x "c"(2)] -(1)-> "c"(2)
  "pair" :: ["d"(0) x "d"(0)] -(0)-> "b"(0)
  "partitions" :: ["d"(0)] -(1)-> "d"(0)
  "pp" :: ["d"(1) x "d"(0)] -(1)-> "d"(0)
  "s" :: ["d"(0)] -(0)-> "d"(0)
  "sort" :: ["d"(3)] -(1)-> "d"(1)
  "src" :: ["d"(0)] -(1)-> "d"(0)
  "trg" :: ["d"(0)] -(1)-> "d"(0)
  "true" :: [] -(0)-> "c"(14)
  "true" :: [] -(0)-> "c"(12)
  "true" :: [] -(0)-> "c"(10)
  "true" :: [] -(0)-> "c"(8)
  "true" :: [] -(0)-> "c"(2)
  "true" :: [] -(0)-> "c"(6)
  "true" :: [] -(0)-> "c"(4)
  "true" :: [] -(0)-> "c"(0)
  "wt" :: ["d"(0)] -(1)-> "d"(0)


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




Base Constructors:
------------------
  "\"0\"_d" :: [] -(0)-> "d"(1)
  "\"dd\"_d" :: ["d"(0) x "d"(1)] -(1)-> "d"(1)
  "\"edge\"_d" :: ["d"(0) x "d"(0) x "d"(12)] -(1)-> "d"(1)
  "\"false\"_c" :: [] -(0)-> "c"(1)
  "\"graph\"_a" :: ["d"(0) x "d"(1)] -(1)-> "a"(1)
  "\"nil\"_d" :: [] -(0)-> "d"(1)
  "\"pair\"_b" :: ["d"(10) x "d"(0)] -(1)-> "b"(1)
  "\"s\"_d" :: ["d"(11)] -(1)-> "d"(1)
  "\"true\"_c" :: [] -(0)-> "c"(1)