which serving railway line of the ujjain junction railway station is the home port of ins viraat ?
SELECT DISTINCT var_uri where brack_open dbr_INS_Viraat dbo_homeport var_uri sep_dot dbr_Ujjain_Junction_railway_station dbo_servingRailwayLine var_uri brack_close