MA(C,5) MA(C,10) AND MA(C,10) MA(C,20) AND MA(C,20) MA(C,30) AND
MA(C,30) MA(C,60) AND MA(C,60) MA(C,125) OR
(MA(C,5) MA(C,10) AND MA(C,10) MA(C,20) AND MA(C,20) MA(C,30) AND
MA(C,30) MA(C,60) AND MA(C,60) MA(C,125) AND MA(C,125) MA(C,250) );
MA(C,5) MA(C,10) AND MA(C,10) MA(C,20) AND MA(C,20) MA(C,30) AND
MA(C,30) MA(C,60) AND MA(C,60) MA(C,125) OR
(MA(C,5) MA(C,10) AND MA(C,10) MA(C,20) AND MA(C,20) MA(C,30) AND
MA(C,30) MA(C,60) AND MA(C,60) MA(C,125) AND MA(C,125) MA(C,250) );