Necklace 1, ComplRelStr (Necklace 1) are_isomorphic