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

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

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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/biere/cmpadd/ca008.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.100623 s]*
/proc/loadavg: 0.00 0.00 0.00 5/455 418008
/proc/meminfo: memFree=1713808/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=37788 memory=9700 CPUtime=0.11 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1352 0 0 0 10 1 0 0 20 0 1 0 225222840 38694912 2425 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9447 2425 1444 2 0 1856 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 9700 KiB

[startup+0.240623 s]*
/proc/loadavg: 0.00 0.00 0.00 5/448 418011
/proc/meminfo: memFree=1714808/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=37788 memory=9700 CPUtime=0.21 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1354 0 0 0 20 1 0 0 20 0 1 0 225222840 38694912 2425 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9447 2425 1444 2 0 1856 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 9700 KiB

[startup+0.33962 s]*
/proc/loadavg: 0.00 0.00 0.00 6/448 418011
/proc/meminfo: memFree=1714084/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=37788 memory=9700 CPUtime=0.3 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1354 0 0 0 29 1 0 0 20 0 1 0 225222840 38694912 2425 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9447 2425 1444 2 0 1856 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 9700 KiB

[startup+0.700619 s]
/proc/loadavg: 0.00 0.00 0.00 5/448 418011
/proc/meminfo: memFree=1713076/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=37788 memory=9700 CPUtime=0.58 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1358 0 0 0 57 1 0 0 20 0 1 0 225222840 38694912 2425 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9447 2425 1444 2 0 1856 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 9700 KiB

[startup+1.50662 s]
/proc/loadavg: 0.00 0.00 0.00 5/448 418011
/proc/meminfo: memFree=1713076/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=37788 memory=9700 CPUtime=1.37 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1360 0 0 0 136 1 0 0 20 0 1 0 225222840 38694912 2425 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9447 2425 1444 2 0 1856 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 9700 KiB

[startup+3.12462 s]
/proc/loadavg: 0.24 0.05 0.02 5/448 418011
/proc/meminfo: memFree=1713028/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=37788 memory=10124 CPUtime=2.93 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1376 0 0 0 292 1 0 0 20 0 1 0 225222840 38694912 2531 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9447 2531 1489 2 0 1856 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10124 KiB

[startup+6.30062 s]
/proc/loadavg: 0.24 0.05 0.02 5/448 418011
/proc/meminfo: memFree=1712932/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=37788 memory=10124 CPUtime=6.04 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1387 0 0 0 603 1 0 0 20 0 1 0 225222840 38694912 2531 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9447 2531 1489 2 0 1856 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10124 KiB

[startup+12.7006 s]
/proc/loadavg: 0.51 0.11 0.04 3/440 418013
/proc/meminfo: memFree=1718940/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=37788 memory=10124 CPUtime=12.29 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1424 0 0 0 1228 1 0 0 20 0 1 0 225222840 38694912 2531 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9447 2531 1489 2 0 1856 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10124 KiB

[startup+25.5006 s]
/proc/loadavg: 0.74 0.18 0.06 3/440 418013
/proc/meminfo: memFree=1715712/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12028 CPUtime=24.78 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1454 0 0 0 2477 1 0 0 20 0 1 0 225222840 38957056 3007 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3007 1489 2 0 1920 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12028 KiB

[startup+51.1196 s]
/proc/loadavg: 1.17 0.32 0.11 3/440 418022
/proc/meminfo: memFree=1715492/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12028 CPUtime=49.77 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1477 0 0 0 4976 1 0 0 20 0 1 0 225222840 38957056 3007 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3007 1489 2 0 1920 0
Current children cumulated CPU time: 49.77 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12028 KiB

[startup+102.301 s]
/proc/loadavg: 1.67 0.61 0.22 3/440 418023
/proc/meminfo: memFree=1715520/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12028 CPUtime=99.72 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1489 0 0 0 9971 1 0 0 20 0 1 0 225222840 38957056 3007 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3007 1489 2 0 1920 0
Current children cumulated CPU time: 99.72 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12028 KiB

[startup+162.301 s]
/proc/loadavg: 1.88 0.86 0.34 3/440 418033
/proc/meminfo: memFree=1715268/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12284 CPUtime=158.28 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1496 0 0 0 15827 1 0 0 20 0 1 0 225222840 38957056 3071 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3071 1489 2 0 1920 0
Current children cumulated CPU time: 158.28 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12284 KiB

[startup+222.301 s]
/proc/loadavg: 2.03 1.07 0.44 3/438 418043
/proc/meminfo: memFree=1714764/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12284 CPUtime=216.84 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1503 0 0 0 21683 1 0 0 20 0 1 0 225222840 38957056 3071 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3071 1489 2 0 1920 0
Current children cumulated CPU time: 216.84 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12284 KiB

[startup+282.301 s]
/proc/loadavg: 2.54 1.38 0.59 3/439 418056
/proc/meminfo: memFree=1714516/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12284 CPUtime=275.37 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1510 0 0 0 27536 1 0 0 20 0 1 0 225222840 38957056 3071 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3071 1489 2 0 1920 0
Current children cumulated CPU time: 275.37 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12284 KiB

[startup+342.301 s]
/proc/loadavg: 3.12 1.75 0.76 3/440 418066
/proc/meminfo: memFree=1714432/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12284 CPUtime=333.92 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1518 0 0 0 33391 1 0 0 20 0 1 0 225222840 38957056 3071 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3071 1489 2 0 1920 0
Current children cumulated CPU time: 333.92 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12284 KiB

[startup+402.301 s]
/proc/loadavg: 3.68 2.17 0.97 3/440 418075
/proc/meminfo: memFree=1714040/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12284 CPUtime=392.46 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1521 0 0 0 39245 1 0 0 20 0 1 0 225222840 38957056 3071 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3071 1489 2 0 1920 0
Current children cumulated CPU time: 392.46 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12284 KiB

[startup+462.301 s]
/proc/loadavg: 3.37 2.38 1.12 3/440 418085
/proc/meminfo: memFree=1713676/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12284 CPUtime=451.02 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1521 0 0 0 45101 1 0 0 20 0 1 0 225222840 38957056 3071 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3071 1489 2 0 1920 0
Current children cumulated CPU time: 451.02 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12284 KiB

[startup+522.301 s]
/proc/loadavg: 2.61 2.35 1.20 3/440 418094
/proc/meminfo: memFree=1714040/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12284 CPUtime=509.58 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1526 0 0 0 50957 1 0 0 20 0 1 0 225222840 38957056 3071 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3071 1489 2 0 1920 0
Current children cumulated CPU time: 509.58 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12284 KiB
[-1, -2, -3, -4, -5, -6, -7, -8] -> []

