O MA(C,60) AND C MA(C,30) AND C MA(C,20) AND C MA(C,5) AND MA(C,5) MA(C,60) AND MA(C,5) REF(MA(C,5),1) AND MA(C,5) MA(C,10);

O MA(C,60) AND C MA(C,30) AND C MA(C,20) AND C MA(C,5) AND MA(C,5) MA(C,60) AND MA(C,5) REF(MA(C,5),1) AND MA(C,5) MA(C,10);
