==> probability/icos.p <==
The "house" rolls two 20-sided dice and the "player" rolls one
20-sided die. If the player rolls a number on his die between the
two numbers the house rolled, then the player wins. Otherwise, the
house wins (including ties). What are the probabilities of the player
winning?