to Pavel: your group generators

see figure - it is easy to relabel it with whatever symbols we settle
for eventually.