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

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

running on 1 cores: 0

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


[startup+0.101271 s]*
/proc/loadavg: 0.00 0.01 0.28 2/432 418448
/proc/meminfo: memFree=1727996/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=37792 memory=9696 CPUtime=0.09 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1359 0 0 0 9 0 0 0 20 0 1 0 225476800 38699008 2424 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9448 2424 1445 2 0 1857 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 9696 KiB

[startup+0.229268 s]*
/proc/loadavg: 0.00 0.01 0.28 2/432 418448
/proc/meminfo: memFree=1727552/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=37792 memory=9696 CPUtime=0.2 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1360 0 0 0 20 0 0 0 20 0 1 0 225476800 38699008 2424 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9448 2424 1445 2 0 1857 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 9696 KiB

[startup+0.324267 s]*
/proc/loadavg: 0.00 0.01 0.28 2/432 418448
/proc/meminfo: memFree=1727552/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=37792 memory=9696 CPUtime=0.28 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1360 0 0 0 28 0 0 0 20 0 1 0 225476800 38699008 2424 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9448 2424 1445 2 0 1857 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 9696 KiB

[startup+0.701268 s]
/proc/loadavg: 0.00 0.01 0.28 5/450 418475
/proc/meminfo: memFree=1721760/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=37792 memory=10180 CPUtime=0.58 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1362 0 0 0 58 0 0 0 20 0 1 0 225476800 38699008 2545 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9448 2545 1506 2 0 1857 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10180 KiB

[startup+1.50127 s]
/proc/loadavg: 0.00 0.01 0.28 7/457 418482
/proc/meminfo: memFree=1704704/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=37792 memory=10180 CPUtime=1.36 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1368 0 0 0 136 0 0 0 20 0 1 0 225476800 38699008 2545 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9448 2545 1506 2 0 1857 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10180 KiB

[startup+3.12927 s]
/proc/loadavg: 0.32 0.08 0.30 5/457 418482
/proc/meminfo: memFree=1703948/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=37792 memory=10180 CPUtime=2.94 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1379 0 0 0 294 0 0 0 20 0 1 0 225476800 38699008 2545 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9448 2545 1506 2 0 1857 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10180 KiB

[startup+6.30027 s]
/proc/loadavg: 0.32 0.08 0.30 5/456 418482
/proc/meminfo: memFree=1703884/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=37792 memory=10180 CPUtime=6.04 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1407 0 0 0 604 0 0 0 20 0 1 0 225476800 38699008 2545 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9448 2545 1506 2 0 1857 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10180 KiB

[startup+12.7003 s]
/proc/loadavg: 0.62 0.14 0.32 5/456 418482
/proc/meminfo: memFree=1703412/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=37792 memory=10444 CPUtime=12.28 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1432 0 0 0 1228 0 0 0 20 0 1 0 225476800 38699008 2611 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9448 2611 1506 2 0 1857 0
Current children cumulated CPU time: 12.28 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 10444 KiB

