MESON Chess Problem Database

Problem Display
PID: 162051 (2rbn3/3NPKn1/1p4Q1/1PpkP2R/5R1B/r3P3/b3B3/3N3q w - - 0 1)

Albertz, Heinrich

Arbeiter Schach Internationale, 1925

2rbn3/3NPKn1/1p4Q1/1PpkP2R/5R1B/r3P3/b3B3/3N3q

#2

12 + 10

15148 Sadier Collection 2017

SOLUTION

  • SOUND
  • Sets
    • 1...Qg2
      • 2.Qxg2#
    • 1...Qf3
      • 2.Bxf3#
    • 1...Qe4
      • 2.Qxe4#
    • 1...Qxd1
      • 2.Qe4#
      • 2.Qg2#
    • 1...Qe1
      • 2.Bf3#
      • 2.Qe4#
      • 2.Qg2#
    • 1...Qf1
      • 2.Qe4#
    • 1...Qg1
      • 2.Bf3#
      • 2.Qe4#
    • 1...Qh2
      • 2.Bf3#
      • 2.Qe4#
    • 1...Qh3
      • 2.Qe4#
    • 1...Qxh4
      • 2.Bf3#
      • 2.Qe4#
      • 2.Qg2#
    • 1...Rb3
      • 2.Bc4#
    • 1...Rc3
      • 2.Sxc3#
    • 1...Rd3
      • 2.Qxd3#
    • 1...Rxe3
      • 2.Sxe3#
    • 1...Ra4
      • 2.Sc3#
    • 1...Ra5
      • 2.Sc3#
      • 2.Qd3#
    • 1...Ra6
      • 2.Sc3#
      • 2.Qd3#
    • 1...Ra7
      • 2.Sc3#
      • 2.Qd3#
    • 1...Raa8
      • 2.Sc3#
      • 2.Qd3#
    • 1...Rc6
      • 2.Qxc6#
    • 1...Rc7
      • 2.Sxb6#
    • 1...Rca8
      • 2.Qc6#
    • 1...Rb8
      • 2.Qc6#
    • 1...Bb1
      • 2.Bc4#
    • 1...Bb3
      • 2.Sc3#
      • 2.Qd3#
    • 1...Bc4
      • 2.Bxc4#
    • 1...Bc7
      • 2.Qc6#
    • 1...Bxe7
      • 2.Sxb6#
    • 1...Sf5
      • 2.Qe6#
    • 1...Sxh5
      • 2.Qe6#
    • 1...Se6
      • 2.Qxe6#
    • 1...Sd6+
      • 2.Qxd6#
    • 1...Sf6
      • 2.Sxf6#
    • 1...Sc7
      • 2.Sxb6#
      • 2.Sf6#
      • 2.Qc6#
      • 2.Qd6#
    • 1...c4
      • 2.Rd4#
  • Tries
    • 1.Bf1?
      • 1...Sd6+
        • 2.Qxd6#
      • 1...Qxf1
        • 2.Qe4#
      • 1...Qxh4
        • 2.Bg2#
        • 2.Qe4#
        • 2.Qg2#
      • 1...Rxe3
        • 2.Sxe3#
      • 1...Bxe7
        • 2.Sxb6#
      • 1...Sxh5
        • 2.Qe6#
      • 1...Qg2
        • 2.Bxg2#
        • 2.Qxg2#
      • 1...Qe4
        • 2.Qxe4#
      • 1...Qg1
        • 2.Qe4#
      • 1...Qh2
        • 2.Qe4#
      • 1...Qh3
        • 2.Qe4#
      • 1...Rb3
        • 2.Bc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Rd3
        • 2.Qxd3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Ra5
        • 2.Sc3#
        • 2.Qd3#
      • 1...Ra6
        • 2.Sc3#
        • 2.Qd3#
      • 1...Ra7
        • 2.Sc3#
        • 2.Qd3#
      • 1...Raa8
        • 2.Sc3#
        • 2.Qd3#
      • 1...Rc6
        • 2.Qxc6#
      • 1...Rc7
        • 2.Sxb6#
      • 1...Rca8
        • 2.Qc6#
      • 1...Rb8
        • 2.Qc6#
      • 1...Bb1
        • 2.Bc4#
      • 1...Bb3
        • 2.Sc3#
        • 2.Qd3#
      • 1...Bc4
        • 2.Bxc4#
      • 1...Bc7
        • 2.Qc6#
      • 1...Sf5
        • 2.Qe6#
      • 1...Se6
        • 2.Qxe6#
      • 1...Sf6
        • 2.Sxf6#
      • 1...Sc7
        • 2.Sxb6#
        • 2.Sf6#
        • 2.Qc6#
        • 2.Qd6#
      • 1...c4
        • 2.Rd4#
      • 1...Qf3!
    • 1.Bd3?
      • 1...Sd6+
        • 2.Qxd6#
      • 1...Qxd1
        • 2.Qe4#
      • 1...Qxh4
        • 2.Qe4#
        • 2.Qg2#
      • 1...Rxd3
        • 2.Qxd3#
      • 1...Bxe7
        • 2.Sxb6#
      • 1...Sxh5
        • 2.Qe6#
      • 1...Qg2
        • 2.Qxg2#
      • 1...Qe4
        • 2.Qxe4#
      • 1...Qe1
        • 2.Qe4#
        • 2.Qg2#
      • 1...Qf1
        • 2.Qe4#
      • 1...Qg1
        • 2.Qe4#
      • 1...Qh2
        • 2.Qe4#
      • 1...Qh3
        • 2.Qe4#
      • 1...Rb3
        • 2.Bc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Ra5
        • 2.Sc3#
      • 1...Ra6
        • 2.Sc3#
      • 1...Ra7
        • 2.Sc3#
      • 1...Raa8
        • 2.Sc3#
      • 1...Rc6
        • 2.Qxc6#
      • 1...Rc7
        • 2.Sxb6#
      • 1...Rca8
        • 2.Qc6#
      • 1...Rb8
        • 2.Qc6#
      • 1...Bb1
        • 2.Bc4#
      • 1...Bb3
        • 2.Sc3#
      • 1...Bc4
        • 2.Bxc4#
      • 1...Bc7
        • 2.Qc6#
      • 1...Sf5
        • 2.Qe6#
      • 1...Se6
        • 2.Qxe6#
      • 1...Sf6
        • 2.Sxf6#
      • 1...Sc7
        • 2.Sxb6#
        • 2.Sf6#
        • 2.Qc6#
        • 2.Qd6#
      • 1...c4
        • 2.Rd4#
      • 1...Qf3!
    • 1.Be1?
      • 1...Sd6+
        • 2.Qxd6#
      • 1...Qxe1
        • 2.Bf3#
        • 2.Qe4#
        • 2.Qg2#
      • 1...Rxe3
        • 2.Sxe3#
      • 1...Bxe7
        • 2.Sxb6#
      • 1...Sxh5
        • 2.Qe6#
      • 1...Qg2
        • 2.Qxg2#
      • 1...Qf3
        • 2.Bxf3#
      • 1...Qe4
        • 2.Qxe4#
      • 1...Qf1
        • 2.Qe4#
      • 1...Qg1
        • 2.Bf3#
        • 2.Qe4#
      • 1...Qh2
        • 2.Bf3#
        • 2.Qe4#
      • 1...Qh3
        • 2.Qe4#
      • 1...Qh4
        • 2.Bf3#
        • 2.Qe4#
        • 2.Qg2#
      • 1...Rb3
        • 2.Bc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Rd3
        • 2.Qxd3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Ra5
        • 2.Sc3#
        • 2.Qd3#
      • 1...Ra6
        • 2.Sc3#
        • 2.Qd3#
      • 1...Ra7
        • 2.Sc3#
        • 2.Qd3#
      • 1...Raa8
        • 2.Sc3#
        • 2.Qd3#
      • 1...Rc6
        • 2.Qxc6#
      • 1...Rc7
        • 2.Sxb6#
      • 1...Rca8
        • 2.Qc6#
      • 1...Rb8
        • 2.Qc6#
      • 1...Bb1
        • 2.Bc4#
      • 1...Bb3
        • 2.Sc3#
        • 2.Qd3#
      • 1...Bc4
        • 2.Bxc4#
      • 1...Bc7
        • 2.Qc6#
      • 1...Sf5
        • 2.Qe6#
      • 1...Se6
        • 2.Qxe6#
      • 1...Sf6
        • 2.Sxf6#
      • 1...Sc7
        • 2.Sxb6#
        • 2.Sf6#
        • 2.Qc6#
        • 2.Qd6#
      • 1...c4
        • 2.Rd4#
      • 1...Qxh5!
    • 1.Rg5?
      • 1...Sd6+
        • 2.Qxd6#
      • 1...Qxd1
        • 2.Qe4#
      • 1...Qxh4
        • 2.Bf3#
        • 2.Qe4#
      • 1...Rxe3
        • 2.Sxe3#
      • 1...Bxe7
        • 2.Sxb6#
      • 1...Qf3
        • 2.Bxf3#
      • 1...Qe4
        • 2.Qxe4#
      • 1...Qe1
        • 2.Bf3#
        • 2.Qe4#
      • 1...Qf1
        • 2.Qe4#
      • 1...Qg1
        • 2.Bf3#
        • 2.Qe4#
      • 1...Qh2
        • 2.Bf3#
        • 2.Qe4#
      • 1...Qh3
        • 2.Qe4#
      • 1...Rb3
        • 2.Bc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Rd3
        • 2.Qxd3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Ra5
        • 2.Sc3#
        • 2.Qd3#
      • 1...Ra6
        • 2.Sc3#
        • 2.Qd3#
      • 1...Ra7
        • 2.Sc3#
        • 2.Qd3#
      • 1...Raa8
        • 2.Sc3#
        • 2.Qd3#
      • 1...Rc6
        • 2.Qxc6#
      • 1...Rc7
        • 2.Sxb6#
      • 1...Rca8
        • 2.Qc6#
      • 1...Rb8
        • 2.Qc6#
      • 1...Bb1
        • 2.Bc4#
      • 1...Bb3
        • 2.Sc3#
        • 2.Qd3#
      • 1...Bc4
        • 2.Bxc4#
      • 1...Bc7
        • 2.Qc6#
      • 1...Sf5
        • 2.Qe6#
      • 1...Sh5
        • 2.Qe6#
      • 1...Se6
        • 2.Qxe6#
      • 1...Sf6
        • 2.Sxf6#
      • 1...Sc7
        • 2.Sxb6#
        • 2.Sf6#
        • 2.Qc6#
        • 2.Qd6#
      • 1...c4
        • 2.Rd4#
      • 1...Qg2!
    • 1.e4+?
      • 1...Qxe4
        • 2.Qxe4#
      • 1...Kd4+!
    • 1.exd8Q?
      • threat
        • 2.Sxb6#
        • 2.Sf6#
      • 1...Sd6+
        • 2.Qxd6#
      • 1...Rxd8
        • 2.Sxb6#
        • 2.Qc6#
      • 1...Sxh5
        • 2.Qe6#
      • 1...Ra7
        • 2.Sc3#
        • 2.Qd3#
      • 1...Sf5
        • 2.Qe6#
      • 1...Sf6
        • 2.Sxb6#
        • 2.Sxf6#
      • 1...c4
        • 2.Rd4#
      • 1...Rc7!
    • 1.exd8S?
      • threat
        • 2.Sxb6#
      • 1...Sd6+
        • 2.Qxd6#
      • 1...Sxh5
        • 2.Qe6#
      • 1...Ra6
        • 2.Sc3#
        • 2.Qd3#
      • 1...Ra7
        • 2.Sc3#
        • 2.Qd3#
      • 1...Rc6
        • 2.Qxc6#
      • 1...Rb8
        • 2.Qc6#
      • 1...Sf5
        • 2.Qe6#
      • 1...c4
        • 2.Rd4#
      • 1...Rc7!
    • 1.exd8B?
      • threat
        • 2.Sxb6#
      • 1...Sd6+
        • 2.Qxd6#
      • 1...Sxh5
        • 2.Qe6#
      • 1...Ra6
        • 2.Sc3#
        • 2.Qd3#
      • 1...Ra7
        • 2.Sc3#
        • 2.Qd3#
      • 1...Rc6
        • 2.Qxc6#
      • 1...Rb8
        • 2.Qc6#
      • 1...Sf5
        • 2.Qe6#
      • 1...c4
        • 2.Rd4#
      • 1...Rc7!
    • 1.exd8R?
      • threat
        • 2.Sxb6#
        • 2.Sf6#
      • 1...Sd6+
        • 2.Qxd6#
      • 1...Rxd8
        • 2.Sxb6#
        • 2.Qc6#
      • 1...Sxh5
        • 2.Qe6#
      • 1...Ra7
        • 2.Sc3#
        • 2.Qd3#
      • 1...Sf5
        • 2.Qe6#
      • 1...Sf6
        • 2.Sxb6#
        • 2.Sxf6#
      • 1...c4
        • 2.Rd4#
      • 1...Rc7!
  • Keys
    • 1.Bf2!
      • 1...Sd6+
        • 2.Qxd6#
      • 1...Qxd1
        • 2.Qe4#
        • 2.Qg2#
        • 2.e4#
      • 1...Qxh5
        • 2.e4#
      • 1...Rxe3
        • 2.Sxe3#
      • 1...Bxe7
        • 2.Sxb6#
      • 1...Sxh5
        • 2.Qe6#
      • 1...Qg2
        • 2.Qxg2#
      • 1...Qf3
        • 2.Bxf3#
      • 1...Qe4
        • 2.Qxe4#
      • 1...Qe1
        • 2.Bf3#
        • 2.Qe4#
        • 2.Qg2#
        • 2.e4#
      • 1...Qf1
        • 2.Bf3#
        • 2.Qe4#
        • 2.e4#
      • 1...Qg1
        • 2.Bf3#
        • 2.Qe4#
        • 2.e4#
      • 1...Qh2
        • 2.Bf3#
        • 2.Qe4#
        • 2.e4#
      • 1...Qh3
        • 2.Qe4#
        • 2.e4#
      • 1...Qh4
        • 2.Bf3#
        • 2.Qe4#
        • 2.Qg2#
        • 2.e4#
      • 1...Rb3
        • 2.Bc4#
      • 1...Rc3
        • 2.Sxc3#
      • 1...Rd3
        • 2.Qxd3#
      • 1...Ra4
        • 2.Sc3#
      • 1...Ra5
        • 2.Sc3#
        • 2.Qd3#
      • 1...Ra6
        • 2.Sc3#
        • 2.Qd3#
      • 1...Ra7
        • 2.Sc3#
        • 2.Qd3#
      • 1...Raa8
        • 2.Sc3#
        • 2.Qd3#
      • 1...Rc6
        • 2.Qxc6#
      • 1...Rc7
        • 2.Sxb6#
      • 1...Rca8
        • 2.Qc6#
      • 1...Rb8
        • 2.Qc6#
      • 1...Bb1
        • 2.Bc4#
      • 1...Bb3
        • 2.Sc3#
        • 2.Qd3#
      • 1...Bc4
        • 2.Bxc4#
      • 1...Bc7
        • 2.Qc6#
      • 1...Sf5
        • 2.Qe6#
      • 1...Se6
        • 2.Qxe6#
      • 1...Sf6
        • 2.Sxf6#
      • 1...Sc7
        • 2.Sxb6#
        • 2.Sf6#
        • 2.Qc6#
        • 2.Qd6#
      • 1...c4
        • 2.Rd4#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 2
  • Sets
    • Q(a);N_GUARD::QAB(I),XQ(a)
    • Q(a);N_GUARD,P_PINR(D)::B(B),XQ(a)
    • Q(a);N_GUARD::QAB1(I),XQ(a)
    • Q(a);N_GUARD,P_PINR(D)::QAB1(I)
    • Q(a);N_GUARD::QAB1(I)
    • R(c);S_CUTB(b)::B(B)
    • R(c);N_GUARD::S(A),XR(c)
    • R(c);N_GUARD::QAR2(I),XR(c)
    • R(c);XP(C)::S(A),XR(c)
    • R(c);N_GUARD::S(A)
    • R(h);N_GUARD::QAB1(I),XR(h)
    • R(h);S_CUTB(i)::S(J),XP(f)
    • R(h);N_GUARD::QAB1(I)
    • B(b);N_GUARD::B(B)
    • B(b);N_GUARD::B(B),XB(b)
    • B(i);S_CUTR(h)::QAB1(I)
    • B(i);N_GUARD,XP(K)::S(J),XP(f)
    • S(g);N_GUARD::QAB1(I)
    • S(g);N_GUARD,XR(H)::QAB1(I)
    • S(g);N_GUARD::QAB1(I),XS(g)
    • S(j);CHECK,N_GUARD::QAR1(I),XS(j)
    • S(j);N_GUARD::S(J),XS(j)
    • P(d);N_GUARD::R1(D)
  • Tries
    • Try
      • B(B);
      • Vars
        • S(j);CHECK,N_GUARD::QAR1(I),XS(j)
        • Q(a);N_GUARD,P_PINR(D),XB(B)::QAB1(I)
        • R(c);XP(C)::S(A),XR(c)
        • B(i);N_GUARD,XP(K)::S(J),XP(f)
        • S(g);N_GUARD,XR(H)::QAB1(I)
        • Q(a);N_GUARD::QAB1(I),XQ(a)
        • Q(a);N_GUARD::QAB1(I)
        • R(c);S_CUTB(b)::B(B)
        • R(c);N_GUARD::S(A),XR(c)
        • R(c);N_GUARD::QAR2(I),XR(c)
        • R(c);N_GUARD::S(A)
        • R(h);N_GUARD::QAB1(I),XR(h)
        • R(h);S_CUTB(i)::S(J),XP(f)
        • R(h);N_GUARD::QAB1(I)
        • B(b);N_GUARD::B(B)
        • B(b);N_GUARD::B(B),XB(b)
        • B(i);S_CUTR(h)::QAB1(I)
        • S(g);N_GUARD::QAB1(I)
        • S(g);N_GUARD::QAB1(I),XS(g)
        • S(j);N_GUARD::S(J),XS(j)
        • P(d);N_GUARD::R1(D)
      • Refutation
        • Q(a);P_PINR(D)
    • Try
      • B(B);
      • Vars
        • S(j);CHECK,N_GUARD::QAR1(I),XS(j)
        • Q(a);N_GUARD,XS(A)::QAB1(I)
        • R(c);OGATE,XB(B)::QAR2(I),XR(c)
        • B(i);N_GUARD,XP(K)::S(J),XP(f)
        • S(g);N_GUARD,XR(H)::QAB1(I)
        • Q(a);N_GUARD::QAB(I),XQ(a)
        • Q(a);N_GUARD::QAB1(I),XQ(a)
        • Q(a);N_GUARD,P_PINR(D)::QAB1(I)
        • Q(a);N_GUARD::QAB1(I)
        • R(c);S_CUTB(b)::B(B)
        • R(c);N_GUARD::S(A),XR(c)
        • R(c);N_GUARD::S(A)
        • R(h);N_GUARD::QAB1(I),XR(h)
        • R(h);S_CUTB(i)::S(J),XP(f)
        • R(h);N_GUARD::QAB1(I)
        • B(b);N_GUARD::B(B)
        • B(b);S_CUTR(c)::S(A)
        • B(b);N_GUARD::B(B),XB(b)
        • B(i);S_CUTR(h)::QAB1(I)
        • S(g);N_GUARD::QAB1(I)
        • S(g);N_GUARD::QAB1(I),XS(g)
        • S(j);N_GUARD::S(J),XS(j)
        • P(d);N_GUARD::R1(D)
      • Refutation
        • Q(a);P_PINR(D)
    • Try
      • B(E);
      • Vars
        • S(j);CHECK,N_GUARD::QAR1(I),XS(j)
        • R(c);XP(C)::S(A),XR(c)
        • B(i);N_GUARD,XP(K)::S(J),XP(f)
        • S(g);N_GUARD,XR(H)::QAB1(I)
        • Q(a);N_GUARD::QAB(I),XQ(a)
        • Q(a);N_GUARD,P_PINR(D)::B(B),XQ(a)
        • Q(a);N_GUARD::QAB1(I),XQ(a)
        • Q(a);N_GUARD,P_PINR(D)::QAB1(I)
        • Q(a);N_GUARD::QAB1(I)
        • R(c);S_CUTB(b)::B(B)
        • R(c);N_GUARD::S(A),XR(c)
        • R(c);N_GUARD::QAR2(I),XR(c)
        • R(c);N_GUARD::S(A)
        • R(h);N_GUARD::QAB1(I),XR(h)
        • R(h);S_CUTB(i)::S(J),XP(f)
        • R(h);N_GUARD::QAB1(I)
        • B(b);N_GUARD::B(B)
        • B(b);N_GUARD::B(B),XB(b)
        • B(i);S_CUTR(h)::QAB1(I)
        • S(g);N_GUARD::QAB1(I)
        • S(g);N_GUARD::QAB1(I),XS(g)
        • S(j);N_GUARD::S(J),XS(j)
        • P(d);N_GUARD::R1(D)
      • Refutation
        • Q(a);P_PINQ(I),XR(H)
    • Try
      • R(H);
      • Vars
        • S(j);CHECK,N_GUARD::QAR1(I),XS(j)
        • Q(a);N_GUARD,XS(A)::QAB1(I)
        • R(c);XP(C)::S(A),XR(c)
        • B(i);N_GUARD,XP(K)::S(J),XP(f)
        • Q(a);N_GUARD,P_PINR(D)::B(B),XQ(a)
        • Q(a);N_GUARD::QAB1(I),XQ(a)
        • Q(a);N_GUARD,P_PINR(D)::QAB1(I)
        • Q(a);N_GUARD::QAB1(I)
        • R(c);S_CUTB(b)::B(B)
        • R(c);N_GUARD::S(A),XR(c)
        • R(c);N_GUARD::QAR2(I),XR(c)
        • R(c);N_GUARD::S(A)
        • R(h);N_GUARD::QAB1(I),XR(h)
        • R(h);S_CUTB(i)::S(J),XP(f)
        • R(h);N_GUARD::QAB1(I)
        • B(b);N_GUARD::B(B)
        • B(b);N_GUARD::B(B),XB(b)
        • B(i);S_CUTR(h)::QAB1(I)
        • S(g);N_GUARD::QAB1(I)
        • S(g);N_GUARD::QAB1(I),XS(g)
        • S(j);N_GUARD::S(J),XS(j)
        • P(d);N_GUARD::R1(D)
      • Refutation
        • Q(a);
    • Try
      • P(C);CHECK
      • Vars
        • Q(a);OGATE,XP(C)::QAB1(I),XQ(a)
      • Refutation
        • K(e);CHECK,P-FLIGHT
    • Try
      • P(K);XB(i)
      • Threat
        • DUALS(2)
      • Vars
        • S(j);CHECK,N_GUARD::QAR1(I),XS(j)
        • S(g);N_GUARD,XR(H)::QAB1(I)
        • S(g);N_GUARD::QAB1(I)
        • P(d);N_GUARD::R1(D)
      • Refutation
        • R(h);P_PINS(J)
    • Try
      • P(K);XB(i)
      • Threat
        • S(J),XP(f)
      • Vars
        • S(j);CHECK,N_GUARD::QAR1(I),XS(j)
        • S(g);N_GUARD,XR(H)::QAB1(I)
        • R(h);N_GUARD::QAB1(I),XR(h)
        • R(h);N_GUARD::QAB1(I)
        • S(g);N_GUARD::QAB1(I)
        • P(d);N_GUARD::R1(D)
      • Refutation
        • R(h);P_PINS(J)
    • Try
      • P(K);XB(i)
      • Threat
        • S(J),XP(f)
      • Vars
        • S(j);CHECK,N_GUARD::QAR1(I),XS(j)
        • S(g);N_GUARD,XR(H)::QAB1(I)
        • R(h);N_GUARD::QAB1(I),XR(h)
        • R(h);N_GUARD::QAB1(I)
        • S(g);N_GUARD::QAB1(I)
        • P(d);N_GUARD::R1(D)
      • Refutation
        • R(h);P_PINS(J)
    • Try
      • P(K);XB(i)
      • Threat
        • DUALS(2)
      • Vars
        • S(j);CHECK,N_GUARD::QAR1(I),XS(j)
        • S(g);N_GUARD,XR(H)::QAB1(I)
        • S(g);N_GUARD::QAB1(I)
        • P(d);N_GUARD::R1(D)
      • Refutation
        • R(h);P_PINS(J)
  • Actual
    • B(E);
    • Vars
      • S(j);CHECK,N_GUARD::QAR1(I),XS(j)
      • Q(a);N_GUARD,P_PINQ(I),XR(H)::P(C)
      • R(c);XP(C)::S(A),XR(c)
      • B(i);N_GUARD,XP(K)::S(J),XP(f)
      • S(g);N_GUARD,XR(H)::QAB1(I)
      • Q(a);N_GUARD::QAB(I),XQ(a)
      • Q(a);N_GUARD,P_PINR(D)::B(B),XQ(a)
      • Q(a);N_GUARD::QAB1(I),XQ(a)
      • R(c);S_CUTB(b)::B(B)
      • R(c);N_GUARD::S(A),XR(c)
      • R(c);N_GUARD::QAR2(I),XR(c)
      • R(c);N_GUARD::S(A)
      • R(h);N_GUARD::QAB1(I),XR(h)
      • R(h);S_CUTB(i)::S(J),XP(f)
      • R(h);N_GUARD::QAB1(I)
      • B(b);N_GUARD::B(B)
      • B(b);N_GUARD::B(B),XB(b)
      • B(i);S_CUTR(h)::QAB1(I)
      • S(g);N_GUARD::QAB1(I)
      • S(g);N_GUARD::QAB1(I),XS(g)
      • S(j);N_GUARD::S(J),XS(j)
      • P(d);N_GUARD::R1(D)
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).