Help with identifying clutch pedals

Here are some pictures that might help you ID the difference between the Heavy duty and Light duty pedal setups.
These pictures might belong to someone on this site as they are not mine. I only added the text to the pictures.

A body pedal difference 1.jpg

View attachment 1715636008

A body pedal difference 3.jpg

A body pedal difference 2.jpg