_ K1(k1){K r=kK(1);R rx=x,r;}_ K2(k2){K r=kK(2);R rx=x,ry=y…
_ K1(k1){K r=kK(1);R rx=x,r;}_ K2(k2){K r=kK(2);R rx=x,ry=y,r;}_ K3(k3){K r=kK(3);R rx=x,ry=y,rz=z,r;}_ K3(j3){R j2(j2(x,y),z);}_ K2(jk){R j2(x,k1(y));}_ K cj(C c,K y){R j2(c1(c),y);}
_ K1(k1){K r=kK(1);R rx=x,r;}_ K2(k2){K r=kK(2);R rx=x,ry=y,r;}_ K3(k3){K r=kK(3);R rx=x,ry=y,rz=z,r;}_ K3(j3){R j2(j2(x,y),z);}_ K2(jk){R j2(x,k1(y));}_ K cj(C c,K y){R j2(c1(c),y);}