unate vars D Du C Cu es bs bsu s su deg deg2 R0 R0u R2 R2u QE QEu Q0 Q0u Q2 Q2u prime sym Amb