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