runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 1
  memory of node 0: 3639 MiB (1439 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/bmc1/23.shuffled.cnf 

running on 1 cores: 3

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-310.el8.x86_64
solver pid=432211, runsolver pid=432210
Current StackSize limit: 8192 KiB


[startup+0.101659 s]*
/proc/loadavg: 1.88 0.65 0.75 5/460 432212
/proc/meminfo: memFree=1469688/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=37792 memory=9600 CPUtime=0.05 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 1357 0 0 0 5 0 0 0 20 0 1 0 233349439 38699008 2400 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9448 2400 1419 2 0 1857 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 9600 KiB

[startup+0.235654 s]*
/proc/loadavg: 1.88 0.65 0.75 5/460 432212
/proc/meminfo: memFree=1469436/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=37792 memory=10084 CPUtime=0.15 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 1369 0 0 0 15 0 0 0 20 0 1 0 233349439 38699008 2521 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9448 2521 1480 2 0 1857 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10084 KiB

[startup+0.328653 s]*
/proc/loadavg: 1.88 0.65 0.75 6/460 432212
/proc/meminfo: memFree=1469184/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=37792 memory=10084 CPUtime=0.21 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 1369 0 0 0 21 0 0 0 20 0 1 0 233349439 38699008 2521 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9448 2521 1480 2 0 1857 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10084 KiB

[startup+0.700653 s]
/proc/loadavg: 1.88 0.65 0.75 5/460 432212
/proc/meminfo: memFree=1468932/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=37792 memory=10084 CPUtime=0.51 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 1372 0 0 0 51 0 0 0 20 0 1 0 233349439 38699008 2521 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9448 2521 1480 2 0 1857 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10084 KiB

[startup+1.50366 s]
/proc/loadavg: 1.88 0.65 0.75 5/460 432212
/proc/meminfo: memFree=1468932/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=37792 memory=10084 CPUtime=1.29 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 1374 0 0 0 129 0 0 0 20 0 1 0 233349439 38699008 2521 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9448 2521 1480 2 0 1857 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10084 KiB

[startup+3.12865 s]
/proc/loadavg: 2.05 0.70 0.76 5/460 432212
/proc/meminfo: memFree=1468680/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=37792 memory=10084 CPUtime=2.86 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 1384 0 0 0 286 0 0 0 20 0 1 0 233349439 38699008 2521 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9448 2521 1480 2 0 1857 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10084 KiB

[startup+6.30366 s]
/proc/loadavg: 2.05 0.70 0.76 5/460 432212
/proc/meminfo: memFree=1468396/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=37792 memory=10084 CPUtime=5.94 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 1395 0 0 0 594 0 0 0 20 0 1 0 233349439 38699008 2521 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9448 2521 1480 2 0 1857 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10084 KiB

[startup+12.7057 s]
/proc/loadavg: 2.20 0.76 0.78 5/460 432212
/proc/meminfo: memFree=1468144/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=37792 memory=10084 CPUtime=12.16 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 1420 0 0 0 1216 0 0 0 20 0 1 0 233349439 38699008 2521 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9448 2521 1480 2 0 1857 0
Current children cumulated CPU time: 12.16 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10084 KiB

[startup+25.5007 s]
/proc/loadavg: 2.60 0.92 0.83 5/460 432213
/proc/meminfo: memFree=1468112/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=38048 memory=10348 CPUtime=24.55 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 1468 0 0 0 2455 0 0 0 20 0 1 0 233349439 38961152 2587 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9512 2587 1480 2 0 1921 0
Current children cumulated CPU time: 24.55 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10348 KiB

[startup+51.1377 s]
/proc/loadavg: 3.16 1.18 0.92 5/457 432213
/proc/meminfo: memFree=1469664/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=38048 memory=10612 CPUtime=49.44 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 1507 0 0 0 4944 0 0 0 20 0 1 0 233349439 38961152 2653 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9512 2653 1480 2 0 1921 0
Current children cumulated CPU time: 49.44 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10612 KiB

[startup+102.301 s]
/proc/loadavg: 3.64 1.62 1.09 5/457 432222
/proc/meminfo: memFree=1468092/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=38304 memory=10876 CPUtime=99.15 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 49524 0 0 0 9879 36 0 0 20 0 1 0 233349439 39223296 2719 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9576 2719 1480 2 0 1985 0
Current children cumulated CPU time: 99.15 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10876 KiB
[-1, -3, -4, -6, -7, -8, -10, -11] -> ph3-2_1 

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67, -74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, -44, -45, 53, -58, -61, 63, 67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, 44, 53, -58, -61, 63, 67, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58, -61, -63, -67, -74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, 67, 74, 76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, 26, 28, -33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, -28, 33, 38, 41, -42, 44, 53, 58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, 28, 33, 38, 41, -42, -44, -45, 53, 58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, -33, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, -42, 44, 53, -58, -61, -63, 67, -74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, 63, -67, 74, 76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58, -61, -63, 67, 74, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67, 74, 76, -79, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67, 74, 76, -79, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, -67, 74, -76, 79, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63, -67, 74, -76, 79, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, -44, -45, 53, -58, -61, -63, 67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67, -74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, 42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58, -61, 63, -67, 74, 79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, 67, -74, 76, 79, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63, 67, -74, 76, 79, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, 67, -74, 76, -79, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63, 67, -74, 76, -79, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, 26, -28, 29, 31, 33, 38, 41, 42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, -29, 33, 38, 41, -42, -44, -45, 53, 58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, 29, 31, -33, 38, 41, 42, -44, 45, -54, -58, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, -33, 38, 41, -42, -44, 45, -54, 58, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, 33, 38, 41, 42, 44, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29, 31, 33, 38, 41, 42, -44, -45, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, -28, 29, 31, -33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, -29, 33, 38, 41, -42, -44, -45, 53, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, 29, 31, 33, 38, 41, 42, 44, 53, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21, 25, -26, 28, 38, 41, -42, -44, 45, -54, -58, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, -25, -26, -28, -29, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, -28, -29, 38, 41, 42, -44, 45, -54, -58, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, 28, -29, 38, 41, 42, -44, -45, 58, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, 26, -28, -29, 38, 41, 42, 44, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67, -74, -76, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67, -74, -76, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, 42, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, 42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, -63, 67, 74, -76, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58, -61, -63, 67, 74, -76, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, -45, 53, -58, -61, 63, 67, -74, -79, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, 63, 67, 74, -76, -79, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, 44, 53, -58, -61, 63, 67, 74, -76, -79, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26, -28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26, 28, -33, 38, 41, 42, -44, -45, -58, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, -28, -33, 38, 41, -42, -44, 45, -54, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, 28, 33, 38, 41, -42, -44, 45, 53, -54, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, -26, -28, 38, 41, 42, -44, 45, -54, 58, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, 26, 28, 38, 41, -42, -44, 45, -54, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61, -63, -67, -73, 74, -76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61, -63, -67, -73, 74, -76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, -45, 53, -55, -58, -61, -63, 67, -74, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, -55, -58, -61, 63, -67, 74, -76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61, 63, 67, -73, 74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61, -63, 67, -73, 74, -76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, -45, 53, -58, -61, 63, -67, 73, -74, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, 63, 67, -73, 74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61, 63, 67, -73, 74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61, -63, -67, -74, 76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61, 63, -67, -73, 74, -76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63, -67, -73, -74, 76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, -33, -35, 38, 41, -42, 43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61, -63, 67, -73, 74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61, -63, 67, -73, 74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55, -58, -61, -63, -67, 73, -74, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61, -63, -67, -73, 74, -76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, -55, -58, -61, -63, -67, 74, -76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61, 63, -67, -73, 74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, -63, -67, -73, 74, -76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61, -63, -67, -73, 74, -76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, -45, 53, -55, -58, -61, -63, 67, -74, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61, 63, -67, 74, -76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61, 63, 67, -73, 74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63, 67, -73, 74, -76, 83] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, 26, -28, 33, -35, 38, 41, 42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, -42, 43, -44, -45, 55, -58, 63, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, 42, -43, 44, -58, 63, 73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, -43, -44, -45, 53, 58, -61, 63, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, 58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, 42, 43, -44, -45, 53, 55, -58, -61, -63, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, -43, -44, 45, -54, -58, 63, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, 43, 44, 55, 58, 63, 73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, 42, 43, 44, -55, -58, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55, -58, -61, 63, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, 63, 73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53, -55, 58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, -33, -35, 38, 41, 42, -43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, -55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -61, 63, 73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, -33, -35, 38, 41, 42, 43, -44, -45, 55, -63, 73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, 33, -35, 38, 41, -42, 43, 44, 53, -55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25, -26, -28, -29, -33, -35, 38, 41, 42, -43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, -10] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, -44, -45, 53, -58, -61, 63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, 44, 53, -58, -61, 63, 67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58, -61, -63, -67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, 67, 74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, 26, 28, -33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, -28, 33, 38, 41, -42, 44, 53, 58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, 28, 33, 38, 41, -42, -44, -45, 53, 58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, -33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, -42, 44, 53, -58, -61, -63, 67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, 63, -67, 74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58, -61, -63, 67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67, 74, 76, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67, 74, 76, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, -67, 74, -76, 79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63, -67, 74, -76, 79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, -44, -45, 53, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, 42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58, -61, 63, -67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, 67, -74, 76, 79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63, 67, -74, 76, 79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, 67, -74, 76, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63, 67, -74, 76, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, 26, -28, 29, 31, 33, 38, 41, 42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, -29, 33, 38, 41, -42, -44, -45, 53, 58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, 29, 31, -33, 38, 41, 42, -44, 45, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, -33, 38, 41, -42, -44, 45, -54, 58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, 33, 38, 41, 42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29, 31, 33, 38, 41, 42, -44, -45, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, -28, 29, 31, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, -29, 33, 38, 41, -42, -44, -45, 53, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, 29, 31, 33, 38, 41, 42, 44, 53, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21, 25, -26, 28, 38, 41, -42, -44, 45, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, -25, -26, -28, -29, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, -28, -29, 38, 41, 42, -44, 45, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, 28, -29, 38, 41, 42, -44, -45, 58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, 26, -28, -29, 38, 41, 42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67, -74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67, -74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, 42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, 42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, -63, 67, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58, -61, -63, 67, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, -45, 53, -58, -61, 63, 67, -74, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, 63, 67, 74, -76, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, 44, 53, -58, -61, 63, 67, 74, -76, -79] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26, 28, -33, 38, 41, 42, -44, -45, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, -28, -33, 38, 41, -42, -44, 45, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, 28, 33, 38, 41, -42, -44, 45, 53, -54, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, -26, -28, 38, 41, 42, -44, 45, -54, 58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, 26, 28, 38, 41, -42, -44, 45, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61, -63, -67, -73, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61, -63, -67, -73, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, -45, 53, -55, -58, -61, -63, 67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, -55, -58, -61, 63, -67, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61, 63, 67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61, -63, 67, -73, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, -45, 53, -58, -61, 63, -67, 73, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, 63, 67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61, 63, 67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61, -63, -67, -74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61, 63, -67, -73, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63, -67, -73, -74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, -33, -35, 38, 41, -42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61, -63, 67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61, -63, 67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55, -58, -61, -63, -67, 73, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61, -63, -67, -73, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, -55, -58, -61, -63, -67, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61, 63, -67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, -63, -67, -73, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61, -63, -67, -73, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, -45, 53, -55, -58, -61, -63, 67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61, 63, -67, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61, 63, 67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63, 67, -73, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, 26, -28, 33, -35, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, -42, 43, -44, -45, 55, -58, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, 42, -43, 44, -58, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, -43, -44, -45, 53, 58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, 42, 43, -44, -45, 53, 55, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, -43, -44, 45, -54, -58, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, 43, 44, 55, 58, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, 42, 43, 44, -55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53, -55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, -33, -35, 38, 41, 42, -43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, -33, -35, 38, 41, 42, 43, -44, -45, 55, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, 33, -35, 38, 41, -42, 43, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25, -26, -28, -29, -33, -35, 38, 41, 42, -43, -44] -> []

