Submission #1279087

---

Source Code Expand

#!/usr/bin/env php
<?php
if (basename(__FILE__) == basename($_SERVER['PHP_SELF'])) {

	$a = 0;
	$b = 0;
	$c = 0;

  while ($line = fgets(STDIN)) {
    $tokens = explode(' ', $line);
    $a = $tokens[0];
    $b = $tokens[1];
    $c = $tokens[2];
  }

  if ($a <= $c && $c <= $b) {
  	echo("Yes");
  } else {
  	echo("No");
  }
}
?>

Submission Info

Judge Result