Symbol: CNF_4ISO3ISO