PanLinx
English
eng-000
five-colorable graph
русский
rus-000
раскрашиваемый в пять цветов граф
PanLex