Indistinguishability Is Decidable — The Table-Filling Algorithm