Problem:
Score : 400 points

Problem Statement

Given is an integer S.
Find a combination of six integers X_1,Y_1,X_2,Y_2,X_3, and Y_3 that satisfies all of the following conditions:

0 \leq X_1,Y_1,X_2,Y_2,X_3,Y_3 \leq 10^9

The area of the triangle in a two-dimensional plane whose vertices are (X_1,Y_1),(X_2,Y_2), and (X_3,Y_3) is S/2.

We can prove that there always exist six integers that satisfy the conditions under the constraints of this problem.

Constraints

1 \leq S \leq 10^{18}

All values in input are integers.

Input

Input is given from Standard Input in the following format:

S

Output

Print six integers X_1,Y_1,X_2,Y_2,X_3, and Y_3 that satisfy the conditions, in this order, with spaces in between.
If multiple solutions exist, any of them will be accepted.

Sample Input 1

3

Sample Output 1

1 0 2 2 0 1

The area of the triangle in a two-dimensional plane whose vertices are (1,0),(2,2), and (0,1) is 3/2.
Printing 3 0 3 1 0 1 or 1 0 0 1 2 2 will also be accepted.

Sample Input 2

100

Sample Output 2

0 0 10 0 0 10

Sample Input 3

311114770564041497

Sample Output 3

314159265 358979323 846264338 327950288 419716939 937510582

Solution in Python (3.4.3) (judge verdict: Wrong Answer)

import sys
import itertools
input = sys.stdin.readline
 
def main():
  S = int(input())
  x3 = 0
  y3 = 0
  answer = S / 2
  flag = False
  w = len(str(int(answer)))
  start = 1
  for num in range(int(w*0.5-1)):
    start = (start * 10)
  print(w)
  print(start)
  for r in range(1,10):
    l1 = list(range(start, start * 2))      
    l2 = l1[:]
    l3 = l1[:]
    l4 = l1[:]
    start = (start * 2) + 1
  
    for i,j,k,l in itertools.product(l1, l2, l3, l4):
      x1 = i
      x2 = j
      y1 = k
      y2 = l
      s = ((x1 * y2) - (x2 * y1)) * 0.5
      if s == answer:
        flag =True
        break
    if flag:
      break
    
  L = [x1,y1,x2,y2,x3,y3]
  print(flag)
  print(' '.join(map(str, L)))
  
if __name__ == '__main__':
  main()