8 Egraph JCh Demeure Multicolor