Pulley Diameters

Nice job C! What were the original(problem) pulley diameters?