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: 3630 MiB (1714 MiB free)
  node distances:
     10

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

running on 1 cores: 0

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


[startup+0.101611 s]*
/proc/loadavg: 0.01 0.01 0.53 5/462 426467
/proc/meminfo: memFree=1743100/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=37792 memory=9832 CPUtime=0.05 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1359 0 0 0 5 0 0 0 20 0 1 0 233595425 38699008 2458 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9448 2458 1478 2 0 1857 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 9832 KiB

[startup+0.228611 s]*
/proc/loadavg: 0.01 0.01 0.53 5/462 426467
/proc/meminfo: memFree=1741824/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=37792 memory=10316 CPUtime=0.16 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1366 0 0 0 16 0 0 0 20 0 1 0 233595425 38699008 2579 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9448 2579 1539 2 0 1857 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10316 KiB

[startup+0.327608 s]*
/proc/loadavg: 0.01 0.01 0.53 4/462 426467
/proc/meminfo: memFree=1740816/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=37792 memory=10316 CPUtime=0.23 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1366 0 0 0 23 0 0 0 20 0 1 0 233595425 38699008 2579 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9448 2579 1539 2 0 1857 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10316 KiB

[startup+0.700608 s]
/proc/loadavg: 0.01 0.01 0.53 5/462 426467
/proc/meminfo: memFree=1740060/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=37792 memory=10316 CPUtime=0.54 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1368 0 0 0 54 0 0 0 20 0 1 0 233595425 38699008 2579 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9448 2579 1539 2 0 1857 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10316 KiB

[startup+1.50061 s]
/proc/loadavg: 0.01 0.01 0.53 5/462 426467
/proc/meminfo: memFree=1740060/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=37792 memory=10316 CPUtime=1.32 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1371 0 0 0 132 0 0 0 20 0 1 0 233595425 38699008 2579 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9448 2579 1539 2 0 1857 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10316 KiB

[startup+3.12561 s]
/proc/loadavg: 0.25 0.06 0.54 5/462 426467
/proc/meminfo: memFree=1739900/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=37792 memory=10316 CPUtime=2.9 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1377 0 0 0 290 0 0 0 20 0 1 0 233595425 38699008 2579 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9448 2579 1539 2 0 1857 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10316 KiB

[startup+6.30061 s]
/proc/loadavg: 0.25 0.06 0.54 5/462 426467
/proc/meminfo: memFree=1739804/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=37792 memory=10316 CPUtime=6 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1386 0 0 0 600 0 0 0 20 0 1 0 233595425 38699008 2579 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9448 2579 1539 2 0 1857 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10316 KiB

[startup+12.7006 s]
/proc/loadavg: 0.47 0.11 0.55 7/470 426478
/proc/meminfo: memFree=1718640/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=37792 memory=10316 CPUtime=12.25 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1404 0 0 0 1225 0 0 0 20 0 1 0 233595425 38699008 2579 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9448 2579 1539 2 0 1857 0
Current children cumulated CPU time: 12.25 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10316 KiB

[startup+25.5006 s]
/proc/loadavg: 1.26 0.30 0.61 7/470 426478
/proc/meminfo: memFree=1717568/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38048 memory=10580 CPUtime=24.73 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1451 0 0 0 2473 0 0 0 20 0 1 0 233595425 38961152 2645 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9512 2645 1539 2 0 1921 0
Current children cumulated CPU time: 24.73 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10580 KiB

[startup+51.1386 s]
/proc/loadavg: 2.27 0.62 0.70 6/470 426487
/proc/meminfo: memFree=1715048/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38048 memory=10580 CPUtime=49.71 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1487 0 0 0 4971 0 0 0 20 0 1 0 233595425 38961152 2645 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9512 2645 1539 2 0 1921 0
Current children cumulated CPU time: 49.71 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10580 KiB

[startup+102.303 s]
/proc/loadavg: 3.25 1.14 0.88 6/470 426487
/proc/meminfo: memFree=1714764/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38048 memory=10844 CPUtime=99.6 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1529 0 0 0 9960 0 0 0 20 0 1 0 233595425 38961152 2711 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9512 2711 1539 2 0 1921 0
Current children cumulated CPU time: 99.6 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10844 KiB

