Thank you for sharing! I tried it out with my 7yo, who was interested. Unfortunately we had some issues with the toddler interfering so our session got interrupted.

I did find an online version here, for anyone who wants to try it without cutting out a bunch of alligators: https://tibordp.github.io/gator-calculus/

I am also on the search for more puzzles/challenges to do with it.