(서울 4호선에 다니는 뱀눈이 열차 대수)×(신정지선에 다니는 VVVF 열차 대수)×(철갤에 서식하는 발냄충 수)=?