public String log() {return " (TERM = " + TERM + ")" +" (CT = " + CT +")" +" (RV = " + RV +")" +" (R1 = " + R1 +")" +" (R2 = " + R2 +")" ;}

public virtual string Log(){return " (TERM = " + TERM + ")" + " (CT = " + CT + ")" + " (RV = " + RV + ")" + " (R1 = " + R1 + ")" + " (R2 = " + R2 + ")";}
