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

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

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

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

running on 1 cores: 1

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


[startup+0.100066 s]*
/proc/loadavg: 0.01 0.01 0.53 2/462 426467
/proc/meminfo: memFree=1743100/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10028 CPUtime=0.04 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1379 0 0 0 4 0 0 0 20 0 1 0 233595425 38961152 2507 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2507 1466 2 0 1921 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10028 KiB

[startup+0.228661 s]*
/proc/loadavg: 0.01 0.01 0.53 4/462 426467
/proc/meminfo: memFree=1741824/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10028 CPUtime=0.15 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1389 0 0 0 15 0 0 0 20 0 1 0 233595425 38961152 2507 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2507 1466 2 0 1921 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10028 KiB

[startup+0.334664 s]*
/proc/loadavg: 0.01 0.01 0.53 5/462 426467
/proc/meminfo: memFree=1740816/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10028 CPUtime=0.23 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1389 0 0 0 23 0 0 0 20 0 1 0 233595425 38961152 2507 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2507 1466 2 0 1921 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10028 KiB

[startup+0.700661 s]
/proc/loadavg: 0.01 0.01 0.53 4/462 426467
/proc/meminfo: memFree=1740060/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10028 CPUtime=0.53 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1390 0 0 0 53 0 0 0 20 0 1 0 233595425 38961152 2507 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2507 1466 2 0 1921 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10028 KiB

[startup+1.50466 s]
/proc/loadavg: 0.01 0.01 0.53 4/462 426467
/proc/meminfo: memFree=1740060/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10028 CPUtime=1.31 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1394 0 0 0 131 0 0 0 20 0 1 0 233595425 38961152 2507 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2507 1466 2 0 1921 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10028 KiB

[startup+3.12666 s]
/proc/loadavg: 0.25 0.06 0.54 5/462 426467
/proc/meminfo: memFree=1739900/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10028 CPUtime=2.88 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1397 0 0 0 288 0 0 0 20 0 1 0 233595425 38961152 2507 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2507 1466 2 0 1921 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10028 KiB

[startup+6.30066 s]
/proc/loadavg: 0.25 0.06 0.54 5/462 426467
/proc/meminfo: memFree=1739804/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10028 CPUtime=5.99 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1402 0 0 0 599 0 0 0 20 0 1 0 233595425 38961152 2507 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2507 1466 2 0 1921 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10028 KiB

[startup+12.7097 s]
/proc/loadavg: 0.47 0.11 0.55 5/470 426478
/proc/meminfo: memFree=1718640/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10028 CPUtime=12.25 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1412 0 0 0 1225 0 0 0 20 0 1 0 233595425 38961152 2507 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2507 1466 2 0 1921 0
Current children cumulated CPU time: 12.25 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10028 KiB

[startup+25.5037 s]
/proc/loadavg: 1.26 0.30 0.61 5/470 426478
/proc/meminfo: memFree=1717568/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10352 CPUtime=24.72 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1436 0 0 0 2472 0 0 0 20 0 1 0 233595425 38961152 2588 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2588 1482 2 0 1921 0
Current children cumulated CPU time: 24.72 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10352 KiB

[startup+51.1247 s]
/proc/loadavg: 2.27 0.62 0.70 7/470 426487
/proc/meminfo: memFree=1715048/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10352 CPUtime=49.7 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1480 0 0 0 4970 0 0 0 20 0 1 0 233595425 38961152 2588 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2588 1482 2 0 1921 0
Current children cumulated CPU time: 49.7 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10352 KiB

[startup+102.301 s]
/proc/loadavg: 3.25 1.14 0.88 6/470 426487
/proc/meminfo: memFree=1714764/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10616 CPUtime=99.62 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1504 0 0 0 9962 0 0 0 20 0 1 0 233595425 38961152 2654 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2654 1482 2 0 1921 0
Current children cumulated CPU time: 99.62 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10616 KiB

[startup+162.301 s]
/proc/loadavg: 3.76 1.68 1.08 6/470 426497
/proc/meminfo: memFree=1713724/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=10616 CPUtime=158.14 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1510 0 0 0 15814 0 0 0 20 0 1 0 233595425 38961152 2654 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 2654 1482 2 0 1921 0
Current children cumulated CPU time: 158.14 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10616 KiB

