Description

Format

Input

Output

Samples

3 3
2 3 4
1 1 2 2
1 2 3 5
1 3 3 2

14

Limitation