Here are the relevant portions of the ITF rules goverinng the withdrawal of a seeded player after the draw is made.
"Any vacancy created by the withdrawal of a seed prior to the release of the Order of Play for the first day of Main Draw shall be filled as follows:
- If the withdrawal is among seeds 1 to 4, the 5th seed is moved into then open position, the 5th position shall be filled by the 17th seed, and the 17th position shall be filled by the next highest ranked player eligible to be seeded. - If the withdrawal is among seeds 5 to 16, the 17th seed is moved into the open position and the 17th position shall be filled by the next highest ranked player eligible to be seeded. - If the withdrawal is among seeds 17 to 32 it shall be filled by the next highest ranked player eligible to be seeded.
The position vacated by that next highest ranked player shall then be filled by the next player on the original entry list if prior to the commencement of the Qualifying competition or by the eligible Lucky Loser if after the commencement of the Qualifying competition.
Any vacancy created by the withdrawal of a seed which occurs after the release of the Order of Play for the first day of the Main Draw shall be filled by eligible Lucky Losers."
As Ferrer is seeded 8th, the portion of the rules dealing with withdrawal of players 5 to 16 applies.
According to that, Isner, who is ranked 17th should be given Ferrer's spot and Isner's spot should go to Kohly who is the highest ranked non-seeded player and Kohly's spot should go to luck loser Vanni.
They did not do it, as the withdrawal came after the OOP for Monday was released. Too bad!
Knowing the rules, Ferrer probably deliberately waited to declare his withdrawal until after the OOP was released to help out fellow countryman who now essentially has the easiest octet of all the eight octets out there. What a conspiracy by the Ironman!:cover