Precomputed eq class added
Update after additional verification