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