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