xadypaurbasti lujvo

x1=b1 a prosthesis of x2=b2=p1 in circumstance x3=b3

from xadypau+basti