<?php
/*$a=mt_rand(1,6);
$man=$a+$a;
$b=mt_rand(1,6);
$robot=$b+$b;
if ($man==$robot) {
echo "big lucky";
} elseif ($man>$robot) {
echo "man win $man>$robot";
} else {
echo "robot win $robot>$man";
}*/
$x=$a%10;
if ($x==5) {
echo "win $x";
} else {
echo "fail $x";
}
?>
PD9waHAKZXJyb3JfcmVwb3J0aW5nKC0xKTsKLyokYT1tdF9yYW5kKDEsNik7CiRtYW49JGErJGE7CiRiPW10X3JhbmQoMSw2KTsKJHJvYm90PSRiKyRiOwppZiAoJG1hbj09JHJvYm90KSB7CgllY2hvICJiaWcgbHVja3kiOwp9IGVsc2VpZiAoJG1hbj4kcm9ib3QpIHsKCWVjaG8gIm1hbiB3aW4gJG1hbj4kcm9ib3QiOwp9IGVsc2UgewoJZWNobyAicm9ib3Qgd2luICRyb2JvdD4kbWFuIjsKfSovCiRhPW10X3JhbmQoMTAwMDAwMCw5OTk5OTk5KTsKJHg9JGElMTA7CmlmICgkeD09NSkgewoJZWNobyAid2luICR4IjsKfSBlbHNlIHsKCWVjaG8gImZhaWwgJHgiOwp9Cgo/Pg==