Kiana 最近喜欢到一家非常美味的寿司餐厅用餐。
每天晚上,这家餐厅都会按顺序提供 nnn 种寿司,第 iii 种寿司有一个代号 aia_iai 和美味度 di,id_{i, i}di,i,不同种类的寿司有可能使用相同的代号。每种寿司的份数都是无限的,Kiana 也可以无限次取寿司来吃,但每种寿司每次只能取一份,且每次取走的寿司必须是按餐厅提供寿司的顺序连续的一段,即 Kiana 可以一次取走第 1,21, 21,2 种寿司各一份,也可以一次取走第 2,32, 32,3 种寿司各一份,但不可以一次取走第 1,31, 31,3 种寿司。
由于餐厅提供的寿司种类繁多,而不同种类的寿司之间相互会有影响:三文鱼寿司和鱿鱼寿司一起吃或许会很棒,但和水果寿司一起吃就可能会肚子痛。因此,Kiana 定义了一个综合美味度 di,j (i<j)d_{i, j} \ (i < j)di,j (i<j),表示在一次取的寿司中,如果包含了餐厅提供的从第 iii 份到第 jjj 份的所有寿司,吃掉这次取的所有寿司后将获得的额外美味度。由于取寿司需要花费一些时间,所以我们认为分两次取来的寿司之间相互不会影响。注意在吃一次取的寿司时,不止一个综合美味度会被累加,比如若 Kiana 一次取走了第 1,2,31, 2, 31,2,3 种寿司各一份,除了 d1,3d_{1, 3}d1,3 以外,d1,2,d2,3d_{1, 2}, d_{2, 3}d1,2,d2,3 也会被累加进总美味度中。
神奇的是,Kiana 的美食评判标准是有记忆性的,无论是单种寿司的美味度,还是多种寿司组合起来的综合美味度,在计入 Kiana 的总美味度时都只会被累加一次。比如,若 Kiana 某一次取走了第 1,21, 21,2 种寿司各一份,另一次取走了第 2,32, 32,3 种寿司各一份,那么这两次取寿司的总美味度为 d1,1+d2,2+d3,3+d1,2+d2,3d_{1, 1} + d_{2, 2} + d_{3, 3} + d_{1, 2} + d_{2, 3}d1,1+d2,2+d3,3+d1,2+d2,3,其中 d2,2d_{2, 2}d2,2 只会计算一次。
奇怪的是,这家寿司餐厅的收费标准很不同寻常。具体来说,如果 Kiana 一共吃过了 c (c>0)c \ (c > 0)c (c>0) 种代号为 xxx 的寿司,则她需要为这些寿司付出 mx2+cxmx^2 + cxmx2+cx 元钱,其中 mmm 是餐厅给出的一个常数。
现在 Kiana 想知道,在这家餐厅吃寿司,自己能获得的总美味度(包括所有吃掉的单种寿司的美味度和所有被累加的综合美味度)减去花费的总钱数的最大值是多少。由于她不会算,所以希望由你告诉她。