Quellcode-Bibliothek bigint-mod.js   Sprache: JAVA

const tests = [
  [-0x10000000000000001n, -2n, -1n],
  [-0x10000000000000000n, -2n, 0n],
  [-0xffffffffffffffffn, -2n, -1n],
  [-0xfffffffffffffffen, -2n, 0n],
  [-0x8000000000000001n, -2n, -1n],
  [-0x8000000000000000n, -2n, 0n],
  [-0x7fffffffffffffffn, -2n, -1n],
  [-0x7ffffffffffffffen, -2n, 0n],
  [-0x100000001n, -2n, -1n],
  [-0x100000000n, -2n, 0n],
  [-0xffffffffn, -2n, -1n],
  [-0xfffffffen, -2n, 0n],
  [-0x80000001n, -2n, -1n],
  [-0x80000000n, -2n, 0n],
  [-0x7fffffffn, -2n, -1n],
  [-0x7ffffffen, -2n, 0n],
  [-2n, -2n, 0n],
  [-1n, -2n, -1n],
  [0n, -2n, 0n],
  [1n, -2n, 1n],
  [2n, -2n, 0n],
  [0x7ffffffen, -2n, 0n],
  [0x7fffffffn, -2n, 1n],
  [0x80000000n, -2n, 0n],
  [0x80000001n, -2n, 1n],
  [0xfffffffen, -2n, 0n],
  
  [0x100000000n, -2n, 0n],
  [0x100000001n, -2n, 1n],
  [0x7ffffffffffffffen, -2n, 0n],
  [0x7fffffffffffffffn, -2n, 1n],
  [0x8000000000000000n, -2n, 0n],
  [0x8000000000000001n, -2n, 1n],
  [0xfffffffffffffffen, -2n, 0n],
  [0xffffffffffffffffn, -2n, 1n],
  [0x10000000000000000n, -2n, 0n],
  [0x10000000000000001n, -2n, 1n],
  [-0x10000000000000001n, -1n, 0n],
  [-0x10000000000000000n, -1n, 0n],
  [-0xffffffffffffffffn, -1n, 0n],
  [-0xfffffffffffffffen, -1n, 0n],
  [-0x8000000000000001n, -1n, 0n],
  [-0x8000000000000000n, -1n, 0n],
  [-0x7fffffffffffffffn, -1n, 0n],
  [-0x7ffffffffffffffen, -1n, 0n],
  [-0x100000001n, -1n, 0n],
  [-0x100000000n, -1n, 0n],
  [-0xffffffffn, -1n, 0n],
  [-0xfffffffen, -1n, 0n],
  [-0x80000001n, -1n, 0n],
  [-0x80000000n, -1n, 0n],
  [-0x7fffffffn, -1n, 0n],
  [-0x7ffffffen, -1n, 0n],
  [-2n, -1n, 0n],
  [-1n, -1n, 0n],
  [0n, -1n, 0n],
  [1n, -1n, 0n],
  [2n, -1n, 0n],
  [0x7ffffffen, -1n, 0n],
  [0x7fffffffn, -1n, 0n],
  [0x80000000n, -1n, 0n],
  [0x80000001n, -1n, 0n],
  [0xfffffffen, -1n, 0n],
  [0xffffffffn, -1n, 0n],
  [0x100000000n, -1n, 0n],
  [0x100000001n, -1n, 0n],
  [0x7ffffffffffffffen, -1n, 0n],
  [0x7fffffffffffffffn, -1n, 0n],
  [0x8000000000000000n, -1n, 0n],
  [0x8000000000000001n, -1n, 0n],
  [0xfffffffffffffffen, -1n, 0n],
  [0xffffffffffffffffn, -1n, 0n],
  [0x10000000000000000n, -1n, 0n],
  [0x10000000000000001n, -1n, 0n],
  [-0x10000000000000001n, 1n, 0n],
  [-0x10000000000000000n, 1n, 0n],
  [-0xffffffffffffffffn, 1n, 0n],
  [-0xfffffffffffffffen, 1n, 0n],
  [-0x8000000000000001n, 1n, 0n],
  [-0x8000000000000000n, 1n, 0n],
  [-0x7fffffffffffffffn, 1n, 0n],
  [-0x7ffffffffffffffen, 1n, 0n],
  [-0x100000001n, 1n, 0n],
  [-0x100000000n, 1n, 0n],
  [-0xffffffffn, 1n, 0n],
  [-0xfffffffen, 1n, 0n],
  [-0x80000001n, 1n, 0n],
  [-0x80000000n, 1n, 0n],
  [-0x7fffffffn, 1n, 0n],
  [-0x7ffffffen, 1n, 0n],
  [-2n, 1n, 0n],
  [-1n, 1n, 0n],
  [0n, 1n, 0n],
  [1n, 1n, 0n],
  [2n, 1n, 0n],
  [0x7ffffffen, 1n, 0n],
  [0x7fffffffn, 1n, 0n],
  [0x80000000n, 1n, 0n],
  [0x80000001n, 1n, 0n],
  [0xfffffffen, 1n, 0n],
  [0xffffffffn, 1n, 0n],
  [0x100000000n, 1n, 0n],
  [0x100000001n, 1n, 0n],
  [0x7ffffffffffffffen, 1n, 0n],
  [0x7fffffffffffffffn, 1n, 0n],
  [0x8000000000000000n, 1n, 0n],
  [x8000000000000001, 1n,  0]java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
  [0xfffffffffffffffen, 1n, 0n],
  [0xffffffffffffffffn, 1n, 0n],
  [0x10000000000000000n, 1n, 0n],
  [0x10000000000000001n, 1n, 0n],
  [-0x10000000000000001n, 2n, -1n],
  [-0x10000000000000000n, 2n, 0n],
  [-0xffffffffffffffffn, 2n, -1n],
  [-0xfffffffffffffffen, 2n, 0n],
  [-0x8000000000000001n, 2n, -1n],
  [-0x8000000000000000n, 2n, 0n],
  [-0x7fffffffffffffffn, 2n, -1n],
  [-0x7ffffffffffffffen, 2n, 0n],
  [-0x100000001n, 2n, -1n],
  [-0x100000000n, 2n, 0n],
  [-0xffffffffn, 2n, -1n],
  [-0xfffffffen, 2n, 0n],
  [-0x80000001n, 2n, -1n],
  [-0x80000000n, 2n, 0n],
  [-0x7fffffffn, 2n, -1n],
  [-0x7ffffffen, 2n, 0n],
  [-2n, 2n, 0n],
  [-1n, 2n, -1n],
  [0n, 2n, 0n],
  [1n, 2n, 1n],
  [2n, 2n, 0n],
  [0x7ffffffen, 2n, 0n],
  [0x7fffffffn, 2n, 1n],
  [0x80000000n, 2n, 0n],
  [0x80000001n, 2n, 1n],
  [0xfffffffen, 2n, 0n],
  [0xffffffffn, 2n, 1n],
  [0x100000000n, 2n, 0n],
  [0x100000001n, 2n, 1n],
  [0x7ffffffffffffffen, 2n, 0n],
  [0x7fffffffffffffffn, 2n, 1n],
  [0x8000000000000000nCPG_PERF_SEL_ALWAYS_COUNT                                 x,
  [0x8000000000000001n, 2n, 1n],
  [0xfffffffffffffffen, 2n, 0n],
  [0xffffffffffffffffn, 2n, 1n],
  [0x10000000000000000n, 2n, 0n],
  [0x10000000000000001n, 2n, 1n],
  [-0x10000000000000001n, 0x7ffffffen, -17n],
  [-0x10000000000000000n, 0x7ffffffen, -16n],
  [-0xffffffffffffffffn, 0x7ffffffen, -15n],
  [-0xfffffffffffffffen, 0x7ffffffen, -14n],
  [-0x8000000000000001n, 0x7ffffffen, -9n],
  [-0x8000000000000000n, 0x7ffffffen, -8n],
  [-0x7fffffffffffffffn, 0x7ffffffen, -7n],
  [-0x7ffffffffffffffen, 0x7ffffffen, -6n],
  [-0x100000001n, 0x7ffffffen, -5n],
  [-0x100000000n, 0x7ffffffen, -4n],
  [-0xffffffffn, 0x7ffffffen, -3n],
  [-0xfffffffen, 0x7ffffffen, -2n],
  [-0x80000001n, 0x7ffffffen, -3n],
  [-0x80000000n, 0x7ffffffen -2n],
  [-0x7fffffffn, 0x7ffffffen, -1n],
  [-0x7ffffffen, 0x7ffffffen, 0n],
  [-2n, 0x7ffffffen, -2n],
  [-1n, 0x7ffffffen, -1n],
  [0n, 0x7ffffffen, 0n],
  [1n, 0x7ffffffen, 1n],
  [2n, 0x7ffffffen, 2n],
  [0x7ffffffen, 0x7ffffffen, 0n],
  [0x7fffffffn, 0x7ffffffen, 1n],
  [0x80000000n, 0x7ffffffen, 2n],
  [0x80000001n, 0x7ffffffen, 3n],
  [0xfffffffen, 0x7ffffffen, 2n],
  [0xffffffffn, 0x7ffffffen, 3n],
  [0x100000000n, 0x7ffffffen, 4n],
  [0x100000001n, 0x7ffffffen, 5n],
  [0x7ffffffffffffffen, 0  G_PERF_SEL_CP_GRBM_DWORDS_SENT         = 0x00000004,
  [0x7fffffffffffffffn, 0x7ffffffen, 7n],
  [0x8000000000000000n, 0x7ffffffen, 8n],
  [0x8000000000000001n, 0x7ffffffen, 9n],
  [0xfffffffffffffffen, 0x7ffffffen, 14n],
  [0xffffffffffffffffn, 0x7ffffffen, 15n],
  [0x10000000000000000n, 0x7ffffffen, 16n],
  [0x10000000000000001n, 0x7ffffffen, 17n],
  [-0x10000000000000001n, 0x7fffffffn, -5n],
  [-0x10000000000000000n, 0x7fffffffn, -4n],
  [-0CPG_PERF_SEL_ME_PARSER_BUSY= 0x00000005,
  [-0xfffffffffffffffen, 0x7fffffffn, -2n],
  [-0x8000000000000001n, 0x7fffffffn, -3n],
  [-0x8000000000000000n, 0x7fffffffn, -2n],
  [-0x7fffffffffffffffn, 0x7fffffffn, -1n],
  [-0x7ffffffffffffffen, 0x7fffffffn, 0n],
  [-0x100000001n, 0x7fffffffn, -3n],
  [-0x100000000n, 0x7fffffffn, -2n],
  [-0xffffffffn, 0x7fffffffn, -1n],
  [-0xfffffffen, 0x7fffffffn, 0n],
  [-0x80000001n, 0x7fffffffn, -2n],
  [-0x80000000n, 0x7fffffffn, -1n],
  [-0x7fffffffn, 0x7fffffffn, 0n],
  [-0x7ffffffen, 0x7fffffffn, -0x7ffffffen],
  [-2n, 0x7fffffffn, -2n],
  [-1n, 0x7fffffffn, -1n],
  [0n, 0x7fffffffn, 0n],
  [1n, 0x7fffffffn, 1n],
  [2n, 0x7fffffffn, 2n],
  [0x7ffffffen, 0x7fffffffn, 0x7ffffffen],
  [0x7fffffffn, 0x7fffffffn, 0n],
  [0x80000000n, 0x7fffffffn, 1n],
  [0x80000001n, 0x7fffffffn, 2n],
  [0xfffffffen, 0x7fffffffn, 0n],
  [0xffffffffn, 0x7fffffffn, 1n],
  [0x100000000n, 0x7fffffffn, 2n],
  [0x100000001n,java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
  [0x7ffffffffffffffen, 0x7fffffffn, 0n],
  [0x7fffffffffffffffn, 0x7fffffffn, 1n],
  [0x8000000000000000n, 0x7fffffffn, 2n],
  [0x8000000000000001n, 0x7fffffffn, 3n],
  [0xfffffffffffffffen, 0x7fffffffn, 2n],
  [0xffffffffffffffffn, 0x7fffffffn, 3n],
  [0x10000000000000000n,  -0x80000001n, -0x7ffffffffffffffen,-x80000001n]java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
  [0x10000000000000001n, 0x7fffffffn, 5n],
  [-0x10000000000000001n, 0x80000000n, -1n],      x00000027,
  [-0x10000000000000000n, 0x80000000n, 0n],
  [-0xffffffffffffffffn, 0x80000000n, -0x7fffffffn],
  [0xfffffffffffffffen, 0x80000000n, -0x7ffffffen],
  [-0x8000000000000001n, 0x80000000n, -1n],
  [-0x8000000000000000n, 0x80000000n, 0n],
  [-0x7fffffffffffffffn, 0x80000000n, -0x7fffffffn],
  [-0x7ffffffffffffffen, 0x80000000n, -0  1n 0ffffffffffffffen],
  [-0x100000001n, 0x80000000n, -1n],
  [-0  [2n, -0x7fffffn -TA_FRO    java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [-0xffffffffn 0 java.lang.StringIndexOutOfBoundsException: Range [51, 44) out of bounds for length 51
  [-0xfffffffen, 0x80000000n, -0x7ffffffen],
  [xfffffffen 7java.lang.StringIndexOutOfBoundsException: Range [51, 36) out of bounds for length 51
  [-0x80000000n, 0x80000000n, 0n],
  [-0x7fffffffn, 0x80000000n, -0x7fffffffn],
  [-0x7ffffffen, 0x80000000n, -0x7ffffffen],
  [-2n, 0x80000000n, -2n],
  [-1n, 0x80000000n, -1n  0 x7,0x100000001n]java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
  ,0n,
  [1n, 0x80000000n, 1n],
  [2n, 0x80000000n, 2n],
  [0x7ffffffen, 0x80000000n, 0x7ffffffen],
  [0x7fffffffn, 0x80000000n, 0x7fffffffn],
  [0x80000000n, 0x80000000n, 0n],
  [0x80000001n, 0x80000000n, 1n],
  [0xfffffffen, 0x80000000n, 0x7ffffffen],
  [0xffffffffn, 0x80000000n, 0x7fffffffn],
  [0x100000000n, 0x80000000n, 0n],
  [0x100000001n, 0x80000000n, 1n],
  0java.lang.StringIndexOutOfBoundsException: Range [24, 22) out of bounds for length 50
  [0x7fffffffffffffffn, 0x80000000n, 0x7fffffffn],
  [0x8000000000000000n, 0x80000000n, 0n],
  [0x8000000000000001n, 0x80000000n, 1n],
  [0xfffffffffffffffen, 0x80000000n, 0x7ffffffen],
  [0xffffffffffffffffn, 0x80000000n, 0x7fffffffn],
  [0x10000000000000000n, 0x80000000n, 0n],
  [0x10000000000000001n, 0x80000000n, 1n],
  [-0x10000000000000001n, 0x80000001n, -5n],
  [-0x10000000000000000n, 0x80000001n, -4n],
  [-0xffffffffffffffffn, 0x80000001n, -3n],
   -2n],
  [-0x8000000000000001n, 0x80000001n, -3n],
  [-0x8000000000000000n, 0x80000001n, -2n],
  [-0x7fffffffffffffffn, 0x80000001n, -1n],
  [-0x7ffffffffffffffen, 0x80000001n, 0n],
  [-0x100000001n, 0x80000001n, -0x80000000n],
  [-0x100000000n, 0x80000001n, -0x7fffffffn],
  [-0xffffffffn, 0x80000001n, -0x7ffffffen],
  [-0xfffffffen, 0x80000001n, -0x7ffffffdn],
  [-0x80000001n, 0x80000001n, 0n],
  [-0x80000000n, 0x80000001n, -0x80000000n],
  [-0x7fffffffn, 0x80000001n, -0x7fffffffn],
  [-0x7ffffffen, 0x80000001n, -0x7ffffffen],
  [-2n, 0x80000001n, -2n],
  [-1n, 0x80000001n, -1n],
  [0n, 0x80000001n, 0n],
  [n, 0,1n],
  [2n, 0x80000001n, 2n],
  [0x7ffffffen, 0x80000001n, 0x7ffffffen],
  [0x7fffffffn, 0x80000001n, 0x7fffffffn],
  [0x80000000n, 0x80000001n, 0x80000000n],
  [0x80000001n, 0x80000001n, 0n],
  [0xfffffffen, 0x80000001n, 0x7ffffffdn],
  [0xffffffffn, 0x80000001n, 0x7ffffffen],
  [0x100000000n, 0x80000001n, 0x7fffffffn],
  [0x100000001n, 0x80000001n, 0x80000000n],
  [0 0x80000001n, 0n],
  [0x7fffffffffffffffn, 0x80000001n, 1n],
  [0x8000000000000000n, 0x80000001n, 2n],
  [0x8000000000000001n, 0x80000001n, 3n],
  [0xfffffffffffffffen, 0x80000001n, 2n],
  [0xffffffffffffffffn, 0x80000001n, 3n],
  [x10000000000000000n, 0x80000001n, 4n,
  [0x10000000000000001n, 0x80000001n, 5n],
  [-0x10000000000000001n, -0x80000001n, -5n],
  [-0x10000000000000000n, -0x80000001n, -4n],
  [-0xffffffffffffffffn, -0x80000001n, -3n],
  [-0xfffffffffffffffen, -0x80000001n, -2n],
  [-0x8000000000000001n, -0x80000001n, -3n],
  [-0x8000000000000000n, -0x80000001n, -2n],
  [-0x7fffffffffffffffn, -0x80000001n, -1n],
  [-0x7ffffffffffffffen, -0x80000001n, 0n],
  [-0x100000001n, -0x80000001n, -0x80000000n],
  [-0x100000000n, -0CPG_PERF_SEL_CPG_STAT_BUSY    x00000033,
  [-0xffffffffn, -0x80000001n, -0x7ffffffen],
  [-0xfffffffen, -0x80000001n, -0x7ffffffdn],
  [-0x80000001n, -0x80000001n, 0n],
  [-0x80000000n, -0x80000001n, -0x80000000n],
  [-0x7fffffffn, -0x80000001n, -0x7fffffffn],
  [-0x7ffffffen, -0x80000001n, -0x7ffffffen],
  [-2n, -0x80000001n, -2n],
  [-1n, -0x80000001n, -1n],
  [0n, -0x80000001n, 0n],
  [1n, -0x80000001n, 1n],
  [2n, -0x80000001n, 2n],
  [0x7ffffffen, -0x80000001n, 0x7ffffffen],
  [0x7fffffffn, -0x80000001n, 0x7fffffffn],
  [0x80000000n, -0x80000001n, 0x80000000n],
  [0x80000001n, -0x80000001n, 0n],
  [0xfffffffen, -0x80000001n, 0x7ffffffdn],
  [0xffffffffn, -0x80000001n, 0x7ffffffen],
  [0x100000000n, -0x80000001n, 0x7fffffffn],
  [0x100000001n, -0x80000001n, 0x80000000n],
  [0x7ffffffffffffffen, -0x80000001n, 0n],
  [0x7fffffffffffffffn, -0x80000001n, 1n],
  [0x8000000000000000n, -0x80000001n, 2n],
  [0x8000000000000001n, -0x80000001n, 3n],
  [0xfffffffffffffffen, -0x80000001n, 2n],
  [0xffffffffffffffffn, -0x80000001n, 3n],
  [0x10000000000000000n, -0x80000001n, 4n],
  [0x10000000000000001n-0x80000001njava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
  [-0x10000000000000001n, -0x80000000n, -1n],
  [0n -xn,0n,
  [-0xffffffffffffffffn, -0x80000000n, -0x7fffffffn],
  [-0xfffffffffffffffen, -0x80000000n, -0x7ffffffen],
  [-0x8000000000000001n, -0x80000000n, -1n],
  [-0x8000000000000000n, -0x80000000n, 0n],
  [-0x7fffffffffffffffn, -0x80000000n, -0x7fffffffn],
  [-0  [-0x7ffffffffffffffen 0xfffffffffffffffen, 1]
  [-0x100000001n, -0x80000000n, -1n],
  [-0x100000000n, -0x80000000n, 0n],
  [-0xffffffffn, -0x80000000n, -0x7fffffffn],
  xfffffffen 0, -xffffffen,
  [-0x80000001n, -0x80000000n, -1n],
  [-0x80000000n[-x8000000000000000n, xfffffffffffffffen 0java.lang.StringIndexOutOfBoundsException: Range [67, 66) out of bounds for length 68
  [-0x7fffffffn, -0x80000000n, -0x7fffffffn-0java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 68
[0x7ffffffenx80000000n,-0x7ffffffen],
  [-2n, -0x80000000n, -2n],
  [-1n, -0x80000000n, -1n],
  [0n, -0x80000000n, 0n  [-,0xfffffffffffffffen, -0x100000000n],
  [1n, -0x80000000n, 1n],
  [n -0x80000000n,2n]java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
  [0[0xfffffffen, xfffffffffffffffen, -0xfffffffen],
  [0x7fffffffn, -0x80000000n, 0x7fffffffn],
  [0  [-0x80000001n 0xfffffffffffffffen, -0x80000001n],
  [0x80000001n, -0x80000000n, 1n],
  [0xfffffffen,  [-0x80000000n, 0xfffffffffffffffen, -0x80000000n],
  [0xffffffffn, -0x80000000n, 0x7fffffffn],
  [0x100000000n, -0x80000000n, 0n],
   [x100000001 -0x80000000n, 1n],
  [0x7ffffffffffffffen, -0x80000000n, 0x7ffffffen],
  [0x7fffffffffffffffn, -0x80000000n, 0x7fffffffn],
  [0x8000000000000000n, -0x80000000n, 0n],
  [0x8000000000000001n, -0  [-0x7ffffffen, 0xfffffffffffffffen -0x7ffffffen],
  [0xfffffffffffffffen, -0x80000000n, 0x7ffffffen],
  [0xffffffffffffffffn -,0,
  [0x10000000000000000n, -0x80000000n, 0n],
  [0x10000000000000001n, -0x80000000n, 1n],
  [-0x10000000000000001n, -0x7fffffffn, -5n],
  [-0x10000000000000000n, -0x7fffffffn, -4n],
  [-0, -0x7fffffffn, -3n],
  [-0xfffffffffffffffen, -0x7fffffffn, -2n],
  [-0x8000000000000001n, -0x7fffffffn, -3n],
  [-0x8000000000000000n, -0x7fffffffn, -2n],
  -0x7fffffffffffffffn,-0 -n],
  [-0x7ffffffffffffffen, -0x7fffffffn, 0n],
  [-0x100000001n, -0x7fffffffn, -3n],
  [-0x100000000n, -0x7fffffffn x, 0x7ffffffen]java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
  [-0xffffffffn, -0x7fffffffn, -1n],
  [-0xfffffffen, -0x7fffffffn, 0n],
  [-0x80000001n, -0x7fffffffn, -2n],
  [-0x80000000n, -0x7fffffffn, -1n],
  [-0x7fffffffn, -0x7fffffffn, 0n],
  [-0x7ffffffen, -0x7fffffffn, [xfffffffen, 0xfffffffffffffffen, 0xfffffffen],
  [-2n, -0x7fffffffn, -2n],
  [-1n, -0x7fffffffn  [xffffffffn, 0fffffffffffffffen0xffffffffn],
  [0n, -0x7fffffffn, 0n],
  [1n, -0x7fffffffn, 1n],
  [2n, -0x7fffffffn, 2n],
  [0x7ffffffen, -0x7fffffffn, 0x7ffffffen],
  [0x7fffffffn, -0x7fffffffn, 0n],
  [0x80000000n, -0x7fffffffn, 1n],
  [0x80000001n, -xfffffffn,n]
  [0xfffffffen, -0x7fffffffn, 0n],
  [0xffffffffn, -0x7fffffffn, 1n],
  [x100000000n,-x7fffffffn,n,
  [0x100000001n, -0x7fffffffn, 3n],
  [0x7ffffffffffffffen, -0x7fffffffn, 0n],
  [0  [0x8000000000000000n0, 0xfffffffffffffffen, 0]java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66
  [0x8000000000000000n, -0x7fffffffn, 2n],
  [0x8000000000000001n, -0x7fffffffn, 3n],
  [,
  [0xffffffffffffffffn, -0x7fffffffn, 3n],
  [0x10000000000000000n, -0x7fffffffn, 4n],
  [x10000000000000001n, -0x7fffffffn, 5n],
  [-0x10000000000000001n, -0x7ffffffen, -17n],
  [[x10000000000000000n,0fffffffffffffffen, 2,
  [-0xffffffffffffffffn, -0x7ffffffen, -15n],
  [-0xfffffffffffffffen, -0x7ffffffen, -14n],
  [-0x8000000000000001n, -0x7ffffffen, -9n],
  [-0x8000000000000000n, -0x7ffffffen, -8n],
  [-0x7fffffffffffffffn, -0x7ffffffen  -xn x, -2]java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  [-0x7ffffffffffffffen, -0x7ffffffen, -6n],
  [-0x100000001n, -0x7ffffffen, -5n],
  [-0x100000000n, -0x7ffffffen, -4n],
  [-0xffffffffn, -0x7ffffffen, -3n],
  [-0xfffffffen, -0x7ffffffen, -2n],
  [-0x80000001n, -0x7ffffffen, -3n],
  [-0x80000000n, -0x7ffffffen, -2n],
  [-0x7fffffffn, -0x7ffffffen, -1n],
  [-0x7ffffffen, -0x7ffffffen, 0n],
  -2, -x7ffffffen, -2n],
  [-1n, -0x7ffffffen, -1n],
  [0n, -0x7ffffffen, 0n],
  [1n, -0x7ffffffen, 1n],
  [2n, -0x7ffffffen, 2n],
  [0x7ffffffen, -0x7ffffffen, 0n],
  [0x7fffffffn, -0x7ffffffen, 1n],
  [0x80000000n, -0x7ffffffen, 2n],
  [0x80000001n, -0x7ffffffen, 3n],
  [0xfffffffen, -0x7ffffffen, 2n],
  [0xffffffffn, -0x7ffffffen, 3n],
  [0x100000000n, -0x7ffffffen, 4n],
  [0x100000001n, -0x7ffffffen, 5n],
  [0x7ffffffffffffffen, -0x7ffffffen, 6n],
  [0  [-0xfffffffffffffffen, 0xffffffffffffffffn, -0xfffffffffffffffen],
  [0x8000000000000000n, -0x7ffffffen, 8n],
  [0x8000000000000001n, -0x7ffffffen, 9n],
  [0xfffffffffffffffen, -0x7ffffffen, 14n],
  [0xffffffffffffffffn, -0x7ffffffen, 15n],
  [0x10000000000000000n -0x7ffffffen, 16n],
  [0x10000000000000001n, -0x7ffffffen, 17n],
  [-0x10000000000000001n, 0xfffffffen, -5n],
  [-0x10000000000000000n, 0xfffffffen, -4n],
  [-0xffffffffffffffffn, 0xfffffffen, -3n],
  [-0xfffffffffffffffen, 0xfffffffen, -2n],
  [-0x8000000000000001n, 0xfffffffen, -3n],
  [-0x8000000000000000n, 0xfffffffen, -2n],
  [-0x7fffffffffffffffn,  [07fffffffffffffffn, 0xffffffffffffffffn, x7fffffffffffffffn],
  [-0x7ffffffffffffffen, 0xfffffffen, 0n],
  [-0x100000001n, 0xfffffffen, -3n],
  [-0x100000000n, 0xfffffffen, -2n],
  [-0xffffffffn, 0xfffffffen, -1n],
  [-0xfffffffen, 0xfffffffen, 0n],
  [-0x80000001n, 0xfffffffen, -0x80000001n],
  [-0x80000000n, 0xfffffffen, -0x80000000n],
  [-0x7fffffffn, 0xfffffffen, -0  [-0x100000001n, 0xffffffffffffffffn-0x100000001n],
  [-0x7ffffffen, 0xfffffffen, -0x7ffffffen],
  [-2n, 0xfffffffen, -2n],
  [-1n, 0fffffffen, --1n],
  [0n, 0xfffffffen, 0n],
  [-xffffffffn, 0xffffffffffffffffn, -0xffffffffn],
  [2n, 0xfffffffen, 2n],
  [0x7ffffffen, 0xfffffffen, 0x7ffffffen],
  [0x7fffffffn, 0xfffffffen, 0x7fffffffn],
  [0x80000000n, 0xfffffffen, 0x80000000n],
  [0x80000001n, 0xfffffffen, 0x80000001n],
  [0xfffffffen, 0xfffffffen, 0n],
  [0xffffffffn, 0xfffffffen, 1n],
  [0x100000000n, 0xfffffffen, 2n],
  [0x100000001n, 0xfffffffen, 3n],
  [0x7ffffffffffffffen, 0xfffffffen, 0n],
  [0x7fffffffffffffffn, 0xfffffffen, 1n],
  [0x8000000000000000n, 0xfffffffen, 2n],
  [0x8000000000000001n, 0xfffffffen, 3n],
  [0xfffffffffffffffen, 0xfffffffen, 2n],
  [0xffffffffffffffffn, 0xfffffffen, 3n],
  [0x10000000000000000n, 0xfffffffen, 4n],
  [0x10000000000000001n, 0xfffffffen, 5n],
  [-0x10000000000000001n, 0xffffffffn, -2n],
  [-0x10000000000000000n, 0xffffffffn, -1n],
  [-0xffffffffffffffffn, 0xffffffffn, 0n],
  [-0xfffffffffffffffen, 0xffffffffn, -0xfffffffen],
  [],
  [-0x8000000000000000n, 0xffffffffn, -0x80000000n],
  [-0x7fffffffffffffffn, 0xffffffffn, -0x7fffffffn],
  [-0x7ffffffffffffffen, 0xffffffffn, -0x7ffffffen],
  [  [xffffffen0 07fffffen]java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  [-0x100000000n, 0xffffffffn, -1n],
  [-0xffffffffn, 0xffffffffn, 0n],
  [-0xfffffffen, 0xffffffffnn,
  [-0x80000001n, 0xffffffffn, -0x80000001n],
  [-0x80000000n, 0xffffffffn, -0x80000000n],
  [-0x7fffffffn, 0ffffffffn,-x7fffffffn,
  [-0x7ffffffen, 0xffffffffn, -0x7ffffffen],
  [2, 0xffffffffffffffffn,2]java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
  [-n, 0xffffffffn -n]java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
  [0n, 0xffffffffn, 0n],
  [1n, 0xffffffffn, 1n],
  [2n, 0xffffffffn, 2n],
  [0x7ffffffen, 0xffffffffn, 0x7ffffffen],
  [0x7fffffffn, 0xffffffffn, 0x7fffffffn[0x7fffffffn,
  [0x80000000n, 0xffffffffn, 0x80000000n],
  [x80000001n,0java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 42
  [0xfffffffen, 0xffffffffn, 0xfffffffen[x80000001n, xffffffffffffffffn 0java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
  [0xffffffffn, 0xffffffffn, 0n],
  [0x100000000n, 0xffffffffn, 1n],
  [0x100000001n, 0xffffffffn, 2n],
 0x7ffffffen,
  [0x7fffffffffffffffn, 0xffffffffn, 0x7fffffffn],
0 0xffffffffn,0x80000000n],
  [0x8000000000000001n, 0xffffffffffffffffn, 0x8000000000000001n],
  [0xfffffffffffffffen, 0xffffffffn, 0xfffffffen],
  [0xffffffffffffffffn, 0xffffffffn, 0n],
  [0x10000000000000000n, 0xffffffffn, 1n],
  [0x10000000000000001n, 0xffffffffn, 2n],
  [-0x10000000000000001n, 0x100000000n, -1n],
  [-0x10000000000000000n, 0x100000000n, 0n],
  [-0xffffffffffffffffn, 0x100000000n, -0xffffffffn],
  [-0xfffffffffffffffen, 0x100000000n, -0xfffffffen],
  [-0x8000000000000001n, 0x100000000n, -1n],
  [-0x8000000000000000njava.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 43
  [-0[-0xfffffffffffffffen0],
  [-0x7ffffffffffffffen, 0x100000000n, -0xfffffffen],
  [-0x100000001n, 0x100000000n, -1n] [-0x8000000000000001n, 0x10000000000000000n, -0x8000000000000001n],
  [-0x100000000n, 0x100000000n, 0n],
  [-0xffffffffn, 0x100000000n, -0xffffffffn],
  [-0xfffffffen, 0x100000001n, 0x10000000000000000n, -0x100000001n],
  [-0x80000001n, 0x100000000n, -0x80000001n],
  [-0x80000000n, 0x100000000n, -0x80000000n],
  [-x7fffffffn,0 java.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 45
  [-0x7ffffffen, 0x100000000n[xn x10000000000000000nx]java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
  [-2n, 0x100000000n, -2n],
  [java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
  [0n, 0x100000000n, 0n],
[n 0x100000000n,1,
  [2n, 0x100000000n, 2n],
  [0x7ffffffen
  [0x7fffffffn, 0x100000000n, 0x7fffffffn],
  [0x80000000n, 0x100000000n, 0x80000000n],
  [ x80000001n]
  [0xfffffffen, 0x100000000n, 0xfffffffen],
  [0xffffffffn, 0x100000000n, 0xffffffffn],
  [0x100000000n, 0x100000000n, 0n],
  [0x100000001n, 0x100000000n, 1n  [ 0x10000000000000000n 0xfffffffen],
  [0x7ffffffffffffffen, 0x100000000n, 0xfffffffen],
java.lang.StringIndexOutOfBoundsException: Range [25, 22) out of bounds for length 51
  [0
08000000000000001, n],
  [0xfffffffffffffffen, 0x100000000n, 0xfffffffen],
x,0java.lang.StringIndexOutOfBoundsException: Range [38, 36) out of bounds for length 51
 0 x100000000n,0n,
  [0x10000000000000001n, 0x100000000n, 1n],
  [-0x10000000000000001n, 0x100000001n, -2n  [010000000000000001n, 0x10000000000000000n 1]java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
  [-0x10000000000000000n, 0x100000001n, -1n],
  [-0xffffffffffffffffn, 0x100000001n, 0n],
  [-0xfffffffffffffffen, 0x100000001n, -0x100000000n],
  [-java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
  [],
  [-0x7fffffffffffffffn, 0x100000001n, -0x80000000n],
  [0x7ffffffffffffffen, 0x100000001n -,
  [-0x100000001n, 0x100000001n, 0n],
  [-0x100000000n, 0x10000000000000001n, -,
  [-0xffffffffn, 0x100000001n, -0xffffffffn],
  [0 -,
  [-0x80000001n, 0x100000001n, -0x80000001n],
  [-0, 0100000001n 080000000n]java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
  [-0x7fffffffn, 0x100000001n, -0x7fffffffn],
  [-00x7fffffffn 0x10000000000000001n -0x7fffffffn],
  [-2n, 0x100000001n, -2n],
  [0,0x7fffffffn,
  [0n, 0x100000001n, 0n],
  1, 0x100000001n1]java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
  [2n, 0x100000001n, 2n],
  [0x7ffffffen, 0x100000001n, 0x7ffffffen],
  [0x7fffffffn, 0x100000001n, 0x7fffffffn],
  [0x80000000n, 0x100000001n, 0x80000000n],
  [0x80000001n, 0x100000001n, 0x80000001n],
  [0 -java.lang.StringIndexOutOfBoundsException: Range [48, 45) out of bounds for length 68
  [,0 java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
  [0x100000000n, 0x100000001n, 0x100000000n],
  [0x100000001n, 0x100000001n, 0n],
  [, 0x100000001n,0]java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
  [0x7fffffffffffffffn, 0x100000001n, 0x80000000n],
  [0x8000000000000000n, 0x100000001n, 0x80000001n],
  [0x8000000000000001n, 0x100000001n, 0x80000002n],
  [0xfffffffffffffffen, 0x100000001n, 0x100000000n],
  [0xffffffffffffffffn, 0x100000001n, 0n],
  [0x10000000000000000n,  [-x8000000000000000n, -0x10000000000000000n, -0x8000000000000000n],
  [0x10000000000000001n, 0x100000001n, 2n],
  [-0x10000000000000001n, -0x100000001n, -2n],
  [-0x10000000000000000n, -0x100000001n, -1n],
  [-0xffffffffffffffffn, -0x100000001n, 0n],
  [-0xfffffffffffffffen, -0x100000001n, -0x100000000n],
  [-0x8000000000000001n, -0x100000001n, -0x80000002n],
  [-0x8000000000000000n, -0x100000001n, -0x80000001n],
  [-0x7fffffffffffffffn, -0x100000001n, -0x80000000n],
  [-0x7ffffffffffffffen, -0x100000001n, -0x7fffffffn],
  [-0x100000001n, -0x100000001n, 0n],
  [-0x100000000n, -0x100000001n, -0x100000000n]
  [-0xffffffffn[-x100000000n,-0x10000000000000000n,-x100000000n]
  [-0xfffffffen, -0x100000001n, -0xfffffffen],
  [-0x80000001n, -0x100000001n, -0x80000001n],
  [-0x80000000n, -0x100000001n, -0x80000000n],
  [-0x7fffffffn, -0x100000001n, -0
  [[, -]java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
  [-2n, -0x100000001n, -2n],
 -n-0,-1n],
  [0n, -0x100000001n, 0n],
  [1n, -0x100000001n, 1n],
  [2n, -0x100000001n, 2n  0100000000nn,, 0x100000000n],
[x7ffffffenx, x7ffffffen],
  [
  [0x80000000n--java.lang.StringIndexOutOfBoundsException: Range [47, 46) out of bounds for length 53
  [0x80000001n, -0x100000001n, 0x80000001n],
  [0xfffffffen, -0x100000001n, 0xfffffffen],
  [x -x100000001n, xffffffffn,
  [0
  [0x100000001n, -0x100000001n, 0n],
  [0x7ffffffffffffffen, -0x100000001n, 0x7fffffffn],
  [0x7fffffffffffffffn, -0x100000001n, 0x80000000n],
  [0x8000000000000000n, -0x100000001n, 0x80000001n],
  [0x8000000000000001n, -0x100000001n, 0x80000002n],
  [0xfffffffffffffffen, -0x100000001n, 0x100000000n],
  [0xffffffffffffffffn, -0x100000001n, 0n],
  [0x10000000000000000n, -0x100000001n, 1n],
  [0x10000000000000001n, -0x100000001n, 2n],
  [-0x10000000000000001n, -0x100000000n, -1n],
  [-0x10000000000000000n, -0x100000000n, 0n],
  java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
  [-0xfffffffffffffffen, -0x100000000n, -0xfffffffen],
, -x100000000, 1n,
  [-0x8000000000000000n, -0x100000000n, 0n],
  [-0x7fffffffffffffffn,-x100000000n,-xffffffffn]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [-0x7ffffffffffffffen, -0x100000000n, -0xfffffffen],
  [-0x100000001n, -0x100000000n, -1n],
 [-0x100000000n, -0x100000000n, 0n],
  [-0xffffffffn, -0x100000000n, -0xffffffffn],
  [-0xfffffffen, -0x100000000n, -0xfffffffen],
  [-0x80000001n, -0x100000000n, -0x80000001n],
  [-0x80000000n, -0x100000000n, -0x80000000n],
  [-0x7fffffffn, -0x100000000n, -0x7fffffffn],
  [-0x7ffffffen, -0x100000000n, -0x7ffffffen],
  [-2n, -0x100000000n, -2n],
  [-1n, -0x100000000n, -1n],
  [0n, -0x100000000n, 0n],
  [1n, 0xffffffffffffffffn,0xfffffffen,
  [2n, -0x100000000n, 2n],
  [0x7ffffffen, -0[0,-xffffffffffffffffn 0xffffffffn],
  [0x7fffffffn, -0x100000000n, 0x7fffffffn],
  [0x80000000n, -0x100000000n, 0x80000000n],
  [0x80000001n, -0x100000000n, 0x80000001n],
  [0xfffffffen, 0,xfffffffen],
  [0xffffffffn, -0x100000000n, 0xffffffffn],
  [0x100000000n, -0x100000000n, 0n],
  [0x100000001n, -0x100000000n, 1n],
  [0,-0x100000000n 0xfffffffen],
  [0x7fffffffffffffffn, -0x100000000n, 0xffffffffn],
  [0x8000000000000000n, -0x100000000n, 0n],
  [0x8000000000000001n, -0x100000000n, 1n],
  [0xfffffffffffffffen, -0x100000000n, 0xfffffffen],
  [0xffffffffffffffffn, -0x100000000n, 0xffffffffn],
  [0x10000000000000000n, -0x100000000n, 0n],
  [0x10000000000000001n, -0x100000000n, 1n],
  [-0x10000000000000001n, -0xffffffffn, -2n],
  [-0  [0x8000000000000000n -xffffffffffffffffn,08000000000000000n,
  [-0xffffffffffffffffn, -0xffffffffn, 0java.lang.StringIndexOutOfBoundsException: Range [67, 41) out of bounds for length 67
  , -0java.lang.StringIndexOutOfBoundsException: Range [40, 37) out of bounds for length 53
  [-0x8000000000000001njava.lang.StringIndexOutOfBoundsException: Range [48, 45) out of bounds for length 51
  [-java.lang.StringIndexOutOfBoundsException: Range [25, 23) out of bounds for length 51
  [-0x7fffffffffffffffn, -0[- 0java.lang.StringIndexOutOfBoundsException: Range [48, 46) out of bounds for length 53
   -x8000000000000001n -0,0x8000000000000001n],
  [-0x100000001n, -0xffffffffn, -2n],
  , -1n,
  [-0xffffffffn, -0xffffffffn, 0n],
  [-0xfffffffen, -0xffffffffn, -0xfffffffen],
  -x7, -0xfffffffffffffffen -x7ffffffffffffffen]java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69
  [-0x80000000n, -0xffffffffn, -0x80000000n],
  [-0x7fffffffn, -0xffffffffn, -0x7fffffffn],
  [-0x7ffffffen, -0xffffffffn, -0x7ffffffen],
  [-2n, -0xffffffffn, -2n],
  [-1n, -0xffffffffn, -1n],
  [0n, -0xffffffffn, 0n],
  [n -xffffffffn, 1n],
  [2n, -0xffffffffn, 2n],
  [0x7ffffffen, -0xffffffffn, 0x7ffffffen],
  [0x7fffffffn, -0xffffffffn, 0x7fffffffn],
  [0x80000000n, -0xffffffffn, 0x80000000n],
  [0x80000001n, -0xffffffffn, 0x80000001n],
  [0xfffffffen, -0xffffffffn, 0xfffffffen],
  [0xffffffffn, -0xffffffffn, 0n],
  [0x100000000n, -0xffffffffn, 1n],
  [x100000001n, -0xffffffffn, 2n],
  [0x7ffffffffffffffen, -0xffffffffn, 0x7ffffffen],
  [0x7fffffffffffffffn, -0xffffffffn, 0x7fffffffn],
  [0x8000000000000000n, -0xffffffffn, 0x80000000n],
  [08000000000000001nn, 0xffffffffn, 0x80000001n],
  [0xfffffffffffffffen, -0xffffffffn, 0xfffffffen],
  [0xffffffffffffffffn, -0xffffffffn, 0n],
  [0x10000000000000000n,n,1n]java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
  [0x10000000000000001n, -0xffffffffn, 2n],
  [-0x10000000000000001n, -0xfffffffen, -5n],
  [-0x10000000000000000n, -0xfffffffen, -4n],
  [-0xffffffffffffffffn,[0x7ffffffenx 0x7ffffffen,
  [-0xfffffffffffffffen, -0xfffffffen, -2n],
  [-0x8000000000000001n, -0xfffffffen, -3n],
  [-0x8000000000000000n, -0xfffffffen, -2n],
  [0x7fffffffffffffffn,-xfffffffen, -1n],
  [-0x7ffffffffffffffen, -0xfffffffen, 0n],
  [-0x100000001n, -0xfffffffen, -3n],
  [-0x100000000n, -0xfffffffen, -2n],
  [-0xffffffffn, -0xfffffffen, -1n],
  [-0xfffffffen, -0xfffffffen, 0n],
  [-0x80000001n, -0xfffffffen, -0x80000001n],
  [-0x80000000n, -0xfffffffen, -0x80000000n],
  [-0x7fffffffn, -0xfffffffen, -0x7fffffffn],
  [-0x7ffffffen, -0xfffffffen, -0x7ffffffen],
  [-2n, -0xfffffffen, -2n],
  [-1n, -0xfffffffen, -1n],
  [0n, -0xfffffffen, 0n],
  [1n, -0xfffffffen, 1  [0x80000001n, -0fffffffffffffffen 0,
  [2n, -0xfffffffen, 2n],
  [0x7ffffffen, -0xfffffffen, 0x7ffffffen],
  [0x7fffffffn, -0xfffffffen, 0x7fffffffn],
  [0x80000000n, -0xfffffffen, 0x80000000n],
  [0x80000001n, -0xfffffffen, 0x80000001n],
  [0xfffffffen, -0  0xffffffffn, -0 x],
  [0xffffffffn, -0xfffffffen, 1n],
  [0x100000000n, -0xfffffffen, 2n],
  [0x100000001n, -0xfffffffen, 3n],
  [0x7ffffffffffffffen, -0xfffffffen, 0n],
  [0x7fffffffffffffffn, -0xfffffffen, 1n],
  [0x8000000000000000n, -0xfffffffen, 2n],
  [0x8000000000000001n, -0xfffffffen, 3n],
  [0xfffffffffffffffen, -[x7ffffffffffffffen,-xfffffffffffffffen,0x7ffffffffffffffen],
  [0xffffffffffffffffn, -0xfffffffen, 3n],
  [0x10000000000000000n, -0xfffffffen, 4n],
  [0x10000000000000001n, -0xfffffffen, [x7fffffffffffffffn, -0 0java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 67
  [-0x10000000000000001n, 0x7ffffffffffffffen, -5n],
  [-0x10000000000000000n, 0x7ffffffffffffffen, -4n],
  [-0xffffffffffffffffn, 0x7ffffffffffffffen, -3n],
  [-0xfffffffffffffffen, 0x7ffffffffffffffen, -2n],
  [-0x8000000000000001n, 0x7ffffffffffffffen, -3n],
  [-0x8000000000000000n, 0x7ffffffffffffffen, -2n],
  [-0x7fffffffffffffffn, 0x7ffffffffffffffen, -1n],
  [-0x7ffffffffffffffen, 0x7ffffffffffffffen, 0n],
  [-0x100000001n, 0x7ffffffffffffffen, -0x100000001n],
  [-0x100000000n, 0x7ffffffffffffffen, -0x100000000n],
[-xffffffffn, 0x7ffffffffffffffen, -0xffffffffn],
  [-0xfffffffen, 0x7ffffffffffffffen, -0xfffffffen],
  [-0x80000001n, 0x7ffffffffffffffen, -0x80000001n],
  [-0x80000000n, 0x7ffffffffffffffen, -0x80000000n],
ffffffffffffen, -0]java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  [-0x7ffffffen, 0java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 1
  [-2n, 0x7ffffffffffffffen, -2n],
  [-1n, 0x7ffffffffffffffen, -1n],
  [0n, 0x7ffffffffffffffen, 0n],
  [1n, 0x7ffffffffffffffen, 1n],
  [2n, 0x7ffffffffffffffen, 2n],
  [0x7ffffffen, 0x7ffffffffffffffen, 0x7ffffffen],
  [0x7fffffffn, 0x7ffffffffffffffen, 0x7fffffffn],
  [0x80000000n, 0x7ffffffffffffffen, 0x80000000n],
  [0x80000001n, 0x7ffffffffffffffen, 0x80000001n],
  [0xfffffffen, 0x7ffffffffffffffen, 0xfffffffen],
  [0xffffffffn, 0x7ffffffffffffffen, 0xffffffffn],
  [0x100000000n, 0x7ffffffffffffffen, 0x100000000n],
  [0x100000001n, 0x7ffffffffffffffen, 0x100000001n],
  [0x7ffffffffffffffen, 0x7ffffffffffffffen, 0n],
  [0x7fffffffffffffffn, 0x7ffffffffffffffen, 1n],
  [0x8000000000000000n, 0x7ffffffffffffffen, 2n],
  [0x8000000000000001n, 0x7ffffffffffffffen, 3n],
  [0xfffffffffffffffen, 0x7ffffffffffffffen, 2n],
  [0xffffffffffffffffn, 0x7ffffffffffffffen, 3n],
  [0x10000000000000000n, 0x7ffffffffffffffen, 4n],
  [0x10000000000000001n, 0x7ffffffffffffffen, 5n],
  [-0x10000000000000001n, 0x7fffffffffffffffn, -3n],
  [-0x10000000000000000n, 0x7fffffffffffffffn, -2n],
  [-0xffffffffffffffffn, 0x7fffffffffffffffn, -1n],
  [-0xfffffffffffffffen, 0x7fffffffffffffffn, 0n],
  [-0x8000000000000001n, 0x7fffffffffffffffn, -2n],
  [-0x8000000000000000n, 0x7fffffffffffffffn, -1n],
  [-0x7fffffffffffffffn, 0x7fffffffffffffffn, 0n],
  [-0x7ffffffffffffffen, 0x7fffffffffffffffn, -0x7ffffffffffffffen],
  [-0x100000001n, 0x7fffffffffffffffn, -0x100000001n],
  [-0x100000000n, 0x7fffffffffffffffn, -0x100000000n],
  [-0xffffffffn, 0x7fffffffffffffffn, -0xffffffffn],
  [-0xfffffffen, 0x7fffffffffffffffn, -0xfffffffen],
  [-0x80000001n, 0x7fffffffffffffffn, -0x80000001n],
  [-0x80000000n, 0x7fffffffffffffffn, -0x80000000n],
  [-0x7fffffffn, 0x7fffffffffffffffn, -0x7fffffffn],
  [-0x7ffffffen, 0x7fffffffffffffffn, -0x7ffffffen],
  [-2n, 0x7fffffffffffffffn, -2n],
  [-1n, 0x7fffffffffffffffn, -1n],
  [0n, 0x7fffffffffffffffn, 0n],
  [1n, 0x7fffffffffffffffn, 1n],
  [2n, 0x7fffffffffffffffn, 2n],
  [0x7ffffffen, 0x7fffffffffffffffn, 0x7ffffffen],
  [0x7fffffffn, 0x7fffffffffffffffn, 0x7fffffffn],
  [0x80000000n, 0x7fffffffffffffffn, 0x80000000n],
  [0x80000001n, 0x7fffffffffffffffn, 0x80000001n],
  [0xfffffffen, 0x7fffffffffffffffn, 0xfffffffen],
  [0xffffffffn, 0x7fffffffffffffffn, 0xffffffffn],
  [0x100000000n, 0x7fffffffffffffffn, 0x100000000n],
  [0x100000001n, 0x7fffffffffffffffn, 0x100000001n],
  [0x7ffffffffffffffen, 0x7fffffffffffffffn, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, 0x7fffffffffffffffn, 0n],
  [0x8000000000000000n, 0x7fffffffffffffffn, 1n],
  [0x8000000000000001n, 0x7fffffffffffffffn, 2n],
  [0xfffffffffffffffen, 0x7fffffffffffffffn, 0n],
  [0xffffffffffffffffn, 0x7fffffffffffffffn, 1n],
  [0x10000000000000000n, 0x7fffffffffffffffn, 2n],
  [0x10000000000000001n, 0x7fffffffffffffffn, 3n],
  [-0x10000000000000001n, 0x8000000000000000n, -1n],
  [-0x10000000000000000n, 0x8000000000000000n, 0n],
  [-0xffffffffffffffffn, 0x8000000000000000n, -0x7fffffffffffffffn],
  [-0xfffffffffffffffen, 0x8000000000000000n, -0x7ffffffffffffffen],
  [-0x8000000000000001n, 0x8000000000000000n, -1n],
  [-0x8000000000000000n, 0x8000000000000000n, 0n],
  [-0x7fffffffffffffffn, 0x8000000000000000n, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, 0x8000000000000000n, -0x7ffffffffffffffen],
  [-0x100000001n, 0x8000000000000000n, -0x100000001n],
  [-0x100000000n, 0x8000000000000000n, -0x100000000n],
  [-0xffffffffn, 0x8000000000000000n, -0xffffffffn],
  [-0xfffffffen, 0x8000000000000000n, -0xfffffffen],
  [-0x80000001n, 0x8000000000000000n, -0x80000001n],
  [-0x80000000n, 0x8000000000000000n, -0x80000000n],
  [-0x7fffffffn, 0x8000000000000000n, -0x7fffffffn],
  [-0x7ffffffen, 0x8000000000000000n, -0x7ffffffen],
  [-2n, 0x8000000000000000n, -2n],
  [-1n, 0x8000000000000000n, -1n],
  [0n, 0x8000000000000000n, 0n],
  [1n, 0x8000000000000000n, 1n],
  [2n, 0x8000000000000000n, 2n],
  [0x7ffffffen, 0x8000000000000000n, 0x7ffffffen],
  [0x7fffffffn, 0x8000000000000000n, 0x7fffffffn],
  [0x80000000n, 0x8000000000000000n, 0x80000000n],
  [0x80000001n, 0x8000000000000000n, 0x80000001n],
  [0xfffffffen, 0x8000000000000000n, 0xfffffffen],
  [0xffffffffn, 0x8000000000000000n, 0xffffffffn],
  [0x100000000n, 0x8000000000000000n, 0x100000000n],
  [0x100000001n, 0x8000000000000000n, 0x100000001n],
  [0x7ffffffffffffffen, 0x8000000000000000n, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, 0x8000000000000000n, 0x7fffffffffffffffn],
  [0x8000000000000000n, 0x8000000000000000n, 0n],
  [0x8000000000000001n, 0x8000000000000000n, 1n],
  [0xfffffffffffffffen, 0x8000000000000000n, 0x7ffffffffffffffen],
  [0xffffffffffffffffn, 0x8000000000000000n, 0x7fffffffffffffffn],
  [0x10000000000000000n, 0x8000000000000000n, 0n],
  [0x10000000000000001n, 0x8000000000000000n, 1n],
  [-0x10000000000000001n, 0x8000000000000001n, -0x8000000000000000n],
  [-0x10000000000000000n, 0x8000000000000001n, -0x7fffffffffffffffn],
  [-0xffffffffffffffffn, 0x8000000000000001n, -0x7ffffffffffffffen],
  [-0xfffffffffffffffen, 0x8000000000000001n, -0x7ffffffffffffffdn],
  [-0x8000000000000001n, 0x8000000000000001n, 0n],
  [-0x8000000000000000n, 0x8000000000000001n, -0x8000000000000000n],
  [-0x7fffffffffffffffn, 0x8000000000000001n, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, 0x8000000000000001n, -0x7ffffffffffffffen],
  [-0x100000001n, 0x8000000000000001n, -0x100000001n],
  [-0x100000000n, 0x8000000000000001n, -0x100000000n],
  [-0xffffffffn, 0x8000000000000001n, -0xffffffffn],
  [-0xfffffffen, 0x8000000000000001n, -0xfffffffen],
  [-0x80000001n, 0x8000000000000001n, -0x80000001n],
  [-0x80000000n, 0x8000000000000001n, -0x80000000n],
  [-0x7fffffffn, 0x8000000000000001n, -0x7fffffffn],
  [-0x7ffffffen, 0x8000000000000001n, -0x7ffffffen],
  [-2n, 0x8000000000000001n, -2n],
  [-1n, 0x8000000000000001n, -1n],
  [0n, 0x8000000000000001n, 0n],
  [1n, 0x8000000000000001n, 1n],
  [2n, 0x8000000000000001n, 2n],
  [0x7ffffffen, 0x8000000000000001n, 0x7ffffffen],
  [0x7fffffffn, 0x8000000000000001n, 0x7fffffffn],
  [0x80000000n, 0x8000000000000001n, 0x80000000n],
  [0x80000001n, 0x8000000000000001n, 0x80000001n],
  [0xfffffffen, 0x8000000000000001n, 0xfffffffen],
  [0xffffffffn, 0x8000000000000001n, 0xffffffffn],
  [0x100000000n, 0x8000000000000001n, 0x100000000n],
  [0x100000001n, 0x8000000000000001n, 0x100000001n],
  [0x7ffffffffffffffen, 0x8000000000000001n, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, 0x8000000000000001n, 0x7fffffffffffffffn],
  [0x8000000000000000n, 0x8000000000000001n, 0x8000000000000000n],
  [0x8000000000000001n, 0x8000000000000001n, 0n],
  [0xfffffffffffffffen, 0x8000000000000001n, 0x7ffffffffffffffdn],
  [0xffffffffffffffffn, 0x8000000000000001n, 0x7ffffffffffffffen
  [0x10000000000000000n, 0java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 26
  [0x10000000000000001n, 0x8000000000000001n, 
  [-java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
 -, -0x8000000000000001n, -java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  [-x, 0x7fffffffn -,
  [-0xfffffffffffffffen,],
  [0
  [-0x8000000000000000n, -0x8000000000000001n, -0x8000000000000000n],
  [-0x7fffffffffffffffn, -0x8000000000000001n, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, -0x8000000000000001n, -0x7ffffffffffffffen]0,-0,
  [-0x100000001n, -0x8000000000000001n,   [0xfffffffffffffffen, -x7fffffffn, 2n],
  [-0x100000000n, -0x8000000000000001n, -0x100000000n],
  [-0xffffffffn, -0x8000000000000001n, -0xffffffffn],
  [-0xfffffffen, -0x8000000000000001n, -0xfffffffen],
  [-0x80000001n, -0x8000000000000001n, -0x80000001n],
  [-, -x8000000000000001n, -0x80000000n],
  [-0x7fffffffn, -0x8000000000000001n, -0x7fffffffn],
  -0x7ffffffen -0x8000000000000001n, -0x7ffffffen],
  [-2n, -0x8000000000000001n, -2n],
, 1],
  [0n, -0x8000000000000001n, 0n],
  [1nx-0x7fffffffffffffffn, -0x7ffffffen, -7n],
  [0x7ffffffffffffffen, -0 6,
  [0,-08000000000000001n, x7fffffen],
  [ 0x7fffffffn],
  [0x80000000n, -0x8000000000000001n, 0x80000000n],
  [0x80000001n, -0x8000000000000001n, 0x80000001n],
  0fffffffen,-0, xfffffffen],
  [0xffffffffn, -0x8000000000000001n, 0xffffffffn],
  [0x100000000n, -0x8000000000000001n, 0x100000000n],
  [01n 0]
  [, -x8000000000000001n, x7ffffffffffffffen],
  [0x7fffffffffffffffn, -0x8000000000000001nx100000000n 0x7ffffffen,4,
  [0x8000000000000000n, -0x8000000000000001n, 0x8000000000000000n],
  [0x8000000000000001n, -[xfffffffffffffffn, -x7ffffffen, 7],
  [0xfffffffffffffffen, -0x8000000000000001n, 0x7ffffffffffffffdn],
  [0xffffffffffffffffn, -0x8000000000000001n, 0x7ffffffffffffffen],
  [- ,5n]
  [0x10000000000000001n, -0x8000000000000001n, 0x8000000000000000n],
  [-0x10000000000000001n-x7fffffffffffffffn, 0xfffffffen, -1n],
  [-0x10000000000000000n, -0x8000000000000000n, 0n],
  [-0xffffffffffffffffn, -0x8000000000000000n, -0x7fffffffffffffffn],
  [-0xfffffffffffffffen, -0x8000000000000000n, -0x7ffffffffffffffen],
  [-0x8000000000000001n, -0x8000000000000000n, -1n],
  [-0x8000000000000000n, -0x8000000000000000n, 0n],
  [-0-0x7ffffffen xfffffffen, 0x7ffffffen]java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  [-0x7ffffffffffffffen, -0x8000000000000000n, -0x7ffffffffffffffen],
  [0100000001n,-java.lang.StringIndexOutOfBoundsException: Range [40, 38) out of bounds for length 55
  [-0x100000000n, -0x8000000000000000n,  [x80000000n, 0xfffffffen, 0x80000000n],
  java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 41
  [-0xfffffffen, -0x8000000000000000n, -0xfffffffen],
  [-0x80000001n  0x10000000000000000n, 0xfffffffen, 4n],
  [-0x80000000n0java.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 36
    0,0java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 34
  java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
  [-2n, -0x8000000000000000n, -2n],
  -n,-x8000000000000000n, -
  [0n, -0x8000000000000000n  [2n, 0xffffffffn, 2n],
  [1n, -0x8000000000000000n, 1n],
  [2  [0x[x7ffffffenxffffffffn,07ffffffenffffffen,
  [n, x7ffffffen],
  [0x7fffffffn, -0x8000000000000000n, 0x7fffffffn],
  [java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
  [0
  [0x100000001n 1]
  [0xffffffffn, -0x8000000000000000n, 0xffffffffn],
  [0x100000000n, -0java.lang.StringIndexOutOfBoundsException: Range [27, 24) out of bounds for length 44
  x7fffffffn,x7fffffffn],
  [0x7ffffffffffffffen, -0x8000000000000000n, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, -0x8000000000000000n, 0x7fffffffffffffffn],
  [0x8000000000000000n, -0[0xfffffffen, -0xfffffffen, 0n
  [0x8000000000000001n, -0x8000000000000000n, 1n],
  [0xfffffffffffffffen, -0x8000000000000000n, 0x7ffffffffffffffen],
  
  [0x10000000000000000n, -0x8000000000000000n, 0n],
  [0x10000000000000001n, -0x8000000000000000n,   0x10000000000000000n-04n,
  [-0x10000000000000001n, -0x7fffffffffffffffn, -3n],
  [-0x10000000000000000n, -0x7fffffffffffffffn, -2n],
  [-0xffffffffffffffffn, -0x7fffffffffffffffn, -1n],
[0java.lang.StringIndexOutOfBoundsException: Range [27, 23) out of bounds for length 51
  [-0x8000000000000001n, -0x7fffffffffffffffn, -2n],
  [-0x8000000000000000n, -0x7fffffffffffffffn, -1n],
  [-0x7fffffffffffffffn[0xffffffffn, 0,0ffffffffn,
  java.lang.StringIndexOutOfBoundsException: Range [52, 36) out of bounds for length 52
  [-0x100000001n, -0x7fffffffffffffffn
  -x10000000000000000n,0x7fffffffffffffffn, 2n],
  [-0xffffffffn, -0x7fffffffffffffffn, -0xffffffffn],
  [-0xfffffffen, -0x7fffffffffffffffn, -0xfffffffen],
  [-0x80000001n, -0x7fffffffffffffffn, -0x80000001n],
  [-0x80000000n, -0x7fffffffffffffffn, -0  [-0x80000000n, -0x7fffffffffffffffn, -0x80000000n
  [-0x7fffffffn, -0x7fffffffffffffffn, -0x7fffffffn],
  [-0x7ffffffen, -0x7fffffffffffffffn, -0x7ffffffen],
  [-n,-0x7fffffffffffffffn -n,
  [-1n, -0x7fffffffffffffffn, -1n],
  [0n, -0x7fffffffffffffffn, 0n],
  [1n, -0x7fffffffffffffffn, 1n],
  [2n, -0x7fffffffffffffffn, 2n],
  [0x7ffffffen, -0x7fffffffffffffffn, 0x7ffffffen],
  [0x7fffffffffffffffn, x7fffffffffffffffn, njava.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
  [0x80000000n, -0x7fffffffffffffffn, 0x80000000n],
  [0x80000001n, -0x7fffffffffffffffn, 0x80000001n],
  [0xfffffffen, -0x7fffffffffffffffn, 0xfffffffen],
  [0xffffffffn, -0x7fffffffffffffffn, 0xffffffffn],
  [0x100000000n, -0x7fffffffffffffffn, 0x100000000n],
  [0x100000001n, -0x7fffffffffffffffn,  [0x80000001n, 0x8000000000000000n, 0x80000001n],
  [0x7ffffffffffffffen, -0java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 34
0,-, n,
  [0x8000000000000000n, -0x7fffffffffffffffn, 1n  [1, 0x8000000000000000n, 1n],
  [0x8000000000000001n, -0x7fffffffffffffffn, 2n],
  [0xfffffffffffffffen, -0java.lang.StringIndexOutOfBoundsException: Range [50, 35) out of bounds for length 50
  [0xffffffffffffffffn, -0x7fffffffffffffffn, 1n],
  [0x10000000000000000n, -0x7fffffffffffffffn, 2n],
  [0x10000000000000001n, -0java.lang.StringIndexOutOfBoundsException: Range [66, 43) out of bounds for length 66
  [-0x10000000000000001n, -0x7ffffffffffffffen, -5n],
  [-0x10000000000000000n, -0x7ffffffffffffffen, -4n[x10000000000000000n, 08000000000000001, 0,
  [-0xffffffffffffffffn  [0x8000000000000001n,0,0]
  [-0xfffffffffffffffen, -0x7ffffffffffffffen, -2n],
  [-0x8000000000000001n
  010000000000000001n 0n,x8000000000000000n
  - -,1,
  [, 0x7fffffffffffffffn]java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
  [-0x100000001n, -0x7ffffffffffffffen, -0x100000001n],
  [-0x100000000n, -0x7ffffffffffffffen, -0x100000000n],
  [-0xffffffffn, -0x7ffffffffffffffen, -0xffffffffn],
  [-0xfffffffen, -0x7ffffffffffffffen, -0xfffffffen],
  [-0x80000001n, -0x7ffffffffffffffen, -0x80000001n],
  [-0x80000000n, -0x7ffffffffffffffen, -0x80000000n],
  [-0x7fffffffn, -0x7ffffffffffffffen, -0x7fffffffn],
  [-0x7ffffffen, -0x7ffffffffffffffen, -0x7ffffffen],
  [-2n, -0x7ffffffffffffffen, -2n],
  [-1n, -0x7ffffffffffffffen, -1n],
  [0n, -0x7ffffffffffffffen, 0n],
  [1n, -0x7ffffffffffffffen, 1n],
  [2n, -0x7ffffffffffffffen, 2n],
  [0x7ffffffen, -0x7ffffffffffffffen, 0x7ffffffen],
  [0x7fffffffn, -0x7ffffffffffffffen, 0x7fffffffn],
  [0x80000000n, -0x7ffffffffffffffen, 0x80000000n],
  [0x80000001n, -0x7ffffffffffffffen, 0x80000001n],
  [0xfffffffen, -0x7ffffffffffffffen, 0xfffffffen],
  [0xffffffffn, -0x7ffffffffffffffen, 0xffffffffn],
  [0x100000000n, -0x7ffffffffffffffen, 0x100000000n],
  [0x100000001n, -0x7ffffffffffffffen, 0x100000001n],
  [0x7ffffffffffffffen, -0x7ffffffffffffffen, 0n],
  [0x7fffffffffffffffn, -0x7ffffffffffffffen, 1n],
  [0x8000000000000000n, -0x7ffffffffffffffen, 2n],
  [0x8000000000000001n, -0x7ffffffffffffffen, 3n],
  [0xfffffffffffffffen, -0x7ffffffffffffffen, 2n],
  [0xffffffffffffffffn, -0x7ffffffffffffffen, 3n],
  [0x10000000000000000n, -0x7ffffffffffffffen, 4n],
  [0x10000000000000001n, -0x7ffffffffffffffen, 5n],
  [-0x10000000000000001n, 0xfffffffffffffffen, -3n],
  [-0x10000000000000000n, 0xfffffffffffffffen, -2n],
  [-0xffffffffffffffffn, 0xfffffffffffffffen, -1n],
  [-0xfffffffffffffffen, 0xfffffffffffffffen, 0n],
  [-0x8000000000000001n, 0xfffffffffffffffen, -0x8000000000000001n],
  [-0x8000000000000000n, 0xfffffffffffffffen, -0x8000000000000000n],
  [-0x7fffffffffffffffn, 0xfffffffffffffffen, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, 0xfffffffffffffffen, -0x7ffffffffffffffen],
  [-0x100000001n, 0xfffffffffffffffen, -0x100000001n],
  [-0x100000000n, 0xfffffffffffffffen, -0x100000000n],
  [-0xffffffffn, 0xfffffffffffffffen, -0xffffffffn],
  [-0xfffffffen, 0xfffffffffffffffen, -0xfffffffen],
  [-0x80000001n, 0xfffffffffffffffen, -0x80000001n],
  [-0x80000000n, 0xfffffffffffffffen, -0x80000000n],
  [-0x7fffffffn, 0xfffffffffffffffen, -0x7fffffffn],
  [-0x7ffffffen, 0xfffffffffffffffen, -0x7ffffffen],
  [-2n, 0xfffffffffffffffen, -2n],
  [-1n, 0xfffffffffffffffen, -1n],
  [0n, 0xfffffffffffffffen, 0n],
  [1n, 0xfffffffffffffffen, 1n],
  [2n, 0xfffffffffffffffen, 2n],
  [0x7ffffffen, 0xfffffffffffffffen, 0x7ffffffen],
  [0x7fffffffn, 0xfffffffffffffffen, 0x7fffffffn],
  [0x80000000n, 0xfffffffffffffffen, 0x80000000n],
  [0x80000001n, 0xfffffffffffffffen, 0x80000001n],
  [0xfffffffen, 0xfffffffffffffffen, 0xfffffffen],
  [0xffffffffn, 0xfffffffffffffffen, 0xffffffffn],
  [0x100000000n, 0xfffffffffffffffen, 0x100000000n],
  [0x100000001n, 0xfffffffffffffffen, 0x100000001n],
  [0x7ffffffffffffffen, 0xfffffffffffffffen, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, 0xfffffffffffffffen, 0x7fffffffffffffffn],
  [0x8000000000000000n, 0xfffffffffffffffen, 0x8000000000000000n],
  [0x8000000000000001n, 0xfffffffffffffffen, 0x8000000000000001n],
  [0xfffffffffffffffen, 0xfffffffffffffffen, 0n],
  [0xffffffffffffffffn, 0xfffffffffffffffen, 1n],
  [0x10000000000000000n, 0xfffffffffffffffen, 2n],
  [0x10000000000000001n, 0xfffffffffffffffen, 3n],
  [-0x10000000000000001n, 0xffffffffffffffffn, -2n],
  [-0x10000000000000000n, 0xffffffffffffffffn, -1n],
  [-0xffffffffffffffffn, 0xffffffffffffffffn, 0n],
  [-0xfffffffffffffffen, 0xffffffffffffffffn, -0xfffffffffffffffen],
  [-0x8000000000000001n, 0xffffffffffffffffn, -0x8000000000000001n],
  [-0x8000000000000000n, 0xffffffffffffffffn, -0x8000000000000000n],
  [-0x7fffffffffffffffn, 0xffffffffffffffffn, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, 0xffffffffffffffffn, -0x7ffffffffffffffen],
  [-0x100000001n, 0xffffffffffffffffn, -0x100000001n],
  [-0x100000000n, 0xffffffffffffffffn, -0x100000000n],
  [-0xffffffffn, 0xffffffffffffffffn, -0xffffffffn],
  [-0xfffffffen, 0xffffffffffffffffn, -0xfffffffen],
  [-0x80000001n, 0xffffffffffffffffn, -0x80000001n],
  [-0x80000000n, 0xffffffffffffffffn, -0x80000000n],
  [-0x7fffffffn, 0xffffffffffffffffn, -0x7fffffffn],
  [-0x7ffffffen, 0xffffffffffffffffn, -0x7ffffffen],
  [-2n, 0xffffffffffffffffn, -2n],
  [-1n, 0xffffffffffffffffn, -1n],
  [0n, 0xffffffffffffffffn, 0n],
  [1n, 0xffffffffffffffffn, 1n],
  [2n, 0xffffffffffffffffn, 2n],
  [0x7ffffffen, 0xffffffffffffffffn, 0x7ffffffen],
  [0x7fffffffn, 0xffffffffffffffffn, 0x7fffffffn],
  [0x80000000n, 0xffffffffffffffffn, 0x80000000n],
  [0x80000001n, 0xffffffffffffffffn, 0x80000001n],
  [0xfffffffen, 0xffffffffffffffffn, 0xfffffffen],
  [0xffffffffn, 0xffffffffffffffffn, 0xffffffffn],
  [0x100000000n, 0xffffffffffffffffn, 0x100000000n],
  [0x100000001n, 0xffffffffffffffffn, 0x100000001n],
  [0x7ffffffffffffffen, 0xffffffffffffffffn, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, 0xffffffffffffffffn, 0x7fffffffffffffffn],
  [0x8000000000000000n, 0xffffffffffffffffn, 0x8000000000000000n],
  [0x8000000000000001n, 0xffffffffffffffffn, 0x8000000000000001n],
  [0xfffffffffffffffen, 0xffffffffffffffffn, 0xfffffffffffffffen],
  [0xffffffffffffffffn, 0xffffffffffffffffn, 0n],
  [0x10000000000000000n, 0xffffffffffffffffn, 1n],
  [0x10000000000000001n, 0xffffffffffffffffn, 2n],
  [-0x10000000000000001n, 0x10000000000000000n, -1n],
  [-0x10000000000000000n, 0x10000000000000000n, 0n],
  [-0xffffffffffffffffn, 0x10000000000000000n, -0xffffffffffffffffn],
  [-0xfffffffffffffffen, 0x10000000000000000n, -0xfffffffffffffffen],
  [-0x8000000000000001n, 0x10000000000000000n, -0x8000000000000001n],
  [-0x8000000000000000n, 0x10000000000000000n, -0x8000000000000000n],
  [-0x7fffffffffffffffn, 0x10000000000000000n, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, 0x10000000000000000n, -0x7ffffffffffffffen],
  [-0x100000001n, 0x10000000000000000n, -0x100000001n],
  [-0x100000000n, 0x10000000000000000n, -0x100000000n],
  [-0xffffffffn, 0x10000000000000000n, -0xffffffffn],
  [-0xfffffffen, 0x10000000000000000n, -0xfffffffen],
  [-0x80000001n, 0x10000000000000000n, -0x80000001n],
  [-0x80000000n, 0x10000000000000000n, -0x80000000n],
  [-0x7fffffffn, 0x10000000000000000n, -0x7fffffffn],
  [-0x7ffffffen, 0x10000000000000000n, -0x7ffffffen],
  [-2n, 0x10000000000000000n, -2n],
  [-1n, 0x10000000000000000n, -1n],
  [0n, 0x10000000000000000n, 0n],
  [1n, 0x10000000000000000n, 1n],
  [2n, 0x10000000000000000n, 2n],
  [0x7ffffffen, 0x10000000000000000n, 0x7ffffffen],
  [0x7fffffffn, 0x10000000000000000n, 0x7fffffffn],
  [0x80000000n, 0x10000000000000000n, 0x80000000n],
  [0x80000001n, 0x10000000000000000n, 0x80000001n],
  [0xfffffffen, 0x10000000000000000n, 0xfffffffen],
  [0xffffffffn, 0x10000000000000000n, 0xffffffffn],
  [0x100000000n, 0x10000000000000000n, 0x100000000n],
  [0x100000001n, 0x10000000000000000n, 0x100000001n],
  [0x7ffffffffffffffen, 0x10000000000000000n, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, 0x10000000000000000n, 0x7fffffffffffffffn],
  [0x8000000000000000n, 0x10000000000000000n, 0x8000000000000000n],
  [0x8000000000000001n, 0x10000000000000000n, 0x8000000000000001n],
  [0xfffffffffffffffen, 0x10000000000000000n, 0xfffffffffffffffen],
  [0xffffffffffffffffn, 0x10000000000000000n, 0xffffffffffffffffn],
  [0x10000000000000000n, 0x10000000000000000n, 0n],
  [0x10000000000000001n, 0x10000000000000000n, 1n],
  [-0x10000000000000001n, 0x10000000000000001n, 0n],
  [-0x10000000000000000n, 0x10000000000000001n, -0x10000000000000000n],
  [-0xffffffffffffffffn, 0x10000000000000001n, -0xffffffffffffffffn],
  [-0xfffffffffffffffen, 0x10000000000000001n, -0xfffffffffffffffen],
  [-0x8000000000000001n, 0x10000000000000001n, -0x8000000000000001n],
  [-0x8000000000000000n, 0x10000000000000001n, -0x8000000000000000n],
  [-0x7fffffffffffffffn, 0x10000000000000001n, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, 0x10000000000000001n, -0x7ffffffffffffffen],
  [-0x100000001n, 0x10000000000000001n, -0x100000001n],
  [-0x100000000n, 0x10000000000000001n, -0x100000000n],
  [-0xffffffffn, 0x10000000000000001n, -0xffffffffn],
  [-0xfffffffen, 0x10000000000000001n, -0xfffffffen],
  [-0x80000001n, 0x10000000000000001n, -0x80000001n],
  [-0x80000000n, 0x10000000000000001n, -0x80000000n],
  [-0x7fffffffn, 0x10000000000000001n, -0x7fffffffn],
  [-0x7ffffffen, 0x10000000000000001n, -0x7ffffffen],
  [-2n, 0x10000000000000001n, -2n],
  [-1n, 0x10000000000000001n, -1n],
  [0n, 0x10000000000000001n, 0n],
  [1n, 0x10000000000000001n, 1n],
  [2n, 0x10000000000000001n, 2n],
  [0x7ffffffen, 0x10000000000000001n, 0x7ffffffen],
  [0x7fffffffn, 0x10000000000000001n, 0x7fffffffn],
  [0x80000000n, 0x10000000000000001n, 0x80000000n],
  [0x80000001n, 0x10000000000000001n, 0x80000001n],
  [0xfffffffen, 0x10000000000000001n, 0xfffffffen],
  [0xffffffffn, 0x10000000000000001n, 0xffffffffn],
  [0x100000000n, 0x10000000000000001n, 0x100000000n],
  [0x100000001n, 0x10000000000000001n, 0x100000001n],
  [0x7ffffffffffffffen, 0x10000000000000001n, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, 0x10000000000000001n, 0x7fffffffffffffffn],
  [0x8000000000000000n, 0x10000000000000001n, 0x8000000000000000n],
  [0x8000000000000001n, 0x10000000000000001n, 0x8000000000000001n],
  [0xfffffffffffffffen, 0x10000000000000001n, 0xfffffffffffffffen],
  [0xffffffffffffffffn, 0x10000000000000001n, 0xffffffffffffffffn],
  [0x10000000000000000n, 0x10000000000000001n, 0x10000000000000000n],
  [0x10000000000000001n, 0x10000000000000001n, 0n],
  [-0x10000000000000001n, -0x10000000000000001n, 0n],
  [-0x10000000000000000n, -0x10000000000000001n, -0x10000000000000000n],
  [-0xffffffffffffffffn, -0x10000000000000001n, -0xffffffffffffffffn],
  [-0xfffffffffffffffen, -0x10000000000000001n, -0xfffffffffffffffen],
  [-0  [-0x80000000n0x10000000000000001nx80000000n],
  [-0 -0, 0,
  [-0x7fffffffffffffffn, -0x10000000000000001n, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, -0x10000000000000001n, -0x7ffffffffffffffen],
  [-0x100000001n, -0x10000000000000001n, -0x100000001n],
  [-0x100000000n, -0x10000000000000001n, -0x100000000n],
  [-0xffffffffn,   -0x7ffffffen, 0x10000000000000001n, -0x7ffffffen],
    [n, x10000000000000001n, -
  [-0x80000001n, -0x10000000000000001n[1n 0,-n,
  [-0x80000000n, -0x10000000000000001n, -0x80000000n],
  [-0x7fffffffn, -0x10000000000000001n, -0x7fffffffn],
  [-0x7ffffffen, -0x10000000000000001n, -0x7ffffffen],
  [-2n, -0x10000000000000001n, -2n0java.lang.StringIndexOutOfBoundsException: Range [38, 36) out of bounds for length 51
 -n -0 -n,
  [0n, -0x10000000000000001n, 0n],
  [1n, -0x10000000000000001n, 1n],
  [2n, -0x10000000000000001n, 2n],
  [0x7ffffffen, -0x8000000000000000n,0java.lang.StringIndexOutOfBoundsException: Range [46, 44) out of bounds for length 67
  [0x7fffffffn, -0x10000000000000001n, 0x7fffffffn],
  [0x80000000n, -0x10000000000000001n, 0x80000000n],
  [0x80000001n, -0x10000000000000001n, 0x80000001n],
  [0xfffffffen, -0x10000000000000001n, 0xfffffffen],
  [0xffffffffn, -0x10000000000000001n, 0xffffffffn],
  [0x100000000n, -0x10000000000000001n, 0x100000000n],
  [0x100000001n, -0x10000000000000001n, 0x100000001n],
[-x10000000000000001n x7ffffffffffffffen]
  [0x7fffffffffffffffn, -0x10000000000000001n, 0x7fffffffffffffffn],
  [0java.lang.StringIndexOutOfBoundsException: Range [3, 1) out of bounds for length 70
  [0x8000000000000001n, -0x10000000000000001n, 0-0x100000001n, -0x10000000000000001n, -0x100000001n
  [0xfffffffffffffffen, -0x10000000000000001n, 0xfffffffffffffffen],
  [0xffffffffffffffffn, -0x10000000000000001n, 0xffffffffffffffffn],
  [0x10000000000000000n, -0x10000000000000001n, 0x10000000000000000n],
  [0x10000000000000001n, -0x10000000000000001n, 0n],
  [-0x10000000000000001n, -0x10000000000000000n, -1n],
  [-0x10000000000000000n, -0x10000000000000000n, 0n],
  [-0xffffffffffffffffn, -0x10000000000000000n, -0xffffffffffffffffn],
  [-0xfffffffffffffffen, -0x10000000000000000n, -0xfffffffffffffffen],
  [-0x8000000000000001n, -0x10000000000000000n, -0x8000000000000001n],
  [-0x8000000000000000n, -0x10000000000000000n, -0x8000000000000000n],
  [-0x7fffffffffffffffn, -0x10000000000000000n, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, -0x10000000000000000n, -0x7ffffffffffffffen],
  [-0x100000001n, -0x10000000000000000n, -0x100000001n],
  [-0x100000000n, -0x10000000000000000n, -0x100000000n],
  [-0xffffffffn, -0x10000000000000000n, -0xffffffffn],
  [-0xfffffffen, -0x10000000000000000n, -0xfffffffen],
  [-0x80000001n, -0x10000000000000000n, -0x80000001n],
  [-0x80000000n,}CP_DDID_CNTL_MODE;
  [-0x7fffffffn, -0x10000000000000000n, -0x7fffffffn],
  [-0x7ffffffen, -0x10000000000000000n, -0x7ffffffen],
  [-2n, -0x10000000000000000n, -2n],
  [-1n, -0x10000000000000000n, -1n],
  [0n, -0x10000000000000000n, 0n],
  [1n, -0x10000000000000000n, 1n],
  [2n, -0x10000000000000000n, 2n],
  [0x7ffffffen, -0x10000000000000000n, 0x7ffffffen],
  [0x7fffffffn, -0x10000000000000000n, 0x7fffffffn],
  [0x80000000n, -0x10000000000000000n, 0x80000000n],
  [0x80000001n, -0x10000000000000000n, 0x80000001n],
  [0xfffffffen, -0x10000000000000000n, 0xfffffffen],
  [0xffffffffn, -0x10000000000000000n, 0xffffffffn],
  [0x100000000n, -0x10000000000000000n, 0x100000000n],
  [0x100000001n, -0x10000000000000000n, 0x100000001n],
  [0x7ffffffffffffffen, -0x10000000000000000n, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, -0x10000000000000000n, 0x7fffffffffffffffn],
  [0x8000000000000000n, -0x10000000000000000n, 0x8000000000000000n],
  [0x8000000000000001n, -0x10000000000000000n, 0x8000000000000001n],
  [0xfffffffffffffffen, -0x10000000000000000n, 0xfffffffffffffffen],
  [0xffffffffffffffffn, -0x10000000000000000n, 0xffffffffffffffffn],
  [0x10000000000000000n, -0x10000000000000000n, 0n],
  [0x10000000000000001n, -0x10000000000000000n, 1n],
  [-0x10000000000000001n, -0xffffffffffffffffn, -2n],
  [-0x10000000000000000n, -0xffffffffffffffffn, -1n],
  [-0xffffffffffffffffn, -0xffffffffffffffffn, 0n],
  [-0xfffffffffffffffen, -0xffffffffffffffffn, -0xfffffffffffffffen],
  [-0x8000000000000001n, -0xffffffffffffffffn, -0x8000000000000001n],
  [-0x8000000000000000n, -0xffffffffffffffffn, -0x8000000000000000n],
  [-0x7fffffffffffffffn, -0xffffffffffffffffn, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, -0xffffffffffffffffn, -0x7ffffffffffffffen],
  [-0x100000001n, -0xffffffffffffffffn, -0x100000001n],
  [-0x100000000n, -0xffffffffffffffffn, -0x100000000n],
  [-0xffffffffn, -0xffffffffffffffffn, -0xffffffffn],
  [-0xfffffffen, -0xffffffffffffffffn, -0xfffffffen],
  [-0x80000001n, -0xffffffffffffffffn, -0x80000001n],
  [-0x80000000n, -0xffffffffffffffffn, -0x80000000n],
  [-0x7fffffffn, -0xffffffffffffffffn, -0x7fffffffn],
  [-0x7ffffffen, -0xffffffffffffffffn, -0x7ffffffen],
  [-2n, -0xffffffffffffffffn, -2n],
  [-1n, -0xffffffffffffffffn, -1n],
  [0n, -0xffffffffffffffffn, 0n],
  [1n, -0xffffffffffffffffn, 1n],
  [2n, -0xffffffffffffffffn, 2n],
  [0x7ffffffen, -0xffffffffffffffffn, 0x7ffffffen],
  [0x7fffffffn, -0xffffffffffffffffn, 0x7fffffffn],
  [0x80000000n, -0xffffffffffffffffn, 0x80000000n],
  [0x80000001n, -0xffffffffffffffffn, 0x80000001n],
  [0xfffffffen, -0xffffffffffffffffn, 0xfffffffen],
  [0xffffffffn, -0xffffffffffffffffn, 0xffffffffn],
  [0x100000000n, -0xffffffffffffffffn, 0x100000000n],
  [0x100000001n, -0xffffffffffffffffn, 0x100000001n],
  [0x7ffffffffffffffen, -0xffffffffffffffffn, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, -0xffffffffffffffffn, 0x7fffffffffffffffn],
  [0x8000000000000000n, -0xffffffffffffffffn, 0x8000000000000000n],
  [0x8000000000000001n, -0xffffffffffffffffn, 0x8000000000000001n],
  [0xfffffffffffffffen, -0xffffffffffffffffn, 0xfffffffffffffffen],
  [0xffffffffffffffffn, -0xffffffffffffffffn, 0n],
  [0x10000000000000000n, -0xffffffffffffffffn, 1n],
  [0x10000000000000001n, -0xffffffffffffffffn, 2n],
  [-0x10000000000000001n, -0xfffffffffffffffen, -3n],
  [-0x10000000000000000n, -0xfffffffffffffffen, -2n],
  [-0xffffffffffffffffn, -0xfffffffffffffffen, -1n],
  [-0xfffffffffffffffen, -0xfffffffffffffffen, 0n],
  [-0x8000000000000001n, -0xfffffffffffffffen, -0x8000000000000001n],
  [-0x8000000000000000n, -0xfffffffffffffffen, -0x8000000000000000n],
  [-0x7fffffffffffffffn, -0xfffffffffffffffen, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, -0xfffffffffffffffen, -0x7ffffffffffffffen],
  [-0x100000001n, -0xfffffffffffffffen, -0x100000001n],
  [-0x100000000n, -0xfffffffffffffffen, -0x100000000n],
  [-0xffffffffn, -0xfffffffffffffffen, -0xffffffffn],
  [-0xfffffffen, -0xfffffffffffffffen, -0xfffffffen],
  [-0x80000001n, -0xfffffffffffffffen, -0x80000001n],
  [-0x80000000n, -0xfffffffffffffffen, -0x80000000n],
  [-0x7fffffffn, -0xfffffffffffffffen, -0x7fffffffn],
  [-0x7ffffffen, -0xfffffffffffffffen, -0x7ffffffen],
  [-2n, -0xfffffffffffffffen, -2n],
  [-1n, -0xfffffffffffffffen, -1n],
  [0n, -0xfffffffffffffffen, 0n],
  [1n, -0xfffffffffffffffen, 1n],
  [2n, -0xfffffffffffffffen, 2n],
  [0x7ffffffen, -0xfffffffffffffffen, 0x7ffffffen],
  [0x7fffffffn, -0xfffffffffffffffen, 0x7fffffffn],
  [0x80000000n, -0xfffffffffffffffen, 0x80000000n],
  [0x80000001n, -0xfffffffffffffffen, 0x80000001n],
  [0xfffffffen, -0xfffffffffffffffen, 0xfffffffen],
  [0xffffffffn, -0xfffffffffffffffen, 0xffffffffn],
  [0x100000000n, -0xfffffffffffffffen, 0x100000000n],
  [0x100000001n, -0xfffffffffffffffen, 0x100000001n],
  [0x7ffffffffffffffen, -0xfffffffffffffffen, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, -0xfffffffffffffffen, 0x7fffffffffffffffn],
  [0x8000000000000000n, -0xfffffffffffffffen, 0x8000000000000000n],
  [0x8000000000000001n, -0xfffffffffffffffen, 0x8000000000000001n],
  [0xfffffffffffffffen, -0xfffffffffffffffen, 0n],
  [0xffffffffffffffffn, -0xfffffffffffffffen, 1n],
  [0x10000000000000000n, -0xfffffffffffffffen, 2n],
  [0x10000000000000001n, -0xfffffffffffffffen, 3n],
];

function f(tests) {
  for (let test of tests) {
    let lhs = test[0], rhs = test[1], expected = test[2];

    assertEq(lhs % rhsjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  }
}

for (let i = 0; i < 10; ++i) {
  f(tests);
}