'use strict';
var AOJ = {};
(function(ns) {
    var isBrowser = function() {
        return typeof window !== 'undefined';
    }
    ns.isBrowser = isBrowser;
    
    var isNodejs = function() {
        return ! isBrowser();
    }
    ns.isNodejs = isNodejs;
    
    if (isBrowser()) {
        var getHtmlEncoded = function(string0) {
            return String(string0)
                    .replace(/&/g, '&amp;')
                    .replace(/"/g, '&quot;')
                    .replace(/'/g, '&#39;')
                    .replace(/</g, '&lt;')
                    .replace(/>/g, '&gt;');
        }
        ns.getHtmlEncoded = getHtmlEncoded;
        
        var outputCode = function(function0) {
            document.getElementById('code').innerHTML = '<pre><code>' + getHtmlEncoded(function0) + '</code></pre>';
        }
        ns.outputCode = outputCode;
    }
    
    var getInput = function() {
        var inputLines = [];
        if (isBrowser()) {
            var html = document.getElementById('input').innerHTML;
            inputLines = html.split('<br>');
            for (var i = 0; i < inputLines.length; i++) {
                inputLines[i] = inputLines[i].trim();
            }
        }
        if (isNodejs()) {
            inputLines = require('fs').readFileSync('/dev/stdin', 'utf8').trim().split('\n');
        }
        return inputLines;
    }
    
    var setLineReader = function(callback) {
        if (isBrowser()) {
            var lines = getInput();
            for (var i = 0; i < lines.length; i++) {
                callback(lines[i]);
            }
        }
        if (isNodejs()) {
            var readStream = require('fs').ReadStream('/dev/stdin');
            var readlineInterface = require('readline').createInterface({input: readStream, output: {}});
            readlineInterface.on('line', function(line) {
                callback(line);
            });
        }
    }
    ns.setLineReader = setLineReader;
    
    var doOutput = function(outputLines) {
        if (isBrowser()) {
            document.getElementById('output').innerHTML = outputLines.map(getHtmlEncoded).join('<br>\n');
        }
        if (isNodejs()) {
            for (var i = 0; i < outputLines.length; i++) {
                console.log(outputLines[i]);
            }
        }
    }
    ns.doOutput = doOutput;
    
    var outputLines = []
    var doOutputLine = function(outputLine) {
        if (isBrowser()) {
            outputLines.push(outputLine);
            document.getElementById('output').innerHTML = outputLines.map(getHtmlEncoded).join('<br>\n');
        }
        if (isNodejs()) {
            console.log(outputLine);
        }
    }
    ns.doOutputLine = doOutputLine;
    
    var doMain = function(main) {
        if (isBrowser()) {
            window.onload = function() {
                outputCode(main);
                main();
            }
        }
        if (isNodejs()) {
            main();
        }
    }
    ns.doMain = doMain;
})(AOJ);

var main = function() {
    var handleLine = function(line) {
        var outputLine = '';
        var args = line.split(' ');
        for (var i = 0; i < args.length; i++) {
            args[i] = parseFloat(args[i]);
        }
        var a = args[0];
        var b = args[1];
        var c = args[2];
        if (a < b) {
            if (b < c) {
                outputLine = 'Yes';
            } else {
                outputLine = 'No';
            }
        } else {
            outputLine = 'No';
        }
        AOJ.doOutputLine(outputLine);
    }
    AOJ.setLineReader(handleLine);
}

AOJ.doMain(main);

Measured memory_bytes: 8172