I assume they use the Bob Sabiston proprietary software which was used for “Waking Life” and “Scanner Darkly”. It is WAY less automated than everyone thinks. It’s essentially old school animation using modern tweening tools. It’s also done in layers… so multiply the work by how many layers you have.