Thank you, IEEE 754! - 1

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

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

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

채점기는 모든 정수 $N$에 대해 $-31 \leq N \leq 31$을 만족하는 $63$개의 경우를 각각 독립적으로 검사한다. 각 검사에서는 처음에 $A_0=N$이고, 은 모두 이다. 그 뒤 당신이 출력한 동일한 연산열을 순서대로 한 번 실행한다.

모든 검사가 끝났을 때가 아니라, 각 $N$에 대한 실행이 끝날 때마다 $A_{1000}$은 다음 값을 가져야 한다.

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

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

하나의 연산열이 위 $63$개의 경우를 모두 만족하도록 출력하여라.

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

$0$

입력값은 항상 $0$이며, 연산열을 구성할 때 사용하지 않아도 된다. 실제 검사는 본문에 설명된 $63$개의 $N$에 대해 채점기 내부에서 수행된다.

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

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

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

• 채점기가 검사하는 모든 정수 $N$은 $-31 \leq N \leq 31$을 만족한다.
• 배열의 인덱스는 $0$ 이상 $1000$ 이하이다.
• 출력하는 연산 수는 $$이다.