conflictingSubstitutionsFromUpperBound.txt 242 Bytes