When are two paths different?
Change the multiplicity of the v0-v1 bundle. We enumerate simple paths twice: once by edge identifiers and once after grouping equal vertex sequences.
6edge-instance paths
4vertex sequences
3shortest edge paths
2shortest vertex paths
Select a realization on the right. Amber edges form that edge-instance path.