A finite representation of relation algebra \(\varvec{1896_{3013}}\)

We give a representation of relation algebra \(1896_{3013}\) ${1896}_{3013}$ , which has symmetric atoms \(1'\) $1^{\prime }$ , a, b, c, and d. The sole forbidden diversity cycle is bcd; the atom a is flexible. We give a group representation over \(\mathbb {Z}/1531\mathbb {Z}\) $\mathbb{Z}/1531\mathbb{Z}$ .