fix "mingens" and "syz" so they don't generate redundant and possibly
very long sequences integers, which can cause an error