Streaming for How Heavy Are the Dumbbells You Lift?