[Sponge 001] abstract number programming