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