b=1250 c=2500 d=3750 e=1251 a=:rp2 :p21=a>0 :p22=a>b :p23=a>c :p24=a>d :p2b=a