`0:9{" "{(2$x)" "<y}':x}\*0:`