ROSECODE 044
Dicemetrics
A guy has 8 five-sided dice numbered from 1 to 5. A girl has 6 six-sided dice numbered from 1 to 6. They roll their dice and compare totals. The max total wins and it is a draw if sums are equal. What is the probability that the guy beats the girl? Round your answer to 9 decimal places.