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=

MTA=

10