{
    "equivalence_classes": []
}