../ domaincoloring-doc.bib 12-Dec-2024 19:35 1015 domaincoloring-doc.pdf 12-Dec-2024 19:35 4083668 domaincoloring-doc.tex 12-Dec-2024 19:35 12923 hsv.png 12-Dec-2024 19:35 533343 titleImg.png 12-Dec-2024 19:35 66624