AProVE
TcT preprocrc(n)O(1)O(n)O(n2)O(n3)O(n5)> poly
O(1)391--------
O(n)517412----28
O(n2)--5182--3
O(n3)----14--6
O(n5)----------1
> poly234----356