스파게티

Fortran IV 같은 초기 언어는 if나 while처럼 구조화된 문장 대신 조건부 및 무조건 goto 문을 사용했습니다. Fortran IV에서 각 문장은 입력의 한 줄을 차지합니다. 모든 줄의 처음 다섯 칸은 선택적인 레이블(정수)을 위해 예약되어 있습니다. 여섯 번째 칸은 연속(continuation) 표시를 위한 자리로, 이 문제에서는 더 다루지 않습니다. 따라서 문장은 각 줄의 7번째 칸부터 시작합니다.

무조건 goto 문은 다음과 같은 형태입니다.

goto label

조건부 goto 문은 다음과 같은 형태입니다.

if(expression)goto label

이 언어에는 다른 여러 문장도 있지만, if(로 시작하고 )goto label(여기서 label은 정수)로 끝나는 것은 조건부 goto 문뿐입니다. Fortran IV 문장 안에서 모든 공백은 무시됩니다. 이 문제에서 실행을 멈추는 stop 문은 프로그램의 마지막 줄에만 나타납니다.

여러분의 임무는 두 Fortran 프로그램이 동치(equivalent)인지 판별하는 것입니다. 두 프로그램은 가능한 모든 입력에 대해, 무조건 goto와 레이블을 무시했을 때 정확히 같은 문장 순서를 실행하면 동치입니다. 여기서 "같은 문장 순서"란 공백과 레이블을 제거한 뒤 텍스트가 완전히 동일한 문장을 의미합니다. 각 조건부 goto는 어떤 입력에서는 실행(분기)되고 다른 입력에서는 실행되지 않는다고 가정해야 합니다. 무조건 goto는 당연히 항상 실행됩니다. 예시의 두 프로그램은 동치입니다.

입력은 빈 줄 하나로 구분된 두 프로그램으로 이루어집니다. 어떤 입력 줄도 80자를 넘지 않으며, 어떤 프로그램도 1000줄을 넘지 않습니다. goto 문에서 사용되는 각 레이블은 정확히 하나의 문장 왼쪽에 나타나며, 같은 레이블이 반복되지 않습니다.

The programs are equivalent. 또는 The programs are not equivalent. 중 하나를 한 줄로 출력하십시오.