[-1, -2, -3, -4, -5, -6, -7, 8, 9, -15, -16, 17, 18, -19] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, 15, 17, -18, -19, -20, -22, 25] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9, -15, -16, -17, -19, -21, -22, -32, -54, -72] -> ph3-2_2 

[-1, -2, -3, -4, -5, 6, -7, -8, 9, 15, 17, 18, -19, 20, -27, 32] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, -17, -19, 21, -32, -54, 72, 110] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, 17, 18, -19, -21, 22, 25, -27, 32, 54, 72, -110] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9, 15, 17, -18, -19, 20, -22] -> []

[-1, -2, -3, -4, -5, 6, 7, 8, 9, 15, 17, 18, -19, 20, -22, 25, -27] -> ph3-2_1 

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, -29, 32, 36] -> ph3-2_4 

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, -17, -19, -21, 22, 25, 29, 32, 36, 37] -> ph3-2_5 

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, 29, -32, 37] -> ph3-2_5 

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, 27, -29, 32, 36] -> ph3-2_6 

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22, 25, -29, 32, -36] -> ph3-2_6 

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, 27, 29, -32, -40] -> ph3-2_5 

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, -15, -16, 17, -18, -19, -21, -22] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, 15, -17, -19, 29, 32, 36] -> ph3-2_5 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17, -19, -21, -22, -29, 32, -36, 46, -49, -52, -54, -72] -> ph3-2_2 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, -18, -19, -21, 22, 25] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, -22, 27, -29, 32, -36, 46, -49, -52, -54, 72, 110] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, -27, 29, -32, 46] -> ph3-2_5 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, 11, -15, -16, 17, -18, -19, -21, -22] -> ph3-2_7 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, -17, -19, 21, -29, 32, 36, 46, 49, -54] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, 29, 32] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, 15, 17, 18, -19, -22, 25, 27, -29, 32] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, 11, 15, -17, -19, 22, 25] -> ph3-2_8 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22, -25, -29, 32, 36, 46, 49, 54] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, 21, -29, 32, -36, -46] -> ph3-2_6 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, -27, -29, 32, -36, 46, -49, 52, -54, -72] -> ph3-2_2 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, 27, -29, 32, 36, -46] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, -29, -32, 46, -49, -52, -54] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, -27, -29, 32, -36, 46, -49, 52, -54, -72] -> ph3-2_2 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, 27, -29, 32, 36, -46] -> ph3-2_6 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, 15, 17, 18, -19, -22, 25, -27, 29, -32, 46] -> ph3-2_5 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, 11, -15, -16, -17, -19, -21, 22, -25] -> ph3-2_3 

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, -12, -13, -15, 16, -17, -19, -21, 22, 25, 32] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12, -13, -14, -15, 16, 17, 18, -19, -21, 22, 25, 32] -> []

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10, -12, -13, -15, 16, 17, -19, -21, 22, 25] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10, 12, 13] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, -13, -14, -15, 16, 17, 18, -19, 21, -27, -32] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, 13, -14, 15, -17, -19, -20, 22, 25, -32] -> []

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, -13, -14, -15, -16, 17, 18, -19] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, 13, -14, 15, 17, 18, -19, -20, 22, -25, 27] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, -12, 13, -15, -16, -17, -19, -21] -> []

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14, -15, -16, 17, 18, -19, -21, -22, -32, 54, 72, 110] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, -7, 8, 9, -10, -12, 13, 15, -17] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12, -13, -15, -16, -19, -21, 22, 25, 32, -54, 72, -110] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13, -15, -16, -17, -19, -21, 22, 25, 32, 54, 72, 110] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13, -15, -16, -17, -19, -21, 22, 25, 32, -54, 72, 110] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, -25, -32, 54, 72, -110] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, 15, -17, -19, 20, 22, -25, -32] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, -25, 32, 54, 72, -110] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, 15, 17, -18, -19, -20, -22, 25] -> []

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, -12, 13, -15] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, 12, 13, -14, 15, 17, -18, -19, 20, -22, 25] -> ph3-2_1 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21, 22, 25, 29, 30, 32] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, 25, 29, 32, 36, 37] -> ph3-2_5 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, 10, -11, -12] -> ph3-2_9 

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22, 29, -32] -> ph3-2_5 

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, 22, 25, 29, 30, 32, -36] -> ph3-2_5 

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, -25, 29, 32, 36, 37] -> ph3-2_5 

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11, 12, 13, -14, -15, -16, 17, 18, -19, -21, -22, 32] -> ph3-2_10 

[-1, -2, -3, 4, 5, -6, 7, -8, 9, -10, -11, 12, -13, -15, -16, -19, -21, 22, 25, 29] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22, 25, -29, 32] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18, -19, 21, -27, -29, 32, 36, 40] -> ph3-2_6 

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, 25, 32] -> ph3-2_8 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21, -22] -> ph3-2_11 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, 25, -29, -32] -> ph3-2_6 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18, -19, 21, -27, -29, 32, -36, 40] -> ph3-2_6 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11, 12, -13, -14, -15, -16, 17, 18, -19, 21, 27, 32] -> ph3-2_10 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36, -46] -> ph3-2_6 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, -22, -29, 32, 36, 46, 49, 54] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, 12, -13, -14, 15, -19, -29, 32] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, 11, -12, -13, 15, 17, -19, 32] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12, -13, -15, -16, -19, -21, 22, -25, -29, 32, 36, -46] -> ph3-2_6 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, -17, -19, -21, -22, -29, 32, -36, 46, 49, 54, -72] -> ph3-2_2 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22, -29, 32, -36, 46, -49, 52, 54, -72] -> ph3-2_2 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, 15, 17, -19, -29, -32, -46] -> ph3-2_6 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21, 22, -25, -29, 32, 36, -46] -> ph3-2_6 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, -22, 29, 32, -36] -> ph3-2_5 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, -13, -14, -15, -16, 17, 18, -19, -21, -22, -29, -32, 46, 49, 54] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, -13, -14, -15] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, -25, -29, -32, -46] -> ph3-2_6 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, 11, -12, 13, -15, -16, -17] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16, -19, -21, -22, -29, 32, -36, 46, -49, 52, 54, -72] -> ph3-2_2 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, 11, -12] -> ph3-2_9 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, -10, -11, 12, -13, 15, -19, 22, -25, -29, 32] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36, 46, -49, -52, -54] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36, 46, -49, 52, 54] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, 25, 29, 32, 36, 46] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, 15, 17, 18, -19, -22, 25, -27, 29, 32, 36, 46] -> ph3-2_5 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, 25, -29, 32, 36, -46] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, 15, 17, -18, -19, -22, 25] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, -12, 13, -15, -16, -17, -19] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, 12, 13, -14, -15, -16, 17, 18] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, -21, 22, -25, -29, 32, 36, -46] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, 21, -29, -32, 46, -49, -52, -54] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, 15, -19, 22, -25, -29, 32, 36, -46] -> ph3-2_6 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, -25, -29, 32, -36, 46, 49, -54, -72] -> ph3-2_2 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, 25, -29, 32, 36, 46, 49, 54] -> ph3-2_3 

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