[startup+162.305 s]
/proc/loadavg: 3.76 1.68 1.08 6/470 426497
/proc/meminfo: memFree=1713724/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38048 memory=10844 CPUtime=158.1 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1549 0 0 0 15810 0 0 0 20 0 1 0 233595425 38961152 2711 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9512 2711 1539 2 0 1921 0
Current children cumulated CPU time: 158.1 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10844 KiB

[startup+222.302 s]
/proc/loadavg: 3.98 2.12 1.27 6/469 426507
/proc/meminfo: memFree=1708972/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38048 memory=12488 CPUtime=216.57 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 1826 0 0 0 21657 0 0 0 20 0 1 0 233595425 38961152 3122 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9512 3122 1539 2 0 1921 0
Current children cumulated CPU time: 216.57 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 12488 KiB
[-1, -2] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, -31, 32, -38, 47, 50, -53, 54, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, 31, -32, 35, 38, -39, 47, 50, -53, -54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, -32, -35, 38, -39, 47, 50, -53, 54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, 32, 38, -39, 47, -50, -53, 54, -62, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, 31, -32, 35, -38, 47, 50, -53, 54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, -31, -32, -35, -38, 47, 50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, 31, 32, -38, 47, -50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, 28, -31, 32, 38, -39, 47, 50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, -32, -35, -38, 47, -50, -53, 54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, 32, 38, -39, 47, -50, -53, 54, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, 31, 32, -38, 47, -50, -53, -54, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, -32, 35, -38, 47, -50, -53, -54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, 32, 38, -39, 47, 50, -53, -54, 62, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47, -50, -53, -54, 62, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, -31, -32, -35, 38, -39, 47, 50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, 31, 32, 38, -39, 47, -50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, 28, 31, -32, -35, -38, 47, -50, 54, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, -32, -35, -38, 47, 50, -53, 54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, 32, 38, -39, 47, 50, -53, 54, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, 31, 32, -38, 47, 50, -53, -54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, -31, -32, 35, -38, 47, 50, -53, -54, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, -35, -38, -47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, 47, 50, -53, -54, -62, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, -28, -31, -32, 35, -38, 47, 50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, -31, -32, -35, -38, 47, -50, -54, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, 31, -32, -35, 38, -39, 47, -50, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, -31, -32, -35, 38, -39, 47, -50, -53, 54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, -32, -35, -38, 47, -50, -53, -54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, 32, 38, -39, 47, -50, -53, -54, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, -31, -32, 35, -38, 47, 50, -53, 54, 62, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, -35, -38, 47, -50, -53, 54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47, 50, -53, 54, 62, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, -28, -31, -32, 35, 38, -39, 47, 50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, -31, -32, -35, -38, 47, 50, 54, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, 31, -32, -35, 38, -39, 47, 50, 54, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, -31, -32, -35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, -32, -35, -38, -50, -53, 54, -58, 62, 64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, 32, 38, -39, -50, -53, 54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31, -32, 35, 38, -39, -50, -53, -54, -58, 62, -64, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, -32, -35, -38, -50, -53, 54, -58, 62, -64, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, 32, -38, -50, -53, -54, -58, 62, -64, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, -28, -31, 32, -38, -50, -54, -58, 64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, -31, -32, -35, -38, -50, 54, -58, 64, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, 31, -32, -35, 38, -39, -50, -54, -58, 64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, -31, -32, -35, 38, -39, -50, -53, -54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31, -32, -35, -38, -50, -53, -54, -58, -62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, -31, -32, 35, -38, -50, -53, 54, -58, 62, -64, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, -35, -38, -50, -53, -54, -58, 62, -64, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, -50, -53, 54, -58, 62, 64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, -31, -32, 35, 38, -39, -50, -54, -58, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, 31, 32, 38, -39, -50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, 28, 31, -32, -35, -38, -50, -54, -58, 64, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, -32, -35, -38, -50, -53, 54, -58, -62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, 32, 38, -39, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, 31, 32, -38, -50, -53, -54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, -32, 35, -38, -50, -53, -54, -58, 62, -64, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, 32, 38, -39, -50, -53, 54, -58, 62, 64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, -50, -53, -54, -58, 62, -64, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, -31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, 31, 32, -38, -50, 54, -58, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, -31, 32, 38, -39, -50, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, 31, 32, 38, -39, -50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, -31, 32, -38, -50, -53, 54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, 31, -32, 35, 38, -39, -50, -53, 54, -58, -62, 64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, -32, -35, 38, -39, -50, -53, 54, -58, 62, 64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, 32, 38, -39, -50, -53, -54, -58, 62, -64, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, 31, -32, 35, -38, -50, -53, 54, -58, 62, 64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, -31, -32, -35, -38, -50, 54, -58, 64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, 31, -32, 35, 38, -39, -50, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, 28, -31, 32, -38, -50, 54, -58, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, 28, 31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, -22, 27, 28, 31, -32, -35, -38, -47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, 22, 27, 28, 31, -32, 35, 38, -39, -47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, -22, 27, 28, 31, -32, -35, 38, -39, -47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, 22, 27, 28, 31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, -21, -22, 27, 28, 31, -32, 35, -38, -47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, -28, -31, -32, -35, -38, -47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, 28, 31, -32, 35, 38, -39, -47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22, 27, -28, -31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22, 27, 28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, 22, 27, 28, 31, 32, -38, -50, -54] -> ph3-2_1 

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, -22, 27, 28, 31, -32, -35, 38, -39, -50, -53, -54] -> ph3-2_1 

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, 22, 27, 28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, -22, 27, 28, -31, 32, -38, -50, -53, 54] -> ph3-2_1 

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, 22, 27, 28, -31, -32, 35, 38, -39, -50, 54] -> ph3-2_1 

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, -22, 27, 28, -31, -32, -35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, 22, 27, 28, -31, -32, -35, -38, -50, -54] -> ph3-2_1 

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, -31, -32, 33, -35, 38, -39, 47, 50, -53, -54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, -32, -35, -38, 47, -50, -53, 54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, 32, 38, -39, 47, -50, -53, 54, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, -31, -32, 33, 35, 38, -39, -47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31, -32, -35, -38, 47, -50, -53, 54, 62, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, -28, -31, -32, 33, 35, 38, -39, 47, 50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, -31, -32, 33, -35, -38, 47, 50, 54, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, 31, -32, -35, 38, -39, 47, 50, -54, 66] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, -31, -32, 33, -35, 38, -39, 47, 50, -53, 54, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, 31, -32, -35, -38, 47, 50, -53, -54, -62] -> []

