Language: C++

# -*- coding: utf-8 -*-
import sys
import math
from bisect import bisect_left
from bisect import bisect_right
import collections
import copy
import heapq
from collections import defaultdict
from heapq import heappop, heappush
import itertools
input = sys.stdin.readline

from decimal import *

##### リストの 二分木検索 #####
# bisect_left(lists, 3)
# bisect_right(lists, 3)

##### プライオリティキュー #####
# heapq.heapify(a) #リストaのheap化
# heapq.heappush(a,x) #heap化されたリストaに要素xを追加
# heapq.heappop(a) #heap化されたリストaから最小値を削除＆その最小値を出力

# heapq.heappush(a, -x) #最大値を取り出す時は、pushする時にマイナスにして入れよう
# heapq.heappop(a) * (-1) #取り出す時は、-1を掛けて取り出すこと

##### タプルリストのソート #####
# sorted(ans) #(a, b) -> 1st : aの昇順, 2nd : bの昇順
# sorted(SP, key=lambda x:(x[0],-x[1])) #(a, b) -> 1st : aの昇順, 2nd : bの降順
# sorted(SP, key=lambda x:(-x[0],x[1])) #(a, b) -> 1st : aの降順, 2nd : bの昇順
# sorted(SP, key=lambda x:(-x[0],-x[1])) #(a, b) -> 1st : aの降順, 2nd : bの降順

# sorted(SP, key=lambda x:(x[1])) #(a, b) -> 1st : bの昇順
# sorted(SP, key=lambda x:(-x[1])) #(a, b) -> 1st : bの降順

##### 累乗 #####
# pow(x, y, z) -> x**y % z

def inputInt(): return int(input())
def inputMap(): return map(int, input().split())
def inputList(): return list(map(int, input().split()))

inf = float('inf')
mod = 1000000007

#-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
#-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-