[-1, -2, -3, -4, -5, -6, -7, 8, 9, -15, -16, 17, 18] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, 15, 17, -18, -19, -20, -22] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9, -15, -16, -17, -19, -21, -22, -32, -54] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, -7, -8, 9, 15, 17, 18, -19, 20, -27] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, -17, -19, 21, -32, -54, 72] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, 17, 18, -19, -21, 22, 25, -27, 32, 54, 72] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9, 15, 17, -18, -19, 20] -> []

[-1, -2, -3, -4, -5, 6, 7, 8, 9, 15, 17, 18, -19, 20, -22, 25] -> ph3-2_1 

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, -29, 32] -> ph3-2_4 

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, -17, -19, -21, 22, 25, 29, 32, 36] -> ph3-2_5 

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, 29, -32] -> ph3-2_5 

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, 27, -29, 32] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22, 25, -29, 32] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, 27, 29, -32] -> ph3-2_5 

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, -15, -16, 17, -18, -19, -21] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, 15, -17, -19, 29, 32] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17, -19, -21, -22, -29, 32, -36, 46, -49, -52, -54] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, -18, -19, -21, 22] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, -22, 27, -29, 32, -36, 46, -49, -52, -54, 72] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, -27, 29, -32] -> ph3-2_5 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, 11, -15, -16, 17, -18, -19, -21] -> ph3-2_7 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, -17, -19, 21, -29, 32, 36, 46, 49] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, 29] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, 15, 17, 18, -19, -22, 25, 27, -29] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, 11, 15, -17, -19, 22] -> ph3-2_8 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22, -25, -29, 32, 36, 46, 49] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, 21, -29, 32, -36] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, -27, -29, 32, -36, 46, -49, 52, -54] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, 27, -29, 32, 36] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, -29, -32, 46, -49, -52] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, -27, -29, 32, -36, 46, -49, 52, -54] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, 27, -29, 32, 36] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, 15, 17, 18, -19, -22, 25, -27, 29, -32] -> ph3-2_5 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, 11, -15, -16, -17, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, -12, -13, -15, 16, -17, -19, -21, 22, 25] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12, -13, -14, -15, 16, 17, 18, -19, -21, 22, 25] -> []

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10, -12, -13, -15, 16, 17, -19, -21, 22] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10, 12] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, -13, -14, -15, 16, 17, 18, -19, 21, -27] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, 13, -14, 15, -17, -19, -20, 22, 25] -> []

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, -13, -14, -15, -16, 17, 18] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, 13, -14, 15, 17, 18, -19, -20, 22, -25] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, -12, 13, -15, -16, -17, -19] -> []

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14, -15, -16, 17, 18, -19, -21, -22, -32, 54, 72] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, -7, 8, 9, -10, -12, 13, 15] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12, -13, -15, -16, -19, -21, 22, 25, 32, -54, 72] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13, -15, -16, -17, -19, -21, 22, 25, 32, 54, 72] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13, -15, -16, -17, -19, -21, 22, 25, 32, -54, 72] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, -25, -32, 54, 72] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, 15, -17, -19, 20, 22, -25] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, -25, 32, 54, 72] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, 15, 17, -18, -19, -20, -22] -> []

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, -12, 13] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, 12, 13, -14, 15, 17, -18, -19, 20, -22] -> ph3-2_1 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21, 22, 25, 29, 30] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, 25, 29, 32, 36] -> ph3-2_5 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, 10, -11] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22, 29] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, 22, 25, 29, 30, 32] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, -25, 29, 32, 36] -> ph3-2_5 

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11, 12, 13, -14, -15, -16, 17, 18, -19, -21, -22] -> ph3-2_7 

[-1, -2, -3, 4, 5, -6, 7, -8, 9, -10, -11, 12, -13, -15, -16, -19, -21, 22, 25] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22, 25, -29] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18, -19, 21, -27, -29, 32, 36] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, 25] -> ph3-2_8 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, 25, -29] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18, -19, 21, -27, -29, 32, -36] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11, 12, -13, -14, -15, -16, 17, 18, -19, 21, 27] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, -22, -29, 32, 36, 46, 49] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, 12, -13, -14, 15, -19, -29] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, 11, -12, -13, 15, 17, -19] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12, -13, -15, -16, -19, -21, 22, -25, -29, 32, 36] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, -17, -19, -21, -22, -29, 32, -36, 46, 49, 54] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22, -29, 32, -36, 46, -49, 52, 54] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, 15, 17, -19, -29, -32] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21, 22, -25, -29, 32, 36] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, -22, 29, 32] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, -13, -14, -15, -16, 17, 18, -19, -21, -22, -29, -32, 46, 49] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, -13, -14] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, -25, -29, -32] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, 11, -12, 13, -15, -16] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16, -19, -21, -22, -29, 32, -36, 46, -49, 52, 54] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, 11] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, -10, -11, 12, -13, 15, -19, 22, -25, -29] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36, 46, -49, -52] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36, 46, -49, 52] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, 25, 29, 32, 36] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, 15, 17, 18, -19, -22, 25, -27, 29, 32, 36] -> ph3-2_5 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, 25, -29, 32, 36] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, 15, 17, -18, -19, -22] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, -12, 13, -15, -16, -17] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, 12, 13, -14, -15, -16, 17] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, -21, 22, -25, -29, 32, 36] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, 21, -29, -32, 46, -49, -52] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, 15, -19, 22, -25, -29, 32, 36] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, -25, -29, 32, -36, 46, 49, -54] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, 25, -29, 32, 36, 46, 49] -> ph3-2_3 

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

