(1,x,y,1,0,((,100),λ),߶)
ִС(ȡ(),(,100))
þ(ȡ(),((,100),λ))
(ȡ())[mk-125]1[mk-125]x[mk-125]y[mk-125][mk-125][mk-125]λ