from sys import stdin
def main():
cnt = 0
for line in stdin:
n = int(line.strip())
cnt += 1
num = 1 + (n * (n + 1)) // 2
if n == 0:
print(f"Caso {cnt}: {num} numero")
else:
print(f"Caso {cnt}: {num} numeros")
print("0", end="")
for i in range(1, n + 1):
for j in range(1, i + 1):
print(f" {i}", end="")
print("\n")
if __name__ == "__main__":
main()
ZnJvbSBzeXMgaW1wb3J0IHN0ZGluCgpkZWYgbWFpbigpOgogICAgY250ID0gMAogICAgZm9yIGxpbmUgaW4gc3RkaW46CiAgICAgICAgbiA9IGludChsaW5lLnN0cmlwKCkpCiAgICAgICAgY250ICs9IDEKICAgICAgICBudW0gPSAxICsgKG4gKiAobiArIDEpKSAvLyAyCiAgICAgICAgaWYgbiA9PSAwOgogICAgICAgICAgICBwcmludChmIkNhc28ge2NudH06IHtudW19IG51bWVybyIpCiAgICAgICAgZWxzZToKICAgICAgICAgICAgcHJpbnQoZiJDYXNvIHtjbnR9OiB7bnVtfSBudW1lcm9zIikKICAgICAgICBwcmludCgiMCIsIGVuZD0iIikKICAgICAgICBmb3IgaSBpbiByYW5nZSgxLCBuICsgMSk6CiAgICAgICAgICAgIGZvciBqIGluIHJhbmdlKDEsIGkgKyAxKToKICAgICAgICAgICAgICAgIHByaW50KGYiIHtpfSIsIGVuZD0iIikKICAgICAgICBwcmludCgiXG4iKQoKaWYgX19uYW1lX18gPT0gIl9fbWFpbl9fIjoKICAgIG1haW4oKQo=