@Override
public int hashCode() {
final int prime = 43;
int result = super.hashCode();
result = prime * result + (eliminated ? 1231 : 1237);
result = prime * result + owner.hashCode();
result = prime * result + slot.hashCode();
return result;
}