[startup+222.301 s]
/proc/loadavg: 3.98 2.12 1.27 6/469 426507
/proc/meminfo: memFree=1708972/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=12168 CPUtime=216.66 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1519 0 0 0 21666 0 0 0 20 0 1 0 233595425 38961152 3042 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 3042 1482 2 0 1921 0
Current children cumulated CPU time: 216.66 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 12168 KiB

[startup+282.301 s]
/proc/loadavg: 3.58 2.36 1.41 4/461 426519
/proc/meminfo: memFree=1716644/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=12168 CPUtime=275.21 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1526 0 0 0 27521 0 0 0 20 0 1 0 233595425 38961152 3042 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 3042 1482 2 0 1921 0
Current children cumulated CPU time: 275.21 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 12168 KiB

[startup+342.301 s]
/proc/loadavg: 3.35 2.51 1.52 3/453 426530
/proc/meminfo: memFree=1725772/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38048 memory=12304 CPUtime=333.78 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1529 0 0 0 33378 0 0 0 20 0 1 0 233595425 38961152 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9512 3076 1482 2 0 1921 0
Current children cumulated CPU time: 333.78 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 12304 KiB

[startup+402.301 s]
/proc/loadavg: 2.50 2.41 1.56 3/455 426542
/proc/meminfo: memFree=1725740/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=392.4 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1539 0 0 0 39240 0 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 392.4 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+462.301 s]
/proc/loadavg: 2.24 2.35 1.59 3/455 426551
/proc/meminfo: memFree=1725708/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=451.01 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1543 0 0 0 45101 0 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 451.01 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+522.301 s]
/proc/loadavg: 2.08 2.28 1.62 3/456 426564
/proc/meminfo: memFree=1725676/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=509.63 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1552 0 0 0 50962 1 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 509.63 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+582.309 s]
/proc/loadavg: 2.13 2.26 1.66 3/456 426573
/proc/meminfo: memFree=1725676/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=568.24 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1553 0 0 0 56823 1 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 568.24 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+642.301 s]
/proc/loadavg: 2.05 2.21 1.68 3/456 426582
/proc/meminfo: memFree=1725676/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=626.84 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1563 0 0 0 62683 1 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 626.84 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+702.301 s]
/proc/loadavg: 2.02 2.17 1.70 3/455 426592
/proc/meminfo: memFree=1725392/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=685.46 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1563 0 0 0 68545 1 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 685.46 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+762.301 s]
/proc/loadavg: 2.06 2.15 1.73 3/454 426601
/proc/meminfo: memFree=1725692/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=744.08 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1571 0 0 0 74407 1 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 744.08 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+822.301 s]
/proc/loadavg: 2.67 2.30 1.81 3/455 426612
/proc/meminfo: memFree=1725660/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=802.7 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1575 0 0 0 80269 1 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 802.7 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+882.301 s]
/proc/loadavg: 2.87 2.43 1.89 3/454 426622
/proc/meminfo: memFree=1725376/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=861.32 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1578 0 0 0 86131 1 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 861.32 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+942.301 s]
/proc/loadavg: 2.78 2.50 1.95 3/454 426631
/proc/meminfo: memFree=1725376/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=919.94 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1580 0 0 0 91993 1 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 919.94 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+1002.3 s]
/proc/loadavg: 2.41 2.44 1.96 3/454 426643
/proc/meminfo: memFree=1725628/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=978.56 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1586 0 0 0 97855 1 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 978.56 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+1062.3 s]
/proc/loadavg: 2.19 2.37 1.97 3/454 426652
/proc/meminfo: memFree=1725596/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=1037.18 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1586 0 0 0 103717 1 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 1037.18 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+1122.3 s]
/proc/loadavg: 2.10 2.31 1.99 3/453 426662
/proc/meminfo: memFree=1726100/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12304 CPUtime=1095.81 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1589 0 0 0 109580 1 0 0 20 0 1 0 233595425 39223296 3076 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3076 1482 2 0 1985 0
Current children cumulated CPU time: 1095.81 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12304 KiB

[startup+1182.3 s]
/proc/loadavg: 2.07 2.27 2.00 3/453 426673
/proc/meminfo: memFree=1726068/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12564 CPUtime=1154.43 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1596 0 0 0 115442 1 0 0 20 0 1 0 233595425 39223296 3141 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3141 1482 2 0 1985 0
Current children cumulated CPU time: 1154.43 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12564 KiB