[-1] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, -31, 32, -38, 47, 50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, 31, -32, 35, 38, -39, 47, 50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, -32, -35, 38, -39, 47, 50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, 32, 38, -39, 47, -50, -53, 54, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, 31, -32, 35, -38, 47, 50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, -31, -32, -35, -38, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, 31, 32, -38, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, 28, -31, 32, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, -32, -35, -38, 47, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, 32, 38, -39, 47, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, 31, 32, -38, 47, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, -32, 35, -38, 47, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, 32, 38, -39, 47, 50, -53, -54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47, -50, -53, -54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, -31, -32, -35, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, 31, 32, 38, -39, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, 28, 31, -32, -35, -38, 47, -50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, -32, -35, -38, 47, 50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, 32, 38, -39, 47, 50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, 31, 32, -38, 47, 50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, -31, -32, 35, -38, 47, 50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, 47, 50, -53, -54, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, -28, -31, -32, 35, -38, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, -31, -32, -35, -38, 47, -50, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, 31, -32, -35, 38, -39, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, -31, -32, -35, 38, -39, 47, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, -32, -35, -38, 47, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, 32, 38, -39, 47, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, -31, -32, 35, -38, 47, 50, -53, 54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, -35, -38, 47, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47, 50, -53, 54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, -28, -31, -32, 35, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, -31, -32, -35, -38, 47, 50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, 31, -32, -35, 38, -39, 47, 50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, -31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, -32, -35, -38, -50, -53, 54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, 32, 38, -39, -50, -53, 54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31, -32, 35, 38, -39, -50, -53, -54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, -32, -35, -38, -50, -53, 54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, 32, -38, -50, -53, -54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, -28, -31, 32, -38, -50, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, -31, -32, -35, -38, -50, 54, -58, 64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, 31, -32, -35, 38, -39, -50, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, -31, -32, -35, 38, -39, -50, -53, -54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31, -32, -35, -38, -50, -53, -54, -58, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, -31, -32, 35, -38, -50, -53, 54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, -35, -38, -50, -53, -54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, -50, -53, 54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, -31, -32, 35, 38, -39, -50, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, 31, 32, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, 28, 31, -32, -35, -38, -50, -54, -58, 64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, -32, -35, -38, -50, -53, 54, -58, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, 32, 38, -39, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, 31, 32, -38, -50, -53, -54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, -32, 35, -38, -50, -53, -54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, 32, 38, -39, -50, -53, 54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, -50, -53, -54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, -31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, 31, 32, -38, -50, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, -31, 32, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, 31, 32, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, -31, 32, -38, -50, -53, 54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, 31, -32, 35, 38, -39, -50, -53, 54, -58, -62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, -32, -35, 38, -39, -50, -53, 54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, 32, 38, -39, -50, -53, -54, -58, 62, -64] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, 31, -32, 35, -38, -50, -53, 54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, -31, -32, -35, -38, -50, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, 31, -32, 35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, 28, -31, 32, -38, -50, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, 28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, -22, 27, 28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, 22, 27, 28, 31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, -22, 27, 28, 31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, 22, 27, 28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, -21, -22, 27, 28, 31, -32, 35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, -28, -31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, 28, 31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, 22, 27, 28, 31, 32, -38, -50] -> ph3-2_1 

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, -22, 27, 28, 31, -32, -35, 38, -39, -50, -53] -> ph3-2_1 

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, 22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, -22, 27, 28, -31, 32, -38, -50, -53] -> ph3-2_1 

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, 22, 27, 28, -31, -32, 35, 38, -39, -50] -> ph3-2_1 

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, -22, 27, 28, -31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, 22, 27, 28, -31, -32, -35, -38, -50] -> ph3-2_1 

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, -31, -32, 33, -35, 38, -39, 47, 50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, -32, -35, -38, 47, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, 32, 38, -39, 47, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, -31, -32, 33, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31, -32, -35, -38, 47, -50, -53, 54, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, -28, -31, -32, 33, 35, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, -31, -32, 33, -35, -38, 47, 50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, 31, -32, -35, 38, -39, 47, 50, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, -31, -32, 33, -35, 38, -39, 47, 50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, 31, -32, -35, -38, 47, 50, -53, -54] -> []

[] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, -31, 32, -38, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, 31, -32, 35, 38, -39, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, -32, -35, 38, -39, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, 32, 38, -39, 47, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, 31, -32, 35, -38, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, -31, -32, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, 31, 32, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, 28, -31, 32, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, -32, -35, -38, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, 32, 38, -39, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, 31, 32, -38, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, -32, 35, -38, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, 32, 38, -39, 47, 50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, -31, -32, -35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, 31, 32, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, 28, 31, -32, -35, -38, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, -32, -35, -38, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, 32, 38, -39, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, 31, 32, -38, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, -31, -32, 35, -38, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, 47, 50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, -28, -31, -32, 35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, -31, -32, -35, -38, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, 31, -32, -35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, -31, -32, -35, 38, -39, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, -32, -35, -38, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, 32, 38, -39, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, -31, -32, 35, -38, 47, 50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, -35, -38, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47, 50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, -28, -31, -32, 35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, -31, -32, -35, -38, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, 31, -32, -35, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, -31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, -32, -35, -38, -50, -53, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, 32, 38, -39, -50, -53, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31, -32, 35, 38, -39, -50, -53, -54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, -32, -35, -38, -50, -53, 54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, 32, -38, -50, -53, -54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, -28, -31, 32, -38, -50, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, -31, -32, -35, -38, -50, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, 31, -32, -35, 38, -39, -50, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, -31, -32, -35, 38, -39, -50, -53, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31, -32, -35, -38, -50, -53, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, -31, -32, 35, -38, -50, -53, 54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, -35, -38, -50, -53, -54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, -50, -53, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, -31, -32, 35, 38, -39, -50, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, 31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, 28, 31, -32, -35, -38, -50, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, -32, -35, -38, -50, -53, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, 32, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, 31, 32, -38, -50, -53, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, -32, 35, -38, -50, -53, -54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, 32, 38, -39, -50, -53, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, -50, -53, -54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, 31, 32, -38, -50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, -31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, 31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, -31, 32, -38, -50, -53, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, 31, -32, 35, 38, -39, -50, -53, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, -32, -35, 38, -39, -50, -53, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, 32, 38, -39, -50, -53, -54, -58, 62] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, 31, -32, 35, -38, -50, -53, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, -31, -32, -35, -38, -50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, 31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, 28, -31, 32, -38, -50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, -22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, 22, 27, 28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, -22, 27, 28, 31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, -21, -22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, 28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, 22, 27, 28, 31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, -22, 27, 28, 31, -32, -35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, 22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, -22, 27, 28, -31, 32, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, 22, 27, 28, -31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, -22, 27, 28, -31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, 22, 27, 28, -31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, -31, -32, 33, -35, 38, -39, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, -32, -35, -38, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, 32, 38, -39, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, -31, -32, 33, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31, -32, -35, -38, 47, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, -28, -31, -32, 33, 35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, -31, -32, 33, -35, -38, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, 31, -32, -35, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, -31, -32, 33, -35, 38, -39, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, 31, -32, -35, -38, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, -31, 32, -38, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, 31, -32, 35, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, -32, -35, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, 32, 38, -39, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, 31, -32, 35, -38, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, -31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, 31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, 28, -31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, -32, -35, -38, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, 32, 38, -39, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, 31, 32, -38, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, -32, 35, -38, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, 32, 38, -39, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, -31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, 31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, 28, 31, -32, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, -32, -35, -38, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, 32, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, 31, 32, -38, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, -31, -32, 35, -38, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, -28, -31, -32, 35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, -31, -32, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, 31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, -31, -32, -35, 38, -39, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, -32, -35, -38, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, 32, 38, -39, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, -31, -32, 35, -38, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, -35, -38, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47, 50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, -28, -31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, -31, -32, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, 31, -32, -35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, -32, -35, -38, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, 32, 38, -39, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31, -32, 35, 38, -39, -50, -53, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, -32, -35, -38, -50, -53, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, 32, -38, -50, -53, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, -28, -31, 32, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, -31, -32, -35, -38, -50, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, 31, -32, -35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, -31, -32, -35, 38, -39, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31, -32, -35, -38, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, -31, -32, 35, -38, -50, -53, 54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, -35, -38, -50, -53, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, -31, -32, 35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, 31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, 28, 31, -32, -35, -38, -50, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, -32, -35, -38, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, 31, 32, -38, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, -32, 35, -38, -50, -53, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, 32, 38, -39, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, -50, -53, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, 31, 32, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, -31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, 31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, -31, 32, -38, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, 31, -32, 35, 38, -39, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, -32, -35, 38, -39, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, 32, 38, -39, -50, -53, -54, -58] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, 31, -32, 35, -38, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, -31, -32, -35, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, 28, -31, 32, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, 22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, -22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, -21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, 22, 27, 28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, -22, 27, 28, 31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, -22, 27, 28, -31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, 22, 27, 28, -31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, -22, 27, 28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, 22, 27, 28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, -31, -32, 33, -35, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, -32, -35, -38, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, 32, 38, -39, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, -31, -32, 33, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31, -32, -35, -38, 47, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, -28, -31, -32, 33, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, -31, -32, 33, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, 31, -32, -35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, -31, -32, 33, -35, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, 31, -32, -35, -38, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, -31, 32, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, 31, -32, 35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, -32, -35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, 32, 38, -39, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, 31, -32, 35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, 28, -31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, -32, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, 32, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, 31, 32, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, -32, 35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, 32, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, -31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, 31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, 28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, -32, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, 32, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, 31, 32, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, -31, -32, 35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, -28, -31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, -31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, 31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, -31, -32, -35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, -32, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, 32, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, -31, -32, 35, -38, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47, 50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, -28, -31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, -31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, 31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, -32, -35, -38, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, 32, 38, -39, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31, -32, 35, 38, -39, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, -32, -35, -38, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, 32, -38, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, -28, -31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, -31, -32, -35, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, 31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, -31, -32, -35, 38, -39, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31, -32, -35, -38, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, -31, -32, 35, -38, -50, -53, 54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, -35, -38, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, -31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, 28, 31, -32, -35, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, -32, -35, -38, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, 31, 32, -38, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, -32, 35, -38, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, 32, 38, -39, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, 31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, -31, 32, -38, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, 31, -32, 35, 38, -39, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, -32, -35, 38, -39, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, 32, 38, -39, -50, -53, -54] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, 31, -32, 35, -38, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, -31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, 28, -31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, 22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, -21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, -22, 27, 28, 31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, -22, 27, 28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, 22, 27, 28, -31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, -22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, 22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, -31, -32, 33, -35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, -32, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, 32, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, -31, -32, 33] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31, -32, -35, -38, 47, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, -28, -31, -32, 33, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, -31, -32, 33, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, 31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, -31, -32, 33, -35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, 31, -32, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, -31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, 31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, 32, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, 31, -32, 35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, 28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, 31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, -32, 35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, 32, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, 31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, -31, -32, 35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, -31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, -31, -32, 35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, 35, 38, -39, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, -28, -31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, 31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, -32, -35, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, 32, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31, -32, 35, 38, -39, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, -32, -35, -38, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, 32, -38, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, -28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, -31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, 31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, -31, -32, -35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31, -32, -35, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, -31, -32, 35, -38, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, -35, -38, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, -31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, 28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, -32, -35, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, 31, 32, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, -32, 35, -38, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, 32, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, -31, 32, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, 31, -32, 35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, -32, -35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, 32, 38, -39, -50, -53] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, 31, -32, 35, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, 28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, -21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, -22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, -22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, 22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, -22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, 22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, -31, -32, 33, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31, -32, -35, -38, 47] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, -28, -31, -32, 33, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, -31, -32, 33, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, 31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, -31, -32, 33, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, -31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, -31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, -31, -32, 35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31, -32, 35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, -32, -35, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, 32, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, -31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, -31, -32, 35, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, -35, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, -31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, 31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, -32, 35, -38, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, -31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, 31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, -32, -35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, 32, 38, -39, -50] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, 31, -32, 35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, -21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, 22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, -31, -32, 33, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, -28, -31, -32, 33] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, -31, -32, 33] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, -31, -32, 33, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, -31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, 32, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, -31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, -31, -32, 35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, -35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, -32, 35, -38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31, -32, 35, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, -32, -35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, 32, 38, -39] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, 22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, -21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, -21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, -31, -32, 33, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, -31, -32, 33, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, -22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, -31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31, -32, 35, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, -32, -35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, 32, 38] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, -21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, -20, 21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, -21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20, 21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, -31, -32, 33] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, -31, -32, 33] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, -21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31, -32, 35] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31, 32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, -19, 20] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, -21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20, 21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, -21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, -20, 21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31, -32] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, -28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, -20, 21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, 18, 19, 20] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27, -28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22, 27] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, -19, 20, 21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, -21, -22, 27, 28, -31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, -20, 21, -22, 27, 28] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, -21, -22, 27, 28, 31] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, -16, -18, 19, 20, 21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, -21, 22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21, -22] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13, -14, -15, 16, -18, -19, -20, 21] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12, -13] -> []

