#include "testlib.h" int main() { registerValidation(); int N = inf.readInt(1, 100000); inf.readSpace(); int M = inf.readInt(1, 100000); inf.readSpace(); int K = inf.readInt(1, 100000); inf.readEoln(); inf.readEof(); ensure(K <= M); ensure(M <= N); return 0; }