AA:=O<ma(C,5);
BB:=O<MA(C,10);
CC:=O<MA(C,20);
DD:=O<MA(C,30);
EE:=C>MA(C,5) ;
FF:=C>MA(C,10);
GG:=C>MA(C,20);
HH:=C>MA(C,30);
AA AND BB AND CC AND DD AND EE AND FF AND GG AND HH;
AA:=O<ma(C,5);
BB:=O<MA(C,10);
CC:=O<MA(C,20);
DD:=O<MA(C,30);
EE:=C>MA(C,5) ;
FF:=C>MA(C,10);
GG:=C>MA(C,20);
HH:=C>MA(C,30);
AA AND BB AND CC AND DD AND EE AND FF AND GG AND HH;