a class 1 file with a redivision element in the head the redivision the primary input, with the text of its body revised to match the text in the chosen redivision none Edited, prepared for TAN 2021 release.