Symbol: ICPC4