[startup+1242.3 s]
/proc/loadavg: 2.11 2.23 2.01 3/453 426682
/proc/meminfo: memFree=1725564/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12564 CPUtime=1213.06 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1602 0 0 0 121305 1 0 0 20 0 1 0 233595425 39223296 3141 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3141 1482 2 0 1985 0
Current children cumulated CPU time: 1213.06 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12564 KiB
[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, -21, 22, -24, 26, 28, -29, -30, -31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, -22, -24, 26, -29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, 22, -24, 26, 28, -29, -30, 31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, -22, -24, 26, -29, -30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, -22, 24, 26, 29, -30, 31, -32, -33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, -24, 26, 28, -29, -30, 31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, 24, 26, -28, 29, -30, 31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, -22, -24, 26, -29, 30, -31, -32, 33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, -22, 24, 26, 29, 30, -31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, -24, 26, 28, -29, 30, 31, -32, -33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, 24, 26, -28, 29, 30, 31, -32, 33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, -21, -22, -24, 26, 29, 30, 31, 32] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, 21, -22, 24, 26, -29, -30, -31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, 21, 22, 24, 26, -28, -29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, -22, -24, 26, 29, -30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, -24, 26, -28, -29, -30, 31, -32, -33] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, -24, 26, 28, 29, -30, 31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, 24, 26, 28, -29, -30, 31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, -22, -24, 26, 29, 30, -31, -32, 33] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, -24, 26, -28, -29, 30, -31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, -24, 26, 28, 29, 30, 31, -32, -33] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, 24, 26, 28, -29, 30, 31, -32, 33] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, -22, -24, 26, 27, 29, 30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27, 28, -29, -30, -31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, -27, -28, -29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27, 28, -29, -30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, -22, 24, 26, -27, -29, 30, -31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27, 28, -29, 30, 31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, -27, -28, -29, 30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27, 28, 29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, -22, -24, 26, 27, -29, 30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, -22, 24, 26, -27, 29, 30, 31, -32, -33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28, -29, 30, 31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, -28, -29, -30, -31, -32, -33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28, 29, -30, -31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, 28, -29, -30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, 27, -28, 29, -30, 31, -32, 33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, -24, 26, -27, -29, -30, 31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, -24, 26, 27, 29, 30, -31, -32, 33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, 24, 26, 27, -29, 30, -31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, -27, -28, 29, 30, 31, -32, -33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, 27, -28, -29, 30, 31, 32, -33] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, -27, 28, 29, -30, -31, -32, 33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, 27, 28, -29, -30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, -20, -21, 24, 26, -29, 30, -31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, -21, -24, 26, -29, -30, 31, -32, -33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, -21, 24, 26, 29, -30, 31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, 21, 24, 26, -29, -30, 31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, -20, -21, 24, 26, 29, -30, -31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, -21, -24, 26, -29, 30, -31, -32, -33] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, -21, 24, 26, 29, 30, -31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, 21, 24, 26, -29, 30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, -21, -24, 26, 27, 29, 30, -31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, -24, 26, -27, 29, 30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, 24, 26, 27, 29, 30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, -21, -24, 26, 27, 29, -30, -31, -32, -33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, -21, 24, 26, 27, -29, -30, -31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, 21, -24, 26, -27, 29, -30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, 21, 24, 26, -27, -29, -30, 31, -32, 33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, 21, 24, 26, 27, 29, -30, 31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, -24, 26, -28, -29, 30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, 24, 26, 28, 29, -30, -31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, -24, 26, -28, 29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, 24, 26, 28, 29, -30, 31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, -22, 24, 26, -29, 30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, -24, 26, -28, 29, 30, 31, -32, 33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, 24, 26, -28, -29, 30, 31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, -22, -24, 26, -29, -30, -31, -32, -33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, -22, 24, 26, 29, -30, -31, -32, 33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, -24, 26, 28, -29, -30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, 24, 26, -28, 29, -30, 31, -32, -33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, -21, -22, -24, 26, -29, 30, 31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, -21, 22, -24, 26, 28, -29, 30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, 21, -22, -24, 26, 29, -30, -31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, 21, 22, -24, 26, 28, 29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, -22, -24, 26, -29, 30, -31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, -22, 24, 26, 29, 30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, 22, -24, 26, 28, -29, 30, 31, -32, 33] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, 22, 24, 26, -28, 29, 30, 31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, -22, -24, 26, 29, -30, -31, -32, -33] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, -24, 26, -28, -29, -30, -31, -32, 33] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, -24, 26, 28, 29, -30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, 24, 26, 28, -29, -30, 31, -32, -33] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, -22, -24, 26, 27, -29, 30, 31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27, -28, -29, 30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, 27, 28, 29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27, -28, 29, -30, 31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, -22, -24, 26, 27, 29, 30, -31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27, -28, 29, 30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, 27, 28, 29, 30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27, 28, -29, -30, -31, -32] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, -22, -24, 26, 27, -29, -30, -31, 32, -33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, -22, 24, 26, -27, 29, -30, -31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28, -29, -30, 31, -32, 33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, 28, 29, -30, 31, 32, 33] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28, -29, 30, -31, -32, 33] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, -28, 29, 30, -31, 32, -33] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, -21, 22, -24, 26, 28, -29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, -22, -24, 26, -29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, 22, -24, 26, 28, -29, -30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, -22, -24, 26, -29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, -22, 24, 26, 29, -30, 31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, -24, 26, 28, -29, -30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, 24, 26, -28, 29, -30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, -22, -24, 26, -29, 30, -31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, -22, 24, 26, 29, 30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, -24, 26, 28, -29, 30, 31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, 24, 26, -28, 29, 30, 31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, -21, -22, -24, 26, 29, 30, 31] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, 21, -22, 24, 26, -29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, 21, 22, 24, 26, -28, -29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, -22, -24, 26, 29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, -24, 26, -28, -29, -30, 31, -32] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, -24, 26, 28, 29, -30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, 24, 26, 28, -29, -30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, -22, -24, 26, 29, 30, -31, -32] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, -24, 26, -28, -29, 30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, -24, 26, 28, 29, 30, 31, -32] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, 24, 26, 28, -29, 30, 31, -32] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, -22, -24, 26, 27, 29, 30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27, 28, -29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, -27, -28, -29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27, 28, -29, -30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, -22, 24, 26, -27, -29, 30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27, 28, -29, 30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, -27, -28, -29, 30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27, 28, 29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, -22, -24, 26, 27, -29, 30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, -22, 24, 26, -27, 29, 30, 31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28, -29, 30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, -28, -29, -30, -31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28, 29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, 28, -29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, 27, -28, 29, -30, 31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, -24, 26, -27, -29, -30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, -24, 26, 27, 29, 30, -31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, 24, 26, 27, -29, 30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, -27, -28, 29, 30, 31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, 27, -28, -29, 30, 31, 32] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, -27, 28, 29, -30, -31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, 27, 28, -29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, -20, -21, 24, 26, -29, 30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, -21, -24, 26, -29, -30, 31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, -21, 24, 26, 29, -30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, 21, 24, 26, -29, -30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, -20, -21, 24, 26, 29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, -21, -24, 26, -29, 30, -31, -32] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, -21, 24, 26, 29, 30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, 21, 24, 26, -29, 30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, -21, -24, 26, 27, 29, 30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, -24, 26, -27, 29, 30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, 24, 26, 27, 29, 30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, -21, -24, 26, 27, 29, -30, -31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, -21, 24, 26, 27, -29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, 21, -24, 26, -27, 29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, 21, 24, 26, -27, -29, -30, 31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, 21, 24, 26, 27, 29, -30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, -24, 26, -28, -29, 30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, 24, 26, 28, 29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, -24, 26, -28, 29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, 24, 26, 28, 29, -30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, -22, 24, 26, -29, 30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, -24, 26, -28, 29, 30, 31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, 24, 26, -28, -29, 30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, -22, -24, 26, -29, -30, -31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, -22, 24, 26, 29, -30, -31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, -24, 26, 28, -29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, 24, 26, -28, 29, -30, 31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, -21, -22, -24, 26, -29, 30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, -21, 22, -24, 26, 28, -29, 30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, 21, -22, -24, 26, 29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, 21, 22, -24, 26, 28, 29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, -22, -24, 26, -29, 30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, -22, 24, 26, 29, 30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, 22, -24, 26, 28, -29, 30, 31, -32] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, 22, 24, 26, -28, 29, 30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, -22, -24, 26, 29, -30, -31, -32] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, -24, 26, -28, -29, -30, -31, -32] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, -24, 26, 28, 29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, 24, 26, 28, -29, -30, 31, -32] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, -22, -24, 26, 27, -29, 30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27, -28, -29, 30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, 27, 28, 29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27, -28, 29, -30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, -22, -24, 26, 27, 29, 30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27, -28, 29, 30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, 27, 28, 29, 30, 31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27, 28, -29, -30, -31] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, -22, -24, 26, 27, -29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, -22, 24, 26, -27, 29, -30, -31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28, -29, -30, 31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, 28, 29, -30, 31, 32] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28, -29, 30, -31, -32] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, -28, 29, 30, -31, 32] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, -21, 22, -24, 26, 28, -29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, -22, -24, 26, -29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, 22, -24, 26, 28, -29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, -22, -24, 26, -29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, -22, 24, 26, 29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, -24, 26, 28, -29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, 24, 26, -28, 29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, -22, -24, 26, -29, 30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, -22, 24, 26, 29, 30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, -24, 26, 28, -29, 30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, 24, 26, -28, 29, 30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, -21, -22, -24, 26, 29, 30] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, 21, -22, 24, 26, -29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, 21, 22, 24, 26, -28, -29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, -22, -24, 26, 29, -30, -31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, -24, 26, -28, -29, -30, 31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, -24, 26, 28, 29, -30, 31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, 24, 26, 28, -29, -30, 31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, -22, -24, 26, 29, 30, -31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, -24, 26, -28, -29, 30, -31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, -24, 26, 28, 29, 30, 31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, 24, 26, 28, -29, 30, 31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, -22, -24, 26, 27, 29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27, 28, -29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, -27, -28, -29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27, 28, -29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, -22, 24, 26, -27, -29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27, 28, -29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, -27, -28, -29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27, 28, 29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, -22, -24, 26, 27, -29, 30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, -22, 24, 26, -27, 29, 30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28, -29, 30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, -28, -29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28, 29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, 28, -29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, 27, -28, 29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, -24, 26, -27, -29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, -24, 26, 27, 29, 30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, 24, 26, 27, -29, 30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, -27, -28, 29, 30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, 27, -28, -29, 30, 31] -> []

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, -27, 28, 29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, 27, 28, -29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, -20, -21, 24, 26, -29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, -21, -24, 26, -29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, -21, 24, 26, 29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, 21, 24, 26, -29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, -20, -21, 24, 26, 29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, -21, -24, 26, -29, 30, -31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, -21, 24, 26, 29, 30, -31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, 21, 24, 26, -29, 30, -31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, -21, -24, 26, 27, 29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, -24, 26, -27, 29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, 24, 26, 27, 29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, -21, -24, 26, 27, 29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, -21, 24, 26, 27, -29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, 21, -24, 26, -27, 29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, 21, 24, 26, -27, -29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, 20, 21, 24, 26, 27, 29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, -24, 26, -28, -29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, 24, 26, 28, 29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, -24, 26, -28, 29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, 24, 26, 28, 29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, -22, 24, 26, -29, 30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, -24, 26, -28, 29, 30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, 24, 26, -28, -29, 30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, -22, -24, 26, -29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, -22, 24, 26, 29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, -24, 26, 28, -29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, 24, 26, -28, 29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, -21, -22, -24, 26, -29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, -21, 22, -24, 26, 28, -29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, 21, -22, -24, 26, 29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, 21, 22, -24, 26, 28, 29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, -22, -24, 26, -29, 30, -31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, -22, 24, 26, 29, 30, -31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, 22, -24, 26, 28, -29, 30, 31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, 22, 24, 26, -28, 29, 30, 31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, -22, -24, 26, 29, -30, -31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, -24, 26, -28, -29, -30, -31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, -24, 26, 28, 29, -30, -31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, 24, 26, 28, -29, -30, 31] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, -22, -24, 26, 27, -29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27, -28, -29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, 27, 28, 29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27, -28, 29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, -22, -24, 26, 27, 29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27, -28, 29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, 27, 28, 29, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27, 28, -29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, -22, -24, 26, 27, -29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, -22, 24, 26, -27, 29, -30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28, -29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, 28, 29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28, -29, 30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, -28, 29, 30, -31] -> []

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, -21, 22, -24, 26, 28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, -22, -24, 26, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, 22, -24, 26, 28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, -22, -24, 26, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, -22, 24, 26, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, -24, 26, 28, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, 24, 26, -28, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, -22, -24, 26, -29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, -22, 24, 26, 29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, -24, 26, 28, -29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, 24, 26, -28, 29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, -21, -22, -24, 26, 29] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, 21, -22, 24, 26, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, 21, 22, 24, 26, -28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, -22, -24, 26, 29, -30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, -24, 26, -28, -29, -30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, -24, 26, 28, 29, -30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, 24, 26, 28, -29, -30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, -22, -24, 26, 29, 30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, -24, 26, -28, -29, 30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, -24, 26, 28, 29, 30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, 24, 26, 28, -29, 30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, -22, -24, 26, 27, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27, 28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, -27, -28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27, 28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, -22, 24, 26, -27, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27, 28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, -27, -28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27, 28, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, -22, -24, 26, 27, -29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, -22, 24, 26, -27, 29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28, -29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, -28, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, 28, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, 27, -28, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, -24, 26, -27, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, -24, 26, 27, 29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, -22, 24, 26, 27, -29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, -27, -28, 29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, 27, -28, -29, 30] -> []

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, -27, 28, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, 27, 28, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, -20, -21, 24, 26, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, -21, -24, 26, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, -21, 24, 26, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, 21, 24, 26, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, -20, -21, 24, 26, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, -21, -24, 26, -29, 30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, -21, 24, 26, 29, 30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, 21, 24, 26, -29, 30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, -21, -24, 26, 27, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, -24, 26, -27, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, 24, 26, 27, 29] -> ph3-2_1 

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, -24, 26, -28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, 24, 26, 28, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, -24, 26, -28, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, 24, 26, 28, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, -22, 24, 26, -29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, -24, 26, -28, 29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, 24, 26, -28, -29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, -22, -24, 26, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, -22, 24, 26, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, -24, 26, 28, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, 24, 26, -28, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, -21, -22, -24, 26, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, -21, 22, -24, 26, 28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, 21, -22, -24, 26, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, 21, 22, -24, 26, 28, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, -22, -24, 26, -29, 30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, -22, 24, 26, 29, 30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, 22, -24, 26, 28, -29, 30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, 22, 24, 26, -28, 29, 30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, -22, -24, 26, 29, -30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, -24, 26, -28, -29, -30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, -24, 26, 28, 29, -30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, 24, 26, 28, -29, -30] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, -22, -24, 26, 27, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27, -28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, 27, 28, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27, -28, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, -22, -24, 26, 27, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27, -28, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, 27, 28, 29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27, 28, -29] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, -22, -24, 26, 27, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, -22, 24, 26, -27, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, 28, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28, -29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, -28, 29, 30] -> []

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, -21, 22, -24, 26, 28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, -22, -24, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, 22, -24, 26, 28] -> ph3-2_1 

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, -24, 26, 28, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, 24, 26, -28, 29] -> []

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, -24, 26, 28, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, 24, 26, -28, 29] -> []

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

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, -20, 21, 22, 24, 26, -28] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, -24, 26, -28, -29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, -24, 26, 28, 29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, -21, 22, 24, 26, 28, -29] -> ph3-2_3 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, -24, 26, -28, -29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, -24, 26, 28, 29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, -19, 20, 21, 22, 24, 26, 28, -29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, -22, -24, 26, 27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27, 28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27, 28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, -22, 24, 26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27, 28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27, 28] -> ph3-2_1 

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, -28, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, 28, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, 27, -28, 29] -> []

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

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, -27, -28, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, 27, -28, -29] -> []

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, -27, 28, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, 27, 28, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, -20, -21, 24, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, -21, -24, 26, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, -21, 24, 26, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, -17, 20, 21, 24, 26, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, -20, -21, 24, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, -21, -24, 26, -29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, -21, 24, 26, 29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, -19, 20, 21, 24, 26, -29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, -21, -24, 26, 27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, -24, 26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, 24, 26, 27] -> ph3-2_1 

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, -24, 26, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, 24, 26, 28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, -24, 26, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, 24, 26, 28] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, -24, 26, -28, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, 24, 26, -28, -29] -> []

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, -24, 26, 28, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, 24, 26, -28, 29] -> []

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, -21, 22, -24, 26, 28] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, -20, 21, 22, -24, 26, 28] -> ph3-2_1 

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, 22, -24, 26, 28, -29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, -21, 22, 24, 26, -28, 29] -> ph3-2_3 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, -24, 26, -28, -29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, -24, 26, 28, 29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, -19, 20, 21, 22, 24, 26, 28, -29] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, -22, -24, 26, 27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, 27, 28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, -22, -24, 26, 27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, 27, 28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27, 28] -> ph3-2_1 

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, 28, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, -28, 29] -> []

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, -21, 22, -24, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, -22, -24] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, 22, -24, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, -22, -24, 26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, -22, 24, 26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, -24, 26, 28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, 24, 26, -28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, -22, -24, 26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, -22, 24, 26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, -24, 26, 28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, 24, 26, -28] -> []

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

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

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

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

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

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

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27] -> ph3-2_1 

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, -28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, 28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, -21, 22, 24, 26, 27, -28] -> []

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

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, -27, -28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, -24, 26, 27, -28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, -27, 28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, 17, 19, 20, 21, 22, 24, 26, 27, 28] -> []

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

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, -21, -24, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, -24, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, 15, 16, 17, 19, -20, 21, 24, 26] -> ph3-2_1 

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, -24, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, 24, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, -24, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, 24, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, -22, 24, 26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, -24, 26, -28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, 24, 26, -28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, -22, -24, 26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, -22, 24, 26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, -24, 26, 28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, 24, 26, -28] -> []

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

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

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

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

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

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

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, -24, 26, 27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, -21, 22, 24, 26, 27] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, -24, 26, 27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, -20, 21, 22, 24, 26, 27] -> ph3-2_1 

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, -28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, -27, 28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, -24, 26, 27, 28] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, 17, 19, 20, -21, 22, 24, 26, -27, -28] -> []

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, -21, 22, -24] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, -20, 21, 22, -24] -> ph3-2_1 

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, -24, 26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, -21, 22, 24, 26] -> []

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, -24, 26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -14, -15, 16, -17, 20, 21, 22, 24, 26] -> []

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, -24] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, -21, 22, 24] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, -24] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, -20, 21, 22, 24] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, -24, 26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, -21, 22, 24, 26] -> []

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

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

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, -24, 26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 14, -15, 16, -17, 20, 21, 22, 24, 26] -> []

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[-1, -2] -> []

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

