LIS - MarisaOJ: Marisa Online Judge

LIS

Time limit: 1000 ms
Memory limit: 256 MB
Định nghĩa f(A) là số lượng dãy con tăng ít nhất liên tiếp có thể tách ra từ dãy số nguyên A. Tính tổng các f(P) với P là một hoán vị của dãy số nguyên 1,2,...,n. ### Input - Một dòng gồm số nguyên n. ### Output - In ra kết quả, modulo 109+7. ### Điều kiện - 1n1000. ### Ví dụ Input: 3 Output: 12