[-1, -2, 3, -4, -5, -6, -7, -11, -12] -> []

[-1, -2, 3, -4, -5, -6, -7, -11] -> []

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

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

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

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

[-1, -2, 3] -> []


Detected pigeons:

 ph3-2_1 = [[85, 138], [95, -138], [-141, -194]]

[startup+235.754 s]
# the end of solver process 426463 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=229.12 s, system=0.589426 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+224.001 s]*
/proc/loadavg: 3.98 2.15 1.29 6/469 426515
/proc/meminfo: memFree=1708416/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38048 memory=12496 CPUtime=218.25 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 7925 0 0 0 21820 5 0 0 20 0 1 0 233595425 38961152 3124 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9512 3124 1539 2 0 1921 0
Current children cumulated CPU time: 218.25 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 12496 KiB

[startup+230.403 s]
/proc/loadavg: 3.98 2.18 1.30 6/469 426516
/proc/meminfo: memFree=1708484/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38304 memory=12496 CPUtime=224.47 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 78667 0 0 0 22389 58 0 0 20 0 1 0 233595425 39223296 3124 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9576 3124 1539 2 0 1985 0
Current children cumulated CPU time: 224.47 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12496 KiB

[startup+233.601 s]
/proc/loadavg: 3.99 2.21 1.32 6/469 426516
/proc/meminfo: memFree=1706940/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38304 memory=12496 CPUtime=227.6 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 78670 0 0 0 22702 58 0 0 20 0 1 0 233595425 39223296 3124 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9576 3124 1539 2 0 1985 0
Current children cumulated CPU time: 227.6 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12496 KiB

