sequencing.rkt done