#P7024. [NWRRC 2017] Fygon 2.0

[NWRRC 2017] Fygon 2.0

题目描述

The new version of beloved programming language Fygon has been released! The brand new Fygon 22 . 00 still has only two statements. The first statement is lag. It substitutes almost any other statement. Second statement is a for loop:

for <variable> in range(<from>, <to>):
    <body>

The for loop makes iterate from to , both inclusive.

If is greater than , is not executed at all.

is a lowercase letter from a to zz , except for nn , which is a variable that is defined prior to the given code snippet.

and can be equal to any variable defined in outer loop. In addition to that, can be 11 and can be nn .

The of the loop is indented by four spaces and contains at least one statement.

If you are familiar with Fygon 11 . 00 , you can notice that, in the spirit of the best programming practices, Fygon 22 . 00 is not backwards compatible, since the range function now requires two parameters.

The performance of the new version is significantly improved, so you can write more nested for loops. That is why we are no longer interested in the exact number of operations, but in the asymptotic complexity of the program instead. For simplicity, all for loops are nested in a single chain and there is exactly one lag statement that is inside all for loops. All loop variables are different and are not equal to nn .

Let's define f(n)f(n) as the number of lag operations exectuted by a given Fygon program as the function of nn . For non-negative integer kk and positive rational number CC we say that CnkC · n^{k} is the asymptotic complexity of the program if

limnf(n)Cnk=1\lim_{n \to \infty}{\frac{f(n)}{C \cdot n^k}} = 1

Given a Fygon 22 . 00 program, find its asymptotic complexity.

输入格式

The first line of the input contains single integer mm -- the number of lines in Fygon 22 . 00 program. Next mm lines contain the program itself. The program has at least 11 and at most 2020 for statements. Each for statement contains either single nested for statement or lag statement.

输出格式

Output numbers kk and CC . CC should be output in the form of irreducible fraction p/qp/q , where pp and qq are coprime.

4
for i in range(1, n):
    for j in range(1, i):
        for k in range(j, n):
            lag
3 1/3

提示

Time limit: 3 s, Memory limit: 512 MB.