Thank you, IEEE 754! - 2

길이가 $1001$인 배열 $A$가 있다. 배열의 인덱스는 $0$ 이상 $1000$ 이하이다.

당신은 다음 네 종류의 연산만 사용하여 하나의 고정된 연산열을 만들어야 한다.

• + i j: $A_i \leftarrow A_i + A_j$.
• : .

입력으로 태스크 번호 $T$가 주어진다. $T$가 $1$ 이상 $5$ 이하라면 채점기는 모든 정수 $x$에 대해 $0 \leq x < 256$을 만족하는 개의 경우를 각각 독립적으로 검사한다. 각 검사에서는 처음에 이고 나머지 원소는 모두 이다. 이라면 모든 정수 순서쌍 에 대해 을 만족하는 개의 경우를 검사한다. 이때 처음에 , 이고 나머지 원소는 모두 이다.

각 경우마다 당신이 출력한 동일한 연산열을 처음부터 끝까지 한 번 실행한다. 실행이 끝났을 때 $A_{1000}$은 다음 값을 가져야 한다.

여기서 $[P]$는 명제 $P$가 참이면 $1$, 거짓이면 $0$이다. $\mathbin{\&}$와 $\mathbin{|}$는 각각 정수의 비트 AND와 비트 OR를 뜻한다.

모든 수와 연산 결과는 IEEE 754 binary32 형식의 $32$비트 부동소수점 수이다. 반올림 방식은 round to nearest, ties to even이다. 각 연산은 표시된 순서대로 독립적으로 수행되며, 각 연산 직후 결과가 binary32로 반올림된다. 연산을 합치거나 재배치하거나 더 높은 정밀도로 중간 결과를 유지하지 않는다.

s와 c에 사용되는 $M$은 하나의 토큰으로 표현되는 유한한 십진 부동소수점 리터럴이어야 한다. 부호와 소수점, 십진 지수 표기를 사용할 수 있다. $M$은 사용되기 전에 위 반올림 규칙에 따라 binary32로 변환된다. 모든 연산 직후 변경된 배열 원소는 유한한 값이어야 한다.

하나의 연산열이 해당 태스크의 모든 경우를 만족하도록 출력하여라.

입력은 다음과 같은 형식으로 주어진다.

$T$

$T$는 수행해야 할 태스크 번호이다.

첫째 줄에 사용할 연산의 개수 $K$를 출력한다.

그 다음 $K$개의 줄에 연산을 실행할 순서대로 하나씩 출력한다. 각 줄은 다음 네 형식 중 하나여야 한다.

+ $i$ $j$ - $i$ $j$

• $1 \leq T \leq 6$.
• 태스크 $1$부터 $5$까지 채점기가 검사하는 모든 정수 $x$는 $0 \leq x < 256$을 만족한다.