Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/js/src/jit-test/tests/gc/   (Firefox Browser Version 153.0.1©)  Datei vom 27.6.2026 mit Größe 382 B image not shown  

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],
  [0xffffffffn, -2n, 1n],
  [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],
  [0x8000000000000001n, 1n, 0n],
  [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],
  [0x8000000000000000n, 2n, 0n],
  [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, 0x7ffffffen, 6n],
  [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],
  [-0xffffffffffffffffn, 0x7fffffffn, -3n],
  [-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],
  [-2java.lang.StringIndexOutOfBoundsException: Range [26, 6) out of bounds for length 67
  [-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, 0x7fffffffn, 3n],
  [0x7ffffffffffffffen, 0x7fffffffn, 0n],
  [0x7fffffffffffffffn, 0x7fffffffn, 1n],
  [0x8000000000000000n, 0x7fffffffn, 2n],
  [0x8000000000000001n, 0x7fffffffn, 3n],
  [0xfffffffffffffffen, 0x7fffffffn, 2n],
  [0xffffffffffffffffn, 0x7fffffffn, 3n],
  [0x10000000000000000n, 0x7fffffffn, 4n],
  [0x10000000000000001n, 0x7fffffffn, 5n],
  [-0x10000000000000001n, 0x80000000n, -1n],
  [-0x10000000000000000n, 0x80000000n, 0n],
  [-0xffffffffffffffffn, 0x80000000n, -0x7fffffffn],
  [-0xfffffffffffffffen, 0x80000000n, -0x7ffffffen],
  [-0x8000000000000001n, 0x80000000n, -1n],
  [-0x8000000000000000n, 0x80000000n, 0n],
  [-0x7fffffffffffffffn, 0x80000000n, -0x7fffffffn],
  [-0x7ffffffffffffffen, 0x80000000n, -0x7ffffffen],
  [-0x100000001n, 0x80000000n, -1n],
  [-0x100000000n, 0x80000000n, 0n],
  [-0xffffffffn, 0x80000000n, -0x7fffffffn],
  [-0xfffffffen, 0x80000000n, -0x7ffffffen],
  [-0x80000001n, 0x80000000n, -1n],
  [-0x80000000n, 0x80000000n, 0n],
  [-0x7fffffffn, 0x80000000n, -0x7fffffffn],
  [-0x7ffffffen, 0x80000000n, -0x7ffffffen],

  [-1n, 0x80000000n, -1n],
  [0n, 0x80000000n, 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],
  [0x7ffffffffffffffen, 0x80000000n, 0x7ffffffen],
  [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],
  [-0xfffffffffffffffen, 0x80000001n, -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],
  [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, 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, -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],
  [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, -0x80000001n, 5n],
  [-0x10000000000000001n, -0x80000000n, -1n [-x10000000000000000n0x7fffffffffffffffn],
  [-0x10000000000000000n, -0x80000000n, 0n],
  [-0xffffffffffffffffn, -0x80000000n, -0x7fffffffn],
  [-0xfffffffffffffffen, -0x80000000n, -0x7ffffffen],
  [-0x8000000000000001n, -0x80000000n, -1n],
  [-0x8000000000000000n, -0x80000000n, 0n],
  [-0x7fffffffffffffffn, -0x80000000n, -0x7fffffffn],
  [-0x7ffffffffffffffen, -0x80000000n, -0x7ffffffen],
  [-0x100000001n, -0x80000000n, -1n],
  [-0x100000000n, -0x80000000n, 0n],
  [-0xffffffffn, -0x80000000n, -0x7fffffffn],
  [-0xfffffffen, -0x80000000n, -0x7ffffffen],
  [-0x80000001n, -0x80000000n, -1n],
  [-0x80000000n, -0x80000000n, 0n],
  [-0x7fffffffn, -0x80000000n, -0x7fffffffn],
  [-0x7ffffffen, -0x80000000n, -0x7ffffffen],
  [-2n, -0x80000000n, -2n],
  [-1n, -0x80000000n, -1n],
  [0n, -0x80000000n, 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],
  [0x7ffffffffffffffen, -0x80000000n, 0x7ffffffen],
  [0x7fffffffffffffffn, -0x80000000n, 0x7fffffffn],
  [0x8000000000000000n, -0x80000000n, 0n],
  [0x8000000000000001n, -0x80000000n, 1n],
  [0xfffffffffffffffen, -0x80000000n, 0x7ffffffen],
  [0xffffffffffffffffn, -0x80000000n, 0x7fffffffn],
  [0x10000000000000000n, -0x80000000n, 0n],
  [0x10000000000000001n, -0x80000000n, 1n],
  [-0x10000000000000001n, -0x7fffffffn, -5n],
  [-0x10000000000000000n, -0x7fffffffn, -4n],
  [-0xffffffffffffffffn, -0x7fffffffn, -3n],
  [0fffffffffffffffen -0,-n],
  [-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, -0x7fffffffnx7fffffffn, -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],
  [x100000001n 0x7fffffffn 3n],
  [0x7ffffffffffffffen, -0x7fffffffn, 0n],
  [0x7fffffffffffffffn, -0x7fffffffn, 1n],
  [0x8000000000000000n, -0x7fffffffn, 2n],
  [0x8000000000000001n, -0x7fffffffn, 3n],
  0 0java.lang.StringIndexOutOfBoundsException: Range [38, 36) out of bounds for length 42
  [0xffffffffffffffffn, -0x7fffffffn, 3n],
  [0x10000000000000000n, -0x7fffffffn, 4n],  -0x80000000n,-java.lang.StringIndexOutOfBoundsException: Range [39, 37) out of bounds for length 53
  [0x10000000000000001n, -0x7fffffffn, 5n],
  [-0x10000000000000001n, -0x7ffffffen, [0x7ffffffen,-0java.lang.StringIndexOutOfBoundsException: Range [53, 37) out of bounds for length 53
  [-0x10000000000000000n, -0,-n],
  [-0xffffffffffffffffn, -0x7ffffffen, -15n],
  [-0xfffffffffffffffen, -0x7ffffffen, -14n],
  [-0x8000000000000001n, -0x7ffffffen, -9n],
  [-0x8000000000000000n, -0x7ffffffen, -8n],
  java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  -x7ffffffffffffffen,0x7ffffffen,-6n]java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  [-0x7ffffffen, x, 0f,
  [-0x100000000n, -0[0x7fffffffn, -0x8000000000000001njava.lang.StringIndexOutOfBoundsException: Range [51, 49) out of bounds for length 51
  [-0xffffffffn, -0x7ffffffen, -3n],
  [-0xfffffffen, -0x7ffffffen, -2n],
  [-0x80000001n, -0x7ffffffen, -3n],
  [-0x80000000n, -0x7ffffffen, -2n],
  [-0x7fffffffn, -0x7ffffffen, -1n],
  [-0x7ffffffen, -0x7ffffffen, 0n],
  [x x8000000000000001n0]
  [-1n, -0x7ffffffen, -1n],
  [0n, -0x7ffffffen, 0n],
  [1n, -0x7ffffffen, 1n],
  [2n, -0x7ffffffen, 2n],
  [0x7ffffffen, -0x7ffffffen, 0n],
  [0x7fffffffn, -0x7ffffffen, 1n],
  [0x80000000n, -00x100000001n, -0x80000000000000, x100000001n],
  [00x7ffffffffffffffen0 0,
  [0xfffffffen, -0x7ffffffen, 2n],
  [0xffffffffn, -0x7ffffffen, 3n],
  [0,-0 n]
  [0x100000001n, -0x7ffffffen, 5n],
  [0x7ffffffffffffffen, -0x7ffffffen, 6n],
  07ffffffffffffffn- n,
  [0x8000000000000000n, -0x7ffffffen, 8n],
  [0x8000000000000001n, -0x7ffffffen, 9n],
  [0xfffffffffffffffen, -0x7ffffffen, 14n],
  [0xffffffffffffffffn, -0x7ffffffen, 15n],
  [0x10000000000000000n, -0x7ffffffen, 16n],
  [0x10000000000000001n, -0x7ffffffen, 17n],
  [0x10000000000000001n, 0xfffffffen, -5n]java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  [-0x10000000000000000n, 0xfffffffen, -4n],
  [-0xffffffffffffffffn, 0xfffffffen, -3n],
  [-0xfffffffffffffffen, 0xfffffffen, -2n],
  [-0x8000000000000001n, 0xfffffffen, -3n],
  [-0x8000000000000000n, 0xfffffffen, -2n],
  [-java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 43
  [-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, 0 -0,
  [-2n, 0xfffffffen, -2n],
  [-1n, 0xfffffffen, -1n],
  [0n, 0xfffffffen, 0n],
  [1n, 0xfffffffen, 1n],
  [2n, 0xfffffffen, 2n],
  [0x7ffffffen,  -x100000001,-0x8000000000000000n, -0x100000001n],
  [0x7fffffffn, 0xfffffffen, 0x7fffffffn],
[java.lang.StringIndexOutOfBoundsException: Range [16, 14) out of bounds for length 42
  [0x80000001n, 0xfffffffen000000000n, -0xffffffffn],
  [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],
[0java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 53
[java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 42
  [0x10000000000000001n, 0xfffffffen, 5n],
  [-0x10000000000000001n, 0xffffffffn, -2n],
  [-0x10000000000000000n, 0xffffffffn, -1n],
  [-0xffffffffffffffffn, 0xffffffffn, 0n],
  [-0xfffffffffffffffen, 0xffffffffn, -0xfffffffen],
  [-0x8000000000000001n, 0xffffffffn, -0x80000001n],
  [-0x8000000000000000n, 0xffffffffn, -0x80000000n],
  [-0x7fffffffffffffffn, 0xffffffffn, -0x7fffffffn],
  [-0x7ffffffffffffffen, 0xffffffffn, -0x7ffffffen],
  [-0x100000001n, 0xffffffffn, -2n],
  [-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],
  [0n, 0xffffffffn, 0n],
  [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],
  [0x7fffffffffffffffn, 0xffffffffn, 0x7fffffffn],
  [0x8000000000000000n, 0xffffffffn, 0x80000000n],
  [0x8000000000000001n, 0xffffffffn, 0x80000001n],
  [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],
  [-0x8000000000000000n, 0x100000000n, 0n],
  [-0x7fffffffffffffffn, 0x100000000n, -0xffffffffn],
  [-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, 0x100000000n, 1n],
  [2n, 0x100000000n, 2n],
  [0x7ffffffen, 0x100000000n, 0x7ffffffen],
  [0x7fffffffn, 0x100000000n, 0x7fffffffn],
  [0x80000000n, 0x100000000n, 0x80000000n],
  [0x80000001n, 0x100000000n, 0x80000001n],
  [0xfffffffen, 0x100000000n, 0xfffffffen],
  [0xffffffffn, 0x100000000n, 0xffffffffn],
  [0x100000000n, 0x100000000n, 0n],
  [0x100000001n, 0x100000000n, 1n],
  [0x7ffffffffffffffen, 0x100000000n, 0xfffffffen],
  [0x7fffffffffffffffn, 0x100000000n, 0xffffffffn],
  [0x8000000000000000n, 0x100000000n, 0n],
  [0x8000000000000001n, 0x100000000n, 1n],
  [0xfffffffffffffffen, 0x100000000n, 0xfffffffen],
  [0xffffffffffffffffn, 0x100000000n, 0xffffffffn],
  [0x10000000000000000n, 0x100000000n, 0n],
  [0x10000000000000001n, 0x100000000n, 1n],
  [-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, 0x100000001n, -0xffffffffn],
  [-0xfffffffen, 0x100000001n, -0xfffffffen],
  [-0x80000001n, 0x100000001n, -0x80000001n],
  [-0x80000000n, 0x100000001n, -0x80000000n],
  [-0x7fffffffn, 0x100000001n, -0x7fffffffn],
  [-0x7ffffffen, 0x100000001n, -0x7ffffffen],
  [-2n, 0x100000001n, -2n],
  [-1n, 0x100000001n, -1n],
  [0n, 0x100000001n, 0n],
  [1n, 0x100000001n, 1n],
  [2n, 0x100000001n, 2n],
  [0x7ffffffen, 0x100000001n, 0x7ffffffen],
  [0x7fffffffn, 0x100000001n, 0x7fffffffn],
  [0x80000000n, 0x100000001n, 0x80000000n],
  [0x80000001n, 0x100000001n, 0x80000001n],
  [0xfffffffen, 0x100000001n, 0xfffffffen],
  [0xffffffffn, 0x100000001n, 0xffffffffn],
  [0x100000000n, 0x100000001n, 0x100000000n],
  [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, -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, -0x100000001n, -0xffffffffn],
  [-0xfffffffen, -0x100000001n, -0xfffffffen],
  [-0x80000001n, -0x100000001n, -0x80000001n],
  [-0x80000000n, -0x100000001n, -0x80000000n],
  [-0x7fffffffn, -0x100000001n, -0x7fffffffn],
  [-0x7ffffffen, -0x100000001n, -0x7ffffffen],
  [-2n, -0x100000001n, -2n],
  [-1n, -0x100000001n, -1n],
  [0n, -0x100000001n, 0n],
  [1n, -0x100000001n, 1n],
  [2n, -0x100000001n, 2n],
  [0x7ffffffen, -0x100000001n, 0x7ffffffen],
  [0x7fffffffn, -0x100000001n, 0x7fffffffn],
  [0x80000000n, -0x100000001n, 0x80000000n],
  [0x80000001n, -0x100000001n, 0x80000001n],
  [0xfffffffen, -0x100000001n, 0xfffffffen],
  [0xffffffffn, -0x100000001n, 0xffffffffn],
  [0x100000000n, -0x100000001n, 0x100000000n],
  [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],
  [-0xffffffffffffffffn, -0x100000000n, -0xffffffffn],
  [-0xfffffffffffffffen, -0x100000000n, -0xfffffffen],
  [-0x8000000000000001n, -0x100000000n, -1n],
  [-0x8000000000000000n, -0x100000000n, 0n],
  [-0x7fffffffffffffffn, -0x100000000n, -0xffffffffn],
  [-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, -0x100000000n, 1n],
  [2n, -0x100000000n, 2n],
  [0x7ffffffen, -0x100000000n, 0x7ffffffen],
  [0x7fffffffn, -0x100000000n, 0x7fffffffn],
  [0x80000000n, -0x100000000n, 0x80000000n],
  [0x80000001n, -0x100000000n, 0x80000001n],
  [0xfffffffen, -0x100000000n, 0xfffffffen],
  [0xffffffffn, -0x100000000n, 0xffffffffn],
  [0x100000000n, -0x100000000n, 0n],
  [0x100000001n, -0x100000000n, 1n],
  [0x7ffffffffffffffen, -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],
  [-0x10000000000000000n, -0xffffffffn, -1n],
  [-0xffffffffffffffffn, -0xffffffffn, 0n],
  [-0xfffffffffffffffen, -0xffffffffn, -0xfffffffen],
  [-0x8000000000000001n, -0xffffffffn, -0x80000001n],
  [-0x8000000000000000n, -0xffffffffn, -0x80000000n],
  [-0x7fffffffffffffffn, -0xffffffffn, -0x7fffffffn],
  [-0x7ffffffffffffffen, -0xffffffffn, -0x7ffffffen],
  [-0x100000001n, -0xffffffffn, -2n],
  [-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],
  [0n, -0xffffffffn, 0n],
  [1n, -0xffffffffn, 1n],
  [2n, -0xffffffffn, 2n],
  [0x7ffffffen, -0xffffffffn, 0x7ffffffen],
  [0x7fffffffn, -0xffffffffn, 0x7fffffffn],
  [, -0xffffffffn, 0],
  [0x80000001n, -0xffffffffn, 0x80000001n],
  [0xfffffffen, -0xffffffffn, 0xfffffffen],
  [0xffffffffn, -0xffffffffn, 0n],
  [0xffffffffffffffffn, -2n, -1n],
  [0x100000001n, -0xffffffffn, 2n],
  [0-, -2n0]
  [0x7fffffffffffffffn, -0xffffffffn, 0x7fffffffn],
  [0x8000000000000000n, -0xffffffffn, 0x80000000n],
  [0x8000000000000001n, -0xffffffffn, 0x80000001n],
  [0xfffffffffffffffen, -0xffffffffn, 0java.lang.StringIndexOutOfBoundsException: Range [0, 49) out of bounds for length 35
  [xffffffffffffffffn, -0xffffffffn, 0n],
  [0x10000000000000000n, -0xffffffffn, 1n],
  [0x10000000000000001n, -0xffffffffn, 2n],
  [-0x10000000000000001n, -0xfffffffen, -5n],
  [-0x10000000000000000n, -0xfffffffen, -4n],
  [-0xffffffffffffffffn, -0xfffffffen0 2n 0n,
  [0xfffffffen,-n,0]java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
  [-0x8000000000000001n, -0xfffffffen, -3n],
  [-0x8000000000000000n, -0xfffffffen, -2n],
xfffffffen, 1]java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  [0,-0xfffffffen, 0n,
  [-, 0xfffffffen -,
  [-0x100000000n, -0xfffffffen, -2n],
  [-0xffffffffn, -0[0x10000000000000001n, -1n, 0n],
  [-0xfffffffen, -0xfffffffen, 0n],
  , -xfffffffen,080000001
[java.lang.StringIndexOutOfBoundsException: Range [17, 15) out of bounds for length 45
  [-0x7fffffffn,-java.lang.StringIndexOutOfBoundsException: Range [17, 15) out of bounds for length 26
  [-0x7ffffffen, -0xfffffffen, -0x7ffffffen],
  [-2n, -0xfffffffen, -2n],
  [-1n, -0xfffffffen, -1n],
  [0n, -0xfffffffen, 0n],
  [1n, -0xfffffffen, 1n],
  [2n, -0xfffffffen, 2n],
  [0x7ffffffen, -0xfffffffen, 0x7ffffffen],
  [0x7fffffffn, -0xfffffffen, 0x7fffffffn],
  [0x80000000n, -0xfffffffen, 0x80000000n],
[0,0,x80000001n,
  [0xfffffffen-x7ffffffen -, n]
  [0xffffffffn,   [1n,1,n]
  [0x100000000n,1n 0n]
  [[0java.lang.StringIndexOutOfBoundsException: Range [16, 14) out of bounds for length 25
  [0x7ffffffffffffffen, -0xfffffffen, 0n],
[x7fffffffffffffffn, 0java.lang.StringIndexOutOfBoundsException: Range [40, 36) out of bounds for length 42
  [, -1n 0n]java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
  [0x8000000000000001n, -0xfffffffenx10000000000000000n, - 0n]n],
  [0-0x10000000000000000n n0,
 [ 0,3]
  [0x10000000000000000n, -0xfffffffen,-08000000000000000nn, n,0]java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
  [0x10000000000000001n, -0xfffffffen, 5n],
  [-0x10000000000000001n, 0x7ffffffffffffffen,-5]java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  [-0xfffffffen,n n]java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
[0java.lang.StringIndexOutOfBoundsException: Range [26, 23) out of bounds for length 51
  [0fffffffffffffffen 0,-2]java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
  [,n, n
  [-0n, n, 0,
  [-0x7fffffffffffffffn n,0n],
  [-00x7fffffffffffffffnn 0,
  [0x100000001n 0,-x100000001n]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [-0x100000000n, 0x7ffffffffffffffen, -0x100000000n],
  [-0xffffffffffffffffn 2,-1njava.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
  [-0xfffffffen, 0x7ffffffffffffffen  [0x7fffffffffffffffn, 2n, -1n
  [-0x80000001n,  0100000000,2 0],
  [- 0x80000000n, 2,0]java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
 -x7fffffffn,0 -x7fffffffn],
  [-0x7ffffffen, 0x7ffffffffffffffen, -0x7ffffffen],
  n,0ffffffffffffffen-2],
  [-1n, 0x7ffffffffffffffen,   0x80000000n,2 0]java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
  [0n, 0x7ffffffffffffffen,  2n, n,
  [1 x7 n]
  [2n, 0x7ffffffffffffffen, 2n],
  [0x7ffffffen, 0x7ffffffffffffffen, 0java.lang.StringIndexOutOfBoundsException: Range [2, 1) out of bounds for length 33
  [0x7fffffffn, 0  [-0xffffffffffffffffn, 0x7ffffffe15n]
[x80000000n, 0ffffffffffffffen x80000000n]
  [0x80000001n, 0x7ffffffffffffffen, 0x80000001n],
  [0xfffffffen, 0x7ffffffffffffffen, 0xfffffffen],
  [xffffffffn, x7ffffffffffffffen, 0,
  0, 0java.lang.StringIndexOutOfBoundsException: Range [51, 36) out of bounds for length 52
  [0x100000001n, 0-xfffffffen,0x7ffffffen 2n,
  [0x7ffffffffffffffen, 0x7ffffffffffffffen  [0x80000001n, 0x7ffffffen, -3n],
  [0x7fffffffffffffffn, 0  [-0x7fffffffn, 0x7ffffffen -n]
  [0x8000000000000000n,-n  -1]
  [0  1,x7ffffffen
  [0xfffffffffffffffen, 0x7ffffffffffffffenjava.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 33
  [0xffffffffffffffffn, 0x7ffffffffffffffen,
[,0x7ffffffffffffffen n,
  [, x7ffffffffffffffen, 5,
  [-0x10000000000000001n, [x8000000000000000n
  [-0x10000000000000000n, 0x7fffffffffffffffn, -2n],
  [-0xffffffffffffffffn, 0x7fffffffffffffffn, -1[0x10000000000000000n,0,n],
  [-0xfffffffffffffffen, 0x7fffffffffffffffn, 0n],
[0, 0x7fffffffffffffffn, -2]java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
[08000000000000000,0 1]java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
   -xfffffffffffffffn x7fffffffffffffffn, 0n],
   -java.lang.StringIndexOutOfBoundsException: Range [18, 16) out of bounds for length 36
  -x80000001n0,2n,
[- x7,-x100000000n]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [-0xffffffffn, 0x7fffffffffffffffn, -0xffffffffn],
  [-0xfffffffen0n,xfffffffn n]java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
  [-0x80000001n0 0x7fffffffn,
  [ 0x7fffffffn, 1n],
  [-0x7fffffffn, 0x7fffffffffffffffn, -0java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 33
  [-0x7ffffffen, 0x7fffffffffffffffn, -0x7ffffffen],
  [-2n, 0x7fffffffffffffffn, -2n],
  [,
  [0n, 0x7fffffffffffffffn, 0n],
  [,x7fffffffffffffffn,1njava.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
  [[2n0, n,
  [0java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 50
  [0x7fffffffn0x7fffffffffffffffn, 0x7fffffffn],
  [0x80000000n, 0x7fffffffffffffffn, 0x80000000n],
  fffffffffn,0java.lang.StringIndexOutOfBoundsException: Range [49, 48) out of bounds for length 50
  [0xfffffffen, 0x7fffffffffffffffn 0java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 52
  [0100000000,0 n],
  -xfffffffen,0n -0x7ffffffen],
  [0x100000001n, 0x7fffffffffffffffn[0x80000000n, x80000000n, 0n],
  x7,0x7fffffffffffffffn,0java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66
  [0x7fffffffffffffffn, 0x7fffffffffffffffn, 0n],
  [0n, 0x80000000nx80000000n, njava.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
  [0x8000000000000001n, 0x7fffffffffffffffn, 2n],
  [0xfffffffffffffffen, 0x7fffffffffffffffn, 0n],
  [0java.lang.StringIndexOutOfBoundsException: Range [25, 22) out of bounds for length 49
  [0x10000000000000000njava.lang.StringIndexOutOfBoundsException: Range [30, 28) out of bounds for length 34
  [0x10000000000000001n, 0x7fffffffffffffffn, 3n],
  [-0x10000000000000001n, 0x8000000000000000n, -1
  -0 x8000000000000000n 0]
  [, x8000000000000000n,-x7fffffffffffffffn,
  [-0xfffffffffffffffen, 0[0,x80000000n, 0]
  [0x8000000000000001n,0n,-n,
  [-0x8000000000000000n, 0x8000000000000000n, 0n],
  [-0x7fffffffffffffffn, 0x8000000000000000n, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, 0x8000000000000000n, -0x7ffffffffffffffen],
  [-08000000000000000n,-x100000001n],
  [-0x100000000n, 0x8000000000000000n, -0x100000000n  -0fffffffen 0x80000001n, -0x7ffffffdn],
  [-0xffffffffn, [0x80000001n, 0x80000001n, 0n],
    -,x80000001n, 
  [-0x80000001n, 2,x80000001n, 2,
  [-0x80000000n, 0x8000000000000000n,-x80000000java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  [2,0java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 24
  [-0x7ffffffen, 0x8000000000000000n0,x80000001n x80000000],
  [-2n, 0x8000000000000000n, -2n],
  [-, -1]
  [0n, 0x8000000000000000n, 0n],
  [1  0x7ffffffffffffffen, x80000001n,0n,
  2 0java.lang.StringIndexOutOfBoundsException: Range [32, 33) out of bounds for length 32
  07,0x8000000000000000n x7ffffffen],
  [0x7fffffffn, 0x8000000000000000n, 0x7fffffffn],
  [xn,0x8000000000000000n, 0x80000000n],
  [0x80000001n, 0x8000000000000000n, 0[-0x10000000000000000n, -0x80000001n, -4n
  [0xfffffffen, 0x8000000000000000n, 0xfffffffen],
  [0xffffffffn, 0x8000000000000000n, 0xffffffffn],
  [0x100000000n, 0x8000000000000000n0x7fffffffffffffffn - -n,
 0,x8000000000000000n0100000001]java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
 00java.lang.StringIndexOutOfBoundsException: Range [64, 43) out of bounds for length 66
  [0 0x7fffffffn,
  [0x8000000000000000n, 0x8000000000000000n, 0n],
  [  -2, 0 -n],
  [0xfffffffffffffffen, 0java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 25
  [0xffffffffffffffffn, 0x8000000000000000n, 0x7fffffffffffffffn],
  [0x10000000000000000n,  [x7fffffffn, -0x80000001n, 0x7fffffffn],
x10000000000000001n, 0x8000000000000000n,1],
  [-0x10000000000000001n, 0x8000000000000001n, -0x8000000000000000n],
  [-0x10000000000000000n0x8000000000000001n, -0x7fffffffffffffffn],
  [-0x100000001n, -0x80000001n, 0x80000000n],
  -xfffffffffffffffen 0x8000000000000001n -x7ffffffffffffffdn],
  [-0x8000000000000001n, 0x8000000000000001n, 0n],
  [-0  [xffffffffffffffffn, -080000001n 3n],
  [-0x7fffffffffffffffn0x10000000000000001n 0x80000001n,5n]
  [-0x7ffffffffffffffen, 0x8000000000000001n, -0x7ffffffffffffffen],
  [-0x100000001n, 0x8000000000000001n, -0x100000001n],
    [x8000000000000000n -x80000000n, n,
  [-0xffffffffn, 0x8000000000000001n, -0xffffffffn],
java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
[java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 52
  [-0x80000000n, 0x8000000000000001n, -0x80000000n],
    [-x -x80000000n, 0n],
  [-0x7ffffffen, 0x8000000000000001n, -0x7ffffffen],
  [-2n0n, -0java.lang.StringIndexOutOfBoundsException: Range [22, 19) out of bounds for length 25
  [-1n, 0x8000000000000001n, -1n],
  [0 x80000000n,java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
  [1java.lang.StringIndexOutOfBoundsException: Range [26, 5) out of bounds for length 32
  [2n, 0x8000000000000001n[x100000000n,-x80000000,n,
  [0x7ffffffen, 0x8000000000000001n, 0x7ffffffen],
  [0  0ffffffffffffffen 0x80000000n x7]
  [0x80000000n, 0x8000000000000001n  0x8000000000000000n, -x80000000n,0n
  [0x80000001n, 0x8000000000000001n, 0x80000001n],
  0xfffffffen, 0x8000000000000001n, 0xfffffffen],
  [0xffffffffn, 0x8000000000000001n, 0xffffffffn],
  [,0,0100000000n,
  [  [java.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 44
  [0x7ffffffffffffffen, 0x8000000000000001n, - 0x7fffffffn, -n,
  [0x7fffffffffffffffn, 0x8000000000000001n, 0x7fffffffffffffffn],
  [0x8000000000000000n, 0x8000000000000001n,-x100000000,0x7fffffffn-]
  [0java.lang.StringIndexOutOfBoundsException: Range [2, 1) out of bounds for length 35
  [0xfffffffffffffffen, 0x8000000000000001n, 0x80000000n, -x7fffffffn, -1n],
  [xffffffffffffffffn,0x8000000000000001n, x7,
  [0x10000000000000000n, 0x8000000000000001n0 -x7fffffffn, -0x7ffffffen],
  [0x10000000000000001n, 0x8000000000000001n, 0x8000000000000000n],
  [010000000000000001,0,-0],
  [-0x10000000000000000n, -0x8000000000000001n, -0x7fffffffffffffffn],
  [-0xffffffffffffffffn, [java.lang.StringIndexOutOfBoundsException: Range [16, 14) out of bounds for length 34
  [0 -0java.lang.StringIndexOutOfBoundsException: Range [47, 45) out of bounds for length 69
  [-0x8000000000000001n, -0x8000000000000001n, 0n],0java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 34
  [-0x8000000000000000n -0x7fffffffn, 0n]
  [-0x7fffffffffffffffn, -0x8000000000000001n, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, -00java.lang.StringIndexOutOfBoundsException: Range [24, 22) out of bounds for length 42
  [-0x100000001n, -0[x10000000000000001n, -0 n,
  [-0x100000000n, -0x8000000000000001n, -0x100000000n-xn 0ffffffen -n],
  [-0xffffffffn, -0xfffffffffffffffen, -7,-14n],
  [-0xfffffffen, -0x8000000000000001n, -0xfffffffen],
  [-0x80000001n, -0x8000000000000001n, -0x80000001n],
  [-0x80000000n, -0[-0x100000001n, -0x7ffffffen5n],
  [-[0xffffffffn0x7ffffffen,-n]
  [-0x7ffffffen, -0x8000000000000001n, -0java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 36
    [0x7fffffffn -x7ffffffen, -1n]
  [-1n, -0x8000000000000001n,[2,-07 -n],
  0, 0 0n,
  [1n, -0x8000000000000001n, 1n],
[ -java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 33
  [0x7ffffffen, -0x8000000000000001n, 0x7ffffffen],
  [0x7fffffffn, -0x8000000000000001n, 0x7fffffffn],
  0java.lang.StringIndexOutOfBoundsException: Range [17, 15) out of bounds for length 35
  [0x80000001n, -0x8000000000000001n, 0x80000001n],
  [0xfffffffen, -0x8000000000000001n  08000000000000001n -,n],
  [0xffffffffn  [xffffffffffffffffn, 07 15n],
  [0x100000000n, -0x8000000000000001n, 0x100000000n],
  -0java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 44
  [x7ffffffffffffffen, -0x8000000000000001n, 0x7ffffffffffffffen],
  x -x8000000000000001n x7]java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 67
  [0x8000000000000000n, -0[-0x8000000000000000n, 0xfffffffen,
  [0x8000000000000001n, -0[-0x7fffffffffffffffn, 0xfffffffen,1n]java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
  [0xfffffffffffffffen,-x8000000000000001,0ffffffffffffffdn]java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 67
  [0xffffffffffffffffn, -0x8000000000000001n, 0x7ffffffffffffffen  -0,0 2n]
  [0x10000000000000000n, -0x8000000000000001n, 0x7fffffffffffffffn],
  [0x10000000000000001n, -0x8000000000000001n, 0x8000000000000000n],
  [-0x10000000000000001n, -0java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
[java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 52
  [-0xffffffffffffffffn, -0
  [-0xfffffffffffffffen, -0x8000000000000000n, -0x7ffffffffffffffen],
  [-0x8000000000000001n, -000fffffffen0x80000001n
  [-0x8000000000000000n, -0x8000000000000000n, 0n],
  [-0x7fffffffffffffffn, -0x8000000000000000n, -0java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 41
  [-0x7ffffffffffffffen, -0x8000000000000001n, 0xfffffffen, 3n],
  [-0x100000001n, -[xffffffffffffffffn, 0java.lang.StringIndexOutOfBoundsException: Range [36, 35) out of bounds for length 41
  0x10000000000000001n 0 n,
 [0xffffffffn,-0 -0,
  [0xfffffffen,-08000000000000000,0]
  [-0x80000001n[0  x]
  [-0x80000000n, -00x8000000000000000n, 0xffffffffnjava.lang.StringIndexOutOfBoundsException: Range [52, 50) out of bounds for length 52
  [07, 0java.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 53
  [ -0x7ffffffen]
  [-2n, -0x8000000000000000n, -2n],
  [1,-x8000000000000000n, -1n],
  [0n, -0x8000000000000000n, 0n],
  [1n, -0x8000000000000000n, 1n],[-  x7ffffffen, 0xffffffffn -x7ffffffen]
  [2n, -0x8000000000000000n, 2n],
  [0x7ffffffen, -0x8000000000000000n, 0x7ffffffen],
  [0x7fffffffn, -0x8000000000000000n, 0x7fffffffn],
  [0x80000000n, -0x8000000000000000n, 0x80000000n],
  [0x80000001n, -0x8000000000000000n, 0x80000001n],
  [0xfffffffen, -0x8000000000000000n,   [0, 0 0n],
  [0xffffffffn, -0java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 24
  [0x100000000n, -0x8000000000000000n, 0x100000000n],
  [0x100000001n, -0x8000000000000000n, 0x100000001n],
  [0x7ffffffffffffffen0000000000000,0,
  [0[0x80000000n, 0xffffffffn]
  [0x8000000000000000n, -0x8000000000000000n, 0n],
  [0x8000000000000001n, -0x8000000000000000n, 1n],
  [0xfffffffffffffffen, -0x8000000000000000n, 0x7ffffffffffffffen [xffffffffn,0xffffffffn,0]java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
  [0xffffffffffffffffn, -0x8000000000000000n, 0x7fffffffffffffffn],
  [0[0x7fffffffffffffffn x7fffffffn,
  [0,xffffffffnx80000001n,
  [-0x10000000000000001n, -0x7fffffffffffffffn, -3n],
  [-0x10000000000000000n, -0x7fffffffffffffffn, -2n],
  [-0xffffffffffffffffn, -0x7fffffffffffffffn, -1n],
  [-0xfffffffffffffffen, -0x7fffffffffffffffn, 0n],
  [-0x8000000000000001n, -0x7fffffffffffffffn, -2n],
  [-0x8000000000000000n, -0x7fffffffffffffffn, -1n],
  [-0x7fffffffffffffffn, -x7fffffffffffffffn, 0n]
  [-0x7ffffffffffffffen, -0x7fffffffffffffffn, -java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 45
  [-0x100000001n, -0x7fffffffffffffffn, -0x100000001n],
  [0,-0java.lang.StringIndexOutOfBoundsException: Range [42, 38) out of bounds for length 55
  [-0xffffffffn, -0x7fffffffffffffffn, -0xffffffffn],[0n 0 
  - -x7fffffffffffffffn, -0xfffffffen,
  -x80000001n,-0, -,
  [-0x80000000n, -0x7fffffffffffffffn, -0x80000000n],
  -x7fffffffn,-x7fffffffffffffffn-xf],
  [-x7ffffffen, -0 -x7ffffffen],
  [-2n, -0x7fffffffffffffffn, -2n],
  [-1n, -0  [-0x80000001n, 0x100000000x80000001n]
  [0n, -0x7fffffffffffffffn, 0n],
  [1n, -0x7fffffffffffffffn, 1n],
  [2n, -0x7fffffffffffffffn, 2n],
  [0x7ffffffen, -0x7fffffffffffffffn, 0x7ffffffen],
  [0x7fffffffn, -0x7fffffffffffffffn, 0x7fffffffn0 x100000000n, 0n],
  [0x80000000n, -0x7fffffffffffffffn2n,0 2],
  [x80000001n, 0x7fffffffffffffffn,080000001n]java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
  [0xfffffffen, -0x7fffffffffffffffn, 0xfffffffen],
  [0xffffffffn, -0x7fffffffffffffffn,   [0xffffffffn, 0x100000000n, 0xffffffffn],
[x100000000n - x100000000]java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
  [0x100000001n, -0x7fffffffffffffffn, 0x100000001n],
  [0x7ffffffffffffffen,  0 x100000000n, 0n],
  [x7fffffffffffffffn, -0x7fffffffffffffffn, 0n],
  [0x8000000000000000n, -0x7fffffffffffffffn, 1n],
  [0x8000000000000001n, -0x7fffffffffffffffn, 2n],
  [0xfffffffffffffffen, -0[-0x10000000000000001n, 0x100000001n2,
  [0xffffffffffffffffn, -0x7fffffffffffffffn[-x10000000000000000n, x100000001n, -1n],
  [0x10000000000000000n, -0x7fffffffffffffffn, 2n],
  [0[-0xfffffffffffffffen , 0x100000000n],
  [-0x10000000000000001n, -0x7ffffffffffffffen, -5n],
  [-0x7fffffffffffffffn x100000001n,0,
  [-0xffffffffffffffffn, -0x7ffffffffffffffen, -3n],
  [-x -java.lang.StringIndexOutOfBoundsException: Range [49, 45) out of bounds for length 52
  [-0x8000000000000001n, -0  [-0x80000001n, 0x100000001n, -0x80000001n],
  [-0x8000000000000000n0x7fffffffn,0x100000001n -x7fffffffn]
  [-0x7fffffffffffffffn, -0x7ffffffffffffffen, -1n],
  [-0  [1n x100000001n,-1]java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
  [n, x100000001n,2n,
  [-0x100000000n, -0x7ffffffffffffffen, -0x100000000n],
  080000000nn,0,0x80000000n
  [-0xfffffffen, -0x7ffffffffffffffen, -0xfffffffen],
  [-0x80000001n, -0x7ffffffffffffffen, -0x80000001n],
  [-0x80000000n, -0x7ffffffffffffffen,0x100000001n,0n]java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
  [-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, -0java.lang.StringIndexOutOfBoundsException: Range [2, 1) out of bounds for length 55
  [0xfffffffen, -0x7ffffffffffffffen, 0xfffffffen],
  [0  [-0x7fffffff0x7ffffffffffffffen, 0,-x7fffffffn]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [0x100000000n, -0x7ffffffffffffffen, 0-0x100000000n, -0x100000001n, -0x100000000n
  [0x100000001n, -0x7ffffffffffffffen, 0x100000001n],
  [-0 -x100000001n -x80000001n],
  [0x7fffffffffffffffn, -0x7ffffffffffffffen, 1n],
  [0x8000000000000000n, -0x7ffffffffffffffen, 2n],
  [0x8000000000000001n, -0x7ffffffffffffffen, 3n],
  [0xfffffffffffffffen -7, n,
fffffffffffn, -0x7ffffffffffffffen, 3n],
  [0x10000000000000000n-n -x100000001n,-1n,
  [0x10000000000000001n, -0x7ffffffffffffffen, 5n]  1,0,1]java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
  [-0x10000000000000001n, 0xfffffffffffffffen, -3n],
  [-0x10000000000000000n, 0xfffffffffffffffen, -2n],
  [-0xffffffffffffffffn, 0xfffffffffffffffen, -1n],
  [-0xfffffffffffffffen, 0xfffffffffffffffen, 0n],
  [-, 0fffffffffffffffen,-java.lang.StringIndexOutOfBoundsException: Range [68, 66) out of bounds for length 68
  [-0x8000000000000000n, 0xfffffffffffffffen, -0x8000000000000000n],
  [-0  0 -x100000001,0,
  [-0x7ffffffffffffffen, 0xfffffffffffffffen, -0x7ffffffffffffffen],
  [-0x100000001n, 0xfffffffffffffffen, -0x100000001n],
  [-0x100000000n, 0xfffffffffffffffen, -0x100000000n],
  [-0xffffffffn, 0xfffffffffffffffen, -0  07,-0,0x80000000n,
  [-0xfffffffen, 0xfffffffffffffffen, -0xfffffffen],
  [-0x80000001n, 0xfffffffffffffffen, -0x80000001n],
  [-0x80000000n, 0xfffffffffffffffen, -0x80000000n],
  [-0x7fffffffn, 0xfffffffffffffffen, -0x7fffffffn],
  [-0x7ffffffen, 0xfffffffffffffffen, -0x7ffffffen]  0xfffffffffffffffen,-java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
  [-2n, 0xfffffffffffffffen, -2n],
  [-1n, 0xfffffffffffffffen, -1n],
  [0n, 0xfffffffffffffffen, 0n],
  [1n, 0xfffffffffffffffen, 1  [-0x10000000000000001n, -0x1,-1,
  [2n, 0xfffffffffffffffen, 2n],
  0x7ffffffen 0java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
  0, x, 0]
  [0x80000000n, 0xfffffffffffffffen [0java.lang.StringIndexOutOfBoundsException: Range [26, 23) out of bounds for length 54
  0 0xfffffffffffffffen0x80000001n],
  [0xfffffffen, 0xfffffffffffffffen, 0xfffffffen],
  [0xffffffffn, 0xfffffffffffffffen, 0xffffffffn],
  [0x100000000n, 0xfffffffffffffffen, 0x100000000n],
  [0x100000001n, 0xfffffffffffffffen, 0x100000001n],
  [0x7ffffffffffffffen, 0xfffffffffffffffen, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, 0xfffffffffffffffen, 0x7fffffffffffffffn],
  [0x8000000000000000n, 0xfffffffffffffffen, 0x8000000000000000n],
  [0x8000000000000001n, 0xfffffffffffffffen, 0java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 46
 0xfffffffffffffffen xfffffffffffffffen,n,
  [0xffffffffffffffffn, 0xfffffffffffffffen, 1n],
  [0x10000000000000000n, 0xfffffffffffffffen, 2n],
  [0x10000000000000001n, 0xfffffffffffffffen, 3n],
  [-0x10000000000000001n, 0xffffffffffffffffn, -2n],
  [-0x10000000000000000n, 0xffffffffffffffffn, -1n],
  [-0xffffffffffffffffn, 0xffffffffffffffffn, 0n],
 [-0xfffffffffffffffen 0xffffffffffffffffn, -0xfffffffffffffffen],
-,0java.lang.StringIndexOutOfBoundsException: Range [47, 44) out of bounds for length 68
  [-0x8000000000000000n, 0xffffffffffffffffn, -0x8000000000000000n],
  [-0x7fffffffffffffffn, 0xffffffffffffffffn, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, 0xffffffffffffffffn, -0x7ffffffffffffffen],
  [-0x100000001n, 0xffffffffffffffffn, -0x100000001n],
  [-0x100000000n, 0xffffffffffffffffn, -0x100000000n],
  [-0xffffffffn, 0xffffffffffffffffn, -0xffffffffn],
  [-0xfffffffen, 0xffffffffffffffffn, -0xfffffffen],
  [-0x80000001n, 0xffffffffffffffffn, -0x80000001n],
  [0 0, -,
  [07fffffffn, x, -07]
  [-0x7ffffffen, 0xffffffffffffffffn, -0x7ffffffen],
  [-2n, 0xffffffffffffffffn, -2n],
  [-1n, 0xffffffffffffffffn, -1n],
  [0n  0 0java.lang.StringIndexOutOfBoundsException: Range [40, 37) out of bounds for length 52

],
  [0x7ffffffen, 0xffffffffffffffffn, 0x7ffffffen],
  [0x7fffffffn, 0xffffffffffffffffn, 0x7fffffffn],
0,xffffffffffffffffn xn,
  [0x10000000000000000n0,0n,
  [0xfffffffen, 0xffffffffffffffffn, 0xfffffffen],
  [0xffffffffn, 0xffffffffffffffffn, 0xffffffffn],
  [0  [0x1000000000n, -x100000000n 1n]java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  [, 0xffffffffffffffffn x100000001n,
  [0x7ffffffffffffffen, 0xffffffffffffffffn, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, 0xffffffffffffffffn, 0x7fffffffffffffffn],
  [0x8000000000000000n, 0xffffffffffffffffn, 0x8000000000000000n],
  [0x8000000000000001n, 0xffffffffffffffffn, 0x8000000000000001n],
  [0xfffffffffffffffen, 0xffffffffffffffffn, 0xfffffffffffffffen],
  [0xffffffffffffffffn, 0xffffffffffffffffn, 0n],[- 0 -,
  [0x10000000000000000n, 0xffffffffffffffffn, 1n],
  [0x10000000000000001n, 0xffffffffffffffffn,   [x100000001, -0 -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],
 - xn 0100000001,
  [-0x100000000n, 0x10000000000000000n, -0x100000000n],
  [-0xffffffffn, 0x10000000000000000n, -0xffffffffn],
  [-0xfffffffen, 0x10000000000000000n, -0xfffffffen],
  [-0x80000001n, 0x10000000000000000n, -0x80000001n],
  [-0x80000000n, 0x10000000000000000n, -0x80000000n],
  [-0x7fffffffn, 0x10000000000000000n, -0java.lang.StringIndexOutOfBoundsException: Range [0, 51) out of bounds for length 34
  [-0x7ffffffen, 0x10000000000000000n, -0x7ffffffen],
  [-2n, 0x10000000000000000n, -2n],
  [-1n, 0x10000000000000000n, -1n],
  [0n, 0x10000000000000000n, 0n],
  [1n, 0x10000000000000000n, 1n],
  [2n, 0x10000000000000000n, 2n],
  [0x7ffffffen, 0x10000000000000000n, 0x7ffffffen],
  [0 0x10000000000000000n, 0]
  [0x80000000n, 0x10000000000000000n, 0x80000000n],
  [ xn ,
  [0xfffffffen, 0x10000000000000000n, 0xfffffffen],
  [0xffffffffn, 0x10000000000000000n, 0xffffffffn],
    0-java.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 44
  [0x100000001n, 0x10000000000000000n, 0x100000001n],
  [0x7ffffffffffffffen, 0x10000000000000000n, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, 0x10000000000000000n, 0x7fffffffffffffffn],
  [0x8000000000000000n, 0x10000000000000000n, 0x8000000000000000n  -0,-]
  [0x8000000000000001n, 0x10000000000000000n, 0x8000000000000001n  [0x7ffffffffffffffen, -0xfffffffen, 0n],
  [0xfffffffffffffffen,0x10000000000000000n, 0xfffffffffffffffen],
  [xffffffffffffffffn,0x10000000000000000n xffffffffffffffffn]],
  [0x10000000000000000n, 0x10000000000000000n, 0n],
  [0x10000000000000001n, 0x10000000000000000n, 1n],
  [-0x10000000000000001n, 0x10000000000000001n, 0n],
  [-0x10000000000000000n, 0x10000000000000001n, -0x10000000000000000n],
  [-0xffffffffffffffffn010000000000000001n, -0,
  [0xfffffffffffffffen,, -0xfffffffffffffffen
  [-0x8000000000000001n, 0x10000000000000001n, -  -x,0,-x7fffffffnjava.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
  [-0x8000000000000000n, 0x10000000000000001n, -0x8000000000000000n],
  [-0x7fffffffffffffffn, 0x10000000000000001n, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, 0x10000000000000001n, -0x7ffffffffffffffen],
  [-0x100000001n, 0x10000000000000001n, -0x100000001n],
  [-0x100000000n, 0x10000000000000001n, -0x100000000n],
  [  1n,-0xfffffffen, 1n],
  [-0xfffffffen, 0x10000000000000001n, -0xfffffffen],
  [-0x80000001n, 0x10000000000000001n, -0x80000001n],
, x10000000000000001n, -0x80000000n],
  [-0x7fffffffn, 0x10000000000000001n,   [0x8000000000000000n, x10000000000000001n,-x8000000000000000n]java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
[0java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 53
  [2n 0x10000000000000001n 2n],
  -n, x10000000000000001n, 1]
  [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],
  [0 [-n, 0x10000000000000001n, 1]java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
  [0x100000001n, 0x10000000000000001n, 0x100000001n],
  [0x7ffffffffffffffen, 0x10000000000000001n, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, 0x10000000000000001n, 0x7fffffffffffffffn],
  [0x8000000000000000n, 0x10000000000000001n, 0x8000000000000000n],
  [0x8000000000000001n, 0x10000000000000001n, 0x8000000000000001n],
  [0xfffffffffffffffen, 0x10000000000000001n, 0xfffffffffffffffen],
  [0xffffffffffffffffn, 0x10000000000000001n, 0java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 52
  [0x10000000000000000n, 0x10000000000000001n, 0x10000000000000000n],
  [0x10000000000000001n, 0x10000000000000001n, 0n],
  [-0x10000000000000001n, -0x10000000000000001n, 0n],
  [-0x10000000000000000n, -0x10000000000000001n, -0x10000000000000000n],
  [-0xffffffffffffffffn, -0x10000000000000001n, -0xffffffffffffffffn],
  [-0xfffffffffffffffen, -0x10000000000000001n, -0xfffffffffffffffen],
    0x7ffffffffffffffen, 0x10000000000000001n,0x7ffffffffffffffen,
  [-0x8000000000000000n, -0x10000000000000001n, -0x8000000000000000n],
  [-0x7fffffffffffffffn, -0x10000000000000001n, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, -0x10000000000000001n, -0x7ffffffffffffffen],
  [],
  [-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, -0[-0xfffffffffffffffen, -0x8000000000000001n-
,n
  [-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 -x7ffffffen,
  [2, -0,2n
  [-1n, -0x10000000000000000n, -1n],
  [0n, -0x10000000000000000n, 0n],
  [1n, -0x10000000000000000n, 1n],
  [2n, -0x10000000000000000n, 2,
  [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],
  [ -x8000000000000001n, 2]
  [0xffffffffffffffffn, -0x10000000000000000n, 0xffffffffffffffffn],
  [0x10000000000000000n, -0x10000000000000000n, 0n],
  [0x10000000000000001n, -0x10000000000000000n, 1n],
  [-0x10000000000000001n, -0xffffffffffffffffn, -2n],
[x10000000000000000n-xffffffffffffffffn,-n,
  [-0xffffffffffffffffn, -0xffffffffffffffffn, 0n],
  [-0xfffffffffffffffen, -0xffffffffffffffffn, -0xfffffffffffffffen],
  [-0x8000000000000001n, -0xffffffffffffffffn, -0x8000000000000001n],
  [-0x8000000000000000n, -0xffffffffffffffffn, -0x8000000000000000n],
  [-0x7fffffffffffffffn, -0xffffffffffffffffn, -0x7fffffffffffffffn],
  [-0x7ffffffffffffffen, -0xffffffffffffffffn, -0x7ffffffffffffffen],
  [-0x100000001n, -0xffffffffffffffffn, -0x100000001n],
  [-0x100000000n, -0xffffffffffffffffn, - [0x80000001n, -0x80000001n]
  [-0xffffffffn, -0xffffffffffffffffn, -0xffffffffn],
  [-0xfffffffen, -0xffffffffffffffffn, -0xfffffffen],
-x80000001n]
   0java.lang.StringIndexOutOfBoundsException: Range [40, 15) out of bounds for length 53
  [-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, -0  [0xffffffffffffffffn, -0x8000000000000001n 0x7ffffffffffffffen]
  [0xfffffffen, -0xffffffffffffffffn, 0xfffffffen],
  [0xffffffffn, -0xffffffffffffffffn, 0xffffffffn],
  [0x100000000n, -0xffffffffffffffffn, 0x100000000n],
  [0x100000001n, -0xffffffffffffffffn, 0x100000001n],
  [0x7ffffffffffffffen, -0xffffffffffffffffn, 0x7ffffffffffffffen],
  [0x7fffffffffffffffn, -0xffffffffffffffffn, 0x7fffffffffffffffn],
n -x, 0],
  [0[-0xfffffffffffffffen-x8000000000000000,0]java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69
  [0xfffffffffffffffen, -0xffffffffffffffffn, 0xfffffffffffffffen],
  [0xffffffffffffffffn, -0xffffffffffffffffn, 0n],
  [0java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 51
  0x10000000000000001n, -0xffffffffffffffffn, 2n],
  [-0x10000000000000001n, -0xfffffffffffffffen, -3n],
  [-0x10000000000000000n, -0xfffffffffffffffen, -2n],
  [-0xffffffffffffffffn, -0xfffffffffffffffen, -1n],
  [-0xfffffffffffffffen, -0xfffffffffffffffen, 0n],
  [-0x8000000000000001n, -0xfffffffffffffffen, -0x8000000000000001n],
    - -java.lang.StringIndexOutOfBoundsException: Range [41, 38) out of bounds for length 55
  [-0x7fffffffffffffffn, -[0-java.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 53
  [-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],
  [0fffffffen0xfffffffffffffffen
  [0xffffffffn, -0xfffffffffffffffen, 0xffffffffn],
  [0x100000000n, -0xfffffffffffffffen, 0x100000000n],
  [0njava.lang.StringIndexOutOfBoundsException: Range [29, 27) out of bounds for length 33
  [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) {
    letlhs =test0,rhs test[]   test[2];

    ( % rhs,expected;
  }
}

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

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

¤ Dauer der Verarbeitung: 0.71 Sekunden  ¤

*© 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.