[-1, -2, -3, -4, -5, -6, -7, 8, 9, -15, -16, 17] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, 15, 17, -18, -19, -20] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9, -15, -16, -17, -19, -21, -22, -32] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, -7, -8, 9, 15, 17, 18, -19, 20] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, -17, -19, 21, -32, -54] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, 17, 18, -19, -21, 22, 25, -27, 32, 54] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9, 15, 17, -18, -19] -> []

[-1, -2, -3, -4, -5, 6, 7, 8, 9, 15, 17, 18, -19, 20, -22] -> ph3-2_1 

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, -29] -> ph3-2_4 

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, -17, -19, -21, 22, 25, 29, 32] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, 29] -> []

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, 27, -29] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22, 25, -29] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, 27, 29] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, -15, -16, 17, -18, -19] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, 15, -17, -19, 29] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17, -19, -21, -22, -29, 32, -36, 46, -49, -52] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, -18, -19, -21] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, -22, 27, -29, 32, -36, 46, -49, -52, -54] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, -27, 29] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, 11, -15, -16, 17, -18, -19] -> ph3-2_7 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, -17, -19, 21, -29, 32, 36, 46] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, 15, 17, 18, -19, -22, 25, 27] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, 11, 15, -17, -19] -> ph3-2_8 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22, -25, -29, 32, 36, 46] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, 21, -29, 32] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, -27, -29, 32, -36, 46, -49, 52] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, 27, -29, 32] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, -29, -32, 46, -49] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, -27, -29, 32, -36, 46, -49, 52] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, 27, -29, 32] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, 15, 17, 18, -19, -22, 25, -27, 29] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, 11, -15, -16, -17, -19, -21] -> ph3-2_7 

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, -12, -13, -15, 16, -17, -19, -21, 22] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12, -13, -14, -15, 16, 17, 18, -19, -21, 22] -> []

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10, -12, -13, -15, 16, 17, -19, -21] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, -13, -14, -15, 16, 17, 18, -19, 21] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, 13, -14, 15, -17, -19, -20, 22] -> []

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, -13, -14, -15, -16, 17] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, 13, -14, 15, 17, 18, -19, -20, 22] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, -12, 13, -15, -16, -17] -> []

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14, -15, -16, 17, 18, -19, -21, -22, -32, 54] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, -7, 8, 9, -10, -12, 13] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12, -13, -15, -16, -19, -21, 22, 25, 32, -54] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13, -15, -16, -17, -19, -21, 22, 25, 32, 54] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13, -15, -16, -17, -19, -21, 22, 25, 32, -54] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, -25, -32, 54] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, 15, -17, -19, 20, 22] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, -25, 32, 54] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, 15, 17, -18, -19, -20] -> []

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, -12] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, 12, 13, -14, 15, 17, -18, -19, 20] -> ph3-2_1 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21, 22, 25, 29] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, 25, 29, 32] -> []

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, 22, 25, 29, 30] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, -25, 29, 32] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11, 12, 13, -14, -15, -16, 17, 18, -19, -21] -> ph3-2_7 

[-1, -2, -3, 4, 5, -6, 7, -8, 9, -10, -11, 12, -13, -15, -16, -19, -21, 22] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22, 25] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18, -19, 21, -27, -29, 32] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22] -> ph3-2_8 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, -12, -13, -15, -16, 17, -19] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, 25] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18, -19, 21, -27, -29, 32] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11, 12, -13, -14, -15, -16, 17, 18, -19, 21] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25, -29, 32] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, -22, -29, 32, 36, 46] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, 12, -13, -14, 15, -19] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, 11, -12, -13, 15, 17] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12, -13, -15, -16, -19, -21, 22, -25, -29, 32] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, -17, -19, -21, -22, -29, 32, -36, 46, 49] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22, -29, 32, -36, 46, -49, 52] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, 15, 17, -19, -29] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21, 22, -25, -29, 32] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, -22, 29] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, -13, -14, -15, -16, 17, 18, -19, -21, -22, -29, -32, 46] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, -13] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, -25, -29] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, 11, -12, 13, -15] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16, -19, -21, -22, -29, 32, -36, 46, -49, 52] -> ph3-2_3 

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

[-1, -2, -3, 4, 5, 6, 7, -8, 9, -10, -11, 12, -13, 15, -19, 22, -25] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36, 46, -49] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36, 46, -49] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, 25, 29, 32] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, 15, 17, 18, -19, -22, 25, -27, 29, 32] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, 25, -29, 32] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, 15, 17, -18, -19] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, -12, 13, -15, -16] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, 12, 13, -14, -15, -16] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, -21, 22, -25, -29, 32] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, 21, -29, -32, 46, -49] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, 15, -19, 22, -25, -29, 32] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, -25, -29, 32, -36, 46, 49] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, 25, -29, 32, 36, 46] -> ph3-2_3 

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

[-1, -2, -3, -4, -5, -6, -7, 8, 9, -15, -16] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, 15, 17, -18, -19] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9, -15, -16, -17, -19, -21, -22] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, -7, -8, 9, 15, 17, 18, -19] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, -17, -19, 21, -32] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, 17, 18, -19, -21, 22, 25, -27, 32] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9, 15, 17, -18] -> []

[-1, -2, -3, -4, -5, 6, 7, 8, 9, 15, 17, 18, -19, 20] -> ph3-2_1 

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, -17, -19, -21, 22, 25, 29] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27] -> []

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, 27] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22, 25] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, 27] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, -15, -16, 17, -18] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, 15, -17, -19] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17, -19, -21, -22, -29, 32, -36, 46, -49] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, -18, -19] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, -22, 27, -29, 32, -36, 46, -49, -52] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, -27] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, 11, -15, -16, 17, -18] -> ph3-2_7 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, -17, -19, 21, -29, 32, 36] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, 15, 17, 18, -19, -22, 25] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, 11, 15, -17] -> ph3-2_8 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22, -25, -29, 32, 36] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, 21, -29] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, -27, -29, 32, -36, 46, -49] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, 27, -29] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, -29, -32, 46] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, -27, -29, 32, -36, 46, -49] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, 27, -29] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, 15, 17, 18, -19, -22, 25, -27] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, 11, -15, -16, -17, -19] -> ph3-2_7 

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, -12, -13, -15, 16, -17, -19, -21] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12, -13, -14, -15, 16, 17, 18, -19, -21] -> []

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10, -12, -13, -15, 16, 17, -19] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, -7, 8, 9] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, -13, -14, -15, 16, 17, 18, -19] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, 13, -14, 15, -17, -19, -20] -> []

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, -13, -14, -15, -16] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, 13, -14, 15, 17, 18, -19, -20] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, -12, 13, -15, -16] -> []

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14, -15, -16, 17, 18, -19, -21, -22, -32] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, -7, 8, 9, -10, -12] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12, -13, -15, -16, -19, -21, 22, 25, 32] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13, -15, -16, -17, -19, -21, 22, 25, 32] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13, -15, -16, -17, -19, -21, 22, 25, 32] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, -25, -32] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, 15, -17, -19, 20] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, -25, 32] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, 15, 17, -18, -19] -> []

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, 12, 13, -14, 15, 17, -18, -19] -> ph3-2_1 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21, 22, 25] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, 25, 29] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, 22, 25, 29] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, -25, 29] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11, 12, 13, -14, -15, -16, 17, 18, -19] -> ph3-2_7 

