  Indecomposible semifinite harmonic functions on the direct product of graded
graphs are classified. As a particular case, the full list of indecomposible
traces for the infinite inverse symmetric semigroup is obtained.
