Sembilan verteks biru membentuk himpunan bebas maksimum, yaitu graf Petersen rampat GP(12,4)