import sequtils,strutils,algorithm,math,future,macros
template get*():string = stdin.readLine() #.strip()
macro unpack*(rhs: seq,cnt: static[int]): auto =
  let t = genSym(); result = quote do:(let `t` = `rhs`;())
  for i in 0..<cnt: result[0][1].add(quote do:`t`[`i`])

# N,K<1e6  |X,Y|,W,H<=500  HP,D<1e5 | [X,X+W] [Y,Y+W] に D | 倒れていない敵の体力の合計

# var field : array[-501..501,array[-501..501,int]] などが可能...
# range :: [x1..x2][y1..y2]
template imosReduce2(field:typed):void =
  for x in field.low + 1 .. field.high:
    for y in field[x].low .. field[x].high:
      field[x][y] += field[x-1][y]
  for x in field.low .. field.high:
    for y in field[x].low + 1 .. field[x].high:
      field[x][y] += field[x][y-1]
template imosRegist2(field:typed,x1,y1,x2,y2:int,val:typed):void =
  field[x1][y1] += val
  field[x1][y2+1] -= val
  field[x2+1][y1] -= val
  field[x2+1][y2+1] += val

proc scanf(frmt: cstring):void {.varargs, importc:"scanf",header: "<stdio.h>" .}
macro scanint(cnt:static[int]): auto =
  var str = ""; for i in 0..<cnt: str &= "%d"
  result = newStmtList(nnkVarSection.newNimNode,"scanf".newCall(str.newStrLitNode),nnkPar.newNimNode)
  for i in 0..<cnt:
    let t0 = ident("tr92ru" & $i)
    result[0].add(newIdentDefs(t0, ident("int32")))
    result[1].add(newNimNode(nnkAddr).add(t0))
    result[2].add(t0)

let
  (N,K) = get().split().map(parseInt).unpack(2)
var
  field : array[-501..501,array[-501..501,int]]
  eneX,eneY,eneHP : array[0..1000001,int32]  # seq -> array で 60ms 早くなる(生成コスト?)
for n in 0..<N:
  let (x,y,hp) = scanint(3)
  eneX[n] = x
  eneY[n] = y
  eneHP[n] = hp
for k in 0..<K :
  let (x,y,w,h,d) = scanint(5)
  field.imosRegist2(x,y,min(500,x+w),min(500,y+h),d)
field.imosReduce2()
var damageSum = 0
for n in 0..<N:
  damageSum += max(0,eneHP[n] - field[eneX[n]][eneY[n]])
echo damageSum