#P1427E. Xum

    ID: 1148 Type: RemoteJudge 2000ms 256MiB Tried: 0 Accepted: 0 Difficulty: (None) Uploaded By: Tags>bitmasksconstructive algorithmsmathmatricesnumber theory*2500

Xum

No submission language available for this problem.

Description

You have a blackboard and initially only an odd number xx is written on it. Your goal is to write the number 11 on the blackboard.

You may write new numbers on the blackboard with the following two operations.

  • You may take two numbers (not necessarily distinct) already on the blackboard and write their sum on the blackboard. The two numbers you have chosen remain on the blackboard.
  • You may take two numbers (not necessarily distinct) already on the blackboard and write their bitwise XOR on the blackboard. The two numbers you have chosen remain on the blackboard.
Perform a sequence of operations such that at the end the number 11 is on the blackboard.

The single line of the input contains the odd integer xx (3x999,9993 \le x \le 999,999).

Print on the first line the number qq of operations you perform. Then qq lines should follow, each describing one operation.

  • The "sum" operation is described by the line "aa + bb", where a,ba, b must be integers already present on the blackboard.
  • The "xor" operation is described by the line "aa ^ bb", where a,ba, b must be integers already present on the blackboard.
The operation symbol (+ or ^) must be separated from a,ba, b by a whitespace.

You can perform at most 100,000100,000 operations (that is, q100,000q\le 100,000) and all numbers written on the blackboard must be in the range [0,51018][0, 5\cdot10^{18}]. It can be proven that under such restrictions the required sequence of operations exists. You can output any suitable sequence of operations.

Input

The single line of the input contains the odd integer xx (3x999,9993 \le x \le 999,999).

Output

Print on the first line the number qq of operations you perform. Then qq lines should follow, each describing one operation.

  • The "sum" operation is described by the line "aa + bb", where a,ba, b must be integers already present on the blackboard.
  • The "xor" operation is described by the line "aa ^ bb", where a,ba, b must be integers already present on the blackboard.
The operation symbol (+ or ^) must be separated from a,ba, b by a whitespace.

You can perform at most 100,000100,000 operations (that is, q100,000q\le 100,000) and all numbers written on the blackboard must be in the range [0,51018][0, 5\cdot10^{18}]. It can be proven that under such restrictions the required sequence of operations exists. You can output any suitable sequence of operations.

Samples

Sample Input 1

3

Sample Output 1

5
3 + 3
3 ^ 6
3 + 5
3 + 6
8 ^ 9

Sample Input 2

123

Sample Output 2

10
123 + 123
123 ^ 246
141 + 123
246 + 123
264 ^ 369
121 + 246
367 ^ 369
30 + 30
60 + 60
120 ^ 121