Task: Add Leading Zeros to Strings in a Pandas DataFrame

Task: Add Leading Zeros to Strings in a Pandas DataFrame: a task in Terminal-Lego-15k (Harbor dataset). Write a Python script that reads a CSV file containing an ID column (string type) and pads the ID values with leading zeros so that each ID is exactly 15 characters wide.

The task

Write a Python script that reads a CSV file containing an `ID` column (string type) and pads the `ID` values with leading zeros so that each ID is exactly 15 characters wide.

Part of PrimeIntellect/Terminal-Lego-15k.