Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Maybe this paper/preprint could be relevant for you: Babel, Baumann, Ludecke, Tinhhofer: STABCOL -- Graph isomorphism testing based on the Weisfeiler-Leman algorithm.
I think we have such a construction without using colours. Are you aware of such result without colours? I couldn't find any reference neither in your paper, nor elsewhere.
Thank you very much. This knowledge is very helpful. btw. Is there known any available database of isomorphism classes of loops of order 7? From the LOOPS package of GAP I can get them systematically up to order 6. For higher orders it can generate a loop randomly, but not systematically.