Sequencias

'''
Sequencias

Diego Mendes Rodrigues
'''
n=int(input())

contador=0
atual=0
vezes=1

print('Caso', end='')

while atual <= n:
  print(f' {atual}', end='')
  contador = contador + 1

  if atual < 2:
    atual = atual + 1
  else:
    if vezes < atual:
      vezes = vezes + 1
    else:
      vezes = 1
      atual = atual + 1

print(f': {contador} numeros')