The feasible region for consecutive patterns of permutations is a cycle polytope - Jacopo Borga; Raul Penaguiao (2020)