Supplementary material from "Vertical exploration and dimensional modularity in mice"