procedure main()
   write(2^64*2^64)
end