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

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

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

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

running on 1 cores: 3

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


[startup+0.100604 s]*
/proc/loadavg: 0.00 0.00 0.00 9/455 418008
/proc/meminfo: memFree=1713696/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=37788 memory=10124 CPUtime=0.1 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 1378 0 0 0 10 0 0 0 20 0 1 0 225222841 38694912 2531 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9447 2531 1490 2 0 1856 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10124 KiB

[startup+0.237605 s]*
/proc/loadavg: 0.00 0.00 0.00 6/448 418011
/proc/meminfo: memFree=1714556/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=37788 memory=10124 CPUtime=0.2 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 1378 0 0 0 20 0 0 0 20 0 1 0 225222841 38694912 2531 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9447 2531 1490 2 0 1856 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10124 KiB

[startup+0.327602 s]*
/proc/loadavg: 0.00 0.00 0.00 6/448 418011
/proc/meminfo: memFree=1714084/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=37788 memory=10124 CPUtime=0.27 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 1378 0 0 0 27 0 0 0 20 0 1 0 225222841 38694912 2531 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9447 2531 1490 2 0 1856 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10124 KiB

[startup+0.700606 s]
/proc/loadavg: 0.00 0.00 0.00 4/448 418011
/proc/meminfo: memFree=1713076/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=37788 memory=10124 CPUtime=0.58 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 1379 0 0 0 58 0 0 0 20 0 1 0 225222841 38694912 2531 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9447 2531 1490 2 0 1856 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10124 KiB

[startup+1.5006 s]
/proc/loadavg: 0.00 0.00 0.00 6/448 418011
/proc/meminfo: memFree=1713076/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=37788 memory=10124 CPUtime=1.35 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 1380 0 0 0 135 0 0 0 20 0 1 0 225222841 38694912 2531 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9447 2531 1490 2 0 1856 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10124 KiB

[startup+3.1266 s]
/proc/loadavg: 0.24 0.05 0.02 7/448 418011
/proc/meminfo: memFree=1713028/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=37788 memory=10124 CPUtime=2.93 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 1382 0 0 0 293 0 0 0 20 0 1 0 225222841 38694912 2531 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9447 2531 1490 2 0 1856 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10124 KiB

[startup+6.30061 s]
/proc/loadavg: 0.24 0.05 0.02 7/448 418011
/proc/meminfo: memFree=1712932/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=37788 memory=10124 CPUtime=6.03 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 1387 0 0 0 603 0 0 0 20 0 1 0 225222841 38694912 2531 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9447 2531 1490 2 0 1856 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 37788 KiB
Current children cumulated memory: 10124 KiB

[startup+12.7006 s]
/proc/loadavg: 0.51 0.11 0.04 4/440 418013
/proc/meminfo: memFree=1718940/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=10324 CPUtime=12.29 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 6931 0 0 0 1224 5 0 0 20 0 1 0 225222841 38957056 2581 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2581 1506 2 0 1920 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10324 KiB

[startup+25.5006 s]
/proc/loadavg: 0.74 0.18 0.06 4/440 418013
/proc/meminfo: memFree=1715712/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11596 CPUtime=24.78 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11749 0 0 0 2468 10 0 0 20 0 1 0 225222841 38957056 2899 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2899 1506 2 0 1920 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11596 KiB

[startup+51.1236 s]
/proc/loadavg: 1.17 0.32 0.11 4/440 418022
/proc/meminfo: memFree=1715492/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11596 CPUtime=49.78 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11784 0 0 0 4968 10 0 0 20 0 1 0 225222841 38957056 2899 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2899 1506 2 0 1920 0
Current children cumulated CPU time: 49.78 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11596 KiB

