Octahedral Tucker is PPA-complete