[-1, -3, -4, -6, -7, -8] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, -44, -45, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, 44, 53, -58, -61, 63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, 67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, 26, 28, -33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, -28, 33, 38, 41, -42, 44, 53, 58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, 28, 33, 38, 41, -42, -44, -45, 53, 58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26, -28, 33, 38, 41, -42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, -33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, -42, 44, 53, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, 63, -67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67, 74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67, 74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, -67, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63, -67, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, -44, -45, 53, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, 42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, 67, -74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63, 67, -74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, 67, -74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63, 67, -74, 76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, 26, -28, 29, 31, 33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, -29, 33, 38, 41, -42, -44, -45, 53, 58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, 29, 31, -33, 38, 41, 42, -44, 45, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, -33, 38, 41, -42, -44, 45, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, 33, 38, 41, 42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29, 31, 33, 38, 41, 42, -44, -45, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, -28, 29, 31] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, -29, 33, 38, 41, -42, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, 29, 31, 33, 38, 41, 42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21, 25, -26, 28, 38, 41, -42, -44, 45, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, -25, -26, -28, -29, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, -28, -29, 38, 41, 42, -44, 45, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, 28, -29, 38, 41, 42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, 26, -28, -29, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, -63, 67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58, -61, -63, 67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, -45, 53, -58, -61, 63, 67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, 63, 67, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, 44, 53, -58, -61, 63, 67, 74, -76] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26, 28, -33, 38, 41, 42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, -28, -33, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, 28, 33, 38, 41, -42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, -26, -28, 38, 41, 42, -44, 45, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, 26, 28, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61, -63, -67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61, -63, -67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, -45, 53, -55, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, -55, -58, -61, 63, -67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61, 63, 67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61, -63, 67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, -45, 53, -58, -61, 63, -67, 73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, 63, 67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61, 63, 67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61, -63, -67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61, 63, -67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63, -67, -73, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, -33, -35, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61, -63, 67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61, -63, 67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55, -58, -61, -63, -67, 73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61, -63, -67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, -55, -58, -61, -63, -67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61, 63, -67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, -63, -67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61, -63, -67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, -45, 53, -55, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61, 63, -67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61, 63, 67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63, 67, -73, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, 26, -28, 33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, -42, 43, -44, -45, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, 42, -43, 44, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, -43, -44, -45, 53, 58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, 42, 43, -44, -45, 53, 55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, -43, -44, 45, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, 43, 44, 55, 58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, 42, 43, 44, -55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, -33, -35, 38, 41, 42, -43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, -33, -35, 38, 41, 42, 43, -44, -45, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, 33, -35, 38, 41, -42, 43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25, -26, -28, -29, -33, -35, 38, 41, 42, -43] -> []