[startup+102.301 s]
/proc/loadavg: 1.67 0.61 0.22 4/440 418023
/proc/meminfo: memFree=1715520/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=99.76 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11803 0 0 0 9966 10 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 99.76 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+162.301 s]
/proc/loadavg: 1.88 0.86 0.34 4/440 418033
/proc/meminfo: memFree=1715268/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=158.36 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11825 0 0 0 15826 10 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 158.36 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+222.301 s]
/proc/loadavg: 2.03 1.09 0.45 4/438 418043
/proc/meminfo: memFree=1714764/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=216.96 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11825 0 0 0 21686 10 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 216.96 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+282.301 s]
/proc/loadavg: 2.54 1.38 0.59 4/439 418056
/proc/meminfo: memFree=1714516/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=275.55 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11832 0 0 0 27544 11 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 275.55 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+342.301 s]
/proc/loadavg: 3.12 1.75 0.76 4/440 418066
/proc/meminfo: memFree=1714432/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=334.14 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11833 0 0 0 33403 11 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 334.14 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+402.301 s]
/proc/loadavg: 3.68 2.17 0.97 4/440 418075
/proc/meminfo: memFree=1714040/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=392.73 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11833 0 0 0 39262 11 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 392.73 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+462.301 s]
/proc/loadavg: 3.37 2.38 1.12 4/440 418085
/proc/meminfo: memFree=1713676/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=451.32 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11839 0 0 0 45121 11 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 451.32 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+522.301 s]
/proc/loadavg: 2.61 2.35 1.20 5/440 418094
/proc/meminfo: memFree=1714040/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=509.91 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11840 0 0 0 50980 11 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 509.91 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+582.301 s]
/proc/loadavg: 1.67 2.13 1.19 2/432 418106
/proc/meminfo: memFree=1723096/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=568.53 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11840 0 0 0 56842 11 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 568.53 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+642.301 s]
/proc/loadavg: 1.24 1.92 1.18 2/432 418117
/proc/meminfo: memFree=1723320/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=627.16 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11841 0 0 0 62705 11 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 627.16 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+702.301 s]
/proc/loadavg: 1.09 1.75 1.16 2/432 418127
/proc/meminfo: memFree=1723268/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=685.78 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11841 0 0 0 68567 11 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 685.78 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+762.301 s]
/proc/loadavg: 1.03 1.61 1.15 2/432 418136
/proc/meminfo: memFree=1723268/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=744.42 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11841 0 0 0 74430 12 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 744.42 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+822.301 s]
/proc/loadavg: 1.01 1.50 1.14 2/432 418147
/proc/meminfo: memFree=1723332/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=11852 CPUtime=803.05 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11841 0 0 0 80293 12 0 0 20 0 1 0 225222841 38957056 2963 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 2963 1506 2 0 1920 0
Current children cumulated CPU time: 803.05 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11852 KiB

[startup+882.301 s]
/proc/loadavg: 1.00 1.41 1.13 2/432 418158
/proc/meminfo: memFree=1723268/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=12052 CPUtime=861.67 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11874 0 0 0 86155 12 0 0 20 0 1 0 225222841 38957056 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 3013 1506 2 0 1920 0
Current children cumulated CPU time: 861.67 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12052 KiB

[startup+942.301 s]
/proc/loadavg: 1.07 1.35 1.12 2/431 418167
/proc/meminfo: memFree=1723296/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38044 memory=12052 CPUtime=920.3 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11874 0 0 0 92018 12 0 0 20 0 1 0 225222841 38957056 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9511 3013 1506 2 0 1920 0
Current children cumulated CPU time: 920.3 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 12052 KiB

[startup+1002.3 s]
/proc/loadavg: 1.08 1.30 1.12 2/432 418177
/proc/meminfo: memFree=1723548/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=978.93 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11882 0 0 0 97881 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 978.93 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

[startup+1062.3 s]
/proc/loadavg: 1.03 1.24 1.10 2/432 418187
/proc/meminfo: memFree=1723712/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1037.55 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11885 0 0 0 103743 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1037.55 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

[startup+1122.3 s]
/proc/loadavg: 1.01 1.19 1.09 2/431 418196
/proc/meminfo: memFree=1723212/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1096.18 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11885 0 0 0 109606 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1096.18 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

[startup+1182.3 s]
/proc/loadavg: 1.00 1.16 1.09 2/432 418206
/proc/meminfo: memFree=1722956/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1154.81 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11888 0 0 0 115469 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1154.81 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

