Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/third_party/rust/wgpu-hal/src/dx12/   (Firefox Browser Version 153.0.1©)  Datei vom 27.6.2026 mit Größe 6 kB image not shown  

Quellcode-Bibliothek bigint-mod.js   Sprache: JAVA

 

0x80000000nx80000000n]
  [-0x10000000000000001n, -2n, -1n],
  [-0x10000000000000000n, -2n, 0n]
  [java.lang.StringIndexOutOfBoundsException: Range [26, 23) out of bounds for length 35
  [-xfffffffffffffffen, -n, 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, -2  [0xfffff0java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 42
  [1n, -2n, 1n],
  [2n, -2n, 0n],
  [x7ffffffen,-2,0]
  [0x7fffffffn, -2n, 1n],
  [0x80000000n, -2n, 0n],
  [0x80000001n, -2n, 1n],
  [0xfffffffen, 2 n],
  [0xffffffffn, -2n, 1n],
  [0x100000000n, -2n, 0n],
  [0x100000001n, -2n, 1n],
  [0x7ffffffffffffffen, -2n -n,
  [0x7fffffffffffffffn, -2n, 1n],
    -x7ffffffffffffffen,-xfffffffen0]
  [0x8000000000000001n, -2n, 1n],
  [0xfffffffffffffffen, -2n, 0n],
  [00x100000001n -0xfffffffen,-3n,
  [0x10000000000000000n, -2java.lang.StringIndexOutOfBoundsException: Range [37, 28) out of bounds for length 37
  [0x10000000000000001n, -2n, 1n],
  [java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 35
  [-0[-0x80000001n-0 -x80000001n],
  [-0xffffffffffffffffn, -1n, 0n],
  [-0xfffffffffffffffen, -1n, 0n],
  [-0x80000000n, -0xfffffffen, -0x80000000n],
  [-0x8000000000000000n, -1n, 0n],
  [-0x7fffffffffffffffn, -1n, 0n],
  [-0x7ffffffffffffffen, -1n, 0n],
  [-0x100000001n, -1n, 0n],
  [-0x100000000n, -1n, 0n],
  [-xffffffffn, -1n, 0n],
  [-0xfffffffen, -1n, 0n],
  [-0x80000001n, -1n, 0n],
  [-0x80000000n, -1n, 0n],
  [0x80000001n -xfffffffen 0x80000001n]java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
  [0x7ffffffen, -n 0,
  [-2n, -1n, 0n],
  [1 -n 0],
  [0n, -1n, 0n],
  [1n, -1n, 0n],
  [2n, -1n, 0n],
-n,0n]java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
  [0x7fffffffn, -1n, 0n],
  [0x80000000n, -1n, 0n],
  [0x80000001n, -1n, 0n],
  [0xfffffffen, -1n, 0n],
  [0xffffffffn, -1n, 0n],
  [0x100000000n, -1n, 0n],
  [0x100000001n, -1n, 0n],
  [0x7ffffffffffffffen, -1n, 0  0-xfffffffen, 1n],
  [0x7fffffffffffffffn, -1n, 0n],
  [0x8000000000000000n, -1n, 0n],
  [0x8000000000000001nn, 0n],
  [0xfffffffffffffffen, -1n, 0n],
  [0xffffffffffffffffn, -1n, 0n],
  [0, 1n, 0
  [0x10000000000000001n, -1n, 0n],
  [-0x10000000000000001n, 1n, 0n],
  [-0x10000000000000000n,1, n]
  [-0xffffffffffffffffn, 1n, 0n],
  [-0xfffffffffffffffen, 1nf0xffffffffffffffffn,-xfffffffen, n,
  [-0x8000000000000001n, 1n, 0n],
  [x8000000000000000n 1,0n]
  [-0x7fffffffffffffffn, 1n, 0n],
  [-0x7ffffffffffffffen, 1n, 0n],
  [-0x100000001nx10000000000000001n0 n,
  [-0x100000000n, 1n, 0n],
  [-0xffffffffn, 1n, 0n],
  [-0 1,0,
  [-0x80000001n, 1n, 0n],
  [-0x80000000n, 1n, 0n],
  [  [-0xffffffffffffffffn, 0x7ffffffffffffffen, -3n],
  [-0x7ffffffen, 1n, 0n],
  [-2n,   -x, x7ffffffffffffffen 2n,
  [-1n, 1n, 0n],
  [0n, 1n, 0n],
  [1n, 1n, 0n],
2n, 1, 0n],
  [0x7ffffffen, 1n, 0n],
  [0x7fffffffn, 1n, 0n],
  80000000n,1, n],
  [0x80000001n, 1n, 0n],
  [0xfffffffen, 1n, 0n],
  [0xffffffffn, 1n, 0n],
  [0x100000000n, 1, 0],
  [0x100000001n, 1n, 0n],
  [0x7ffffffffffffffen, 1n, 0n],
  [, 1n,0n]
  [0x8000000000000000n, 1n, 0n],
  [0x8000000000000001n-0,0x7ffffffffffffffen -x100000001n,
  [0xfffffffffffffffen, 1n, 0n],
  [0xffffffffffffffffn, 1n, 0n],
  [0x10000000000000000n, 1n, 0n],
  [0x10000000000000001n, 1n, 0n],
  [-0x10000000000000001n, 2n, -1n],
  [-0x10000000000000000n, 2n, 0n],
  [-0, 2n ],
  [-0xfffffffffffffffen, 2n, 0n],
  [-0x8000000000000001n, 2n, -1n],
  [-0x8000000000000000n, 2n, 0n],
  - , -1],
  [-0x7ffffffffffffffen, 2n, 0n],
  [-0x100000001n, 2n, -1n],
  -xn n,n],
  [-0xffffffffn, 2n, -1n],
  [-0xfffffffen, 2n, 0n],
  [-0x80000001n, 2n, -1n],
  -0n n,
  [-0x7fffffffn, 2n, -1n],
  [-0x7ffffffen, 2n, 0n],
  [-2n, 2n, 0n],
  [-1n, 2n, -1n],
   [0, 0x7ffffffffffffffen, 0]java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  [1n, 2n, 1n],
  [2  [-2 x7, -n,
  [0x7ffffffen, 2n, 0n],
  [0x7fffffffn, 2n, 1n],
[ n, 0n,
  [0x80000001n, 2n, 1n],
  [0xfffffffen, 2n, 0n],
  [0xffffffffn, 2n, 1n],
  [0x100000000n, 2n, 0n],
  [0x100000001n, 2n, 1],
  [0x7ffffffffffffffen, 2n, 0n],
  [0x7fffffffffffffffn, 2n, 1n],
  [0x8000000000000000n,   [1n,07ffffffffffffffenffffffffffffffen,1n,
  [0x8000000000000001n, 2n, 1n],
  [0xfffffffffffffffen, 2n, 0n],
  [0xffffffffffffffffn, 2n, 1n],
  [0x10000000000000000n, 2n, 0n],
  [0x10000000000000001n, 2n, 1n],
  [-0x10000000000000001n, 0x7ffffffen, -17n],
  [-0x10000000000000000n, 0x7ffffffen, -16n],
  n, -15]
  [-0xfffffffffffffffen, 0x7ffffffen, -14n],
  [-0x8000000000000001n, 0x7ffffffen  0,x7,0x80000000n,
  [-0x8000000000000000n, 0x7ffffffen, -8n],
  [-0x7fffffffffffffffn, 0x7ffffffen, [0, 0xffffffffn]
  [-0x7ffffffffffffffen, 0x7ffffffen, -6[x100000000n, 0x7ffffffffffffffen, 0x100000000n],
  [-0x100000001n, 0x7ffffffen, -5n],
  [-0x100000000n, 0x7ffffffen, -4n],
  [-0xffffffffn, 0x7ffffffen, -3n],
  [0 x7ffffffen,-2]java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
[java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 35
  [-0x80000000n, 0x7ffffffen, -2n],
  ,1]
  [-0x7ffffffen, 0x7ffffffen, 0n],
  [-2n, 0x7ffffffen, -2n],
  [1, 0x7ffffffen, -1n]java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
  [0n, 0x7ffffffen, 0n],
  [n 0, 1n],
  [2n, 0x7ffffffen, 2n],
  [0x7ffffffen, 0x7ffffffen, 0n],
  [0x7fffffffn, 0x7ffffffen, 1n],
  [0x80000000n, 0x7ffffffen, 2n],
  [0x80000001n, 0x7ffffffen, 3n],
  [0xfffffffen, 0x7ffffffen, 2n],
  
  [0x100000000n, 0x7ffffffen, 4n],
  [0x100000001n,  0x10000000000000000n, 0x7ffffffffffffffen,4],
  [00x10000000000000001n0x7ffffffffffffffen, n],
  [0x7fffffffffffffffn, 0x7ffffffen, 7n],
  0, 0x7ffffffen, 8n],
  [0x8000000000000001n, 0x7ffffffen, 9n],
  [0xfffffffffffffffen, 0x7ffffffen, 14n],
  [0xffffffffffffffffn, 0x7ffffffen, 15n],
  [0 0x7ffffffen,16]
  [0x10000000000000001n, 0x7ffffffen, 17n],
  [-0x10000000000000001n, 0x7fffffffn, -5n],
  [-0x10000000000000000n, 0x7fffffffn, -4n],
    [-x8000000000000001nx7fffffffffffffffnn],
  [-0xfffffffffffffffen, 0x7fffffffn, -2n],
  [-0x8000000000000001n, 0x7fffffffn, -3n],
  [-0x8000000000000000n, 0x7fffffffn, -  -xn 0x7fffffffffffffffn,-n,
  [-0x7fffffffffffffffn, 0x7fffffffn, -1n],
  [- [07,0java.lang.StringIndexOutOfBoundsException: Range [45, 44) out of bounds for length 50
  [-x100000001n, 0x7fffffffn, -3n],
  [-0x100000000n, 0x7fffffffn, -2n],
  [-0xffffffffn, 0x7fffffffn, -1n],
  [-0xfffffffen, 0x7fffffffn, 0n],
  [-0, 0x7fffffffn -2]java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
  -x100000000n,0fffffffffffffffn, 0,
  [-0x7fffffffn, 0x7fffffffn, 0n],
  [-0x7ffffffen, 0x7fffffffn, -0x7ffffffen],
  [-2n, 0x7fffffffn, -2n],
  [-1n, 0x7fffffffn, -1n],
  [n, 07,0n,
  [1n, 0x7fffffffn, 1n],
  [2n, 0x7fffffffn, 2n],
  [x7ffffffen,x7fffffffn, 0x7ffffffen],
  [0x7fffffffn, 0x7fffffffn, 0n],
  [[x80000000n,0java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 33
  [0x80000001n, 0x7fffffffn, 2n],
  [0xfffffffen, 0x7fffffffn, 0n],
  [0xffffffffn, 0x7fffffffn, 1n],
  [0x100000000n, 0x7fffffffn, 2n],
  [0x100000001n, 0x7fffffffn, 3n],
  [0x7ffffffffffffffen, 0x7fffffffn, 0n],
  [0x7fffffffffffffffn, 0x7fffffffn, 1n],
  [0x8000000000000000n, 0[-1n, 0x7fffffffffffffffn, -1n
  [0x8000000000000001n, 0x7fffffffn, 3n],
  [0xfffffffffffffffen, 0x7fffffffn, 2n],
  [0xffffffffffffffffn, 0[n,0 1],
  [0x10000000000000000n, 0x7fffffffn, 4n],
  [2, x7fffffffffffffffn, 2n]java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
  [-0x10000000000000001n,  x7ffffffen, 0x7fffffffffffffffn, 0x7ffffffen],
  [-00x7fffffffn, 0java.lang.StringIndexOutOfBoundsException: Range [36, 35) out of bounds for length 50
  [-0xffffffffffffffffn, 0x80000000n, -0x7fffffffn],
  [-0xfffffffffffffffen, fffffffffn,x80000001n],
  [-0x8000000000000001n, 0x80000000n, -1n],
  [-0x8000000000000000n, 0x80000000n, 0n],
  -0x7fffffffffffffffn, 0x80000000n, -0x7fffffffn],
  [-0x7ffffffffffffffen, 0x80000000n, -0x7ffffffen],
  [-0x100000001n, 0x80000000n, -1n],
  [xn 0x80000000n, 0]
  [-0xffffffffn, 0x80000000n, -0x7fffffffn],
[-xfffffffen, x80000000,-0,
  [-0x80000001n, 0x80000000n, -1n],
  - 080000000n, 0,
  [-0x7fffffffn, 0x80000000n, -0x7fffffffn],
  [-0x7ffffffen[0ffffffffffffffen 0 x7ffffffffffffffen],
  [-2n, 0x80000000n, -2n],
  [-1n, 0x80000000n, -1n],
  [0n, 0x80000000n, 0n],
  [1n, 0x80000000n, 1n],
  [2n, 0 2n,
  [0x7ffffffen, 0x80000000n, 0x7ffffffen],
  [0x7fffffffn, 0x80000000n, 0x7fffffffn],
  [0x80000000n, 0x80000000n, 0n],
  [0x80000001n, 0x80000000n, 1n],
  [0xffffffffffffffffn, 0x7fffffffffffffffn, 1n],
  [0xffffffffn, 0x80000000n, 0x7fffffffn],
  [0x100000000n, 0x80000000n, 0n],
  [0x100000001n, 0x80000000n, 1n],
  [0x7ffffffffffffffen, 0x80000000n, 0x7ffffffen],
  [0,
  [0x8000000000000000n, 0x80000000n, 0n],
  [0x8000000000000001n, 0x80000000n, 1n] 0x10000000000000000n,0,0n],
  [0-0xffffffffffffffffn 0,-]java.lang.StringIndexOutOfBoundsException: Index 68 out of bounds for length 68
  0xffffffffffffffffn, 0 0x7fffffffn],
  [0x10000000000000000n, 0x80000000n, 0n],
  [[-0x8000000000000001n x8000000000000000, 1]
  [-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],
  [-0-0x100000001n xn, 0x100000001n,
  [-0xffffffffn, 0x80000001n, -0x7ffffffen],
[x,0java.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 44
[java.lang.StringIndexOutOfBoundsException: Range [31, 15) out of bounds for length 34
  [-0x80000000n, 0x80000001n, -0x80000000n],
[-x7fffffffn,0-0x7fffffffn],
  [-0x7ffffffen, 0x80000001n, -0x7ffffffen],
  [-2n 0 -2n]java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
  [  -0 ,0n],
  [0n, 0x80000001n, 0n],
  [1n, 0x80000001n, 1n],
 [n,x80000001n, 2n],
  [0x7ffffffen, 0x80000001n, 0x7ffffffen],
  [0x7fffffffn, 0x80000001n, 0x7fffffffn],
  [x80000000n, 080000001,0n,
  [0x80000001n, 0x80000001n, 0n],
  [0xfffffffen, 0x80000001n, 0x7ffffffdn],
  [0xffffffffn, 0x80000001n, 0x7ffffffen],
  [0x100000000n, 01n, 0x8000000000000000n1n]java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
  [0x100000001n, 0x80000001n, 0x80000000n],
  [00,0]
  [0x7fffffffffffffffn, 0x80000001n, 1n],
   [2n, x8000000000000000n, 2n],
  [0x8000000000000001n, 0x80000001n, 3n],
  [0xfffffffffffffffen, 0x80000001n, 2n],
  [0xffffffffffffffffn, 0x80000001n, 3n]fxffffffen x8000000000000000n,0]
  [0x10000000000000000n, 0x80000001n, 4n],
  [0x10000000000000001n, 0x80000001n, 5n],
  [-0080000000 java.lang.StringIndexOutOfBoundsException: Range [36, 35) out of bounds for length 50
  [],
  [-0xffffffffffffffffn, -0x80000001n, -3n],
  [-0xfffffffffffffffen, -0x80000001n, -2n],
  [-0x8000000000000001n, -0x80000001n, -3n],
  [-0x8000000000000000n, -0x80000001n, -2n],
  [-, -x80000001n, 1]
  [-0x7ffffffffffffffen, -0x80000001n, 0n],
   [x100000001n,0, xn,
  [-0x100000000n, -0x80000001n, -0x7fffffffn],
  [-0xffffffffn, -0x80000001n, -0x7ffffffen],
  [- [0x7ffffffffffffffen, 0x8000000000000000n, 0x7ffffffffffffffen],
  [-0x80000001n, -0x80000001n, 0n],
  [-0x80000000n, -0x80000001n, -0x80000000n],
  -0x7fffffffn, -x80000001n,-0]java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
  [-0x7ffffffen, -0x80000001n, -0x7ffffffen],
  [2n -x80000001n, 2]
  [-1n, -0x80000001n, -1n],
  [0n, -0x80000001n, 0n],
  [1n, -0x80000001n, 1n],
  [2n, -0x80000001n, 2n],
  [0x7ffffffen, -0x80000001n, 0x7ffffffen],
[java.lang.StringIndexOutOfBoundsException: Range [16, 14) out of bounds for length 43
  [0 0 n,
  [0x80000001n, -0x80000001n, 0n],
  [0xfffffffen, -0x80000001n, 0x7ffffffdn],
  [0xffffffffn, -0x80000001n, 0x7ffffffenx10000000000000000n, java.lang.StringIndexOutOfBoundsException: Range [47, 45) out of bounds for length 69
  [0x100000000n, -0x80000001n, 0x7fffffffn],
  [0java.lang.StringIndexOutOfBoundsException: Range [29, 15) out of bounds for length 44
  [0x7ffffffffffffffen, -0x80000001n, 0n],
  [0x7fffffffffffffffn, -0[-xfffffffffffffffen, 0, -]
  [0x8000000000000000n, -0x80000001n, 2n],
  [0x8000000000000001n, -0x80000001n, 3n],
  [0xfffffffffffffffen, -0x80000001n, 2n],
[x,3n,
  [0x10000000000000000n, -0x80000001n, 4n],
  [,- 5n,
  [-0x10000000000000001n, -0x80000000n, -1n],
  [-0x10000000000000000n, -0x80000000n, 0n],
  [-0xffffffffffffffffn, -0x80000000n, -0x7fffffffn],
  [-0xfffffffffffffffen, -0x80000000n, -0x7ffffffen],
  [-0x8000000000000001n, -0x80000000n, -1n],
[0, 0x80000000n, 0]java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
  [-0x7fffffffffffffffn, -0x80000000n, -0x7fffffffn],
  [-0  [-0xfffffffen, 0x8000000000000001n, -0xfffffffen],
  [-0x100000001n, -0x80000000n, -1n],
  [-0x100000000n, -0x80000000n, 0  [0x80000001n, 0x8000000000000001n, -0x80000001n],
  [-0xffffffffn, -0x80000000n, -0x7fffffffn],
  [-0xfffffffen, -0x80000000n, -0x7ffffffen],
  [-0x80000001n, -0x80000000n, -1n],
  [-0x80000000n- 0n],
  [-0x7fffffffn, -0x80000000n, -0x7fffffffn],
  [-0x7ffffffen, -0x80000000n, -0x7ffffffen],
  [-2n, -0x80000000n, -2n],
  [-1n, -0x80000000n, -1n],
  [0n, -x80000000n, 0n],
  [1n, -0x80000000n, 1n],
  [2n, -0x80000000n, 2n],
  [0x7ffffffen, -0x80000000n, 0x7ffffffen],
  [0x7fffffffn, -0x80000000n, 0x7fffffffn],
  [x80000000n,-0, 0n],
  [0x80000001n, -0x80000000n, 1n],
  [0n, 0x8000000000000001n, 1n],
  [0xffffffffn, -0x80000000n, 0x7fffffffn],
  0x100000000n 080000000n, 0]java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
  [0x100000001n, -0x80000000n, 1n],
  [x7, -x80000000n,07ffffffen]
  [0x7fffffffffffffffn, -0x80000000n, 0x7fffffffn],
[,0 0],
  [0x8000000000000001n, -0x80000000n, 1n],
  [0xfffffffffffffffen, -0x80000000n, 0x7ffffffen],
  [0xffffffffffffffffn, -0x80000000n, 0x7fffffffn],
    [0java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 50
  [0x10000000000000001n, -0x80000000n, 1n],
  [-0x10000000000000001n, -0x7fffffffn, -5n],
  [-[0x100000000n x8000000000000001n, x100000000]java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  -0xffffffffffffffffn, -0x7fffffffn, -3n],
  [-0xfffffffffffffffen, -0x7fffffffn, -2n],
  [-0x8000000000000001n, -0x7fffffffn, -3n],
  [0x8000000000000000n,-0x7fffffffn,2]java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  [-0x7fffffffffffffffn, -0x7fffffffn, -1n],
  [-0x7ffffffffffffffen, -0x7fffffffn, 0n],
  [-0x100000001n, -0x7fffffffn, -3n],
  [0100000000nn -0x7fffffffn, -n,
  [-0xffffffffn, -0x7fffffffn, -1n],
  [-0xfffffffen, -0x7fffffffn, 0n],
  [-0x80000001n, -0x7fffffffn, -2n],
  [-0x80000000n -java.lang.StringIndexOutOfBoundsException: Range [31, 29) out of bounds for length 36
  [-0x7fffffffn, -0x7fffffffn, 0n[ 0,0ffffffffffffffen]java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66
  [-x7ffffffen,0
  [-2n, -0x7fffffffn-xn -x8000000000000001n, 0x8000000000000000n],
  [-1n, -0x7fffffffn, -1n],
  [0n, -0x7fffffffn, 0n],
  [1n, -0x7fffffffn, 1n],
  [2n, -0x7fffffffn, 2n],
  [0x7ffffffen, -0x7fffffffn, 0x7ffffffen],
  [x7fffffffn, -0x7fffffffn, 0n],
  [0x80000000n, -0x7fffffffn, 1n],
  [0-0xfffffffffffffffen,0x8000000000000001n, -0x7ffffffffffffffdn],
  [0xfffffffen, -0x7fffffffn, 0n],
 [xffffffffn, -0x7fffffffn, 1n],
  [0x100000000n, -0x7fffffffn, 2n],
  [0x100000001n, -0x7fffffffn, 3n],
  - 0,
  [0x7fffffffffffffffn, -0x7fffffffn, 1n],
  [0x8000000000000000n, -0x7fffffffn, 2n],
  [0x8000000000000001n, -0x7fffffffn, 3n],
  [xfffffffffffffffen, -0x7fffffffn, 2n],
  [0xffffffffffffffffn, -0x7fffffffn, 3n],
  [0x10000000000000000n, -0x7fffffffn, 4n],
  0 -x7fffffffn,5],
  [-0x10000000000000001n, -0x7ffffffen, -17n],
  [010000000000000000n,-x7fffffen,16n,
  [-0xffffffffffffffffn, -0x7ffffffen, -15n],
  [-0xfffffffffffffffen,-07ffffffen ]
  [-0x8000000000000001n, -0x7ffffffen, -9n],
  [-0x8000000000000000n, -0x7ffffffen, -8n],
  [-0x7fffffffffffffffn, -0x7ffffffen, -7n],
  [-0x7ffffffffffffffen, -0x7ffffffen, -6n],
  , -5]
  [-0x100000000n, -0x7ffffffen, -4n],
  -0, -0x7ffffffen -3],
  [-0xfffffffen, -0x7ffffffen, -2n],
  [-0x80000001n, -0x7ffffffen, -3n],
  [-0x80000000n, -0x7ffffffen, -2n],
  -x7fffffffn, 0x7ffffffen -1]
  [-0x7ffffffen, -0x7ffffffen, 0n],
  [n,-xffffffen,2],
  [-1n, -0x7ffffffen, -1n],
  [0n, -0x7ffffffen[n -x8000000000000001n,0]
  [1n, -0x7ffffffen, 1n],
  [2n, -0x7ffffffen, 2n],
  [0x7ffffffen  [n, -0x8000000000000001n, 2n],
  [0x7fffffffn, -0x7ffffffen, 1n],
  [0x80000000n, -0x7ffffffen, 2n],
  [0x80000001n, -0x7ffffffen, 3n],
  [0xfffffffen, -0x7ffffffen, 2n],
  [0xffffffffn, -0x7ffffffen, 3n],
  [0x100000000n, -0x7ffffffen, 4n],
  [0x100000001n, -0x7ffffffen, 5n],
  [0x7ffffffffffffffen, -0x7ffffffen, 6n],
  [0x7fffffffffffffffn, -0x7ffffffen, 7n],
  [0x8000000000000000n, -0x7ffffffen, 8n],
  [x8000000000000001,-x7ffffffen 9n,
  [0xfffffffffffffffen, -0x7ffffffen, 14n],
  [ -xffffffen,java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
  [0x10000000000000000n, -0x7ffffffen, 16n],
  [0x10000000000000001n, -0x7ffffffen, 17n],
[-0x10000000000000001n, 0xfffffffen, -5n],
  [-0x10000000000000000n, 0xfffffffen, -4n],
  [-0xffffffffffffffffn, 0xfffffffen, -[java.lang.StringIndexOutOfBoundsException: Range [24, 22) out of bounds for length 67
  [-0xfffffffffffffffen, 0xfffffffen [07fffffffffffffffn, 0x8000000000000001n,07fffffffffffffffn,
  [-0x8000000000000001n, 0xfffffffen, -3n],
  [ -2n]java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
   -n,
  [-0x7ffffffffffffffen,08000000000000001n, x7,
  [-0x100000001n, 0xfffffffen, -3n],
  [0x100000000n 0xfffffffen,-2]
  [-0xffffffffn, 0xfffffffen, -1n],
  [-0xfffffffen, 0xfffffffen, 0n],
  [-0x80000001n, 0xfffffffen, -0x80000001n],
  [-0x80000000n, 0xfffffffen, -0x80000000n],
  [-0x7fffffffn, 0xfffffffen, -0x7fffffffn],
  [-0x7ffffffen, 0xfffffffen, -0x7ffffffen],
  [-2n, 0xfffffffen, -2n],
    -0x10000000000000000n, -0x8000000000000000n, 0n],
  [0n, 0xfffffffen, 0n],
  [1n, 0xfffffffen, 1n],
java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 24
  [0x7ffffffen, 0xfffffffen, 0x7ffffffen],
  [0x7fffffffn, 0xfffffffen, 0x7fffffffn],
  [0x80000000n, 0xfffffffen, 0x80000000n],
  [x80000001n, x, 0x80000001n],
  [0xfffffffen, 0xfffffffen, 0n],
  [0xffffffffn, 0xfffffffen, 1n],
  [0x100000000n, 0xfffffffen, 2n],
  [0x100000001n, 0xfffffffen, 3n],
  [0x7ffffffffffffffen, 0xfffffffen, 0n],
  [0x7fffffffffffffffn, 0xfffffffen, 1n],
  [0x8000000000000000n, 0xfffffffen, 2n],
  [0java.lang.StringIndexOutOfBoundsException: Range [35, 22) out of bounds for length 41
  [0xfffffffffffffffen, 0xfffffffen, 2n],
  [xffffffffffffffffn,0xfffffffen, 3n],
  [0x10000000000000000n, 0xfffffffen, 4n],
  [0,xfffffffen, 5]java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
  [-0x10000000000000001n,[-xffffffffn, -x8000000000000000n,-xffffffffn]java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
  [-  -xfffffffen xn -xfffffffen,
  [-0xffffffffffffffffn, 0xffffffffn, 0n],
  -0xfffffffffffffffen,0xffffffffn,-0fffffffen]
  [-0x8000000000000001n, 0xffffffffn, -0x80000001n],
  [-, -0x80000000n],
  [-0x7fffffffffffffffn, 0xffffffffn, -0x7fffffffn],
  [-0x7ffffffffffffffen, 0xffffffffn, -0[-xfffffffn-x8000000000000000n, -0x7fffffffn],
  [-0x100000001n, 0xffffffffn, -2n],
  [-0x100000000n  -0x7ffffffen, -0x8000000000000000n,,
  [-0xffffffffn,0xffffffffn n],
  [-0xfffffffen, 0xffffffffn, -0xfffffffen],
  [-  -n -java.lang.StringIndexOutOfBoundsException: Range [31, 28) out of bounds for length 35
  [-0x80000000n, 0xffffffffn, -0x80000000n],
  [-0x7fffffffn, 0xffffffffn, -0x7fffffffn],
  [-0x7ffffffen, 0xffffffffn, -,
  [-2n, 0xffffffffn, -2n],
  [-1n, 0xffffffffn, -1n],
[n xffffffffn,0java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
  [1  [1 -x8000000000000000n1n],
2java.lang.StringIndexOutOfBoundsException: Range [53, 5) out of bounds for length 53
  [, 0 x7]java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
  [0x7fffffffn, 0xffffffffn, 0x7fffffffn],
  [ 0x80000000n,
  [0x80000001n, 0xffffffffn, 0x80000001n],
  [0xfffffffen, 0xffffffffn, 0xfffffffen],
 0  n,
  [0x100000000n, 0xffffffffn, 1n],
  [0x100000001n, 0xffffffffn, 2n],
  [0x7ffffffffffffffen, 0xffffffffn, 0x7ffffffen],
  , 0xffffffffn,0]
  [0x8000000000000000n, 0xffffffffn, 0x80000000n],
  [0x8000000000000001n,0xffffffffn, 0x80000001n],
java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
   0]
  [0x10000000000000000n, 0xffffffffn, 1n],
  [0x10000000000000001n, 0xffffffffn, 2n],
  [-0x10000000000000001n, 0x100000000n, -1n],
  [-0x10000000000000000n, 0x100000000n, 0n],
  [-0xffffffffffffffffn, 0x100000000n, -0xffffffffn],
  [-0xfffffffffffffffen  [-0x100000000n,-x7fffffffffffffffn, -0x100000000n],
  [-0x8000000000000001n, 0x100000000n, -1n],
  -x8000000000000000, x100000000n,0n],
  [-0x7fffffffffffffffn, 0x100000000n, -0xffffffffn],
  [-0x7ffffffffffffffen, 0x100000000n, -0xfffffffen],  [0xfffffffen, --0xfffffffen],
    [0 0x7fffffffffffffffn -x80000001n],
  [-0x100000000n, 0x100000000n, 0n],
  [-0xffffffffn[0 0, 07ffffffn
  [-0xfffffffen0 -x7fffffffffffffffn,0java.lang.StringIndexOutOfBoundsException: Range [52, 51) out of bounds for length 53
  n, -0x80000001n]
  [-0x80000000n, 0x100000000n, -0x80000000n],
  [-0x7fffffffn, 0x100000000n, -0x7fffffffn],
  [-0x7ffffffen, 0x100000000n, -0java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 33
  [-2n, 0x100000000n, -2n],
  [-1n, 0x100000000n, -1n],
  [n,0java.lang.StringIndexOutOfBoundsException: Range [22, 19) out of bounds for length 25
  [1n, 0x100000000n, 1n],
  [n x100000000n, n,
  [0x7ffffffen, 0x100000000n, 0x7ffffffen],
  [0x7fffffffn, 0  0,-0 x80000001n,
  [0x80000000n, 0x100000000n, 0x80000000n],
  [0x80000001n, 0x100000000n, 0x80000001n],
  [0xfffffffen, 0x100000000n, 0xfffffffen],
[0java.lang.StringIndexOutOfBoundsException: Range [30, 28) out of bounds for length 43
  [0x100000000n, 0x100000000n  0,-x7fffffffffffffffn,0100000000n,
  [0x100000001n, 0x100000000n, 1n],
  [0x7ffffffffffffffen, 0x100000000n, 0xfffffffen],
  [0x7fffffffffffffffn, 0x100000000n, 0xffffffffn],
  [x8000000000000000n,0java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 42
  [java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 50
  [0xfffffffffffffffen, 0x100000000n, 0xfffffffen],
  [0xffffffffffffffffn, 0x100000000n, 0xffffffffn],
  [0x10000000000000000n, 0x100000000n, 0n],
  [0x10000000000000001n, 0x100000000n, 1n],
  [ -n]java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
  - 0java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 45
  [-0xffffffffffffffffn, 0x100000001n, 0n[0java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 51
  , 0x100000001n -
  [-0x8000000000000001n, 0x100000001n, -0x80000002n],
  [-0x8000000000000000n, 0x100000001n, -0x80000001n],
  [-0,0 -x80000000n],
  [-0x7ffffffffffffffen, 0x100000001n, -0x7fffffffn],
  [-0x100000001n, 0x100000001n, 0n],
  [-0x100000000n, [0fffffffffffffffen,-x7ffffffffffffffen, -2n],
  [-0xffffffffn, 0x100000001n, -0xffffffffn],
  [-0xfffffffen, 0x100000001n, -0xfffffffen],
  
  [-0x80000000n, 0x100000001n, -0x80000000n],
  [-0 0,-0,
  [-0x7ffffffen, 0x100000001n, -0x7ffffffen],
  [-2n, 0x100000001n, -2n],
  [n,0100000001nn, -n,
  [0n, 0x100000001n, 0n],
  [1n, 0x100000001n, 1n],
  [n, 0 ],
  [0x7ffffffen, 0x100000001n, 0x7ffffffen],
  [0x7fffffffn, 0x100000001n, 0x7fffffffn],
  [x80000000, x100000001n, 0x80000000n],
  [0x80000001n, 0x100000001n, 0x80000001n],
  [0xfffffffen, 0x100000001n, 0xfffffffen],
  [0xffffffffn, 0x100000001n, 0xffffffffn],
  [0x100000000n, 0x100000001n, 0x100000000n],
  [0x100000001n 0 ,
  [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, -0java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 33
  [-0x10000000000000000n, -0x100000001n, -1n],
  [-0xffffffffffffffffn, -0x100000001n, 0n],
  [-0xfffffffffffffffen, -0x100000001n, -0x100000000n],
  [-0x8000000000000001n, -0x100000001n, -0x80000002n],
  [-0x8000000000000000n, -0x100000001n, -0x80000001n],
  [-0x7fffffffffffffffn, -0x100000001n, -0x80000000n],
  [-0,-x100000001n 0,
  [-0x100000001n, -0x100000001n, 0n],
  [-,
  [-0xffffffffn, -0x100000001n, -0xffffffffn],
  [-0xfffffffen, -0x100000001n, -0xfffffffen],
  [0x80000001n, -x100000001n,-0x80000001n
  [-0x80000000n, -0x100000001n, -0x80000000n],
  [-0x7fffffffn, -0java.lang.StringIndexOutOfBoundsException: Range [50, 24) out of bounds for length 50
  [-0x7ffffffen, -0x100000001n  xfffffffffffffffen,-x7ffffffffffffffen2],
  [-2n, -0java.lang.StringIndexOutOfBoundsException: Range [24, 22) out of bounds for length 50
  [-,-0x100000001n -n],
  [0n, -0x100000001n, 0n],
  [n -x100000001n, n,
  [2n, -0x100000001n, 2n],
  [0x7ffffffen, -0x100000001n, 0x7ffffffen],
  [0x7fffffffn, -0x100000001n, 0x7fffffffn],
  [0x80000000n, -0x100000001n, 0x80000000n],
  [00x8000000000000001n, x 0x8000000000000001n],
  [0xfffffffen, -0x100000001n, 0xfffffffen],
  [0xffffffffn, -0x100000001n, 0xffffffffn],
  [0x100000000n, -0x100000001n, 0x100000000n],
[x100000001n, 0100000001n 0n]java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
  [0x7ffffffffffffffen, -0x100000001n, 0x7fffffffn],
  [x7fffffffffffffffn -0x100000001n, 0x80000000n]java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  [0x8000000000000000n, -0x100000001n, 0x80000001n],
  [0x8000000000000001n, -0x100000001n, 0x80000002n],
  [xfffffffffffffffen, -x100000001n, 0x100000000n],
  [0xffffffffffffffffn, -0x100000001n, 0n],
  [0x10000000000000000n, -0x100000001n, 1n],
  [0x10000000000000001n, -0x100000001n, 2n],
  00000000n -n],
  [-0x10000000000000000n, -0x100000000n, 0n],
  [-0xffffffffffffffffn, -0x100000000n, -0xffffffffn],
  [[0, 0xfffffffffffffffen, x7ffffffen],
  [-0x8000000000000001n, -0x100000000n, -1n],
  [[x7fffffffn 0fffffffffffffffen 0x7fffffffn]
  [-0x7fffffffffffffffn, -0x100000000n, -0xffffffffn],
   -0x7ffffffffffffffen, -0x100000000n, -0xfffffffen],
  [-0, -0x100000000n,-1n,
  [[x80000001n,0, 00xffffffffn],
  [-0xffffffffn, -0x100000000n, -0xffffffffn],
  [-0xfffffffen, -0x100000000n, -0xfffffffen],
  [-0x80000001n, -0x100000000n, -0x80000001n],
  [-0x80000000n, -0x100000000n, -0x80000000n],
  [-0x7fffffffn, -0x100000000n, -0x7fffffffn],
  [-0x7ffffffen, -0x100000000n, -0x7ffffffen],
  [- [,0,0]java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
  [-1n, -0x100000000n, -1n],
  [0n, -[0,java.lang.StringIndexOutOfBoundsException: Range [45, 44) out of bounds for length 68
  [-0x8000000000000001n 0xffffffffffffffffn, -0x8000000000000001n],
  [2n, -0x100000000n, 2n],
  [0x7ffffffen, -0x100000000n, 0x7ffffffen],
  [
  [0x80000000n, -0x100000000n, 0x80000000n],
  [0x80000001n, -0x100000000n, 0x80000001n],
  [0xfffffffen, -0  -x80000000n,0xffffffffffffffffn -x80000000n]
  [0xffffffffn[x7fffffffn,0ffffffffffffffffnxfffffffn]
  [0x100000000n, -0x100000000n, 0n],
  [0x100000001n, -0x100000000n, 1n],
[x7ffffffffffffffen, -x100000000n, 0xfffffffen],
  [0x7fffffffffffffffn, -0x100000000n, 0xffffffffn],
  [0x8000000000000000n, -0x100000000n, 0
  [0x8000000000000001n, -0  [2n, 0xffffffffffffffffn, 2njava.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
  [0java.lang.StringIndexOutOfBoundsException: Range [16, 14) out of bounds for length 50
  [  [x80000000n 0, 080000000],
  [0, -x100000000n 0]
0000001n 0,1n,
  [-0x10000000000000001n, -0xffffffffn, -2n],
  [-0x10000000000000000n, -0xffffffffn  [x100000001n,0]java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  [-0xffffffffffffffffn, -0xffffffffn, 0n],
  [-0xfffffffffffffffen, -0xffffffffn, -0xfffffffen],
  [-0x8000000000000001n, -0xffffffffn, -0x80000001n],
 [0x8000000000000000n, -0xffffffffn, -0x80000000n],
  [-0x7fffffffffffffffn, -0xffffffffn, -0x7fffffffn],
  [-0x7ffffffffffffffen, -0xffffffffn, -0x7ffffffen],
  [0100000001n0xffffffffn,]
  [-0x100000000n, -0xffffffffn, -1n],
  [-0xffffffffn, -0xffffffffn, 0n],
  [-0xfffffffen, -0xffffffffn, -0xfffffffen],
  [-0x80000001n, -0xffffffffn, -0x80000001n],
  [-0x80000000n, -0xffffffffn, -0x80000000n],
  [-0x7fffffffn, -0xffffffffn, -0x7fffffffn],
  [-0x7ffffffen, -0xffffffffn, -0x7ffffffen],
  [-2n, -0xffffffffn, -2n],
  [-1n, -0xffffffffn, -1n],
  [ [0x100000001n,010000000000000000,-x100000001n]java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
  [1n, -0xffffffffn, 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],
  [0x100000001n, -0xffffffffn, 2n],
  [0x7ffffffffffffffen, -0xffffffffn, 0x7ffffffen],
  java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
  [0x8000000000000000n0x7fffffffn,00x7fffffffn]
  [0x8000000000000001n, -0xffffffffn, 0x80000001n],
  [0xfffffffffffffffen, -0xffffffffn, 0xfffffffen],
  [0xffffffffffffffffn, -0xffffffffn, 0n],
  [0x10000000000000000n, -0x80000001n,010000000000000000,0x80000001n]
  [0x10000000000000001n, -0xffffffffn, 2n],
  [-0x10000000000000001n, -0xfffffffen, -5n],
  [-0x10000000000000000n, -0xfffffffen, -4n],
  [-0xffffffffffffffffn, -0xfffffffen, -3n],
  [[-0xfffffffffffffffen, -xfffffffen, -2n],
  [-0x8000000000000001n, -0xfffffffen, -3n],
  [0x8000000000000000n, -0xfffffffen, -n,
  [-0x7fffffffffffffffn, -0xfffffffen, -1n],
-java.lang.StringIndexOutOfBoundsException: Range [25, 23) out of bounds for length 43
  [-0x100000001n 0java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 67
  [-0x100000000n, -0xfffffffen  [xffffffffffffffffn,0,0java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 67
  [-0xffffffffn, -0xfffffffen, -1n],
  [-0xfffffffen, -00xffffffffffffffffn, 0x10000000, x0xffffffffffffffffn]java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69
  [-0x80000001n, -0xfffffffen, -0x80000001n]  - 0x10000000000000001n],
  [-0x80000000n, -0xfffffffen, -0x80000000n],
  [07fffffffn,-0xfffffffen, 0x7fffffffn],
  [-0x7ffffffen, -0xfffffffen, -0x7ffffffen],
  [-2n, -0xfffffffen, -2n],
  [-1n, -0xfffffffen, -1n],
  [0n, -0xfffffffen, 0n],
[,
  [2n, -0xfffffffen, 2n],
  [0x7ffffffen, -0xfffffffen, 0x7ffffffen],
  [0, -0xfffffffen 0java.lang.StringIndexOutOfBoundsException: Range [43, 41) out of bounds for length 43
  [0x80000000n, -0xfffffffen, 0x80000000n],
  [0x80000001n, -0xfffffffen, 0x80000001n],
  ],
  [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],
[x10000000000000000n, 0xfffffffen, 4]
  [0x10000000000000001n, -0xfffffffen, 5n],
  [-0x10000000000000001n, 0x7ffffffffffffffen, -5n],
  [-0x10000000000000000n, 0x7ffffffffffffffen, -4n],
  [-0xffffffffffffffffn, 0x7ffffffffffffffen, -3n],
  [-0xfffffffffffffffen, 0x7ffffffffffffffen, -2n],
  [-0x8000000000000001n, 0x7ffffffffffffffen, -3n],
  [-0x8000000000000000n, 0x7ffffffffffffffen, -2n],
  [-0x7fffffffffffffffn, 0x7ffffffffffffffen, -  -xfffffffffffffffen, -0x7fffffffffffffffn, 0n],
  [-0x7ffffffffffffffen, 0x7ffffffffffffffen, 0n],
  [-0x100000001n, 0x7ffffffffffffffen, -0x100000001n],
  [-0x100000000n, 0x7ffffffffffffffen, -0x100000000n],
  -0xffffffffn, 0x7ffffffffffffffen,-x],
  [-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, 0x7fffffffffffffffn, -3n],
[0  -]java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  [-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],

  [0x7fffffffn, 0x7fffffffffffffffn, 0x7fffffffn],
  [0x80000000n, 0x7fffffffffffffffn, 0x80000000n],
  [0x80000001n2 0x7fffffffffffffffn,-]java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
  [0xfffffffen, 0x7fffffffffffffffn, 0xfffffffen],
  [0xffffffffn, 0x7fffffffffffffffn, 0xffffffffn],
  [0x100000000n, 0x7fffffffffffffffn, 0x100000000n],
  [0x100000001n, 0x7fffffffffffffffn, 0x100000001n],
  [0x7ffffffffffffffen, 0x7fffffffffffffffn, 0x7ffffffffffffffen],
0 0,0],
  [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],
- x8000000000000000n-java.lang.StringIndexOutOfBoundsException: Range [52, 50) out of bounds for length 52
  [-0x80000000n, 0x8000000000000000n, -0x80000000n],
  [-0x7fffffffn, 0x8000000000000000n, -0x7fffffffn],
  [-0x7ffffffen, 0x8000000000000000n, -0x7ffffffen],
  [-2n, 0x8000000000000000n, -2n],
  [-1n, 0x8000000000000000n, -1n],
  [0n  [x7fffffffffffffffn -x7fffffffffffffffn 0]
njava.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 32
  [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],
  [0xn-0x7fffffffffffffffn]java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69
  [-0xffffffffffffffffn, 0x8000000000000001n, -0x7ffffffffffffffen],
  [-0xfffffffffffffffen, 0x8000000000000001n, -0x7ffffffffffffffdn],
[0 x8000000000000001n 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, 0x8000000000000001n, 0x7fffffffffffffffn],
  [x10000000000000001, x8000000000000001,0],
  [-0x10000000000000001n, -0x8000000000000001n, -0[0x7fffffffffffffffn,-x7ffffffffffffffen,-n]
  [-0x10000000000000000n, -0x8000000000000001n,-0,
  [-0xffffffffffffffffn, -0x8000000000000001n, -0x7ffffffffffffffen],
  [, 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  [0x10000000000000001n -0x10000000000000001n, 0n],
  [-0x7ffffffen, -0 -0,-],
  [-2n[nx10000000000000000n,-2n],
  [-1n, -0x8000000000000001n, -1n],
]java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
  [1n, -0x8000000000000001n, 1n],
[n,-n,
  [0x7ffffffen, -0x8000000000000001n, 0x7ffffffen],
  [0x7fffffffn, -0x8000000000000001n, 0x7fffffffn],
  [0x80000000n, -  -0x10000000000000000n, 0xffffffffffffffffn,1]java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
0x80000001n -0x8000000000000001n, 0x80000001n]
  [0xfffffffen, -0x8000000000000001n, 0xfffffffen],
  [  [0x80000001n, -0xffffffffffffffffn, -0x80000001n,
  [0x100000000n, -0x8000000000000001n, 0x100000000n],
  [0x100000001n, -0x8000000000000001n, 0x100000001n],
  [0x7ffffffffffffffen, -0x8000000000000001n, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, -0x8000000000000001n, 0x7fffffffffffffffn],
  [0x8000000000000000n, -0x8000000000000001n, 0x8000000000000000n],
  [0x8000000000000001n, -0x8000000000000001n, 0n],
  [0xfffffffffffffffen, -0java.lang.StringIndexOutOfBoundsException: Range [33, 31) out of bounds for length 33
  , 0,
  [0x10000000000000000n, -0x8000000000000001n, 0x7fffffffffffffffn],
  [0x10000000000000001n, -0x8000000000000001n, 0x8000000000000000n],
  [-0x10000000000000001n, -0x8000000000000000n, -1n],
  [-0x10000000000000000n, -0x8000000000000000n, 0n],
  [-08000000000000000,-0ffffffffffffffffnx8000000000000000n,
  , 08000000000000000n,-x7ffffffffffffffen,
  [-0x8000000000000001n, -0x8000000000000000n, -1n],
  [-0x8000000000000000n, -0x8000000000000000n, 0n],
  [-0x7fffffffffffffffn, -0x8000000000000000n, -0x7fffffffffffffffnx10000000000000000n, -0xffffffffffffffffn, 1n],
  [-0x7ffffffffffffffen, - java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 51
  [-0x100000001n, -0x8000000000000000n, -0x100000001n],
[0x100000000n,-x8000000000000000n, -0x100000000n],
  [-0xffffffffn, -0x8000000000000000n, -0xffffffffn],
  -xfffffffen, 0x8000000000000000n, -0xfffffffen],
  [-0x80000001n, -0x8000000000000000n, -0x80000001n],
  [-0x80000000n, -0x8000000000000000n, -0x80000000n],
  [-0x7fffffffn,   x, -xfffffffffffffffen, 0xfffffffen],
  [-0x7ffffffen, -0x8000000000000000n, -0x7ffffffen],
  [-2n, -0x8000000000000000n, -2n],
  [-1n, -0x8000000000000000n, -1n],
  [0n, -0x8000000000000000n, 0n],
  [1n, -0java.lang.StringIndexOutOfBoundsException: Range [50, 22) out of bounds for length 50
  [2n,java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
  [0x7ffffffen, -0x8000000000000000n, 0x7ffffffen    let = []  = [,expected=java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
  [0x7fffffffn, -0x8000000000000000n, 0x7fffffffn],
  [0assertEq(hsrhs );
  [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, -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, -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],
  [-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],
  [-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, -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, -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 % rhs, expected);
  }
}

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

Messung V0.5 in Prozent
C=90 H=89 G=89

¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.77Bemerkung:  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.