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