+ p1 p1 p2 + p1 + p2 p2 p5 + p5 p5 p10 + + x y z + x + y z + p1 + p1 x + p2 x + p1 + p2 + p2 x + p5 x + p2 p1 + p1 p2 + p2 + p1 x + p1 + p2 x + p2 + p2 p2 + p1 p5 + p2 + p2 + p2 x + p1 + p5 x + p5 p1 + p1 p5 + p5 + p1 x + p1 + p5 x + p5 p2 + p2 p5 + p5 + p2 x + p2 + p5 x + p5 + p5 x + p10 x + p10 p1 + p1 p10 + p10 + p1 x + p1 + p10 x + p10 p2 + p2 p10 + p10 + p2 x + p2 + p10 x + p10 p5 + p5 p10 + p10 + p5 x + p5 + p10 x 2.2 + p5 p2 + p2 p5 + p5 + p1 x + p5 x + p1 + p1 x + p2 x + p10 p5 + p5 p10 + p2 + p2 + p2 x + p1 + p5 x + + x y z + x + y z + p5 + p5 x + p10 x + p2 + p2 + p2 x + p5 x + p10 + p1 x + p1 + p10 x + + x y z + y z + p10 p1 + p1 p10 + p5 + p2 x + p2 + p5 x + p2 p1 + p1 p2 + p5 + p1 x + p1 + p5 x + p2 + p1 x + p2 x + p10 + p2 x + p10 x + p10 + p5 x + p10 x + p10 p2 + p2 p10 + p2 + p1 x + p1 + p2 x + p10 + p2 x + p2 + p10 x + p2 + p2 p2 + p1 p5 + p1 + p2 + p2 x + p5 x + p5 + p2 x + p5 x + p10 + p1 x + p10 x + p5 p1 + p1 p5 + p10 + p5 x + p5 + p10 x true + + x y z + y z + + x y z + x + y z true p5 0 56473 p10 0 112948 p2 0 22588 + 2 1 2 1 + 2 1 0 p1 0 11293 + p10 + p5 x + p5 + p10 x + p10 + p1 x + p1 + p10 x + p10 + p1 x + p10 x + p2 + p2 + p2 x + p5 x + p5 + p2 x + p5 x + p1 + p2 + p2 x + p5 x + p5 + p5 x + p10 x + p10 + p2 x + p2 + p10 x + p2 + p1 x + p1 + p2 x + p2 + p2 + p2 x + p1 + p5 x + p1 + p1 x + p2 x + p10 + p5 x + p10 x + p10 + p2 x + p10 x + p5 + p1 x + p5 x + p2 + p1 x + p2 x + p5 + p1 x + p1 + p5 x + p5 + p2 x + p2 + p5 x true p5 0 2 p10 0 1 p2 0 3 + 2 1 2 41063 + 2 2 0 p1 0 4 + p10 p2 + p2 p10 + + x y z + x + y z + p5 + p5 x + p10 x + p2 + p1 x + p1 + p2 x + p1 p1 p2 + p5 p5 p10 + p10 p1 + p1 p10 + p10 + p5 x + p5 + p10 x + p10 + p2 x + p2 + p10 x + p10 + p1 x + p1 + p10 x + p1 + p1 x + p2 x + p2 + p2 + p2 x + p1 + p5 x + p2 p1 + p1 p2 + p10 p5 + p5 p10 + p5 + p2 x + p2 + p5 x + p5 + p1 x + p1 + p5 x + p5 p1 + p1 p5 + p2 + p2 p2 + p1 p5 + p5 p2 + p2 p5 + p1 + p2 + p2 x + p5 x + p1 + p2 p2 p5 + p10 p5 + p5 p10 false + p2 + p2 p2 + p1 p5 false + p2 p1 + p1 p2 false + p5 p1 + p1 p5 false + p10 p2 + p2 p10 false + p5 p2 + p2 p5 false + p10 p1 + p1 p10 false NaTT certifiable-1.6