1325.18 분기 계획의 형식적 정의