[-1, -3, -4, -6, -7] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, -44, -45, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, 44, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, 26, 28, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, -28, 33, 38, 41, -42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, 28, 33, 38, 41, -42, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26, -28, 33, 38, 41, -42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, -33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, -42, 44, 53, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, -67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63, -67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, -44, -45, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, 44, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, 67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63, 67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, 67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63, 67, -74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, 26, -28, 29, 31, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, -29, 33, 38, 41, -42, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, 29, 31, -33, 38, 41, 42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, -33, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, 33, 38, 41, 42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29, 31, 33, 38, 41, 42, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, -28, 29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, -29, 33, 38, 41, -42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, 29, 31, 33, 38, 41, 42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21, 25, -26, 28, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, -25, -26, -28, -29, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, -28, -29, 38, 41, 42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, 28, -29, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, 26, -28, -29, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, -45, 53, -58, -61, 63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, 63, 67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, 44, 53, -58, -61, 63, 67, 74] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26, 28, -33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, -28, -33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, 28, 33, 38, 41, -42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, -26, -28, 38, 41, 42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, 26, 28, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61, -63, -67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61, -63, -67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, -45, 53, -55, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, -55, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61, 63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61, -63, 67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, -45, 53, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, 63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61, 63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61, 63, -67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63, -67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, -33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61, -63, -67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, -55, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, -63, -67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61, -63, -67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, -45, 53, -55, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61, 63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63, 67, -73] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, 26, -28, 33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, -42, 43, -44, -45, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, 42, -43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, -43, -44, -45, 53, 58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, 42, 43, -44, -45, 53, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, -43, -44, 45, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, 43, 44, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, 42, 43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, 43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, -33, -35, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, -42, 43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, -33, -35, 38, 41, 42, 43, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, 33, -35, 38, 41, -42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25, -26, -28, -29, -33, -35, 38, 41, 42] -> []

