以上でグラフformula_1が5色で塗り分けられることが判明した。