GeoGen Script reference
GGE5000

The script triggered an error explicitly using TriggerError.