Ununique.

全PLL、全方向、全配色の組み合わせです。

n1/U-perm

  • n1-1

    Form(F) = (a:b:a) and Form(R) = (a:b:a) => { U, Z, H }

    ColorNum = 3 => { U({ n1, n2 }) }

    E(r) = C(fr) => { U({ n1-1, n1-4 }) }

    E(f) = Next(E(r)) => { U(n1-1) }

  • n1-2

    Form(F) = (a:b:a) and Form(R) = (a:a:a) => { U({ n1-2, n2-2 } }

    E(f) != Invert(C(fr)) => { U(n1-2) }

  • n1-3

    Form(F) = (a:a:a) and Form(R) = (a:b:a) => { U({ n1-3, n2-3 }) }

    E(r) = Invert(C(rf)) => { U(n1-3) }

  • n1-4

    Form(F) = (a:b:a) and Form(R) = (a:b:a) => { U, Z, H }

    ColorNum = 3 => { U({ n1, n2 }) }

    E(r) = C(fr) => { U({ n1-1, n1-4 }) }

    E(f) = Invert(E(r)) => { U(n1-4) }

n2/U-perm

  • n2-1

    Form(F) = (a:b:a) and Form(R) = (a:b:a) => { U, Z, H }

    ColorNum = 3 => { U({ n1, n2 }) }

    E(f) = C(rf) => { U({ n2-1, n2-4 }) }

    E(f) = Invert(E(r)) => { U(n2-1) }

  • n2-2

    Form(F) = (a:b:a) and Form(R) = (a:a:a) => { U({ n1-2, n2-2 }) }

    E(f) = Invert(C(fr)) => { U(n2-2) }

  • n2-3

    Form(F) = (a:a:a) and Form(R) = (a:b:a) => { U({ n1-3, n2-3 }) }

    E(r) != Invert(C(rf)) => { U(n2-3) }

  • n2-4

    Form(F) = (a:b:a) and Form(R) = (a:b:a) => { U, Z, H }

    ColorNum = 3 => { U({ n1, n2 }) }

    E(f) = C(rf) => { U({ n2-1, n2-4 }) }

    E(f) = Next(E(r)) => { U(n2-4) }

n3/A-perm

  • n3-1

    Form(F) = (a:b:a) and Form(R) = (a:b:c) => { A, R, G }

    E(r) = C(fr) => { A(n3-1), R(n11-1), G(n16-1) }

    E(f) = Next(E(r)) => { A(n3-1) }

  • n3-2

    Form(F) = (a:b:c) and Form(R) = (a:b:b) => { A, T, V, R, G }

    E(r) = C(fl) => { A, T, R, G }

    E(f) != Invert(E(r)) => { A, T, R }

    E(f) = Invert(C(fr)) => { A(n3-2) }

  • n3-3

    Form(F) = (a:b:b) and Form(R) = (a:a:b) => { A, V }

    C(fl) = C(rb) => { A({ n3-3, n4-3 }) }

    E(f) = Invert(C(fl)) => { A(n3-3) }

  • n3-4

    Form(F) = (a:a:b) and Form(R) = (a:b:a) => { A, G }

    E(f) = Next(E(r)) => { A(n3-4) }

n4/A-perm

  • n4-1

    Form(F) = (a:b:c) and Form(R) = (a:b:a) => { A, R, G }

    E(f) = C(rf) => { A(n4-1), R(n12-4), G(n19-4) }

    E(f) = Next(E(r)) => { A(n4-1) }

  • n4-2

    Form(F) = (a:b:a) and Form(R) = (a:b:b) => { A, G }

    E(f) = Next(E(r)) => { A(n4-2) }

  • n4-3

    Form(F) = (a:b:b) and Form(R) = (a:a:b) => { A, V }

    C(fl) = C(rb) => { A({ n3-3, n4-3 }) }

    E(r) = Invert(C(rb)) => { A(n4-3) }

  • n4-4

    Form(F) = (a:a:b) and Form(R) = (a:b:c) => { A, T, V, R, G }

    E(f) = C(rb) => { A, T, R, G }

    E(f) != Invert(E(r)) => { A, T, R }

    E(r) = Invert(C(rf)) => { A(n4-4) }

n5/Z-perm

  • n5-1

    Form(F) = (a:b:a) and Form(R) = (a:b:a) => { U, Z, H }

    ColorNum = 2 => { Z({ n5-1, n5-3 }) }

  • n5-2

    Form(F) = (a:b:a) and Form(R) = (a:b:a) => { U, Z, H }

    ColorNum = 4 => { Z, H }

    E(f) != Invert(C(fr)) => { Z({ n5-2, n5-4 }) }

  • n5-3

    see n5-1

  • n5-4

    see n5-2

n6/H-perm

  • n6-1

    Form(F) = (a:b:a) and Form(R) = (a:b:a) => { U, Z, H }

    ColorNum = 4 => { Z, H }

    E(f) = Invert(C(fr)) => { H({ n6-1, n6-2, n6-3, n6-4 }) }

  • n6-2

    see n6-1

  • n6-3

    see n6-1

  • n6-4

    see n6-1

n7/E-perm

  • n7-1

    Form(F) = (a:b:c) and Form(R) = (a:b:c) => { E, V, F, R, Y, G }

    E(f) = Next(E(r)) => { E, G }

    C(fl) != C(rb) => { E }

    E(r) = C(fr) => { E({ n7-1, n7-3 }) }

  • n7-2

    Form(F) = (a:b:c) and Form(R) = (a:b:c) => { E, V, F, R, Y, G }

    E(f) = Next(E(r)) => { E, G }

    C(fl) != C(rb) => { E }

    E(f) = C(rf) => { E({ n7-2, n7-4 }) }

  • n7-3

    see n7-1

  • n7-4

    see n7-2

n8/T-perm

  • n8-1

    Form(F) = (a:a:b) and Form(R) = (a:b:c) => { A, T, V, R, G }

    E(f) = C(rb) => { A, T, R, G }

    E(r) = Next(C(rb)) and Next(E(r)) = C(rf) => { T(n8-1) }

  • n8-2

    Form(F) = (a:b:c) and Form(R) = (a:b:b) => { A, T, V, R, G }

    E(r) = C(fl) => { A, T, R, G }

    Next(E(f)) = C(fl) and E(f) = Next(C(fr)) => { T(n8-2) }

  • n8-3

    Form(F) = (a:b:b) and Form(R) = (a:b:a) => { T, R }

    E(r) = Invert(C(rf)) => { T(n8-3) }

  • n8-4

    Form(F) = (a:b:a) and Form(R) = (a:a:b) => { T, R }

    E(f) = Invert(C(fr)) => { T(n8-4) }

n9/V-perm

  • n9-1

    Form(F) = (a:a:b) and Form(R) = (a:b:c) => { A, T, V, R, G }

    E(f) != C(rb) => { V(n9-1) }

  • n9-2

    Form(F) = (a:b:c) and Form(R) = (a:b:c) => { E, V, F, R, Y, G }

    Next(E(f)) = E(r) => { V, F, Y }

    C(fl) != C(rb) => { V(n9-2), Y(n15-4) }

    E(f) = C(rf) and E(r) = C(fr) => { V(n9-2) }

  • n9-3

    Form(F) = (a:b:c) and Form(R) = (a:b:b) => { A, T, V, R, G }

    E(r) != C(fl) => { V(n9-3) }

  • n9-4

    Form(F) = (a:b:b) and Form(R) = (a:a:b) => { A, V }

    C(fl) != C(rb) => { V(n9-4) }

n10/F-perm

  • n10-1

    Form(F) = (a:b:c) and Form(R) = (a:b:c) => { E, V, F, R, Y, G }

    Next(E(f)) = E(r) => { V, F, Y }

    C(fl) = C(rb) => { F({ n10-1, n10-2 }) }

    E(f) = Invert(C(fl)) => { F(n10-1) }

  • n10-2

    Form(F) = (a:b:c) and Form(R) = (a:b:c) => { E, V, F, R, Y, G }

    Next(E(f)) = E(r) => { V, F, Y }

    C(fl) = C(rb) => { F({ n10-1, n10-2 }) }

    E(r) = Invert(C(rb)) => { F(n10-2) }

  • n10-3

    Form(F) = (a:b:c) and Form(R) = (a:a:a) => { F(n10-3) }

  • n10-4

    Form(F) = (a:a:a) and Form(R) = (a:b:c) => { F(n10-4) }

n11/R-perm

  • n11-1

    Form(F) = (a:b:a) and Form(R) = (a:b:c) => { A, R, G }

    E(r) = C(fr) => { A(n3-1), R(n11-1), G(n16-1) }

    Next(E(f)) = E(r) => { R(n11-1) }

  • n11-2

    Form(F) = (a:b:c) and Form(R) = (a:b:c) => { E, V, F, R, Y, G }

    E(f) = Invert(E(r)) => { R({ n11-2, n12-3 }) }

    E(r) = C(fr) => { R(n11-2) }

  • n11-3

    Form(F) = (a:b:c) and Form(R) = (a:b:b) => { A, T, V, R, G }

    E(r) = C(fl) => { A, T, R, G }

    E(f) = Next(C(fl)) and Next(E(f)) = C(rf) => { R(n11-3) }

  • n11-4

    Form(F) = (a:b:b) and Form(R) = (a:b:a) => { T, R }

    E(r) != Invert(C(rf)) => { R(n11-4) }

n12/R-perm

  • n12-1

    Form(F) = (a:b:a) and Form(R) = (a:a:b) => { T, R }

    E(f) != Invert(C(fr)) => { R(n12-1) }

  • n12-2

    Form(F) = (a:a:b) and Form(R) = (a:b:c) => { A, T, V, R, G }

    E(f) = C(rb) => { A, T, R, G }

    E(r) = Next(C(rf)) and Next(E(r)) = C(rb) => { R(n12-2) }

  • n12-3

    Form(F) = (a:b:c) and Form(R) = (a:b:c) => { E, V, F, R, Y, G }

    E(f) = Invert(E(r)) => { R({ n11-2, n12-3 }) }

    E(f) = C(rf) => { R(n12-3) }

  • n12-4

    Form(F) = (a:b:c) and Form(R) = (a:b:a) => { A, R, G }

    E(f) = C(rf) => { A(n4-1), R(n12-4), G(n19-4) }

    Next(E(f)) = E(r) => { R(n12-4) }

n13/J-perm

  • n13-1

    Form(F) = (a:b:b) and Form(R) = (a:b:b) => { J, N }

    ColorNum = 3 => { J({ n13-1, n13-2 }) }

    E(f) != Invert(C(fl)) => { J(n13-1) }

  • n13-2

    Form(F) = (a:b:b) and Form(R) = (a:b:b) => { J, N }

    ColorNum = 3 => { J({ n13-1, n13-2 }) }

    E(f) = Invert(C(fl)) => { J(n13-2) }

  • n13-3

    Form(F) = (a:b:b) and Form(R) = (a:a:a) => { J(n13-3) }

  • n13-4

    Form(F) = (a:a:a) and Form(R) = (a:b:b) => { J(n13-4) }

n14/J-perm

  • n14-1

    Form(F) = (a:a:b) and Form(R) = (a:a:b) => { J, N }

    ColorNum = 3 => { J({ n14-1, n14-2 }) }

    E(f) != Invert(C(fr)) => { J(n14-1) }

  • n14-2

    Form(F) = (a:a:b) and Form(R) = (a:a:b) => { J, N }

    ColorNum = 3 => { J({ n14-1, n14-2 }) }

    E(f) = Invert(C(fr)) => { J(n14-2) }

  • n14-3

    Form(F) = (a:a:b) and Form(R) = (a:a:a) => { J(n14-3) }

  • n14-4

    Form(F) = (a:a:a) and Form(R) = (a:a:b) => { J(n14-4) }

n15/Y-perm

  • n15-1

    Form(F) = (a:b:c) and Form(R) = (a:a:b) => { Y, G }

    C(fl) != C(rb) => { Y(n15-1) }

  • n15-2

    Form(F) = (a:a:b), Form(R) = (a:b:b) => { Y(n15-2) }

  • n15-3

    Form(F) = (a:b:b) and Form(R) = (a:b:c) => { Y, G }

    C(fl) != C(rb) => { Y(n15-3) }

  • n15-4

    Form(F) = (a:b:c) and Form(R) = (a:b:c) => { E, V, F, R, Y, G }

    Next(E(f)) = E(r) => { V, F, Y }

    C(fl) != C(rb) => { V(n9-2), Y(n15-4) }

    E(f) != C(rf) and E(r) != C(fr) => { Y(n15-4) }

n16/G-perm

  • n16-1

    Form(F) = (a:b:a) and Form(R) = (a:b:c) => { A, R, G }

    E(r) = C(fr) => { A(n3-1), R(n11-1), G(n16-1) }

    E(f) = Invert(E(r)) => { G(n16-1) }

  • n16-2

    Form(F) = (a:b:c) and Form(R) = (a:a:b) => { Y, G }

    C(rl) = C(rb) => { G(n16-2 ,n17-2 }) }

    E(r) = Invert(C(rb)) => { G(n16-2) }

  • n16-3

    Form(F) = (a:a:b) and Form(R) = (a:b:c) => { A, T, V, R, G }

    E(f) = C(rb) => { A, T, R, G }

    E(f) = Invert(E(r)) => { G(n16-3) }

  • n16-4

    Form(F) = (a:b:c) and Form(R) = (a:b:a) => { A, R, G }

    E(f) != C(rf) => { G({ n16-4, n18-4 }) }

    E(r) = Invert(C(rf)) => { G(n16-4)) }

