@Override
public int hashCode() {
return 389 + 683 * pre.hashCode() + 577 * template.hashCode() + 653 * tail.hashCode();
}
@Override
public int hashCode() {
return 541 + 509 * pre.hashCode() + 941 * template.hashCode() + 653 * tail.hashCode();
}