[-1, -3, -4, -6] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, -44, -45, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, 26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, -28, 33, 38, 41, -42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, 28, 33, 38, 41, -42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26, -28, 33, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, -33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, -42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, -44, -45, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, 26, -28, 29, 31, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, -29, 33, 38, 41, -42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, 29, 31, -33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, -33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, 33, 38, 41, 42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29, 31, 33, 38, 41, 42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, -29, 33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, 29, 31, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21, 25, -26, 28, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, -25, -26, -28, -29, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, -28, -29, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, 28, -29, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, 26, -28, -29, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, 44, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, -45, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, 63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, 44, 53, -58, -61, 63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26, 28, -33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, -28, -33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, 28, 33, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, -26, -28, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, 26, 28, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, -45, 53, -55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, -55, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, -45, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61, 63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, -33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, -55, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61, -63, -67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, -45, 53, -55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63, 67] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, 26, -28, 33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, -42, 43, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, 42, -43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, -43, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, 42, 43, -44, -45, 53, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, -43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, 43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, 42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, -33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, -42, 43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, 42, 43, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, -33, -35, 38, 41, 42, 43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, 33, -35, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25, -26, -28, -29, -33, -35, 38, 41] -> []

[-1, -3, -4] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, 26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, -28, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, 28, 33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26, -28, 33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, -42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, -45, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, 26, -28, 29, 31, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, -29, 33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, 29, 31, -33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, -33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29, 31, 33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, -29, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, 29, 31, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21, 25, -26, 28, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, -25, -26, -28, -29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, -28, -29, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, 28, -29, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, 26, -28, -29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, -45, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, 44, 53, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26, 28, -33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, -28, -33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, 28, 33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, -26, -28, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, 26, 28, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, -45, 53, -55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, -55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, -45, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61, 63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, -33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, -55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, -45, 53, -55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61, -63] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, 26, -28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, -42, 43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, -43, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, 43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, 42, 43, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, -43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, -33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, -42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, 42, 43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, -33, -35, 38, 41, 42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, 33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25, -26, -28, -29, -33, -35, 38] -> []

