copy nort.rkt to notr.rkt