%%% file proof-spec-plain-mp.mp input proof-mpcolornames defaultcolormodel := 5;% RGB specname := "plain-mp"; proof(black); proof(white); proof(red); proof(green); proof(blue); end