[-1, -2, -3, 4, 5, -6, 7, -8, 9, -10, -11, 12, -13, -15, -16, -19, -21] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18, -19, 21, -27, -29] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12, 13, -14, -15, -16, 17, -18, -19, -21] -> ph3-2_8 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, -12, -13, -15, -16, 17] -> []

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

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18, -19, 21, -27, -29] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11, 12, -13, -14, -15, -16, 17, 18, -19] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25, -29] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, -22, -29, 32, 36] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, 12, -13, -14, 15] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, 11, -12, -13, 15] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12, -13, -15, -16, -19, -21, 22, -25, -29] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, -17, -19, -21, -22, -29, 32, -36, 46] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22, -29, 32, -36, 46, -49] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, 15, 17, -19] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21, 22, -25, -29] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, -22] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, -13, -14, -15, -16, 17, 18, -19, -21, -22, -29, -32] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, -25] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, 11, -12, 13] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16, -19, -21, -22, -29, 32, -36, 46, -49] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, -10, -11, 12, -13, 15, -19, 22] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36, 46] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36, 46] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, 25, 29] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, 15, 17, 18, -19, -22, 25, -27, 29] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, 25, -29] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, 15, 17, -18] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, -12, 13, -15] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, 12, 13, -14, -15] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, -21, 22, -25, -29] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, 21, -29, -32, 46] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, 15, -19, 22, -25, -29] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, -25, -29, 32, -36, 46] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, 25, -29, 32, 36] -> ph3-2_3 

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

[-1, -2, -3, -4, -5, -6, -7, 8, 9, -15] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, 15, 17, -18] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9, -15, -16, -17, -19, -21] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9, 15, 17, 18] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, -17, -19, 21] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, 17, 18, -19, -21, 22, 25, -27] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9, 15, 17] -> []

[-1, -2, -3, -4, -5, 6, 7, 8, 9, 15, 17, 18, -19] -> ph3-2_1 

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, -17, -19, -21, 22, 25] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25] -> []

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, -15, -16, 17] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, 15, -17] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17, -19, -21, -22, -29, 32, -36, 46] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, -18] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, -22, 27, -29, 32, -36, 46, -49] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, 11, -15, -16, 17] -> ph3-2_7 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, -17, -19, 21, -29, 32] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, 15, 17, 18, -19, -22] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, 11, 15] -> ph3-2_8 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22, -25, -29, 32] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, 21] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, -27, -29, 32, -36, 46] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, 27] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, -29, -32] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, -27, -29, 32, -36, 46] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, 27] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, 15, 17, 18, -19, -22, 25] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, 11, -15, -16, -17] -> ph3-2_7 

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, -12, -13, -15, 16, -17, -19] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12, -13, -14, -15, 16, 17, 18, -19] -> []

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10, -12, -13, -15, 16, 17] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, -7, 8] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, -13, -14, -15, 16, 17, 18] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, 13, -14, 15, -17, -19] -> []

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, -13, -14, -15] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, 13, -14, 15, 17, 18, -19] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, -12, 13, -15] -> []

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14, -15, -16, 17, 18, -19, -21, -22] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, -7, 8, 9, -10] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12, -13, -15, -16, -19, -21, 22, 25] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13, -15, -16, -17, -19, -21, 22, 25] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13, -15, -16, -17, -19, -21, 22, 25] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, -25] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, 15, -17, -19] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, -25] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, 15, 17, -18] -> []

[-1, -2, -3, 4, -5, 6, 7, 8, 9] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, 12, 13, -14, 15, 17, -18] -> ph3-2_1 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21, 22] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, 25] -> []

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, 22, 25] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18, -19, -21, 22, -25] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11, 12, 13, -14, -15, -16, 17, 18] -> ph3-2_7 

[-1, -2, -3, 4, 5, -6, 7, -8, 9, -10, -11, 12, -13, -15, -16, -19] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18, -19, 21, -27] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12, 13, -14, -15, -16, 17, -18, -19] -> ph3-2_8 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, -12, -13, -15, -16] -> []

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

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18, -19, 21, -27] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11, 12, -13, -14, -15, -16, 17, 18] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, -22, -29, 32] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, 12, -13, -14] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, 11, -12, -13] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12, -13, -15, -16, -19, -21, 22, -25] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, -17, -19, -21, -22, -29, 32, -36] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22, -29, 32, -36, 46] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, 15, 17] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21, 22, -25] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, -13, -14, -15, -16, 17, 18, -19, -21, -22, -29] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11] -> []

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

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, 11, -12] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16, -19, -21, -22, -29, 32, -36, 46] -> ph3-2_3 

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

[-1, -2, -3, 4, 5, 6, 7, -8, 9, -10, -11, 12, -13, 15, -19] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22, -25, -29, 32, 36] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22, 25] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, 15, 17, 18, -19, -22, 25, -27] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22, 25] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, 15, 17] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, -12, 13] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, 12, 13, -14] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, -21, 22, -25] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, 21, -29, -32] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, 15, -19, 22, -25] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, -25, -29, 32, -36] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, 25, -29, 32] -> ph3-2_3 

[-1, -2, -3] -> []

[-1, -2, -3, -4, -5, -6, -7, 8, 9] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, 15, 17] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9, -15, -16, -17, -19] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9, 15, 17] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, -17, -19] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, 17, 18, -19, -21, 22, 25] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9, 15] -> []

