%-- Ranking: [syl, ons, noc, dep, max]
ranking([syl, ons, noc, dep, max]).

%-- Eval:
eval(([syl-0, [ons-0, [noc-0, [dep, max]]]], [[syl-0, [ons-0, [noc-0, [dep, max]]]]], [ ([syl-3, [ons-1, [noc-1, [dep, max]]]], (v, [[]], [0, 0, 0, 0, 1]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (v, [[x, c, v, c]], [0, 0, 1, 2, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (v, [[x, v, c]], [0, 1, 1, 1, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[c]], [0, 0, 0, 1, 1]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[x, c, v, c]], [0, 0, 0, 2, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[x, v, c]], [0, 1, 0, 1, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (v, [[v, c]], [0, 0, 0, 1, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (v, [[c, v, c]], [0, 0, 0, 2, 0]), [syl-3, [ons-1, [noc-1, [dep, m!
 ax]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (v, [[v, c]], [0, 1, 0, 1, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (v, [[x, v]], [0, 1, 1, 0, 0]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (v, [[x, c, v]], [0, 0, 1, 1, 0]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[]], [0, 0, 0, 0, 1]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[x, v]], [0, 1, 0, 0, 0]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[x, c, v]], [0, 0, 0, 1, 0]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (v, [[v]], [0, 0, 0, 0, 0]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (v, [[v]], [0, 1, 0, 0, 0]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (v, [[c, v]], [0, 0, 0, 1, 0]), [syl-2, [ons-1,!
  [noc-0, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (v, [
[x, c, v, x, c]], [0, 0, 1, 2, 0]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (v, [[x, v, x, c]], [0, 1, 1, 1, 0]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (v, [[x, c]], [0, 0, 1, 1, 1]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[x, c]], [0, 0, 0, 1, 1]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[x, c, v, x, c]], [0, 0, 0, 2, 0]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[x, v, x, c]], [0, 1, 0, 1, 0]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (v, [[]], [0, 0, 0, 0, 1]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (v, [[v, x, c]], [0, 0, 0, 1, 0]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (v, [[c]], [0, 0, 0, 1, 1]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), !
 ([syl-0, [ons-0, [noc-0, [dep, max]]]], (v, [[c, v, x, c]], [0, 0, 0, 2, 0]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (v, [[v, x, c]], [0, 1, 0, 1, 0]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (v, [[x, c, v, x]], [0, 0, 1, 1, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (v, [[x, v, x]], [0, 1, 1, 0, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (v, [[x]], [0, 0, 1, 0, 1]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[x]], [0, 0, 0, 0, 1]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[x, c, v, x]], [0, 0, 0, 1, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (v, [[x, v, x]], [0, 1, 0, 0, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (v, [[v, x]], [0, 0, 0, 0, 0]),!
  [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep
, max]]]], (v, [[]], [0, 0, 0, 0, 1]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (v, [[c, v, x]], [0, 0, 0, 1, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (v, [[v, x]], [0, 1, 0, 0, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (c, [[]], [0, 0, 0, 0, 1]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (c, [[x, v, c]], [0, 1, 1, 1, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (c, [[x, c, v, c]], [0, 0, 1, 2, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (c, [[c]], [0, 0, 0, 0, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (c, [[v, c]], [0, 0, 0, 1, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (c, [[v, c]], [0, 1, 0, 1, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-0, !
 [ons-0, [noc-0, [dep, max]]]], (c, [[c, v, c]], [0, 0, 0, 2, 0]), [syl-3, [ons-1, [noc-1, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (c, [[x, c, v]], [0, 0, 1, 1, 0]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (c, [[]], [0, 0, 0, 0, 1]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (c, [[x, c, v]], [0, 0, 0, 1, 0]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (c, [[v]], [0, 0, 0, 1, 1]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (c, [[v, x, c, v]], [0, 0, 0, 2, 0]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (c, [[c, v]], [0, 0, 0, 1, 0]), [syl-2, [ons-1, [noc-0, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (c, [[x, c]], [0, 0, 1, 0, 0]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (c, [[x, c]], [0, 0, 0, 0, 0]), [syl-1, [ons-1, [noc-!
 1, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (c, [[]], [
0, 0, 0, 0, 1]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (c, [[v, x, c]], [0, 0, 0, 1, 0]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (c, [[c]], [0, 0, 0, 0, 0]), [syl-1, [ons-1, [noc-1, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (c, [[x, c, v, x]], [0, 0, 1, 1, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-3, [ons-1, [noc-1, [dep, max]]]], (c, [[x]], [0, 0, 1, 0, 1]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (c, [[x]], [0, 0, 0, 0, 1]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (c, [[x, c, v, x]], [0, 0, 0, 1, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-2, [ons-1, [noc-0, [dep, max]]]], (c, [[c, x]], [0, 0, 1, 0, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (c, [[v, x]], [0, 0, 0, 1, 1]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep,!
  max]]]], (c, [[v, x, c, v, x]], [0, 0, 0, 2, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-1, [ons-1, [noc-1, [dep, max]]]], (c, [[v, c, x]], [0, 0, 1, 1, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (c, [[]], [0, 0, 0, 0, 1]), [syl-0, [ons-0, [noc-0, [dep, max]]]]), ([syl-0, [ons-0, [noc-0, [dep, max]]]], (c, [[c, v, x]], [0, 0, 0, 1, 0]), [syl-0, [ons-0, [noc-0, [dep, max]]]])])).