data/timelimit-1.9.0/timelimit.1:30: Nd ==> And, 2nd