We had two or three solutions of a similar kind (highdim GHZs), and as we couldnt design it by hand, we went into the details of what the machine did. It took several months (on & off) to extract the conceptual idea from the messy math, by hand and by computationally fidning simplifications.