Rotary 4-maniplexes with rotation group of order 5000 or less

The 3 included files contain permutation representations of the automorphism group of all rotary 4-maniplexes with rotation group of order 5000 or less. The data are split into 9 categories XY, where X is one of:* N (non-orientable regular),* O (orientable regular), or* C (chiral)and Y is one of:* P (polytopal), * F (faithful non-polytopal), or* U (unfaithful) Each zip file R4M-XY-UpTo10kFlags.zip contains a folder with files named R4M-XY_n.txt, where n is the number of flags of the maniplex (which is equal to the group order for non-orientable maniplexes, and is twice the group order for orientable regular and chiral maniplexes). For codes N and O, the format of the files is the same: the information for each maniplex is on 5 lines, with the first line giving the number of flags and the Schlafli Symbol, and the remaining 4 lines describing a faithful permutation representation of the full automorphism group. In particular, the first line describes a permutation action of rho_0, the second line describes rho_1, and so on. These permutations are given by means of a table showing the image of 1, 2, 3, ..., n. Files with code C are formatted similarly, but with only 4 lines per maniplex, and where lines 2-4 describe a faithful permutation representation of the automorphisms sigma_1 through sigma_3.