[startup+25.5013 s]
/proc/loadavg: 1.37 0.33 0.38 6/456 418490
/proc/meminfo: memFree=1701672/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=38048 memory=10708 CPUtime=24.77 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1500 0 0 0 2477 0 0 0 20 0 1 0 225476800 38961152 2677 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9512 2677 1506 2 0 1921 0
Current children cumulated CPU time: 24.77 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10708 KiB
[-1, -2] -> []

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, -37, 40, 42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, 37, 40, -42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, -37, -40, 42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, -40, -42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, 40, 42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, -37, 40, -42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, 37, -40, 42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, -37, -40, -42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, -40, -42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, 40, 42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, -37, 40, -42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, 37, -40, 42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, -40, -42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, 40, 42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, 37, 40, -42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, -37, -40, 42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, 37, -40, 42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, -40, -42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, 40, 42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, 37, 40, -42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, -37, -40, 42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, -40, -42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, 40, 42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, -37, 40, -42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, 37, 40, -42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, -37, -40, 42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, -40, -42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, 40, 42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, -37, 40, -42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, 37, -40, 42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, -40, -42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, 40, 42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, 37, 40, 42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, -37, 40, -42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, 37, -40, 42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, -40, -42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, 40, 42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, 37, 40, -42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, -37, -40, 42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, 37, -40, -42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, -40, -42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, 40, 42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, 37, 40, -42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, -37, -40, 42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, -40, -42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, 40, 42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, -37, 40, -42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, 37, -40, 42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, -37, -40, 42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, -40, -42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, 40, 42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, -37, 40, -42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, 37, -40, 42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, -40, -42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, 40, 42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, 37, 40, -42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, -37, 40, -42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, 37, -40, 42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, -40, -42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, 40, 42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, 37, 40, -42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, -37, -40, 42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, -40, -42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, 40, 42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, -37, 40, 42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, 37, 40, -42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, -37, -40, 42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, -40, -42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, 40, 42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, -37, 40, -42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, 37, -40, 42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, -37, -40, -42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, -40, -42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, 40, 42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, -37, 40, -42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, 37, -40, 42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, -40, -42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, 40, 42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, 37, 40, -42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, -37, -40, 42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, 37, -40, 42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, -40, -42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, 40, 42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, 37, 40, -42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, -37, -40, 42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, -40, -42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, 40, 42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, -37, 40, -42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, 37, 40, -42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, -37, -40, 42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, -40, -42, -43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, 40, 42, -43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, -37, 40, -42, 43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, 37, -40, 42, 43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, -40, -42, 43, 48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, 40, 42, 43, 48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, 37, 40, 42, -43, -48, -50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, -37, 40, -42, -43, -48, 50, 51] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, 37, -40, 42, -43, 48, -50, 51] -> ph3-2_1 

[-1] -> []

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, -37, 40, 42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, 37, 40, -42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, -37, -40, 42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, -40, -42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, 40, 42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, -37, 40, -42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, 37, -40, 42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, -37, -40, -42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, -40, -42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, 40, 42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, -37, 40, -42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, 37, -40, 42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, -40, -42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, 40, 42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, 37, 40, -42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, -37, -40, 42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, 37, -40, 42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, -40, -42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, 40, 42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, 37, 40, -42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, -37, -40, 42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, -40, -42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, 40, 42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, -37, 40, -42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, 37, 40, -42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, -37, -40, 42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, -40, -42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, 40, 42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, -37, 40, -42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, 37, -40, 42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, -40, -42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, 40, 42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, 37, 40, 42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, -37, 40, -42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, 37, -40, 42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, -40, -42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, 40, 42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, 37, 40, -42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, -37, -40, 42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, 37, -40, -42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, -40, -42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, 40, 42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, 37, 40, -42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, -37, -40, 42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, -40, -42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, 40, 42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, -37, 40, -42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, 37, -40, 42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, -37, -40, 42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, -40, -42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, 40, 42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, -37, 40, -42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, 37, -40, 42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, -40, -42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, 40, 42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, 37, 40, -42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, -37, 40, -42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, 37, -40, 42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, -40, -42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, 40, 42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, 37, 40, -42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, -37, -40, 42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, -40, -42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, 40, 42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, -37, 40, 42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, 37, 40, -42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, -37, -40, 42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, -40, -42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, 40, 42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, -37, 40, -42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, 37, -40, 42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, -37, -40, -42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, -40, -42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, 40, 42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, -37, 40, -42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, 37, -40, 42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, -40, -42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, 40, 42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, 37, 40, -42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, -37, -40, 42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, 37, -40, 42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, -40, -42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, 40, 42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, 37, 40, -42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, -37, -40, 42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, -40, -42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, 40, 42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, -37, 40, -42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, 37, 40, -42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, -37, -40, 42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, -40, -42, -43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, 40, 42, -43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, -37, 40, -42, 43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, 37, -40, 42, 43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, -40, -42, 43, 48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, 40, 42, 43, 48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, 37, 40, 42, -43, -48, -50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, -37, 40, -42, -43, -48, 50] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, 37, -40, 42, -43, 48, -50] -> ph3-2_1 

