TcT
AProVE RNTSirc(n)O(1)O(n)O(n2)O(n3)O(n>3)EXPINF
O(1)3731------2
O(n)--16513------33
O(n2)--13921--69
O(n3)----4152--15
O(n>3)----1--2--7
EXP--32------5
INF10572672--398