>>222
史実の9000系と5000系リニューアルの本数分が8010形になったとした場合、本数は19編成(8010〜8028F)
ただこの場合8020Fが重複してしまうので、8020Fを8009Fに改番があったかも。