MESON Chess Problem Database

Problem Display
PID: 94571 (8/2qPB3/2P2Np1/2R3p1/4Pk2/R7/PQ1p4/Kn3NnB w - - 0 1)

Fleck, Ferenc

British Chess Magazine, 1951

8/2qPB3/2P2Np1/2R3p1/4Pk2/R7/PQ1p4/Kn3NnB

#2

12 + 7

6490 yacpdb 2009

SOLUTION

  • SOUND
  • Sets
    • 1...Qa5
      • 2.Bd6#
      • 2.Qe5#
    • 1...Qe5
      • 2.Qxe5#
    • 1...Qb6
      • 2.Bd6#
      • 2.Qe5#
    • 1...Qd6
      • 2.Bxd6#
    • 1...Qb8
      • 2.Qxb8#
    • 1...Qd8
      • 2.Bd6#
      • 2.Qe5#
    • 1...Qxc6
      • 2.Qe5#
    • 1...Qa7
      • 2.Bd6#
      • 2.Qe5#
    • 1...Qb7
      • 2.Bd6#
      • 2.Qe5#
    • 1...Qxd7
      • 2.Qe5#
    • 1...Qc8
      • 2.Bd6#
      • 2.Qe5#
    • 1...Sxa3
      • 2.Qxd2#
    • 1...Sc3
      • 2.Qxd2#
    • 1...Se2
      • 2.Rf3#
    • 1...Sf3
      • 2.Rxf3#
    • 1...Sh3
      • 2.Rf3#
    • 1...d1Q
      • 2.Qh2#
    • 1...d1S
      • 2.Qh2#
    • 1...d1B
      • 2.Qh2#
    • 1...d1R
      • 2.Qh2#
    • 1...g4
      • 2.Sd5#
  • Tries
    • 1.Bd8?
      • threat
        • 2.Bxc7#
      • 1...Qxd8
        • 2.Qe5#
      • 1...Qxc6
        • 2.Qe5#
      • 1...Qxd7
        • 2.Qe5#
      • 1...d1Q
        • 2.Qh2#
      • 1...d1R
        • 2.Qh2#
      • 1...Qa5
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qb6
        • 2.Qe5#
      • 1...Qb8
        • 2.Qxb8#
      • 1...Qa7
        • 2.Qe5#
      • 1...Qb7
        • 2.Qe5#
      • 1...Qc8
        • 2.Qe5#
      • 1...Sf3
        • 2.Rxf3#
      • 1...Qd6!
    • 1.Bf8?
      • 1...Qxc6
        • 2.Qe5#
      • 1...Qxd7
        • 2.Qe5#
      • 1...Sxa3
        • 2.Qxd2#
      • 1...d1Q
        • 2.Qh2#
      • 1...d1S
        • 2.Qh2#
      • 1...d1B
        • 2.Qh2#
      • 1...d1R
        • 2.Qh2#
      • 1...Qa5
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qb6
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qb8
        • 2.Qxb8#
      • 1...Qd8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qa7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qb7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qc8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Sc3
        • 2.Qxd2#
      • 1...Se2
        • 2.Rf3#
      • 1...Sf3
        • 2.Rxf3#
      • 1...Sh3
        • 2.Rf3#
      • 1...g4!
    • 1.Rb3?
      • 1...Qxc6
        • 2.Qe5#
      • 1...Qxd7
        • 2.Qe5#
      • 1...d1Q
        • 2.Qh2#
      • 1...d1S
        • 2.Qh2#
      • 1...d1B
        • 2.Qh2#
      • 1...d1R
        • 2.Qh2#
      • 1...Qa5
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qb6
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qd8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qa7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qb7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qc8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Sa3
        • 2.Qxd2#
      • 1...Sc3
        • 2.Qxd2#
      • 1...Se2
        • 2.Rf3#
      • 1...Sf3
        • 2.Rxf3#
      • 1...Sh3
        • 2.Rf3#
      • 1...g4
        • 2.Sd5#
      • 1...Qb8!
    • 1.Rg3?
      • threat
        • 2.Sd5#
        • 2.Rg4#
      • 1...Qxc6
        • 2.Rg4#
        • 2.Qe5#
      • 1...Qxd7
        • 2.Qe5#
      • 1...d1B
        • 2.Sd5#
      • 1...d1R
        • 2.Rg4#
      • 1...Qe5
        • 2.Rg4#
        • 2.Qxe5#
      • 1...Qd6
        • 2.Bxd6#
        • 2.Rg4#
      • 1...Sc3
        • 2.Rg4#
        • 2.Qxd2#
      • 1...Sf3
        • 2.Rxf3#
        • 2.Rg4#
      • 1...g4
        • 2.Sd5#
        • 2.Rxg4#
      • 1...d1Q!
    • 1.Rh3?
      • 1...Qxc6
        • 2.Qe5#
      • 1...Qxd7
        • 2.Qe5#
      • 1...d1Q
        • 2.Qh2#
      • 1...d1S
        • 2.Qh2#
      • 1...d1B
        • 2.Qh2#
      • 1...d1R
        • 2.Qh2#
      • 1...Qa5
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qb6
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qb8
        • 2.Qxb8#
      • 1...Qd8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qa7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qb7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qc8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Sa3
        • 2.Qxd2#
      • 1...Sc3
        • 2.Qxd2#
      • 1...Se2
        • 2.Rf3#
      • 1...Sf3
        • 2.Rxf3#
      • 1...g4
        • 2.Sd5#
      • 1...Sxh3!
    • 1.Rca5?
      • 1...Qxc6
        • 2.Qe5#
      • 1...Qxd7
        • 2.Qe5#
      • 1...Sxa3
        • 2.Qxd2#
      • 1...d1Q
        • 2.Qh2#
      • 1...d1S
        • 2.Qh2#
      • 1...d1B
        • 2.Qh2#
      • 1...d1R
        • 2.Qh2#
      • 1...Se2
        • 2.Rf3#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qb6
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qb8
        • 2.Qxb8#
      • 1...Qd8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qa7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qb7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qc8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Sc3
        • 2.Qxd2#
      • 1...Sf3
        • 2.Rxf3#
      • 1...Sh3
        • 2.Rf3#
      • 1...g4
        • 2.Sd5#
      • 1...Qxa5!
    • 1.Rb5?
      • 1...Qxc6
        • 2.Qe5#
      • 1...Qxd7
        • 2.Qe5#
      • 1...Sxa3
        • 2.Qxd2#
      • 1...d1Q
        • 2.Qh2#
      • 1...d1S
        • 2.Qh2#
      • 1...d1B
        • 2.Qh2#
      • 1...d1R
        • 2.Qh2#
      • 1...Se2
        • 2.Rf3#
      • 1...Qa5
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qb6
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qd8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qa7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qb7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qc8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Sc3
        • 2.Qxd2#
      • 1...Sf3
        • 2.Rxf3#
      • 1...Sh3
        • 2.Rf3#
      • 1...g4
        • 2.Sd5#
      • 1...Qb8!
    • 1.Rd5?
      • 1...Qxc6
        • 2.Qe5#
      • 1...Qxd7
        • 2.Qe5#
      • 1...Sxa3
        • 2.Qxd2#
      • 1...d1Q
        • 2.Qh2#
      • 1...d1S
        • 2.Qh2#
      • 1...d1B
        • 2.Qh2#
      • 1...d1R
        • 2.Qh2#
      • 1...Se2
        • 2.Rf3#
      • 1...Qa5
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qb6
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qb8
        • 2.Qxb8#
      • 1...Qd8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qa7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qb7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qc8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Sc3
        • 2.Qxd2#
      • 1...Sf3
        • 2.Rxf3#
      • 1...Sh3
        • 2.Rf3#
      • 1...g4!
    • 1.Qc3?
      • threat
        • 2.Qe3#
        • 2.Qg3#
      • 1...d1S
        • 2.Qg3#
      • 1...Se2
        • 2.Qe3#
        • 2.Qf3#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf3
        • 2.Qe3#
        • 2.Qxf3#
      • 1...Sxc3!
    • 1.Qd4?
      • threat
        • 2.Qe3#
      • 1...Qe5
        • 2.Qxe5#
      • 1...d1S!
    • 1.d8Q?
      • threat
        • 2.Qxc7#
      • 1...Qxd8
        • 2.Qe5#
      • 1...Qxc6
        • 2.Qe5#
      • 1...d1Q
        • 2.Qh2#
      • 1...d1R
        • 2.Qh2#
      • 1...Qa5
        • 2.Bd6#
        • 2.Qe5#
        • 2.Qd6#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qb6
        • 2.Bd6#
        • 2.Qe5#
        • 2.Qd6#
      • 1...Qd6
        • 2.Bxd6#
        • 2.Qxd6#
      • 1...Qb8
        • 2.Qbxb8#
        • 2.Qdxb8#
      • 1...Qa7
        • 2.Bd6#
        • 2.Qe5#
        • 2.Qd6#
      • 1...Qb7
        • 2.Bd6#
        • 2.Qe5#
        • 2.Qd6#
      • 1...Qd7
        • 2.Qe5#
      • 1...Qc8
        • 2.Bd6#
        • 2.Qe5#
        • 2.Qd6#
      • 1...Sf3
        • 2.Rxf3#
      • 1...Qxe7!
    • 1.d8S?
      • threat
        • 2.Se6#
      • 1...Qxd8
        • 2.Qe5#
      • 1...Qxc6
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qd7
        • 2.Qe5#
      • 1...Qc8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qxe7!
    • 1.d8B?
      • threat
        • 2.Bxc7#
      • 1...Qxd8
        • 2.Qe5#
      • 1...Qxc6
        • 2.Qe5#
      • 1...d1Q
        • 2.Qh2#
      • 1...d1R
        • 2.Qh2#
      • 1...Qa5
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qb6
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qb8
        • 2.Qxb8#
      • 1...Qa7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qb7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qd7
        • 2.Qe5#
      • 1...Qc8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Sf3
        • 2.Rxf3#
      • 1...Qxe7!
    • 1.d8R?
      • 1...Qxd8
        • 2.Qe5#
      • 1...Qxc6
        • 2.Qe5#
      • 1...Sxa3
        • 2.Qxd2#
      • 1...d1Q
        • 2.Qh2#
      • 1...d1S
        • 2.Qh2#
      • 1...d1B
        • 2.Qh2#
      • 1...d1R
        • 2.Qh2#
      • 1...Se2
        • 2.Rf3#
      • 1...Qa5
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qb6
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qb8
        • 2.Qxb8#
      • 1...Qa7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qb7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qd7
        • 2.Qe5#
      • 1...Qc8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Sc3
        • 2.Qxd2#
      • 1...Sf3
        • 2.Rxf3#
      • 1...Sh3
        • 2.Rf3#
      • 1...g4
        • 2.Sd5#
      • 1...Qxe7!
  • Keys
    • 1.Rd3!
      • 1...Qxc6
        • 2.Qe5#
      • 1...Qxd7
        • 2.Qe5#
      • 1...d1Q
        • 2.Qh2#
      • 1...d1S
        • 2.Qh2#
      • 1...d1B
        • 2.Qh2#
      • 1...d1R
        • 2.Qh2#
      • 1...Qa5
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Qb6
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qd6
        • 2.Bxd6#
      • 1...Qb8
        • 2.Qxb8#
      • 1...Qd8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qa7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qb7
        • 2.Bd6#
        • 2.Qe5#
      • 1...Qc8
        • 2.Bd6#
        • 2.Qe5#
      • 1...Sa3
        • 2.Qxd2#
      • 1...Sc3
        • 2.Qxd2#
      • 1...Se2
        • 2.Rf3#
      • 1...Sf3
        • 2.Rxf3#
      • 1...Sh3
        • 2.Rf3#
      • 1...g4
        • 2.Sd5#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
    • Q(g);N_GUARD::B(L),XQ(g)
    • Q(g);OGATEB::QAB(E),XQ(g)
    • Q(g);N_GUARD,XP(I)::QAB1(E)
    • Q(g);N_GUARD,XP(K)::QAB1(E)
    • S(a);N_GUARD,XR(F)::QAB(E),XP(c)
    • S(a);N_GUARD::QAB(E),XP(c)
    • S(b);N_GUARD::R1(F)
    • S(b);N_GUARD::R1(F),XS(b)
    • P(c);OGATE::QAB(E)
    • P(e);SBLOCK::S(J)
  • Tries
    • Try
      • B(L);
      • Threat
        • B(L),XQ(g)
      • Vars
        • Q(g);N_GUARD,XB(L)::QAB1(E)
        • Q(g);N_GUARD,XP(I)::QAB1(E)
        • Q(g);N_GUARD,XP(K)::QAB1(E)
        • P(c);OGATE::QAB(E)
        • Q(g);N_GUARD::QAB1(E)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
        • Q(g);OGATEB::QAB(E),XQ(g)
        • S(b);N_GUARD::R1(F),XS(b)
      • Refutation
        • Q(g);
    • Try
      • B(L);
      • Vars
        • Q(g);N_GUARD,XP(I)::QAB1(E)
        • Q(g);N_GUARD,XP(K)::QAB1(E)
        • S(a);N_GUARD,XR(F)::QAB(E),XP(c)
        • P(c);OGATE::QAB(E)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
        • Q(g);N_GUARD::B(L),XQ(g)
        • Q(g);OGATEB::QAB(E),XQ(g)
        • S(a);N_GUARD::QAB(E),XP(c)
        • S(b);N_GUARD::R1(F)
        • S(b);N_GUARD::R1(F),XS(b)
      • Refutation
        • P(e);
    • Try
      • R(F);
      • Vars
        • Q(g);N_GUARD,XP(I)::QAB1(E)
        • Q(g);N_GUARD,XP(K)::QAB1(E)
        • P(c);OGATE::QAB(E)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
        • Q(g);N_GUARD::B(L),XQ(g)
        • S(a);N_GUARD::QAB(E),XP(c)
        • S(b);N_GUARD::R1(F)
        • S(b);N_GUARD::R1(F),XS(b)
        • P(e);SBLOCK::S(J)
      • Refutation
        • Q(g);
    • Try
      • R(F);
      • Threat
        • DUALS(2)
      • Vars
        • Q(g);N_GUARD,XP(K)::QAB1(E)
        • P(c);::S(J)
        • P(c);::R1(F)
      • Refutation
        • P(c);
    • Try
      • R(F);
      • Vars
        • Q(g);N_GUARD,XP(I)::QAB1(E)
        • Q(g);N_GUARD,XP(K)::QAB1(E)
        • P(c);OGATE::QAB(E)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
        • Q(g);N_GUARD::B(L),XQ(g)
        • Q(g);OGATEB::QAB(E),XQ(g)
        • S(a);N_GUARD::QAB(E),XP(c)
        • S(b);N_GUARD::R1(F)
        • S(b);N_GUARD::R1(F),XS(b)
        • P(e);SBLOCK::S(J)
      • Refutation
        • S(b);XR(F)
    • Try
      • R(H);
      • Vars
        • Q(g);N_GUARD,XP(I)::QAB1(E)
        • Q(g);N_GUARD,XP(K)::QAB1(E)
        • S(a);N_GUARD,XR(F)::QAB(E),XP(c)
        • P(c);OGATE::QAB(E)
        • S(b);N_GUARD::R1(F)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
        • Q(g);N_GUARD::B(L),XQ(g)
        • Q(g);OGATEB::QAB(E),XQ(g)
        • S(a);N_GUARD::QAB(E),XP(c)
        • S(b);N_GUARD::R1(F),XS(b)
        • P(e);SBLOCK::S(J)
      • Refutation
        • Q(g);XR(H)
    • Try
      • R(H);
      • Vars
        • Q(g);N_GUARD,XP(I)::QAB1(E)
        • Q(g);N_GUARD,XP(K)::QAB1(E)
        • S(a);N_GUARD,XR(F)::QAB(E),XP(c)
        • P(c);OGATE::QAB(E)
        • S(b);N_GUARD::R1(F)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
        • Q(g);N_GUARD::B(L),XQ(g)
        • S(a);N_GUARD::QAB(E),XP(c)
        • S(b);N_GUARD::R1(F),XS(b)
        • P(e);SBLOCK::S(J)
      • Refutation
        • Q(g);
    • Try
      • R(H);
      • Vars
        • Q(g);N_GUARD,XP(I)::QAB1(E)
        • Q(g);N_GUARD,XP(K)::QAB1(E)
        • S(a);N_GUARD,XR(F)::QAB(E),XP(c)
        • P(c);OGATE::QAB(E)
        • S(b);N_GUARD::R1(F)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
        • Q(g);N_GUARD::B(L),XQ(g)
        • Q(g);OGATEB::QAB(E),XQ(g)
        • S(a);N_GUARD::QAB(E),XP(c)
        • S(b);N_GUARD::R1(F),XS(b)
      • Refutation
        • P(e);
    • Try
      • Q(E);
      • Threat
        • DUALS(2)
      • Vars
        • P(c);::QAB1(E)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
      • Refutation
        • S(a);XQ(E)
    • Try
      • Q(E);
      • Threat
        • QAB1(E)
      • Vars
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
      • Refutation
        • P(c);
    • Try
      • P(K);
      • Threat
        • QAB(K),XQ(g)
      • Vars
        • Q(g);N_GUARD,XQ(K)::QAB1(E)
        • Q(g);N_GUARD,XP(I)::QAB1(E)
        • P(c);OGATE::QAB(E)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
        • Q(g);N_GUARD::QAB1(E)
        • S(b);N_GUARD::R1(F),XS(b)
      • Refutation
        • Q(g);XB(L)
    • Try
      • P(K);
      • Threat
        • S(K)
      • Vars
        • Q(g);N_GUARD,XS(K)::QAB1(E)
        • Q(g);N_GUARD,XP(I)::QAB1(E)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
        • Q(g);N_GUARD::B(L),XQ(g)
        • Q(g);N_GUARD::QAB1(E)
      • Refutation
        • Q(g);XB(L)
    • Try
      • P(K);
      • Threat
        • B(K),XQ(g)
      • Vars
        • Q(g);N_GUARD,XB(K)::QAB1(E)
        • Q(g);N_GUARD,XP(I)::QAB1(E)
        • P(c);OGATE::QAB(E)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
        • Q(g);N_GUARD::B(L),XQ(g)
        • Q(g);OGATEB::QAB(E),XQ(g)
        • Q(g);N_GUARD::QAB1(E)
        • S(b);N_GUARD::R1(F),XS(b)
      • Refutation
        • Q(g);XB(L)
    • Try
      • P(K);
      • Vars
        • Q(g);N_GUARD,XR(K)::QAB1(E)
        • Q(g);N_GUARD,XP(I)::QAB1(E)
        • S(a);N_GUARD,XR(F)::QAB(E),XP(c)
        • P(c);OGATE::QAB(E)
        • S(b);N_GUARD::R1(F)
        • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
        • Q(g);N_GUARD::B(L),XQ(g)
        • Q(g);OGATEB::QAB(E),XQ(g)
        • Q(g);N_GUARD::QAB1(E)
        • S(a);N_GUARD::QAB(E),XP(c)
        • S(b);N_GUARD::R1(F),XS(b)
        • P(e);SBLOCK::S(J)
      • Refutation
        • Q(g);XB(L)
  • Actual
    • R(F);
    • Vars
      • Q(g);N_GUARD,XP(I)::QAB1(E)
      • Q(g);N_GUARD,XP(K)::QAB1(E)
      • P(c);OGATE::QAB(E)
      • Q(g);N_GUARD,P_PINQ(E)::QAB1(E),XQ(g)
      • Q(g);N_GUARD::B(L),XQ(g)
      • Q(g);OGATEB::QAB(E),XQ(g)
      • S(a);N_GUARD::QAB(E),XP(c)
      • S(b);N_GUARD::R1(F)
      • S(b);N_GUARD::R1(F),XS(b)
      • P(e);SBLOCK::S(J)
HTML5 logo

Developed and maintained by Brian Stephenson.
Implemented with HTML5, MySQL, Perl (with, inter alia, CGI::Simple, HTML::Template & XML::LibXML) & CSS/Javascript (jQuery, Bootstrap & DataTables).