n17/G-perm

  • n17-1

    Form(F) = (a:b:c) and Form(R) = (a:b:c) => { E, V, F, R, Y, G }

    E(f) = Next(E(r)) => { E, G }

    C(fl) = C(rb) => { G({ n17-1, n18-3 }) }

    E(r) != C(fr) => { G(n17-1) }

  • n17-2

    Form(F) = (a:b:c) and Form(R) = (a:a:b) => { Y, G }

    C(rl) = C(rb) => { G(n16-2 ,n17-2 }) }

    E(r) != Invert(C(rb)) => { G(n17-2) }

  • n17-3

    Form(F) = (a:a:b) and Form(R) = (a:b:a) => { A, G }

    E(f) != Next(E(r)) => { G(n17-3) }

  • n17-4

    Form(F) = (a:b:a) and Form(R) = (a:b:c) => { A, R, G }

    E(r) != C(fr) => { G({ n17-4, n19-1 }) }

    E(f) != Invert(C(fr)) => { G(n17-4) }

n18/G-perm

  • n18-1

    Form(F) = (a:b:a) and Form(R) = (a:b:b) => { A, G }

    E(f) != Next(E(r)) => { G(n18-1) }

  • n18-2

    Form(F) = (a:b:b) and Form(R) = (a:b:c) => { Y, G }

    C(fl) = C(rb) => { G({ n18-2, n19-3 }) }

    E(f) != Invert(C(fl)) => { G(n18-2) }

  • n18-3

    Form(F) = (a:b:c) and Form(R) = (a:b:c) => { E, V, F, R, Y, G }

    E(f) = Next(E(r)) => { E, G }

    C(fl) = C(rb) => { G({ n17-1, n18-3 }) }

    E(r) = C(fr) => { G(n18-3) }

  • n18-4

    Form(F) = (a:b:c) and Form(R) = (a:b:a) => { A, R, G }

    E(f) != C(rf) => { G({ n16-4, n18-4 }) }

    E(r) != Invert(C(rf)) => { G(n18-4)) }

