这个没用，用了智慧套牢你，还是不要追高呀兄弟。
every(ma(c,5)>=ref(ma(c,5),1),5);
a:=ma(c,5);xg:a>ref(a,1) and ref(a,1)>ref(a,2) and ref(a,2)>ref(a,3) and ref(a,3)>ref(a,4) and ref(a,4)>ref(a,5);
