ISABELLE_SUM_OF_SQUARES="$COMPONENT"