n19/G-perm

  • n19-1

    Form(F) = (a:b:a) and Form(R) = (a:b:c) => { A, R, G }

    E(r) != C(fr) => { G({ n17-4, n19-1 }) }

    E(f) = Invert(C(fr)) => { G(n19-1) }

  • n19-2

    Form(F) = (a:b:c) and Form(R) = (a:b:b) => { A, T, V, R, G }

    E(r) = C(fl) => { A, T, R, G }

    E(f) = Invert(E(r)) => { G(n19-2) }

  • n19-3

    Form(F) = (a:b:b) and Form(R) = (a:b:c) => { Y, G }

    C(fl) = C(rb) => { G({ n18-2, n19-3 }) }

    E(f) = Invert(C(fl)) => { G(n19-3) }

  • n19-4

    Form(F) = (a:b:c) and Form(R) = (a:b:a) => { A, R, G }

    E(f) = C(rf) => { A(n4-1), R(n12-4), G(n19-4) }

    E(f) = Invert(E(r)) => { G(n19-4) }

n20/N-perm

  • n20-1

    Form(F) = (a:a:b) and Form(R) = (a:a:b) => { J, N }

    ColorNum = 4 => { N({ n20-1, n20-2, n20-3, n20-4 }) }

  • n20-2

    see n20-1

  • n20-3

    see n20-1

  • n20-4

    see n20-1

n21/N-perm

  • n21-1

    Form(F) = (a:b:b) and Form(R) = (a:b:b) => { J, N }

    ColorNum = 4 => { N({ n21-1, n21-2, n21-3, n21-4 }) }

  • n21-2

    see n21-1

  • n21-3

    see n21-1

  • n21-4

    see n21-1

タグ一覧