ByNobleID
    Multicoloring unit disk graphs on triangular lattice points | NobleID