def main():
	N,M = inputMap()

	if N < 2 and M < 2:
		print(0)
		sys.exit()

	ans = 0
	if N > 1:
		ans += cmb(N, 2)
	if M > 1:
		ans += -(-M // 2) + 1

	print(ans)


#-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
#-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
# special thanks :
#  https://nagiss.hateblo.jp/entry/2019/07/01/185421
#-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
def cmb(n, r):
    if r == 0 or r == n: return 1
    if r == 1: return n
    if (n,r) in nCr: return nCr[(n,r)]
    nCr[(n,r)] = cmb(n-1,r) + cmb(n-1,r-1)
    return nCr[(n,r)]

def int_sqrt2(n):
    def f(prev):
        while True:
            m = (prev + n / prev) / 2
            if m >= prev:
                return prev
            prev = m

    return f(int(math.sqrt(n) * (1 + 1e-10)))

# nCr mod m
# rがn/2に近いと非常に重くなる
def combination(n, r, mod=10**9+7):
    r = min(r, n-r)
    res = 1
    for i in range(r):
        res = res * (n - i) * modinv(i+1, mod) % mod
    return res

# mを法とするaの乗法的逆元
def modinv(a, mod=10**9+7):
    return pow(a, mod-2, mod)

def egcd(a, b):
    if a == 0:
        return b, 0, 1
    else:
        g, y, x = egcd(b % a, a)
        return g, x - (b // a) * y, y

# nHr mod m
# 問題によって、combination()を切り替えること
def H(n, r, mod=10**9+7):
	# comb = Combination(n+r-1, mod)
	# return comb(n+r-1, r)
    return combination(n+r-1, r, mod)

class Combination:
    """
    O(n)の前計算を1回行うことで，O(1)でnCr mod mを求められる
    n_max = 10**6のとき前処理は約950ms (PyPyなら約340ms, 10**7で約1800ms)
    使用例：
    comb = Combination(1000000)
    print(comb(5, 3))  # 10
    """
    def __init__(self, n_max, mod=10**9+7):
        self.mod = mod
        self.modinv = self.make_modinv_list(n_max)
        self.fac, self.facinv = self.make_factorial_list(n_max)

    def __call__(self, n, r):
        return self.fac[n] * self.facinv[r] % self.mod * self.facinv[n-r] % self.mod

    def make_factorial_list(self, n):
        # 階乗のリストと階乗のmod逆元のリストを返す O(n)
        # self.make_modinv_list()が先に実行されている必要がある
        fac = [1]
        facinv = [1]
        for i in range(1, n+1):
            fac.append(fac[i-1] * i % self.mod)
            facinv.append(facinv[i-1] * self.modinv[i] % self.mod)
        return fac, facinv

    def make_modinv_list(self, n):
        # 0からnまでのmod逆元のリストを返す O(n)
        modinv = [0] * (n+1)
        modinv[1] = 1
        for i in range(2, n+1):
            modinv[i] = self.mod - self.mod//i * modinv[self.mod%i] % self.mod
        return modinv

if __name__ == "__main__":
	main()


Compiler output:
a.cc:1:3: error: invalid preprocessing directive #-
    1 | # -*- coding: utf-8 -*-
      |   ^
a.cc:16:1: error: stray '##' in program
   16 | ##### リストの 二分木検索 #####
      | ^~
a.cc:16:3: error: stray '##' in program
   16 | ##### リストの 二分木検索 #####
      |   ^~
a.cc:16:5: error: stray '#' in program
   16 | ##### リストの 二分木検索 #####
      |     ^
a.cc:16:27: error: stray '##' in program
   16 | ##### リストの 二分木検索 #####
      |                           ^~
a.cc:16:29: error: stray '##' in program
   16 | ##### リストの 二分木検索 #####
      |                             ^~
a.cc:16:31: error: stray '#' in program
   16 | ##### リストの 二分木検索 #####
      |                               ^
a.cc:17:3: error: invalid preprocessing directive #bisect_left
   17 | # bisect_left(lists, 3)
      |   ^~~~~~~~~~~
a.cc:18:3: error: invalid preprocessing directive #bisect_right
   18 | # bisect_right(lists, 3)
      |   ^~~~~~~~~~~~
a.cc:20:1: error: stray '##' in program
   20 | ##### プライオリティキュー #####
      | ^~
a.cc:20:3: error: stray '##' in program
   20 | ##### プライオリティキュー #####
      |   ^~
a.cc:20:5: error: stray '#' in program
   20 | ##### プライオリティキュー #####
      |     ^
a.cc:20:28: error: stray '##' in program
   20 | ##### プライオリティキュー #####
      |                            ^~
a.cc:20:30: error: stray '##' in program
   20 | ##### プライオリティキュー #####
      |                              ^~
a.cc:20:32: error: stray '#' in program
   20 | ##### プライオリティキュー #####
      |                                ^
a.cc:21:3: error: invalid preprocessing directive #heapq
   21 | # heapq.heapify(a) #リストaのheap化
      |   ^~~~~
a.cc:22:3: error: invalid preprocessing directive #heapq
   22 | # heapq.heappush(a,x) #heap化されたリストaに要素xを追加
      |   ^~~~~
a.cc:23:3: error: invalid preprocessing directive #heapq
   23 | # heapq.heappop(a) #heap化されたリストaから最小値を削除＆その最小値を出力
      |   ^~~~~
a.cc:25:3: error: invalid preprocessing directive #heapq
   25 | # heapq.heappush(a, -x) #最大値を取り出す時は、pushする時にマイナスにして入れよう
      |   ^~~~~
a.cc:25:26: error: extended character 、 is not valid in an identifier
   25 | # heapq.heappush(a, -x) #最大値を取り出す時は、pushする時にマイナスにして入れよう
      |                          ^
a.cc:26:3: error: invalid preprocessing directive #heapq
   26 | # heapq.heappop(a) * (-1) #取り出す時は、-1を掛けて取り出すこと
      |   ^~~~~
a.cc:26:28: error: extended character 、 is not valid in an identifier
   26 | # heapq.heappop(a) * (-1) #取り出す時は、-1を掛けて取り出すこと
      |                            ^
a.cc:28:1: error: stray '##' in program
   28 | ##### タプルリストのソート #####
      | ^~
a.cc:28:3: error: stray '##' in program
   28 | ##### タプルリストのソート #####
      |   ^~
a.cc:28:5: error: stray '#' in program
   28 | ##### タプルリストのソート #####
      |     ^
a.cc:28:28: error: stray '##' in program
   28 | ##### タプルリストのソート #####
      |                            ^~
a.cc:28:30: error: stray '##' in program
   28 | ##### タプルリストのソート #####
      |                              ^~
a.cc:28:32: error: stray '#' in program
   28 | ##### タプルリストのソート #####
      |                                ^
a.cc:29:3: error: invalid preprocessing directive #sorted
   29 | # sorted(ans) #(a, b) -> 1st : aの昇順, 2nd : bの昇順
      |   ^~~~~~
a.cc:30:3: error: invalid preprocessing directive #sorted
   30 | # sorted(SP, key=lambda x:(x[0],-x[1])) #(a, b) -> 1st : aの昇順, 2nd : bの降順
      |   ^~~~~~
a.cc:31:3: error: invalid preprocessing directive #sorted
   31 | # sorted(SP, key=lambda x:(-x[0],x[1])) #(a, b) -> 1st : aの降順, 2nd : bの昇順
      |   ^~~~~~
a.cc:32:3: error: invalid preprocessing directive #sorted
   32 | # sorted(SP, key=lambda x:(-x[0],-x[1])) #(a, b) -> 1st : aの降順, 2nd : bの降順
      |   ^~~~~~
a.cc:34:3: error: invalid preprocessing directive #sorted
   34 | # sorted(SP, key=lambda x:(x[1])) #(a, b) -> 1st : bの昇順
      |   ^~~~~~
a.cc:35:3: error: invalid preprocessing directive #sorted
   35 | # sorted(SP, key=lambda x:(-x[1])) #(a, b) -> 1st : bの降順
      |   ^~~~~~
a.cc:37:1: error: stray '##' in program
   37 | ##### 累乗 #####
      | ^~
a.cc:37:3: error: stray '##' in program
   37 | ##### 累乗 #####
      |   ^~
a.cc:37:5: error: stray '#' in program
   37 | ##### 累乗 #####
      |     ^
a.cc:37:12: error: stray '##' in program
   37 | ##### 累乗 #####
      |            ^~
a.cc:37:14: error: stray '##' in program
   37 | ##### 累乗 #####
      |              ^~
a.cc:37:16: error: stray '#' in program
   37 | ##### 累乗 #####
      |                ^
a.cc:38:3: error: invalid preprocessing directive #pow
   38 | # pow(x, y, z) -> x**y % z
      |   ^~~
a.cc:44:13: warning: multi-character character constant [-Wmultichar]
   44 | inf = float('inf')
      |             ^~~~~
a.cc:47:2: error: invalid preprocessing directive #-
   47 | #-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
      |  ^
a.cc:48:2: error: invalid preprocessing directive #-
   48 | #-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
      |  ^
a.cc:66:2: error: invalid preprocessing directive #-
   66 | #-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
      |  ^
a.cc:67:2: error: invalid preprocessing directive #-
   67 | #-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
      |  ^
a.cc:68:3: error: invalid preprocessing directive #special
   68 | # special thanks :
      |   ^~~~~~~
a.cc:69:4: error: invalid preprocessing directive #https
   69 | #  https://nagiss.hateblo.jp/entry/2019/07/01/185421
      |    ^~~~~
a.cc:70:2: error: invalid preprocessing directive #-
   70 | #-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
      |  ^
a.cc:88:3: error: invalid preprocessing directive #nCr
   88 | # nCr mod m
      |   ^~~
a.cc:89:3: error: invalid preprocessing directive #r\U0000304cn
   89 | # rがn/2に近いと非常に重くなる
      |   ^~~~
a.cc:97:3: error: invalid preprocessing directive #m\U00003092\U00006cd5\U00003068\U00003059\U0000308ba\U0000306e\U00004e57\U00006cd5\U00007684\U00009006\U00005143
   97 | # mを法とするaの乗法的逆元
      |   ^~~~~~~~~~~~~~~~~~~~~~~~
a.cc:108:3: error: invalid preprocessing directive #nHr
  108 | # nHr mod m
      |   ^~~
a.cc:109:3: error: extended character 、 is not valid in an identifier
  109 | # 問題によって、combination()を切り替えること
      |   ^
a.cc:109:3: error: invalid preprocessing directive #\U0000554f\U0000984c\U0000306b\U00003088\U00003063\U00003066\U00003001combination
  109 | # 問題によって、combination()を切り替えること
      |   ^~~~~~~~~~~~~~~~~~~~~~~~~
a.cc:111:11: error: invalid preprocessing directive #comb
  111 |         # comb = Combination(n+r-1, mod)
      |           ^~~~
a.cc:112:11: error: invalid preprocessing directive #return
  112 |         # return comb(n+r-1, r)
      |           ^~~~~~
a.cc:116:7: warning: missing terminating " character
  116 |     """
      |       ^
a.cc:116:7: error: missing terminating " character
a.cc:121:24: error: stray '#' in program
  121 |     print(comb(5, 3))  # 10
      |                        ^
a.cc:122:7: warning: missing terminating " character
  122 |     """
      |       ^
a.cc:122:7: error: missing terminating " character
a.cc:132:11: error: invalid preprocessing directive #\U0000968e\U00004e57\U0000306e\U000030ea\U000030b9\U000030c8\U00003068\U0000968e\U00004e57\U0000306emod\U00009006\U00005143\U0000306e\U000030ea\U000030b9\U000030c8\U00003092\U00008fd4\U00003059
  132 |         # 階乗のリストと階乗のmod逆元のリストを返す O(n)
      |           ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
a.cc:133:11: error: invalid preprocessing directive #self
  133 |         # self.make_modinv_list()が先に実行されている必要がある
      |           ^~~~
a.cc:142:11: error: "0からnまでのmod逆元のリストを返す" after # is not a positive integer
  142 |         # 0からnまでのmod逆元のリストを返す O(n)
      |           ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
a.cc:2:1: error: 'import' does not name a type
    2 | import sys
      | ^~~~~~
a.cc:2:1: note: C++20 'import' only available with '-fmodules-ts'