Problem:
釘(Nails)

JOI くんは板に釘を刺して遊んでいる．下図のように，JOI くんは一辺N 本の正三角形の形に釘を並べて刺した．上からa 行目(1 ≤ a ≤ N) にはa 本の釘が並んでいる．そのうち左からb 本目(1 ≤ b ≤ a) の釘を(a, b) で表す．

図1: 釘の並び方（N = 5 の場合）

釘を頂点とする正三角形が，「各辺が全体の正三角形の辺のいずれかと平行で，全体の正三角形と同じ向き」であるとき，この正三角形を「よい正三角形」と呼ぶ．すなわち，「よい正三角形」とは，3 本の釘(a, b), (a + x, b), (a + x, b + x) を頂点とする正三角形のことである（ただしa, b, x は1 ≤ a < N, 1 ≤ b ≤ a, 1 ≤ x ≤ N - a) をみたす）．

JOI くんは，輪ゴムを使って，「よい正三角形」の周りを囲うことにした．

図2: 輪ゴムによる「よい正三角形」の囲い方の例

課題

正三角形の一辺に並んでいる釘の本数N と，JOI くんが持っている輪ゴムの数M と，M 本の輪ゴムによる「よい正三角形」の囲い方が与えられたとき，1 本以上の輪ゴムで囲われた釘の本数を求めるプログラムを作成せよ．

制限

2 ≤ N ≤ 5000     一辺に並んでいる釘の本数

1 ≤ M ≤ 500000 (= 5 × 105)     輪ゴムの数

入力

標準入力から以下のデータを読み込め．

1 行目には整数N, M が空白を区切りとして書かれている．N は正三角形の一辺に並んでいる釘の本数を，M はJOI くんの持っている輪ゴムの数をそれぞれ表す．

続くM 行は輪ゴムによる「よい正三角形」の囲い方の情報を表す．i + 1 行目(1 ≤ i ≤ M) には整数Ai, Bi, Xi (1 ≤ Ai < N, 1 ≤ Bi ≤ Ai, 1 ≤ Xi ≤ N - Ai) が空白を区切りとして書かれている．これは，i本目の輪ゴムは3 本の釘(Ai, Bi), (Ai + Xi, Bi), (Ai + Xi, Bi + Xi) を頂点とする「よい正三角形」を囲っていることを表す．

出力

標準出力に，1 本以上の輪ゴムに囲われている釘の本数を1 行で出力せよ．

採点基準

採点用データのうち，配点の30% 分については，M ≤ 10000 を満たす．

入出力例

入力例 1

5 2
2 2 1
2 1 3

出力例 1

12

この例は図2 のような「よい正三角形」の囲い方に対応している．この例において，(1, 1), (4, 4), (5, 5) 以外の12 本の釘が1 本以上の輪ゴムで囲われている．

問題文と自動審判に使われるデータは、情報オリンピック日本委員会が作成し公開している問題文と採点用テストデータです。

Solution in Ruby (judge verdict: Accepted)

### subroutines

def xy2id(ai, bi)
  (ai * (ai + 1) / 2) + bi
end

def print_pl(n, pl)
  for ai in (0...n)
    id0 = xy2id(ai, 0)
    id1 = id0 + ai
    p pl[id0..id1]
  end
end

### main

n, m = gets.strip.split(' ').map{|s| s.to_i}

nn = n * (n + 1) / 2
pl = nn.times.map{0}

m.times do
  ai, bi, xi = gets.strip.split(' ').map{|s| s.to_i}
  pl[xy2id(ai - 1, bi - 1)] = xi + 1
  #p [ai, bi, xi]
end
#print_pl(n, pl)

count = 0

for ai in (0...n)
  nxta = (ai < (n - 1))
  for bi in (0..ai)
    id  = xy2id(ai, bi)
    plid = pl[id]
    if plid > 0
      count += 1
      if plid > 1 && nxta
        plid -= 1
        id0 = xy2id(ai + 1, bi)
        pl[id0] = plid if pl[id0] < plid
        id1 = id0 + 1
        pl[id1] = plid if pl[id1] < plid
      end
    end
  end
end
#print_pl(n, pl)

puts count