I want to write a work on knot theory and provide these knots as an example where quandles are a stronger invariant than fundamental groups.
I want an example of a finite quandle such that the square knot and the granny knot have a different number of colorings.
As far as I know, it is not guaranteed that such a quandle exists. In his paper „A combinatorial approach to knot recognition“, Stanovsky links a List of 354 Simple Quandles, which I tried through without success. I tried the first 25 of the 26 quandles mentioned in „Quandle Colorings of Knots and Applications“, but didn't have the resources to try the last one.
The program output was kind of weird at some places so I wouldn't be surprised if I made a mistake.