../ domaincoloring-doc.bib 18-Mar-2025 19:34 1015 domaincoloring-doc.pdf 18-Mar-2025 19:34 4083668 domaincoloring-doc.tex 18-Mar-2025 19:34 12923 hsv.png 18-Mar-2025 19:34 533343 titleImg.png 18-Mar-2025 19:34 66624