@DavidKButlerUoA @icecolbeveridge @MrChaconMath @rak_1507 here's my python notebook:
gist.github.com/christianp/f8b…
basically, keep track of shortest sequences to produce unique values, and try adding operations to the end