AProVE
TcTrc(n)O(1)O(n)O(n2)O(n3)O(n5)> poly
O(1)211--------
O(n)181109----24
O(n2)--782--4
O(n3)----11--2
O(n5)----------1
> poly765173--363