Example 5. IFUNC-vectors, imultisets, and normal form for imultisets