( ( ! . (!.(
2
π
1
.
2
π
1
,mod.(
2
π
2
.
2
π
1
,
2
)
o
)
o
,
2
π
2
)
o
)* . distl . (id,iota.#.!.(
2
π
1
,
2
π
2
)
o
)
o
. id )* . distl . (id,iota.#)
o
. id