`0:{" "{(x,y)@" "=y}':x}\*0:`