[startup+234.401 s]
/proc/loadavg: 3.99 2.21 1.32 6/469 426516
/proc/meminfo: memFree=1706940/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38304 memory=12496 CPUtime=228.37 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 78670 0 0 0 22779 58 0 0 20 0 1 0 233595425 39223296 3124 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9576 3124 1539 2 0 1985 0
Current children cumulated CPU time: 228.37 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12496 KiB

[startup+235.201 s]
/proc/loadavg: 3.99 2.21 1.32 6/469 426516
/proc/meminfo: memFree=1706940/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38304 memory=12496 CPUtime=229.15 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 78670 0 0 0 22857 58 0 0 20 0 1 0 233595425 39223296 3124 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9576 3124 1539 2 0 1985 0
Current children cumulated CPU time: 229.15 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12496 KiB

[startup+235.605 s]
/proc/loadavg: 3.99 2.21 1.32 6/469 426516
/proc/meminfo: memFree=1706940/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38304 memory=12496 CPUtime=229.55 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 78670 0 0 0 22897 58 0 0 20 0 1 0 233595425 39223296 3124 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9576 3124 1539 2 0 1985 0
Current children cumulated CPU time: 229.55 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12496 KiB

[startup+235.707 s]
/proc/loadavg: 3.99 2.21 1.32 6/469 426516
/proc/meminfo: memFree=1706940/3717660 swapFree=8388604/8388604
[pid=426463] ppid=426462 vsize=38304 memory=12496 CPUtime=229.65 cores=0
/proc/426463/stat : 426463 (pigeonPurSampli) R 426462 426463 426438 0 -1 4194304 78670 0 0 0 22907 58 0 0 20 0 1 0 233595425 39223296 3124 18446744073709551615 94814314876928 94814314881040 140726305623888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 4 0 0 94814316981504 94814316982276 94814347472896 140726305628710 140726305628802 140726305628802 140726305632225 0
/proc/426463/statm: 9576 3124 1539 2 0 1985 0
Current children cumulated CPU time: 229.65 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12496 KiB

Child status: 0
Real time (s): 235.754
CPU time (s): 229.709
CPU user time (s): 229.12
CPU system time (s): 0.589426
CPU usage (%): 97.4362
Max. virtual memory (cumulated for all children) (KiB): 38304
Max. memory (cumulated for all children) (KiB): 12496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.12
system time used= 0.589426
maximum resident set size= 12496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78672
page faults= 0
swaps= 0
block input operations= 16
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 10513


# summary of solver processes directly reported to runsolver:
#   pid: 426463
#   total CPU time (s): 229.709
#   total CPU user time (s): 229.12
#   total CPU system time (s): 0.589426

??? end of timestamper thread
runsolver used 2.11855 second user time and 2.79368 second system time

The end
