@Dennis You might want to do what Pyth did a while ago and increase the default recursion depth, the code I linked above dies for 3,3 due to recursion depth.
Hmm, after golfing a bit I got this. I then tried to golf ṛ¬¥ to be a or x but it seems to change how it gets parsed. I'm not sure why, is it getting confused about if it should by a dyadic link?
Ah, I think I get it now. ¥ binds three links to its left, which is hella confusing since ß isn't a constant (but treated as one, since its arity is unknown to the parser).
Oh, yeah I guess I just assumed the 1 was the thing not being counted? That's probably more confusing if you actually understand how the parser works lol.