[-1, -3] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, -42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, -28, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, 28, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26, -28, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, -42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, 26, -28, 29, 31, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, -29, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, 29, 31, -33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, -33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29, 31, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, -29, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, 29, 31, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21, 25, -26, 28, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, -25, -26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, -28, -29, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, 28, -29, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, 26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, -45, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26, 28, -33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, -28, -33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, 28, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, -26, -28, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, 26, 28, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, -45, 53, -55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, -55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, -45, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, -55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, 44, 53, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, -45, 53, -55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58, -61] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, 26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, -42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, -43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, 42, 43, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42, -43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, -33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, 42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, -33, -35, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, 33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25, -26, -28, -29, -33, -35] -> []

[-1] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, -42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, -28, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, 28, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26, -28, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, -42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, 26, -28, 29, 31] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, -29, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, 29, 31, -33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, -33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29, 31, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, -29, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, 29, 31, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21, 25, -26, 28, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, -25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, -28, -29, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, 28, -29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, 26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26, 28, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, -28, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, 28, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, -26, -28, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, 26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, -55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, 44, 53, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, -55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, 44, 53, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, -55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53, 55, -58] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, 26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42, -43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, 42, 43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, -42, 43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, -43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, -33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, 33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25, -26, -28, -29, -33] -> []

[] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, -28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, 28, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26, -28, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, -29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, 26, -28, 29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, -29, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, 29, 31, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29, 31, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, -29, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, 29, 31] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21, 25, -26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, -25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, -28, -29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, -26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, 28, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, -26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, 26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, 44, 53, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, 44, 53, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53, 55] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, 42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, -42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, 42, -43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, -33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25, -26, -28, -29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, 28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26, -28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, 26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, -29, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, 29, 31] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, -29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29, 31, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, -29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28, 29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21, 25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, 21, 25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, -28, 33, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, 28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20, 25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, -43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, -45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45, 53, -54] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, 44, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33, -35, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, -33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25, -26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, -26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, -42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, 26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, -29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28, 29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29, 31] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, 26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21, 25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, -42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38, 41, 42, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, 25, 26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, 20] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, 43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, -43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45, 53] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, 43, 44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, -28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, 26, 28, -33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, 25, 26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, -29, 33, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33, 38, 41, 42, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, 25, -26, 28, 29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, 20, -21] -> []

[-1, -3, -4, -6, -7, -8, 10, 11] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42, -43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, -42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38, 41, 42, 43] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, -42, 43, -44, 45] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42, -43, -44] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38, 41, 42] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, 25, -26, -28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21, -25] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, -28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26, 28] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31, 33] -> []

[-1, -3, -4, -6, -7, -8, 10] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, 19, -20, -25, -26, 28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35, 38] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, 21] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, -21, -25, -26] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29, 31] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29, 31] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33, -35] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, -28, 29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, -18, -19, -20, 21, -25, -26, 28, 29] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, 28, 33] -> []

[-1, -3, -4, -6, -7, -8, 10, 11, -13, -14, -15, -16, 18, -19, -20, -21, -25, -26, -28] -> []


Detected pigeons:

 ph3-2_1 = [[72, 122], [89, -133], [-133, 179]]

