int main（）
{
int i , j , Max ;
int start , end , cnt ;
memset（ head , -1 , sizeof（ head ） ） ;
Count = 0 , cnt = 1 ;
while（ scanf（ "%d" , & start ） && start ）
{
memset（ head , -1 , sizeof（ head ） ） ;
Count = 0 ;
Max = 0 ;
if（ start > Max ） Max = start ;
scanf（ "%d" , & end ） ;
if（ end > Max ） Max = end ;
addedge（ start , end ） ;
addedge（ end , start ） ;
while（ scanf（ "%d" , & start ） && start ）
{
if（ start > Max ） Max = start ;
scanf（ "%d" , & end ） ;
if（ end > Max ） Max = end ;
addedge（ start , end ） ;
addedge（ end , start ） ;
}
for（ i = 2 ; i <= Max ; i ++ ） ans[i] = 1 ;
ans = 0 ;
tarjan（ Max ） ;
printf（ "Network #%d\n" , cnt ） ;
int flag = 0 ;
for（ i = 1 ; i <= Max ; i ++ ）
if（ ans[i] > 1 ）
{
printf（ " SPF node %d leaves %d subnets\n" , i , ans[i] ） ;
flag = 1 ;
}
if（ !flag ） printf（ " No SPF nodes\n" ） ;
printf（ "\n" ） ;
cnt ++ ;
}
return 0 ;