Regular heptadecagon