[startup+1242.3 s]
/proc/loadavg: 1.07 1.14 1.09 2/432 418216
/proc/meminfo: memFree=1723176/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1213.44 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11890 0 0 0 121332 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1213.44 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

[startup+1302.3 s]
/proc/loadavg: 1.07 1.13 1.09 2/432 418227
/proc/meminfo: memFree=1723232/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1272.07 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11890 0 0 0 127195 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1272.07 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

[startup+1362.3 s]
/proc/loadavg: 1.07 1.12 1.09 2/432 418236
/proc/meminfo: memFree=1723200/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1330.69 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11896 0 0 0 133057 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1330.69 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB
[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, -22, -23, -25, -26, -27, -28, -29, -30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, -22, 23, -25, 26, 27, -28, -29, -30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, 22, -23, 25, 26, -27, -28, -29, 30] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, 21, -22, 23, 25, -26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, 21, 22, -23, 25, 26, 27, 28, -30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, -21, -22, -23, -25, 26, -27, 28, -30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, -21, -22, 23, 25, -26, 27, 28, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, -21, 22, 23, -25, -26, -27, 28, 30] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, -22, 23, 25, 26, 27, -28, -29, -30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, 22, 23, -25, 26, -27, -28, -29, 30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, -20, -21, -22, 23, 25, -26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, -20, 21, -22, -23, 25, -26, 27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, -20, 21, 22, 23, 25, 26, -27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, 20, -21, 22, -23, 25, 26, 27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, 20, 21, 22, -23, -25, -26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, -21, -22, -23, 25, -26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, -21, 22, -23, -25, -26, -27, 28, 30] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, 21, -22, -23, -25, 26, 27, -28, -29, 30] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, -21, -22, -23, -25, 26, -27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, -21, -22, 23, 25, 26, -27, 28, 30] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, 21, -22, 23, 25, 26, -27, -28, -29, -30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, -20, -21, -22, -23, -25, -26, 27, -28] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, -20, 21, -22, -23, -25, -26, -27, -28] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, -20, 21, 22, 23, 25, 26, -27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, 20, -21, 22, 23, 25, -26, -27, 28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, 20, 21, 22, 23, -25, 26, -27, 28] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, -20, 21, 22, 23, 26, 27, 28, 30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, 20, -21, 22, -23, 26, 27, -28, -29, -30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, 20, 21, -22, 23, 26, -27, -28, -29, -30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, 17, -20, -21, -22, -23, 26, -27, 28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, 17, -20, 21, 22, -23, 26, 27, 28] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, -17, -20, -21, -22, 23, 26, -27, 28, 30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, -17, -20, 21, -22, 23, 26, -27, -28, -29, 30] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, 17, -20, -21, 22, -23, 26, -27, 28] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, 12, -13, -14, -15, -17, 20, 21, 22, 25] -> ph3-2_4 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, -21, -22, 23, 25, 26, 27, -28, -29, -30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, -21, 22, 23, -25, 26, -27, -28, -29, 30] -> ph3-2_2 

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, 21, 22, 23, 24, -25, 26, -27, 28, -30] -> ph3-2_2 

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, 20, 21, 22, -23, -24, -25, 26, -27, 28, 30] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, -21, -22, -23, 25, 26, 27, 28, -30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, -21, 22, -23, -25, 26, -27, 28, -30] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, 21, -22, -23, 24, -25, 26, -27, 28, -30] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, 21, 22, -23, 24, 25, 26, 27, 28, -30] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, -21, -22, -23, 25, 26, 27, 28, -30] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, -21, 22, -23, -25, 26, -27, 28, -30] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, 21, -22, -23, 24, -25, 26, -27, 28, -30] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, 21, 22, -23, 24, 25, 26, 27, 28, -30] -> ph3-2_2 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, 15, -17, -19, 20, -21, -22, -23, 25, 26, 27, -28, -29, 30] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, -22, 23, -25, 26, 27, -28, -29] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, 22, -23, 25, 26, -27, -28, -29] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, 21, -22, 23, 25, -26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, 21, 22, -23, 25, 26, 27, 28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, -21, -22, -23, -25, 26, -27, 28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, -21, -22, 23, 25, -26, 27, 28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, -21, 22, 23, -25, -26, -27, 28] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, -22, 23, 25, 26, 27, -28, -29] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, 22, 23, -25, 26, -27, -28, -29] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, -20, -21, -22, 23, 25, -26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, -20, 21, -22, -23, 25, -26, 27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, -20, 21, 22, 23, 25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, 20, -21, 22, -23, 25, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, 20, 21, 22, -23, -25, -26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, -21, -22, -23, 25, -26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, -21, 22, -23, -25, -26, -27, 28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, 21, -22, -23, -25, 26, 27, -28, -29] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, -21, -22, -23, -25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, -21, -22, 23, 25, 26, -27, 28] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, 21, -22, 23, 25, 26, -27, -28, -29] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, -20, -21, -22, -23, -25, -26, 27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, -20, 21, -22, -23, -25, -26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, -20, 21, 22, 23, 25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, 20, -21, 22, 23, 25, -26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, 20, 21, 22, 23, -25, 26, -27] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, -20, 21, 22, 23, 26, 27, 28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, 20, -21, 22, -23, 26, 27, -28, -29] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, 20, 21, -22, 23, 26, -27, -28, -29] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, 17, -20, -21, -22, -23, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, 17, -20, 21, 22, -23, 26, 27] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, -17, -20, -21, -22, 23, 26, -27, 28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, -17, -20, 21, -22, 23, 26, -27, -28, -29] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, 17, -20, -21, 22, -23, 26, -27] -> ph3-2_2 

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, -21, -22, 23, 25, 26, 27, -28, -29] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, -21, 22, 23, -25, 26, -27, -28, -29] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, 21, -22, -23, -24, 25, 26, 27] -> ph3-2_2 

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

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

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

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

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

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, -21, -22, -23, 25, 26, 27, 28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, -21, 22, -23, -25, 26, -27, 28] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, 21, -22, 23, -24, 25, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, 21, 22, -23, -24, -25, 26, 27] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, -21, -22, -23, 25, 26, 27, 28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, -21, 22, -23, -25, 26, -27, 28] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, 21, -22, 23, -24, 25, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, 21, 22, -23, -24, -25, 26, 27] -> ph3-2_2 

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, -19, -20, 21, -22, -23, 24, -25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, -19, -20, 21, 22, -23, -24, -25, 26, 27] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, -19, 20, 21, -22, -23, 24, 25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, -19, 20, 21, 22, -23, -24, 25, 26, 27] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, 19, -20, 21, -22, 23, -24, -25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, 19, -20, 21, 22, -23, 24, -25, 26, 27] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, 19, 20, 21, -22, 23, -24, 25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, 19, 20, 21, 22, -23, 24, 25, 26, 27] -> ph3-2_2 

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, 15, -17, -19, 20, -21, -22, -23, 25, 26, 27, -28, -29] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, -22, -23, -25, -26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, -22, 23, -25, 26, 27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, 22, -23, 25, 26, -27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, 21, -22, -23, -25, -26, 27, -28] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, 21, 22, -23, 25, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, -21, -22, -23, -25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, -21, -22, 23, 25, -26, 27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, -21, 22, 23, -25, -26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, -22, -23, 25, -26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, -22, 23, 25, 26, 27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, 22, 23, -25, 26, -27, -28] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, -20, 21, 22, 23, 25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, 17, 20, -21, 22, -23, 25, 26] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, -21, 22, -23, -25, -26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, 21, -22, -23, -25, 26, 27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, 21, 22, -23, -25, -26, -27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, -21, -22, -23, -25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, -21, -22, 23, 25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, 21, -22, -23, -25, -26, 27, -28] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, 21, -22, 23, 25, 26, -27, -28] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, -20, 21, 22, 23, 25, 26] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, 17, 20, 21, 22, 23, -25, 26] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, -20, 21, 22, 23, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, 20, -21, 22, -23, 26, 27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, 20, 21, -22, 23, 26, -27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, 17, -20, -21, -22, -23, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, 17, -20, 21, 22, -23, 26] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, -17, -20, -21, -22, 23, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, -17, -20, 21, -22, 23, 26, -27, -28] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, 17, -20, -21, 22, -23, 26] -> ph3-2_2 

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, -21, -22, 23, 25, 26, 27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, -21, 22, 23, -25, 26, -27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, 21, -22, -23, -24, 25, 26] -> ph3-2_2 

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, 21, 22, 23, 24, -25, 26, -27] -> ph3-2_2 

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, 20, 21, 22, -23, -24, -25, 26, -27] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, -21, -22, -23, 25, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, -21, 22, -23, -25, 26, -27] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, 21, -22, -23, 24, -25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, 21, -22, 23, -24, 25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, 21, 22, -23, -24, -25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, 21, 22, -23, 24, 25, 26, 27] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, -21, -22, -23, 25, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, -21, 22, -23, -25, 26, -27] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, 21, -22, -23, 24, -25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, 21, -22, 23, -24, 25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, 21, 22, -23, -24, -25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, 21, 22, -23, 24, 25, 26, 27] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, -19, -20, 21, -22, -23, 24, -25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, -19, -20, 21, 22, -23, -24, -25, 26] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, -19, 20, 21, -22, -23, 24, 25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, -19, 20, 21, 22, -23, -24, 25, 26] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, 19, -20, 21, -22, 23, -24, -25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, 19, -20, 21, 22, -23, 24, -25, 26] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, 19, 20, 21, -22, 23, -24, 25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, 17, 19, 20, 21, 22, -23, 24, 25, 26] -> ph3-2_2 

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, 15, -17, -19, -20, 21, -22, 23, -24, -25, 26, -27] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, 15, -17, -19, 20, -21, -22, -23, 25, 26, 27, -28] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, -22, -23, -25, -26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, -22, 23, -25, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, 22, -23, 25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, 21, -22, -23, -25, -26, 27] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, 21, 22, -23, 25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, -21, -22, -23, -25, 26] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, -22, -23, 25, -26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, -22, 23, 25, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, 22, 23, -25, 26, -27] -> ph3-2_2 

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, 21, -22, -23, -25, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, 21, 22, -23, -25, -26, -27] -> ph3-2_1 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, -21, -22, 23, 25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, 21, -22, -23, -25, -26, 27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, 21, -22, 23, 25, 26, -27] -> ph3-2_2 

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, -20, 21, 22, 23, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, 20, -21, 22, -23, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, 20, 21, -22, 23, 26, -27] -> ph3-2_2 

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, -17, -20, -21, -22, 23, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, -17, -20, 21, -22, 23, 26, -27] -> ph3-2_2 

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, -21, -22, 23, 25, 26, 27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, -21, 22, 23, -25, 26, -27] -> ph3-2_2 

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, 21, 22, 23, 24, -25, 26] -> ph3-2_2 

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, 20, 21, -22, 23, -24, 25, 26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, 20, 21, 22, -23, -24, -25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, 20, 21, 22, -23, 24, 25, 26, 27] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, -21, -22, -23, 25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, -21, 22, -23, -25, 26] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, 21, -22, -23, 24, -25, 26] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, -20, 21, 22, -23, 24, 25, 26] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, -21, -22, -23, 25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, -21, 22, -23, -25, 26] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, 21, -22, -23, 24, -25, 26] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, 19, 20, 21, 22, -23, 24, 25, 26] -> ph3-2_2 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, 15, -17, -19, -20, 21, -22, 23, -24, -25, 26] -> ph3-2_2 

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, 15, -17, -19, 20, -21, -22, -23, 25, 26, 27] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, -22, 23, -25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, -20, -21, 22, -23, 25, 26] -> ph3-2_2 

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, -22, 23, 25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, -15, -17, 20, 21, 22, 23, -25, 26] -> ph3-2_2 

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, -20, 21, -22, -23, -25, 26] -> ph3-2_2 

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, -13, -14, 15, -17, 20, 21, -22, 23, 25, 26] -> ph3-2_2 

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

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, 20, -21, 22, -23, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, -15, -17, 20, 21, -22, 23, 26] -> ph3-2_2 

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, -11, -12, 13, -14, 15, -17, -20, 21, -22, 23, 26] -> ph3-2_2 

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, -21, -22, 23, 25, 26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, -20, -21, 22, 23, -25, 26] -> ph3-2_2 

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

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

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, 20, 21, -22, 23, -24, 25, 26] -> ph3-2_2 

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, -15, -17, -19, 20, 21, 22, -23, 24, 25, 26] -> ph3-2_2 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[-1, -2, -3, -4, -5, -6, -8, -9, -10, 11, -12, -13, -14, 15, -17, -19, 20, -21, -22, -23, 25, 26] -> ph3-2_2 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[-1, -2] -> []

