#!/usr/bin/env python3
import random
import sys

random.seed(int(sys.argv[-1]))

max_n = int(sys.argv[1])
max_i = int(sys.argv[2])
max_k = int(sys.argv[3])

n = random.randint(1, max_n)
i = random.randint(1, min(max_i, n))
k = random.randint(1, max_k)

print('%d %d %d' % (n, i, k))