Buobe
    LIN-graphs, an Egraph modulo T | Buobe