[-1] -> []

[] -> []


Detected pigeons:

 ph3-2_1 = [[-145, 218], [213, 65], [218, 78]]

 ph3-2_2 = [[-145, 218], [213, -65], [218, 78]]

 ph3-2_3 = [[29, -117], [118, -61], [137, 59]]

 ph3-2_4 = [[-26, 99], [99, -213], [218, -26]]

[startup+1381.06 s]
# the end of solver process 418006 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1348.9 s, system=0.125697 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1369.6 s]
/proc/loadavg: 1.06 1.11 1.08 2/432 418245
/proc/meminfo: memFree=1723144/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1337.83 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11896 0 0 0 133771 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1337.83 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

[startup+1376 s]*
/proc/loadavg: 1.05 1.11 1.08 2/432 418245
/proc/meminfo: memFree=1723144/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1344.1 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11899 0 0 0 134398 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1344.1 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

[startup+1379.2 s]
/proc/loadavg: 1.05 1.11 1.08 2/432 418245
/proc/meminfo: memFree=1723144/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1347.2 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11901 0 0 0 134708 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1347.2 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

[startup+1380 s]*
/proc/loadavg: 1.05 1.11 1.08 2/432 418245
/proc/meminfo: memFree=1723144/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1348.01 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11901 0 0 0 134789 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1348.01 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

