Update irreducibleuva.cpp