[-1, -2, -3, -4, -5, 6, 7, 8, 9, 15, 17, 18] -> ph3-2_1 

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, -17, -19, -21, 22] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22] -> []

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21, 22] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, -17, -19, -21] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, 17, 18, -19] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, -15, -16] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, 15] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17, -19, -21, -22, -29, 32, -36] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, -22, 27, -29, 32, -36, 46] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, 11, -15, -16] -> ph3-2_7 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, -17, -19, 21, -29] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, 15, 17, 18, -19] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, 11] -> ph3-2_8 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22, -25, -29] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, -27, -29, 32, -36] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27, -29] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, -27, -29, 32, -36] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, 15, 17, 18, -19, -22] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, 11, -15, -16] -> ph3-2_7 

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, -12, -13, -15, 16, -17] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12, -13, -14, -15, 16, 17, 18] -> []

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10, -12, -13, -15, 16] -> ph3-2_1 

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

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, -13, -14, -15, 16, 17] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, 13, -14, 15, -17] -> []

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, -13, -14] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, 13, -14, 15, 17, 18] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, -12, 13] -> []

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14, -15, -16, 17, 18, -19, -21] -> []

[-1, -2, -3, 4, -5, 6, -7, 8, 9] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12, -13, -15, -16, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13, -15, -16, -17, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13, -15, -16, -17, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, 15, -17] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, 15, 17] -> []

[-1, -2, -3, 4, -5, 6, 7, 8] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, 12, 13, -14, 15, 17] -> ph3-2_1 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21] -> []

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

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, 22] -> []

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11, 12, 13, -14, -15, -16, 17] -> ph3-2_7 

[-1, -2, -3, 4, 5, -6, 7, -8, 9, -10, -11, 12, -13, -15, -16] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19] -> []

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

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12, 13, -14, -15, -16, 17, -18] -> ph3-2_8 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, -12, -13, -15] -> []

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

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

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11, 12, -13, -14, -15, -16, 17] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, 22] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, -22, -29] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, 12, -13] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, 11, -12] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12, -13, -15, -16, -19, -21, 22] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, -17, -19, -21, -22, -29, 32] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22, -29, 32, -36] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, 15] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21, 22] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19] -> []

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

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

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

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, 11] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16, -19, -21, -22, -29, 32, -36] -> []

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

[-1, -2, -3, 4, 5, 6, 7, -8, 9, -10, -11, 12, -13, 15] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25, -29, 32] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22, -25, -29, 32] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, -15, -16, 17, -18, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, 15, 17, 18, -19, -22, 25] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, -18, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, 15] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, -12] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, 12, 13] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, 21, -29] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, 15, -19, 22] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, -25, -29, 32] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, 25, -29] -> ph3-2_3 

[-1, -2] -> []

[-1, -2, -3, -4, -5, -6, -7, 8] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, 15] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9, -15, -16, -17] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9, 15] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, -17] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, 17, 18, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, -4, -5, 6, 7, -8, 9] -> []

[-1, -2, -3, -4, -5, 6, 7, 8, 9, 15, 17] -> ph3-2_1 

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15, -16, 17, 18, -19, -21] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, -17, -19, -21] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21] -> []

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15, -16, 17, 18, -19, -21] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, -17, -19] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, 17, 18] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11, -15] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9, -11] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17, -19, -21, -22, -29, 32] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, -22, 27, -29, 32, -36] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, 11, -15] -> ph3-2_7 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, -17, -19, 21] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, 17, 18, -19] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, 15, 17, 18] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22, -25] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, -27, -29, 32] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25, 27] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, -27, -29, 32] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, 15, 17, 18, -19] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, 11, -15] -> ph3-2_7 

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, -12, -13, -15, 16] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12, -13, -14, -15, 16, 17] -> []

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10, -12, -13, -15] -> ph3-2_1 

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

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, -13, -14, -15, 16] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, 13, -14, 15] -> []

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, -13] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, 13, -14, 15, 17] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, -12] -> []

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14, -15, -16, 17, 18, -19] -> []

[-1, -2, -3, 4, -5, 6, -7, 8] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12, -13, -15, -16, -19, -21] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13, -15, -16, -17, -19, -21] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13, -15, -16, -17, -19, -21] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15, -16, 17, -18, -19, -21] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, 15] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15, -16, 17, -18, -19, -21] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, 15] -> []

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

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, 12, 13, -14, 15] -> ph3-2_1 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12, 13, -15, -16, -17, -19] -> []

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

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, -13, -15, -16] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21] -> []

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11, 12, 13, -14, -15, -16] -> ph3-2_7 

[-1, -2, -3, 4, 5, -6, 7, -8, 9, -10, -11, 12, -13, -15] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17] -> []

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

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12, 13, -14, -15, -16, 17] -> ph3-2_8 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, -12, -13] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, -13, -14, -15, -16, 17, -18] -> []

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

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11, 12, -13, -14, -15, -16] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21, -22] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, 12] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, 11] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12, -13, -15, -16, -19, -21] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, -17, -19, -21, -22, -29] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22, -29, 32] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, -17, -19, -21] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17] -> []

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

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

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16, -19, -21, -22, -29, 32] -> []

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

[-1, -2, -3, 4, 5, 6, 7, -8, 9, -10, -11, 12, -13] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25, -29] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22, -25, -29] -> ph3-2_3 

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

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, 15, 17, 18, -19, -22] -> []

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

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, 11, 12] -> ph3-2_8 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, -21] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19, 21] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, 15, -19] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, -25, -29] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, 25] -> ph3-2_3 

[-1] -> []

[-1, -2, -3, -4, -5, -6, 7, -8, 9] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9, -15, -16] -> []

[-1, -2, -3, -4, -5, 6, -7, -8, 9] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, 17, 18, -19, -21] -> []

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

[-1, -2, -3, -4, -5, 6, 7, 8, 9, 15] -> ph3-2_1 

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15, -16, 17, 18, -19] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, -17, -19] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, 17, 18, -19] -> []

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15, -16, 17, 18, -19] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, -17] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16, 17] -> []

[-1, -2, -3, -4, 5, 6, -7, -8, 9] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17, -19, -21, -22, -29] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, -22, 27, -29, 32] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, 11] -> ph3-2_7 

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, -17, -19] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, 17, 18] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, 15, 17] -> []

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

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, -27, -29] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, 25] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, -27, -29] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, 15, 17, 18] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, 11] -> ph3-2_7 

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, -12, -13, -15] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12, -13, -14, -15, 16] -> []

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10, -12, -13] -> ph3-2_1 

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

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, -13, -14, -15] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, 13, -14] -> []

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, 13, -14, 15] -> ph3-2_1 

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

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14, -15, -16, 17, 18] -> []

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

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12, -13, -15, -16, -19] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13, -15, -16, -17, -19] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13, -15, -16, -17, -19] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15, -16, 17, -18, -19] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15, -16, 17, -18, -19] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14] -> []

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

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, 12, 13, -14] -> ph3-2_1 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12, 13, -15, -16, -17] -> []

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

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, -13, -15] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17, -19] -> []

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11, 12, 13, -14, -15] -> ph3-2_7 