[] -> []

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, -37, 40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, 37, 40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, -37, -40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, -40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, 40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, -37, 40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, 37, -40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, -37, -40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, -40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, 40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, -37, 40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, 37, -40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, -40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, 40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, 37, 40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, -37, -40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, 37, -40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, -40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, 40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, 37, 40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, -37, -40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, -40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, 40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, -37, 40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, 37, 40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, -37, -40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, -40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, 40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, -37, 40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, 37, -40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, -40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, 40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, 37, 40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, -37, 40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, 37, -40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, -40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, 40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, 37, 40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, -37, -40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, 37, -40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, -40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, 40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, 37, 40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, -37, -40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, -40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, 40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, -37, 40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, 37, -40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, -37, -40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, -40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, 40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, -37, 40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, 37, -40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, -40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, 40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, 37, 40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, -37, 40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, 37, -40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, -40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, 40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, 37, 40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, -37, -40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, -40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, 40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, -37, 40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, 37, 40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, -37, -40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, -40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, 40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, -37, 40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, 37, -40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, -37, -40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, -40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, 40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, -37, 40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, 37, -40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, -40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, 40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, 37, 40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, -37, -40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, 37, -40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, -40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, 40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, 37, 40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, -37, -40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, -40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, 40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, -37, 40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, 37, 40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, -37, -40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, -40, -42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, 40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, -37, 40, -42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, 37, -40, 42, 43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, -40, -42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, 40, 42, 43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, 37, 40, 42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, -37, 40, -42, -43, -48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, 37, -40, 42, -43, 48] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, -37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, 37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, -37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, -37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, 37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, -37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, -37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, 37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, 37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, -37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, 37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, 37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, -37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, -37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, 37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, -37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, -37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, 37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, 37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, -37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, 37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, 37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, -37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, 37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, 37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, -37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, -37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, 37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, -37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, -37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, 37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, 37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, -37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, 37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, 37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, -37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, -37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, 37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, -37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, -37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, 37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, -37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, -37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, 37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, 37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, -37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, 37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, 37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, -37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, -37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, 37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, -37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, -40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, -37, 40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, 37, -40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, -40, -42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, 40, 42, 43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, 37, 40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, -37, 40, -42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, 37, -40, 42, -43] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, 37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, -37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, -40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, 37, 40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, -37, 40, -42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, 37, -40, 42] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, 37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, -37, 40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, 37, -40] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, -37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36, 37] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33, 36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33, -36] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, -33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29, 33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, -33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29, 33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, -33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29, 33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, -33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29, 33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, -33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29, 33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, -33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29, 33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, -33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29, 33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, -33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29, 33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, -33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29, 33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, -33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29, 33] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, -29] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26, 29] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, -29] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26, 29] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, -29] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26, 29] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, -29] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26, 29] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, -29] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26, 29] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, -26] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25, 26] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, -26] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25, 26] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25, -26] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, -25] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21, 25] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21, -25] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, -21] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20, 21] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19, -20] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18, -19] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16, -18] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14, -16] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13, -14] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12, -13] -> ph3-2_1 

[-1, -2, 4, -6, -7, -9, -11, -12] -> []

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

[-1, -2, 4, -6, -7, -9] -> []

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

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

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


Detected pigeons:

 ph3-2_1 = [[52, 134], [-134, 52], [134, -52]]

[startup+47.5257 s]
# the end of solver process 418447 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=46.2501 s, system=0.005916 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6103 s]
/proc/loadavg: 1.37 0.33 0.38 6/456 418490
/proc/meminfo: memFree=1701672/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=38048 memory=10708 CPUtime=24.87 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1500 0 0 0 2487 0 0 0 20 0 1 0 225476800 38961152 2677 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9512 2677 1506 2 0 1921 0
Current children cumulated CPU time: 24.87 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10708 KiB

