Rnc Batch A

All Space (Extended Version)