[-1] -> []

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

[] -> []


Detected pigeons:

 ph3-2_1 = [[-116, -175], [-163, -116], [362, -163]]

 ph3-2_2 = [[42, -288], [-288, 242], [320, 34]]

 ph3-2_3 = [[215, 204], [-265, -150], [-343, 93]]

[startup+1242.91 s]
# the end of solver process 426460 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1213.65 s, system=0.020804 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1242.4 s]
/proc/loadavg: 2.11 2.23 2.01 3/453 426682
/proc/meminfo: memFree=1725564/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12564 CPUtime=1213.16 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1602 0 0 0 121315 1 0 0 20 0 1 0 233595425 39223296 3141 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3141 1482 2 0 1985 0
Current children cumulated CPU time: 1213.16 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12564 KiB

[startup+1242.8 s]
/proc/loadavg: 2.11 2.23 2.01 3/453 426682
/proc/meminfo: memFree=1725564/3717660 swapFree=8388604/8388604
[pid=426460] ppid=426458 vsize=38304 memory=12564 CPUtime=1213.56 cores=1
/proc/426460/stat : 426460 (pigeonPurSampli) R 426458 426460 426446 0 -1 4194304 1602 0 0 0 121355 1 0 0 20 0 1 0 233595425 39223296 3141 18446744073709551615 94091344023552 94091344027664 140720987706272 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 5 0 0 94091346128128 94091346128900 94091366612992 140720987714085 140720987714178 140720987714178 140720987717601 0
/proc/426460/statm: 9576 3141 1482 2 0 1985 0
Current children cumulated CPU time: 1213.56 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12564 KiB

Child status: 0
Real time (s): 1242.91
CPU time (s): 1213.67
CPU user time (s): 1213.65
CPU system time (s): 0.020804
CPU usage (%): 97.6475
Max. virtual memory (cumulated for all children) (KiB): 38304
Max. memory (cumulated for all children) (KiB): 12564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1213.65
system time used= 0.020804
maximum resident set size= 12564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1604
page faults= 0
swaps= 0
block input operations= 24
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 30435


# summary of solver processes directly reported to runsolver:
#   pid: 426460
#   total CPU time (s): 1213.67
#   total CPU user time (s): 1213.65
#   total CPU system time (s): 0.020804

??? end of timestamper thread
runsolver used 10.6459 second user time and 14.3553 second system time

The end