[startup+38.4003 s]
/proc/loadavg: 2.02 0.53 0.44 5/456 418490
/proc/meminfo: memFree=1701676/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=38048 memory=10708 CPUtime=37.35 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1503 0 0 0 3735 0 0 0 20 0 1 0 225476800 38961152 2677 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9512 2677 1506 2 0 1921 0
Current children cumulated CPU time: 37.35 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10708 KiB

[startup+41.6003 s]
/proc/loadavg: 2.02 0.53 0.44 6/456 418490
/proc/meminfo: memFree=1701676/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=38048 memory=10708 CPUtime=40.47 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1504 0 0 0 4047 0 0 0 20 0 1 0 225476800 38961152 2677 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9512 2677 1506 2 0 1921 0
Current children cumulated CPU time: 40.47 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10708 KiB

[startup+44.8003 s]
/proc/loadavg: 2.18 0.59 0.46 5/456 418490
/proc/meminfo: memFree=1700920/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=38048 memory=10708 CPUtime=43.6 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1504 0 0 0 4360 0 0 0 20 0 1 0 225476800 38961152 2677 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9512 2677 1506 2 0 1921 0
Current children cumulated CPU time: 43.6 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10708 KiB

[startup+46.4003 s]
/proc/loadavg: 2.18 0.59 0.46 5/456 418490
/proc/meminfo: memFree=1700920/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=38048 memory=10708 CPUtime=45.15 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1504 0 0 0 4515 0 0 0 20 0 1 0 225476800 38961152 2677 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9512 2677 1506 2 0 1921 0
Current children cumulated CPU time: 45.15 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10708 KiB

[startup+47.2003 s]
/proc/loadavg: 2.18 0.59 0.46 5/456 418490
/proc/meminfo: memFree=1700920/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=38048 memory=10708 CPUtime=45.92 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1504 0 0 0 4592 0 0 0 20 0 1 0 225476800 38961152 2677 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9512 2677 1506 2 0 1921 0
Current children cumulated CPU time: 45.92 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10708 KiB

[startup+47.4003 s]
/proc/loadavg: 2.18 0.59 0.46 5/456 418490
/proc/meminfo: memFree=1700920/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=38048 memory=10708 CPUtime=46.12 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1504 0 0 0 4612 0 0 0 20 0 1 0 225476800 38961152 2677 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9512 2677 1506 2 0 1921 0
Current children cumulated CPU time: 46.12 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10708 KiB

[startup+47.5003 s]
/proc/loadavg: 2.18 0.59 0.46 5/456 418490
/proc/meminfo: memFree=1700920/3726824 swapFree=8388604/8388604
[pid=418447] ppid=418446 vsize=38048 memory=10708 CPUtime=46.22 cores=0
/proc/418447/stat : 418447 (pigeonPurSampli) R 418446 418447 418440 0 -1 4194304 1504 0 0 0 4622 0 0 0 20 0 1 0 225476800 38961152 2677 18446744073709551615 94702106894336 94702106898448 140733222128000 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94702108998912 94702108999684 94702128332800 140733222134260 140733222134358 140733222134358 140733222137825 0
/proc/418447/statm: 9512 2677 1506 2 0 1921 0
Current children cumulated CPU time: 46.22 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10708 KiB

Child status: 0
Real time (s): 47.5257
CPU time (s): 46.256
CPU user time (s): 46.2501
CPU system time (s): 0.005916
CPU usage (%): 97.3283
Max. virtual memory (cumulated for all children) (KiB): 38048
Max. memory (cumulated for all children) (KiB): 10708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.2501
system time used= 0.005916
maximum resident set size= 10708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1506
page faults= 0
swaps= 0
block input operations= 16
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 3706


# summary of solver processes directly reported to runsolver:
#   pid: 418447
#   total CPU time (s): 46.256
#   total CPU user time (s): 46.2501
#   total CPU system time (s): 0.005916

??? end of timestamper thread
runsolver used 0.503149 second user time and 0.607803 second system time

The end
