养成游戏
本题没有可用的提交语言。
Description
小塔最近在玩一款培育养成类游戏，她培育的角色有 n 个属性，每个属性 Ai 是 0 到 K 的一个整数。这个游戏的终极目标是在最后的展示大会上获得最高的评分，最后的展示大会上有一些评委，每个评委都有各自的评判标准，当你达成了这个评委的评判标准，你就能获得这个评委的评分，评委的评判标准格式如下，可以由一个整数七元组 
表示。
当 op 为 0 时，代表培育的角色满足 a × Ai + b × Aj ≤ d 时就可以获得 v 的评分。
当 op 为 1 时，代表培育的角色满足 a × Ai + b × Aj ≥ d 时就可以获得 v 的评分。
由于评委们也不想让自己的评分规则太麻烦，所以这里的a, b满足 - 1 ≤ a, b ≤ 1。
如果小塔能控制她养成的角色的属性的值，现在她问你她最高能在展示大会上获得多少评分呢？
第一行两个整数 n, m, k (2 ≤ n ≤ 6, 1 ≤ m ≤ 100, 1 ≤ K ≤ 8)。
接着有 m 行，每行有七个整数 i, j, op, a, b, d, v，表示一组评委的评判标准。其中每个参数的具体限制如下：
输出一个整数代表她可以获得的最高评分
Input
第一行两个整数 n, m, k (2 ≤ n ≤ 6, 1 ≤ m ≤ 100, 1 ≤ K ≤ 8)。
接着有 m 行，每行有七个整数 i, j, op, a, b, d, v，表示一组评委的评判标准。其中每个参数的具体限制如下：
Output
输出一个整数代表她可以获得的最高评分
3 5 5
3 1 0 1 -1 0 4
3 1 0 1 1 2 2
3 1 0 1 0 1 3
3 2 1 1 1 2 0
3 2 1 1 -1 1 3
3 5 5
1 2 1 -1 0 0 0
3 2 1 0 -1 3 2
2 3 0 -1 -1 0 4
3 1 1 1 0 0 0
1 3 0 0 1 2 9
12
13
Note
在第一个样例里，小塔培养的角色属性为 A1 = 1, A2 = 0, A3 = 1 时，可以获得 12 分。