const double E; // cost associated with using old ip address rewards "cost" [time] true : 1; [send0] l0=3 & mess0=0 & x0=CONSEC & probes0=1 & ip0=1 : E; endrewards