# This file was generated with the assistance of an AI coding tool.