File:Tverberg_heptagon.svg loading ...