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