  (2362232012, 2534030704, [0, 8192, 16384, 24576, 32768, 36864, 40960, 45056, 49152, 65536, 80128]),
  (2534030704, 2877628088, [0, 16384, 32768, 49152, 65536, 75008]),
  (2877628088, 3564822855, [0, 32768, 65536]),
  (3564822855, 4252017622, [0, 32768, 47872]),
  (4252017622, 4294967296, [0, 31744]),
