public override int GetHashCode()
{
int hash = 1;
if (NymX.Length != 0)
{
hash ^= NymX.GetHashCode();
}
if (NymY.Length != 0)
{
hash ^= NymY.GetHashCode();
}
if (OU.Length != 0)
{
hash ^= OU.GetHashCode();
}
if (Role.Length != 0)
{
hash ^= Role.GetHashCode();
}
if (Proof.Length != 0)
{
hash ^= Proof.GetHashCode();
}
return(hash);
}