[startup+1380.8 s]
/proc/loadavg: 1.05 1.11 1.08 2/432 418245
/proc/meminfo: memFree=1723144/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1348.78 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11901 0 0 0 134866 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1348.78 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

[startup+1381 s]*
/proc/loadavg: 1.05 1.11 1.08 2/432 418245
/proc/meminfo: memFree=1723144/3726824 swapFree=8388604/8388604
[pid=418006] ppid=418005 vsize=38300 memory=12052 CPUtime=1348.99 cores=3
/proc/418006/stat : 418006 (pigeonPurSampli) R 418005 418006 417989 0 -1 4194304 11901 0 0 0 134887 12 0 0 20 0 1 0 225222841 39219200 3013 18446744073709551615 94375728017408 94375728021520 140727987603920 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94375730121984 94375730122756 94375740497920 140727987606007 140727987606102 140727987606102 140727987609569 0
/proc/418006/statm: 9575 3013 1506 2 0 1984 0
Current children cumulated CPU time: 1348.99 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 12052 KiB

Child status: 0
Real time (s): 1381.06
CPU time (s): 1349.03
CPU user time (s): 1348.9
CPU system time (s): 0.125697
CPU usage (%): 97.6804
Max. virtual memory (cumulated for all children) (KiB): 38300
Max. memory (cumulated for all children) (KiB): 12052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1348.9
system time used= 0.125697
maximum resident set size= 12052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 29173


# summary of solver processes directly reported to runsolver:
#   pid: 418006
#   total CPU time (s): 1349.03
#   total CPU user time (s): 1348.9
#   total CPU system time (s): 0.125697

??? end of timestamper thread
runsolver used 11.3487 second user time and 15.7934 second system time

The end
