+p1p1p2+p1+p2p2p5+p5p5p10++xyz+x+yz+p1+p1x+p2x+p1+p2+p2x+p5x+p2p1+p1p2+p2+p1x+p1+p2x+p2+p2p2+p1p5+p2+p2+p2x+p1+p5x+p5p1+p1p5+p5+p1x+p1+p5x+p5p2+p2p5+p5+p2x+p2+p5x+p5+p5x+p10x+p10p1+p1p10+p10+p1x+p1+p10x+p10p2+p2p10+p10+p2x+p2+p10x+p10p5+p5p10+p10+p5x+p5+p10x2.0++xyz+yz++xyz+x+yz+p1+p1x+p2x+p1+p2+p2x+p5x+p2p1+p1p2+p2+p1x+p2x+p2+p1x+p1+p2x+p2+p2p2+p1p5+p2+p2+p2x+p5x+p2+p2+p2x+p1+p5x+p5p1+p1p5+p5+p1x+p5x+p5+p1x+p1+p5x+p5p2+p2p5+p5+p2x+p5x+p5+p2x+p2+p5x+p5+p5x+p10x+p10p1+p1p10+p10+p1x+p10x+p10+p1x+p1+p10x+p10p2+p2p10+p10+p2x+p10x+p10+p2x+p2+p10x+p10p5+p5p10+p10+p5x+p10x+p10+p5x+p5+p10xtrue++xyz+yz++xyz+x+yztrue+21+p10+p5x+p10x+p10+p5x+p5+p10x+p5+p5x+p10x+p10+p2x+p2+p10x+p2+p2+p2x+p1+p5x+p1+p2+p2x+p5x+p5+p2x+p2+p5x+p2+p2+p2x+p5x+p5+p2x+p5x+p5+p1x+p1+p5x+p1+p1x+p2x+p2+p1x+p1+p2x+p2+p1x+p2x+p5+p1x+p5x+p10+p2x+p10x+p10+p1x+p1+p10x+p10+p1x+p10xtrue+p10p1+p1p10false+p5p1+p1p5false+p2p1+p1p2false+p2+p2p2+p1p5false+p5p2+p2p5false+p10p2+p2p10false+p10p5+p5p10false