b=1250 c=2500 d=3750 e=1251 a=:lp1 :p31=a>0 :p32=a>b :p33=a>c :p34=a>d :p3b=a