[startup+141.12 s]
# the end of solver process 432211 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=136.481 s, system=0.364123 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+102.401 s]
/proc/loadavg: 3.64 1.62 1.09 5/457 432222
/proc/meminfo: memFree=1468092/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=38304 memory=10876 CPUtime=99.25 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 49524 0 0 0 9889 36 0 0 20 0 1 0 233349439 39223296 2719 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9576 2719 1480 2 0 1985 0
Current children cumulated CPU time: 99.25 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10876 KiB

[startup+128.001 s]*
/proc/loadavg: 3.78 1.85 1.18 5/456 432231
/proc/meminfo: memFree=1467868/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=38304 memory=10876 CPUtime=124.12 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 49538 0 0 0 12376 36 0 0 20 0 1 0 233349439 39223296 2719 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9576 2719 1480 2 0 1985 0
Current children cumulated CPU time: 124.12 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10876 KiB

[startup+134.401 s]
/proc/loadavg: 3.80 1.88 1.20 5/456 432231
/proc/meminfo: memFree=1467868/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=38304 memory=10876 CPUtime=130.32 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 49540 0 0 0 12996 36 0 0 20 0 1 0 233349439 39223296 2719 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9576 2719 1480 2 0 1985 0
Current children cumulated CPU time: 130.32 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10876 KiB

[startup+137.601 s]
/proc/loadavg: 3.80 1.88 1.20 5/456 432231
/proc/meminfo: memFree=1467868/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=38304 memory=10876 CPUtime=133.43 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 49541 0 0 0 13307 36 0 0 20 0 1 0 233349439 39223296 2719 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9576 2719 1480 2 0 1985 0
Current children cumulated CPU time: 133.43 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10876 KiB

[startup+139.201 s]
/proc/loadavg: 3.82 1.92 1.21 5/456 432231
/proc/meminfo: memFree=1467868/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=38304 memory=10876 CPUtime=134.98 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 49541 0 0 0 13462 36 0 0 20 0 1 0 233349439 39223296 2719 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9576 2719 1480 2 0 1985 0
Current children cumulated CPU time: 134.98 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10876 KiB

[startup+140.004 s]*
/proc/loadavg: 3.82 1.92 1.21 5/456 432231
/proc/meminfo: memFree=1467868/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=38304 memory=10876 CPUtime=135.78 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 49541 0 0 0 13542 36 0 0 20 0 1 0 233349439 39223296 2719 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9576 2719 1480 2 0 1985 0
Current children cumulated CPU time: 135.78 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10876 KiB

[startup+140.802 s]
/proc/loadavg: 3.82 1.92 1.21 5/456 432231
/proc/meminfo: memFree=1467868/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=38304 memory=10876 CPUtime=136.54 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 49547 0 0 0 13618 36 0 0 20 0 1 0 233349439 39223296 2719 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9576 2719 1480 2 0 1985 0
Current children cumulated CPU time: 136.54 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10876 KiB

[startup+141.004 s]*
/proc/loadavg: 3.82 1.92 1.21 5/456 432231
/proc/meminfo: memFree=1467868/3726824 swapFree=8388604/8388604
[pid=432211] ppid=432210 vsize=38304 memory=10876 CPUtime=136.75 cores=3
/proc/432211/stat : 432211 (pigeonPurSampli) R 432210 432211 432204 0 -1 4194304 49547 0 0 0 13639 36 0 0 20 0 1 0 233349439 39223296 2719 18446744073709551615 94226831925248 94226831929360 140726356150160 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 5 0 0 94226834029824 94226834030596 94226861518848 140726356156965 140726356157058 140726356157058 140726356160481 0
/proc/432211/statm: 9576 2719 1480 2 0 1985 0
Current children cumulated CPU time: 136.75 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10876 KiB

Child status: 0
Real time (s): 141.12
CPU time (s): 136.845
CPU user time (s): 136.481
CPU system time (s): 0.364123
CPU usage (%): 96.9706
Max. virtual memory (cumulated for all children) (KiB): 38304
Max. memory (cumulated for all children) (KiB): 10876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.481
system time used= 0.364123
maximum resident set size= 10876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49549
page faults= 0
swaps= 0
block input operations= 16
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 8761


# summary of solver processes directly reported to runsolver:
#   pid: 432211
#   total CPU time (s): 136.845
#   total CPU user time (s): 136.481
#   total CPU system time (s): 0.364123

??? end of timestamper thread
runsolver used 1.32128 second user time and 1.96865 second system time

The end
