#include int main(void) { int N = 6; printf("%d", (N * (N + 1)) / 2); return 0; }