String ArbitraryCrack.TopFaceNodes { get; set; }