[-1, -2, -3, 4, 5, -6, 7, -8, 9, -10, -11, 12, -13] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, -12, 13, -15, -16] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12, 13, -14, -15, -16] -> ph3-2_8 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, -12] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, -13, -14, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, 13, -14, -15, -16, 17, 18] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11, 12, -13, -14, -15] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13, -15, -16, 17, -19] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15, -16, 17, -19, -21] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11] -> []

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

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12, -13, -15, -16, -19] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, -17, -19, -21, -22] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22, -29] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, -17, -19] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16] -> []

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

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16, -19, -21, -22, -29] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, -10, -11, 12] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21, 22, -25] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22, -25] -> ph3-2_3 

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

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, 15, 17, 18, -19] -> []

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

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13] -> []

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

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16, -19] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, 15] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22, -25] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21, 22] -> ph3-2_3 

[] -> []

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

[-1, -2, -3, -4, -5, 6, -7, -8, 9, -15] -> []

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

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, 17, 18, -19] -> []

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

[-1, -2, -3, -4, -5, 6, 7, 8, 9] -> ph3-2_1 

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15, -16, 17, 18] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, -17] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, 17, 18] -> []

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15, -16, 17, 18] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15, -16] -> []

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

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17, -19, -21, -22] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, -22, 27, -29] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, -17] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16, 17] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, 15] -> []

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

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, -17, -19, -21] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, -21, 22, -25, -27] -> ph3-2_3 

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17, 18, -19, 21, -27] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, -15, -16, 17] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, 15, 17] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, -12, -13] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12, -13, -14, -15] -> []

[-1, -2, -3, 4, -5, -6, -7, 8, 9, -10, -12] -> ph3-2_1 

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

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, -13, -14] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, 13] -> []

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, 13, -14] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, -7, -8, 9] -> []

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14, -15, -16, 17] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12, -13, -15, -16] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13, -15, -16, -17] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13, -15, -16, -17] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15, -16, 17, -18] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15, -16, 17, -18] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13] -> []

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, 12, 13] -> ph3-2_1 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12, 13, -15, -16] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, -13] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17, 18] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11, 12, 13, -14] -> ph3-2_7 

[-1, -2, -3, 4, 5, -6, 7, -8, 9, -10, -11, 12] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, -12, 13, -15] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12, 13, -14, -15] -> ph3-2_8 

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11] -> []

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

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, 13, -14, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11, 12, -13, -14] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15, -16, 17, -19] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12, -13, -15, -16] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, -17, -19, -21] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21, -22] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15, -16, -17] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13, -15] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, -13, -14, -15, -16, 17, 18] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16, -19, -21, -22] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, -10, -11] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21, 22] -> ph3-2_3 

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, -15, -16, 17, -18] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, 15, 17, 18] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17, -18] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15, -16] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19, -21] -> []

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

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

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, 17, 18] -> []

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

[-1, -2, -3, -4, -5, 6, 7, 8] -> ph3-2_1 

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15, -16, 17] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15, -16, 17] -> []

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15, -16, 17] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11, -15] -> []

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

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17, -19, -21] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, -22, 27] -> []

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

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15, -16] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11] -> []

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

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11] -> []

[-1, -2, -3, -4, 5, 6, 7, 8, 9, -11, 15] -> []

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

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, -12] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12, -13, -14] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12, -13] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9, 10, 12] -> []

[-1, -2, -3, 4, -5, -6, 7, 8, 9] -> ph3-2_1 

[-1, -2, -3, 4, -5, -6, 7, 8, 9, 10, 12, 13] -> ph3-2_1 

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

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14, -15, -16] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12, -13, -15] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13, -15, -16] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13, -15, -16] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15, -16, 17] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15, -16, 17] -> []

[-1, -2, -3, 4, -5, 6, 7, 8, 9, 10, 12] -> ph3-2_1 

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12, 13, -15] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, 12, 13, -14, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13, -15, -16] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, 12, 13, -14, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11, 12, 13] -> ph3-2_7 

[-1, -2, -3, 4, 5, -6, 7, -8, 9, -10, -11] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, -12, 13] -> []

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

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12, 13, -14] -> ph3-2_8 

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

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, -13, -14, -15] -> []

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

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11, 12, -13] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13, -15, -16] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15, -16, 17] -> []

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

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12, -13, -15] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, -17, -19] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19, -21] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, 13] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, -13, -14, -15, -16, 17] -> []

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

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16, -19, -21] -> []

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

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17, -19, -21] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19, -21] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, 15, 17] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11] -> []

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

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12, -13, -15] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11, 12] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17, -19] -> []

[-1, -2, -3, -4, -5, 6, 7, -8, 9, -15, -16, 17] -> []

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15, -16] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11, -15] -> []

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15, -16] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9, -11] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17, -19] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, 17, 18, -19, -21, -22] -> []

[-1, -2, -3, -4, 5, 6, 7, -8, 9, -11, -15] -> []

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

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

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12, -13] -> []

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

[-1, -2, -3, 4, -5, -6, 7, 8] -> ph3-2_1 

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14, -15] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12, -13] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13, -15] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13, -15] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15, -16] -> []

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

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15, -16] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12, 13] -> []

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13, -15] -> []

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11, 12] -> ph3-2_7 

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

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, -12] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, 12, 13, -14, -15] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12, 13] -> ph3-2_8 

[-1, -2, -3, 4, 5, -6, 7, 8, 9] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, -13, -14] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, 13, -14, -15] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11, 12] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13, -15] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15, -16] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12, -13] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, -17] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17, -19] -> []

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

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, 13, -14, -15] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16, -19] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17, -19] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17, -19] -> []

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

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, 15] -> []

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

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

[-1, -2, -3, 4, 5, 6, 7, 8, 9, -10, -11] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16, -17] -> []

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11, -15] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9, -11] -> []

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11, -15] -> []

[-1, -2, -3, -4, 5, -6, 7, 8, 9] -> []

[-1, -2, -3, -4, 5, 6, -7, 8, 9, -11, -15, -16, -17] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9] -> []

[-1, -2, -3, 4, -5, -6, -7, -8, 9, -10, 12] -> []

