main:
  addi x0, x1, 1
  addi x0, x1, 2
  addi x0, x1, 3
  addi x0, x1, 7
  addi x0, x1, 14
  addi x0, x1, 28
  addi x0, x1, 56
  addi x31, x1, 1
  addi x31, x1, 2
  addi x31, x1, 3
  addi x31, x1, 7
  addi x31, x1, 14
  addi x31, x1, 28
  addi x31, x1, 56
  addi x31, x1, 133
  addi x31, x1, 258
  addi x31, x1, 511
  addi x31, x1, -1
  addi x31, x1, -3
  addi x31, x1, -9
  addi x31, x1, -98
  addi x31, x1, -231
  addi x31, x1, -510
  addi x30, x0, 1
  addi x30, x30, 2
  addi x30, x30, 3
  addi x30, x30, 7
  addi x30, x30, 14
  addi x30, x30, 28
  addi x30, x30, 56
  addi x30, x30, 133
  addi x30, x30, 258
  addi x30, x30, 511
  addi x30, x30, -1
  addi x30, x30, -3
  addi x30, x30, -9
  addi x30, x30, -98
  addi x30, x30, -231
  addi x30, x30, -510
  done