process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
    var lines = chunk.toString().split(' ');
    var a =lines[0];
var b = lines[1];
var c = lines[2];
if(a < b && b < c)
return true;
else
return false;
});