[-1, -2, -3, 4, -5, -6, 7, -8, 9] -> []

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

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13, -14] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, -10, 12] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, -13] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12, 13] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, -13, -14, -15] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9] -> []

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, 12, 13, -14, -15] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, -12] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, 12, 13, -14, -15] -> []

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, -12, 13] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, 12, 13, -14, -15] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, 11] -> ph3-2_7 

[-1, -2, -3, 4, 5, -6, 7, -8, 9] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, 12, 13, -14] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11, 12] -> ph3-2_8 

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

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, -13] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, 13, -14] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, 11] -> ph3-2_7 

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, -13] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13, -15] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11, 12] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, 13, -14] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15, -16] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16, 17] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14, -15] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13, -14] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, 13, -14, -15] -> []

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

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15, -16] -> []

[-1, -2, -3, -4, 5, -6, -7, -8, 9, -11] -> []

[-1, -2, -3, -4, 5, -6, -7, 8, 9] -> []

[-1, -2, -3, -4, 5, -6, 7, -8, 9, -11] -> []

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

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

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

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12, 13] -> []

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

[-1, -2, -3, 4, -5, 6, 7, -8, 9, 10, -12] -> []

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

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11] -> []

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, 12, 13, -14] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, 12, 13, -14] -> []

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

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

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, 12, 13] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, 11] -> ph3-2_8 

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

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12] -> []

[-1, -2, -3, 4, 5, -6, 7, 8, 9, 10, -11, 12, 13] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, -10, -11, -12, 13] -> []

[-1, -2, -3, 4, 5, 6, -7, -8, 9, 10, -11] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, -12, -13, -15] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, -10, -11, 12, 13] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13, -15] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15, -16] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15, -16] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, 12, -13] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13, -15] -> []

[-1, -2, -3, -4, 5, -6, -7, -8, 9] -> []

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

[-1, -2, -3, -4, 5, -6, 7, -8, 9] -> []

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

[-1, -2, -3, 4, -5, 6, -7, -8, 9, -10, 12] -> []

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

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, 12, 13] -> []

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

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, 12, 13] -> []

[-1, -2, -3, 4, 5, -6, 7, -8, 9, 10, -11, 12] -> []

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

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12, -13] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13, -15] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13, -15] -> []

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

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12, -13] -> []

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

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

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

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

[-1, -2, -3, 4, 5, -6, -7, -8, 9, -10, -11, 12] -> []

[-1, -2, -3, 4, 5, -6, -7, 8, 9, -10, -11, 12] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11, 12] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, -13] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12, 13] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11, -12] -> []

[-1, -2, -3, 4, 5, 6, -7, 8, 9, 10, -11] -> []

[-1, -2, -3, 4, 5, 6, 7, -8, 9, 10, -11, -12] -> []

[-1, -2, -3, 4, 5, 6, 7, 8, 9, 10, -11] -> []

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


Detected pigeons:

 ph3-2_1 = [[32, 94], [94, -32], [-94, 32]]

 ph3-2_2 = [[110, 125], [-110, -125], [125, -110]]

 ph3-2_3 = [[114, -115], [-115, -114], [115, 114]]

 ph3-2_4 = [[-46, -74], [-74, -103], [114, 115]]

 ph3-2_5 = [[-49, -116], [98, -49], [-100, 98]]

 ph3-2_6 = [[-52, -55], [55, -52], [-55, 52]]

 ph3-2_7 = [[-44, -73], [-73, -91], [117, -44]]

 ph3-2_8 = [[-36, 73], [-44, -117], [73, 91]]

 ph3-2_9 = [[13, -122], [-122, -13], [122, 13]]

 ph3-2_10 = [[62, -91], [-94, -44], [117, -73]]

 ph3-2_11 = [[25, 34], [-25, -34], [34, -25]]

[startup+524.818 s]
# the end of solver process 418000 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=512.032 s, system=0.017759 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+523.201 s]
/proc/loadavg: 2.56 2.35 1.20 3/440 418102
/proc/meminfo: memFree=1714012/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12284 CPUtime=510.45 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1526 0 0 0 51044 1 0 0 20 0 1 0 225222840 38957056 3071 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3071 1489 2 0 1920 0
Current children cumulated CPU time: 510.45 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12284 KiB

[startup+524.007 s]*
/proc/loadavg: 2.56 2.35 1.20 3/440 418102
/proc/meminfo: memFree=1714012/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12284 CPUtime=511.25 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1526 0 0 0 51124 1 0 0 20 0 1 0 225222840 38957056 3071 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3071 1489 2 0 1920 0
Current children cumulated CPU time: 511.25 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12284 KiB

[startup+524.401 s]
/proc/loadavg: 2.56 2.35 1.20 3/440 418102
/proc/meminfo: memFree=1714012/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12284 CPUtime=511.63 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1526 0 0 0 51162 1 0 0 20 0 1 0 225222840 38957056 3071 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3071 1489 2 0 1920 0
Current children cumulated CPU time: 511.63 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12284 KiB

[startup+524.801 s]
/proc/loadavg: 2.56 2.35 1.20 3/440 418102
/proc/meminfo: memFree=1714012/3726824 swapFree=8388604/8388604
[pid=418000] ppid=417996 vsize=38044 memory=12284 CPUtime=512.02 cores=2
/proc/418000/stat : 418000 (pigeonPurSampli) R 417996 418000 417983 0 -1 4194304 1526 0 0 0 51201 1 0 0 20 0 1 0 225222840 38957056 3071 18446744073709551615 94466417299456 94466417303568 140726717032384 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94466419404032 94466419404804 94466428755968 140726717034999 140726717035094 140726717035094 140726717038561 0
/proc/418000/statm: 9511 3071 1489 2 0 1920 0
Current children cumulated CPU time: 512.02 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12284 KiB

Child status: 0
Real time (s): 524.818
CPU time (s): 512.05
CPU user time (s): 512.032
CPU system time (s): 0.017759
CPU usage (%): 97.567
Max. virtual memory (cumulated for all children) (KiB): 38044
Max. memory (cumulated for all children) (KiB): 12284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 512.032
system time used= 0.017759
maximum resident set size= 12284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 7722


# summary of solver processes directly reported to runsolver:
#   pid: 418000
#   total CPU time (s): 512.05
#   total CPU user time (s): 512.032
#   total CPU system time (s): 0.017759

??? end of timestamper thread
runsolver used 4.44773 second user time and 6.11862 second system time

The end
