Problem Display
PID: 2263 (5R2/1p1Q4/2p1B1b1/2p1b1p1/2NpkpN1/2PnrnP1/4P3/1K2R3 w - - 0 1)

Cook, Eugene Beauharnais

Daily Gazette Bulletin (Philadelphia), 1862

(First published on Sat Mar 22 1862)

5R2/1p1Q4/2p1B1b1/2p1b1p1/2NpkpN1/2PnrnP1/4P3/1K2R3

#2

10 + 12


1679 American Chess Nuts 1868
58 Tijdschrift vd NSB 1895

SOLUTION


  • SOUND
  • Sets
    • 1...Rxe2
      • 2.Rxe2#
    • 1...Bd6
      • 2.Sxd6#
      • 2.Sf6#
    • 1...Bf6
      • 2.Sd6#
      • 2.Sxf6#
    • 1...Bc7
      • 2.Sf6#
    • 1...Bg7
      • 2.Sd6#
    • 1...Bb8
      • 2.Sf6#
    • 1...Bh8
      • 2.Sd6#
    • 1...Bf5
      • 2.Bxf5#
    • 1...Bh5
      • 2.Bf5#
    • 1...Bf7
      • 2.Bf5#
    • 1...Bh7
      • 2.Qxh7#
    • 1...Be8
      • 2.Bf5#
    • 1...Sc1
      • 2.Sf2#
    • 1...Sdxe1
      • 2.Sf2#
    • 1...Sb2
      • 2.Sf2#
    • 1...Sf2
      • 2.Sxf2#
    • 1...Sb4
      • 2.Sf2#
    • 1...Sfxe1
      • 2.Sd2#
    • 1...Sg1
      • 2.Sd2#
    • 1...Sd2+
      • 2.Sxd2#
    • 1...Sh2
      • 2.Sd2#
    • 1...Sh4
      • 2.Sd2#
    • 1...dxc3
      • 2.exd3#
    • 1...fxg3
      • 2.exf3#
    • 1...b5
      • 2.Qxc6#
    • 1...b6
      • 2.Qxc6#
  • Tries
    • 1.Bg8?
      • 1...Sd2+
        • 2.Sxd2#
      • 1...Rxe2
        • 2.Rxe2#
      • 1...Sdxe1
        • 2.Sf2#
      • 1...Sfxe1
        • 2.Sd2#
      • 1...dxc3
        • 2.exd3#
      • 1...fxg3
        • 2.exf3#
      • 1...Bd6
        • 2.Sxd6#
        • 2.Sf6#
      • 1...Bf6
        • 2.Sd6#
        • 2.Sxf6#
      • 1...Bc7
        • 2.Sf6#
      • 1...Bg7
        • 2.Sd6#
      • 1...Bb8
        • 2.Sf6#
      • 1...Bh8
        • 2.Sd6#
      • 1...Bf5
        • 2.Qxf5#
      • 1...Bh5
        • 2.Qf5#
      • 1...Bh7
        • 2.Bxh7#
        • 2.Qxh7#
      • 1...Be8
        • 2.Qf5#
      • 1...Sc1
        • 2.Sf2#
      • 1...Sb2
        • 2.Sf2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sb4
        • 2.Sf2#
      • 1...Sg1
        • 2.Sd2#
      • 1...Sh2
        • 2.Sd2#
      • 1...Sh4
        • 2.Sd2#
      • 1...b5
        • 2.Qxc6#
      • 1...b6
        • 2.Qxc6#
      • 1...Bf7!
    • 1.Rxf4+?
      • 1...Bxf4
        • 2.Sf6#
      • 1...Sxf4
        • 2.Sf2#
      • 1...gxf4!
    • 1.Rf7?
      • 1...Sd2+
        • 2.Sxd2#
      • 1...Rxe2
        • 2.Rxe2#
      • 1...Bxf7
        • 2.Bf5#
      • 1...Sdxe1
        • 2.Sf2#
      • 1...Sfxe1
        • 2.Sd2#
      • 1...dxc3
        • 2.exd3#
      • 1...fxg3
        • 2.exf3#
      • 1...Bd6
        • 2.Sxd6#
        • 2.Sf6#
      • 1...Bf6
        • 2.Sd6#
        • 2.Sxf6#
      • 1...Bc7
        • 2.Sf6#
      • 1...Bg7
        • 2.Sd6#
      • 1...Bb8
        • 2.Sf6#
      • 1...Bh8
        • 2.Sd6#
      • 1...Bf5
        • 2.Bxf5#
      • 1...Bh5
        • 2.Bf5#
      • 1...Sc1
        • 2.Sf2#
      • 1...Sb2
        • 2.Sf2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sb4
        • 2.Sf2#
      • 1...Sg1
        • 2.Sd2#
      • 1...Sh2
        • 2.Sd2#
      • 1...Sh4
        • 2.Sd2#
      • 1...b5
        • 2.Qxc6#
      • 1...b6
        • 2.Qxc6#
      • 1...Bh7!
    • 1.Ra8?
      • 1...Sd2+
        • 2.Sxd2#
      • 1...Rxe2
        • 2.Rxe2#
      • 1...Sdxe1
        • 2.Sf2#
      • 1...Sfxe1
        • 2.Sd2#
      • 1...dxc3
        • 2.exd3#
      • 1...Bf7
        • 2.Bf5#
      • 1...Bd6
        • 2.Sxd6#
        • 2.Sf6#
      • 1...Bf6
        • 2.Sd6#
        • 2.Sxf6#
      • 1...Bc7
        • 2.Sf6#
      • 1...Bg7
        • 2.Sd6#
      • 1...Bb8
        • 2.Sf6#
      • 1...Bh8
        • 2.Sd6#
      • 1...Bf5
        • 2.Bxf5#
      • 1...Bh5
        • 2.Bf5#
      • 1...Bh7
        • 2.Qxh7#
      • 1...Be8
        • 2.Bf5#
      • 1...Sc1
        • 2.Sf2#
      • 1...Sb2
        • 2.Sf2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sb4
        • 2.Sf2#
      • 1...Sg1
        • 2.Sd2#
      • 1...Sh2
        • 2.Sd2#
      • 1...Sh4
        • 2.Sd2#
      • 1...b5
        • 2.Qxc6#
      • 1...b6
        • 2.Qxc6#
      • 1...fxg3!
    • 1.Rb8?
      • 1...Sd2+
        • 2.Sxd2#
      • 1...Rxe2
        • 2.Rxe2#
      • 1...Bxb8
        • 2.Sf6#
      • 1...Sdxe1
        • 2.Sf2#
      • 1...Sfxe1
        • 2.Sd2#
      • 1...dxc3
        • 2.exd3#
      • 1...Bf7
        • 2.Bf5#
      • 1...Bd6
        • 2.Sxd6#
        • 2.Sf6#
      • 1...Bf6
        • 2.Sd6#
        • 2.Sxf6#
      • 1...Bc7
        • 2.Sf6#
      • 1...Bg7
        • 2.Sd6#
      • 1...Bh8
        • 2.Sd6#
      • 1...Bf5
        • 2.Bxf5#
      • 1...Bh5
        • 2.Bf5#
      • 1...Bh7
        • 2.Qxh7#
      • 1...Be8
        • 2.Bf5#
      • 1...Sc1
        • 2.Sf2#
      • 1...Sb2
        • 2.Sf2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sb4
        • 2.Sf2#
      • 1...Sg1
        • 2.Sd2#
      • 1...Sh2
        • 2.Sd2#
      • 1...Sh4
        • 2.Sd2#
      • 1...b5
        • 2.Qxc6#
      • 1...b6
        • 2.Qxc6#
      • 1...fxg3!
    • 1.Rc8?
      • 1...Sd2+
        • 2.Sxd2#
      • 1...Rxe2
        • 2.Rxe2#
      • 1...Sdxe1
        • 2.Sf2#
      • 1...Sfxe1
        • 2.Sd2#
      • 1...dxc3
        • 2.exd3#
      • 1...Bf7
        • 2.Bf5#
      • 1...Bd6
        • 2.Sxd6#
        • 2.Sf6#
      • 1...Bf6
        • 2.Sd6#
        • 2.Sxf6#
      • 1...Bc7
        • 2.Sf6#
      • 1...Bg7
        • 2.Sd6#
      • 1...Bb8
        • 2.Sf6#
      • 1...Bh8
        • 2.Sd6#
      • 1...Bf5
        • 2.Bxf5#
      • 1...Bh5
        • 2.Bf5#
      • 1...Bh7
        • 2.Qxh7#
      • 1...Be8
        • 2.Bf5#
      • 1...Sc1
        • 2.Sf2#
      • 1...Sb2
        • 2.Sf2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sb4
        • 2.Sf2#
      • 1...Sg1
        • 2.Sd2#
      • 1...Sh2
        • 2.Sd2#
      • 1...Sh4
        • 2.Sd2#
      • 1...b5
        • 2.Qxc6#
      • 1...b6
        • 2.Qxc6#
      • 1...fxg3!
    • 1.Rd8?
      • 1...Sd2+
        • 2.Sxd2#
      • 1...Rxe2
        • 2.Rxe2#
      • 1...Sdxe1
        • 2.Sf2#
      • 1...Sfxe1
        • 2.Sd2#
      • 1...dxc3
        • 2.exd3#
      • 1...Bf7
        • 2.Bf5#
      • 1...Bd6
        • 2.Sxd6#
        • 2.Sf6#
      • 1...Bf6
        • 2.Sd6#
        • 2.Sxf6#
      • 1...Bc7
        • 2.Sf6#
      • 1...Bg7
        • 2.Sd6#
      • 1...Bb8
        • 2.Sf6#
      • 1...Bh8
        • 2.Sd6#
      • 1...Bf5
        • 2.Bxf5#
      • 1...Bh5
        • 2.Bf5#
      • 1...Bh7
        • 2.Qxh7#
      • 1...Be8
        • 2.Bf5#
      • 1...Sc1
        • 2.Sf2#
      • 1...Sb2
        • 2.Sf2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sb4
        • 2.Sf2#
      • 1...Sg1
        • 2.Sd2#
      • 1...Sh2
        • 2.Sd2#
      • 1...Sh4
        • 2.Sd2#
      • 1...b5
        • 2.Qxc6#
      • 1...b6
        • 2.Qxc6#
      • 1...fxg3!
    • 1.Re8?
      • 1...Sd2+
        • 2.Sxd2#
      • 1...Rxe2
        • 2.Rxe2#
      • 1...Bxe8
        • 2.Bf5#
      • 1...Sdxe1
        • 2.Sf2#
      • 1...Sfxe1
        • 2.Sd2#
      • 1...dxc3
        • 2.exd3#
      • 1...Bf7
        • 2.Bf5#
      • 1...Bd6
        • 2.Sxd6#
        • 2.Sf6#
      • 1...Bf6
        • 2.Sd6#
        • 2.Sxf6#
        • 2.Bd5#
        • 2.Bf5#
      • 1...Bc7
        • 2.Sf6#
        • 2.Bd5#
        • 2.Bf5#
      • 1...Bg7
        • 2.Sd6#
        • 2.Bd5#
        • 2.Bf5#
      • 1...Bb8
        • 2.Sf6#
        • 2.Bd5#
        • 2.Bf5#
      • 1...Bh8
        • 2.Sd6#
        • 2.Bd5#
        • 2.Bf5#
      • 1...Bf5
        • 2.Bxf5#
      • 1...Bh5
        • 2.Bf5#
      • 1...Bh7
        • 2.Qxh7#
      • 1...Sc1
        • 2.Sf2#
      • 1...Sb2
        • 2.Sf2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sb4
        • 2.Sf2#
      • 1...Sg1
        • 2.Sd2#
      • 1...Sh2
        • 2.Sd2#
      • 1...Sh4
        • 2.Sd2#
      • 1...b5
        • 2.Qxc6#
      • 1...b6
        • 2.Qxc6#
      • 1...fxg3!
    • 1.Rg8?
      • 1...Sd2+
        • 2.Sxd2#
      • 1...Rxe2
        • 2.Rxe2#
      • 1...Sdxe1
        • 2.Sf2#
      • 1...Sfxe1
        • 2.Sd2#
      • 1...dxc3
        • 2.exd3#
      • 1...Bf7
        • 2.Bf5#
      • 1...Bd6
        • 2.Sxd6#
        • 2.Sf6#
      • 1...Bf6
        • 2.Sd6#
        • 2.Sxf6#
      • 1...Bc7
        • 2.Sf6#
      • 1...Bg7
        • 2.Sd6#
      • 1...Bb8
        • 2.Sf6#
      • 1...Bh8
        • 2.Sd6#
      • 1...Bf5
        • 2.Bxf5#
      • 1...Bh5
        • 2.Bf5#
      • 1...Bh7
        • 2.Qxh7#
      • 1...Be8
        • 2.Bf5#
      • 1...Sc1
        • 2.Sf2#
      • 1...Sb2
        • 2.Sf2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sb4
        • 2.Sf2#
      • 1...Sg1
        • 2.Sd2#
      • 1...Sh2
        • 2.Sd2#
      • 1...Sh4
        • 2.Sd2#
      • 1...b5
        • 2.Qxc6#
      • 1...b6
        • 2.Qxc6#
      • 1...fxg3!
    • 1.Rh8?
      • 1...Sd2+
        • 2.Sxd2#
      • 1...Rxe2
        • 2.Rxe2#
      • 1...Bxh8
        • 2.Sd6#
      • 1...Sdxe1
        • 2.Sf2#
      • 1...Sfxe1
        • 2.Sd2#
      • 1...dxc3
        • 2.exd3#
      • 1...Bf7
        • 2.Bf5#
      • 1...Bd6
        • 2.Sxd6#
        • 2.Sf6#
      • 1...Bf6
        • 2.Sd6#
        • 2.Sxf6#
      • 1...Bc7
        • 2.Sf6#
      • 1...Bg7
        • 2.Sd6#
      • 1...Bb8
        • 2.Sf6#
      • 1...Bf5
        • 2.Bxf5#
      • 1...Bh5
        • 2.Bf5#
      • 1...Bh7
        • 2.Qxh7#
      • 1...Be8
        • 2.Bf5#
      • 1...Sc1
        • 2.Sf2#
      • 1...Sb2
        • 2.Sf2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sb4
        • 2.Sf2#
      • 1...Sg1
        • 2.Sd2#
      • 1...Sh2
        • 2.Sd2#
      • 1...Sh4
        • 2.Sd2#
      • 1...b5
        • 2.Qxc6#
      • 1...b6
        • 2.Qxc6#
      • 1...fxg3!
    • 1.Qxd4+?
      • 1...Bxd4
        • 2.Sd6#
      • 1...Sxd4
        • 2.Sd2#
      • 1...cxd4!
  • Keys
    • 1.Ka1!
      • 1...Rxe2
        • 2.Rxe2#
      • 1...Sdxe1
        • 2.Sf2#
      • 1...Sfxe1
        • 2.Sd2#
      • 1...dxc3
        • 2.exd3#
      • 1...fxg3
        • 2.exf3#
      • 1...Bd6
        • 2.Sxd6#
        • 2.Sf6#
      • 1...Bf6
        • 2.Sd6#
        • 2.Sxf6#
      • 1...Bc7
        • 2.Sf6#
      • 1...Bg7
        • 2.Sd6#
      • 1...Bb8
        • 2.Sf6#
      • 1...Bh8
        • 2.Sd6#
      • 1...Bf5
        • 2.Bxf5#
      • 1...Bh5
        • 2.Bf5#
      • 1...Bf7
        • 2.Bf5#
      • 1...Bh7
        • 2.Qxh7#
      • 1...Be8
        • 2.Bf5#
      • 1...Sc1
        • 2.Sf2#
      • 1...Sb2
        • 2.Sf2#
      • 1...Sf2
        • 2.Sxf2#
      • 1...Sb4
        • 2.Sf2#
      • 1...Sg1
        • 2.Sd2#
      • 1...Sd2
        • 2.Sxd2#
      • 1...Sh2
        • 2.Sd2#
      • 1...Sh4
        • 2.Sd2#
      • 1...b5
        • 2.Qxc6#
      • 1...b6
        • 2.Qxc6#

FEATURES


  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • R(b);OGATE,P_SPINR(b),XP(C)::R(B),XR(b)
    • B(h);N_GUARD::S(G)
    • B(h);N_GUARD::S(F)
    • B(k);N_GUARD::B(H),XB(k)
    • B(k);N_GUARD::B(H)
    • B(k);OGATEB::QAB(I),XB(k)
    • S(a);N_GUARD::S(G)
    • S(a);N_GUARD,XR(B)::S(G)
    • S(a);N_GUARD::S(G),XS(a)
    • S(c);N_GUARD,XR(B)::S(F)
    • S(c);N_GUARD::S(F)
    • S(c);CHECK,N_GUARD::S(F),XS(c)
    • P(d);XP(D)::P(C),XS(a)
    • P(f);XP(E)::P(C),XS(c)
    • P(l);N_GUARD::QAB(I),XP(j)
  • Tries
    • Try
      • B(H);
      • Vars
        • S(c);CHECK,N_GUARD::S(F),XS(c)
        • R(b);OGATE,P_SPINR(b),XP(C)::R(B),XR(b)
        • S(a);N_GUARD,XR(B)::S(G)
        • S(c);N_GUARD,XR(B)::S(F)
        • P(d);XP(D)::P(C),XS(a)
        • P(f);XP(E)::P(C),XS(c)
        • B(h);N_GUARD::S(G)
        • B(h);N_GUARD::S(F)
        • B(k);N_GUARD::QAB1(I),XB(k)
        • B(k);N_GUARD::QAB1(I)
        • S(a);N_GUARD::S(G)
        • S(a);N_GUARD::S(G),XS(a)
        • S(c);N_GUARD::S(F)
        • P(l);N_GUARD::QAB(I),XP(j)
      • Refutation
        • B(k);
    • Try
      • R(J);CHECK,XP(f)
      • Vars
        • B(h);XR(J)::S(G)
        • S(a);XR(J)::S(G)
      • Refutation
        • P(i);XR(J)
    • Try
      • R(J);
      • Vars
        • S(c);CHECK,N_GUARD::S(F),XS(c)
        • R(b);OGATE,P_SPINR(b),XP(C)::R(B),XR(b)
        • B(k);N_GUARD,XR(J)::B(H)
        • S(a);N_GUARD,XR(B)::S(G)
        • S(c);N_GUARD,XR(B)::S(F)
        • P(d);XP(D)::P(C),XS(a)
        • P(f);XP(E)::P(C),XS(c)
        • B(h);N_GUARD::S(G)
        • B(h);N_GUARD::S(F)
        • B(k);N_GUARD::B(H),XB(k)
        • B(k);N_GUARD::B(H)
        • S(a);N_GUARD::S(G)
        • S(a);N_GUARD::S(G),XS(a)
        • S(c);N_GUARD::S(F)
        • P(l);N_GUARD::QAB(I),XP(j)
      • Refutation
        • B(k);
    • Try
      • R(J);
      • Vars
        • S(c);CHECK,N_GUARD::S(F),XS(c)
        • R(b);OGATE,P_SPINR(b),XP(C)::R(B),XR(b)
        • S(a);N_GUARD,XR(B)::S(G)
        • S(c);N_GUARD,XR(B)::S(F)
        • P(d);XP(D)::P(C),XS(a)
        • B(k);N_GUARD::B(H)
        • B(h);N_GUARD::S(G)
        • B(h);N_GUARD::S(F)
        • B(k);N_GUARD::B(H),XB(k)
        • B(k);OGATEB::QAB(I),XB(k)
        • S(a);N_GUARD::S(G)
        • S(a);N_GUARD::S(G),XS(a)
        • S(c);N_GUARD::S(F)
        • P(l);N_GUARD::QAB(I),XP(j)
      • Refutation
        • P(f);XP(E)
    • Try
      • R(J);
      • Vars
        • S(c);CHECK,N_GUARD::S(F),XS(c)
        • R(b);OGATE,P_SPINR(b),XP(C)::R(B),XR(b)
        • B(h);N_GUARD,XR(J)::S(G)
        • S(a);N_GUARD,XR(B)::S(G)
        • S(c);N_GUARD,XR(B)::S(F)
        • P(d);XP(D)::P(C),XS(a)
        • B(k);N_GUARD::B(H)
        • B(h);N_GUARD::S(G)
        • B(h);N_GUARD::S(F)
        • B(k);N_GUARD::B(H),XB(k)
        • B(k);OGATEB::QAB(I),XB(k)
        • S(a);N_GUARD::S(G)
        • S(a);N_GUARD::S(G),XS(a)
        • S(c);N_GUARD::S(F)
        • P(l);N_GUARD::QAB(I),XP(j)
      • Refutation
        • P(f);XP(E)
    • Try
      • R(J);
      • Vars
        • S(c);CHECK,N_GUARD::S(F),XS(c)
        • R(b);OGATE,P_SPINR(b),XP(C)::R(B),XR(b)
        • S(a);N_GUARD,XR(B)::S(G)
        • S(c);N_GUARD,XR(B)::S(F)
        • P(d);XP(D)::P(C),XS(a)
        • B(k);N_GUARD::B(H)
        • B(h);N_GUARD::S(G)
        • B(h);N_GUARD::S(F)
        • B(k);N_GUARD::B(H),XB(k)
        • B(k);OGATEB::QAB(I),XB(k)
        • S(a);N_GUARD::S(G)
        • S(a);N_GUARD::S(G),XS(a)
        • S(c);N_GUARD::S(F)
        • P(l);N_GUARD::QAB(I),XP(j)
      • Refutation
        • P(f);XP(E)
    • Try
      • R(J);
      • Vars
        • S(c);CHECK,N_GUARD::S(F),XS(c)
        • R(b);OGATE,P_SPINR(b),XP(C)::R(B),XR(b)
        • S(a);N_GUARD,XR(B)::S(G)
        • S(c);N_GUARD,XR(B)::S(F)
        • P(d);XP(D)::P(C),XS(a)
        • B(k);N_GUARD::B(H)
        • B(h);N_GUARD::S(G)
        • B(h);N_GUARD::S(F)
        • B(k);N_GUARD::B(H),XB(k)
        • B(k);OGATEB::QAB(I),XB(k)
        • S(a);N_GUARD::S(G)
        • S(a);N_GUARD::S(G),XS(a)
        • S(c);N_GUARD::S(F)
        • P(l);N_GUARD::QAB(I),XP(j)
      • Refutation
        • P(f);XP(E)
    • Try
      • R(J);
      • Vars
        • S(c);CHECK,N_GUARD::S(F),XS(c)
        • R(b);OGATE,P_SPINR(b),XP(C)::R(B),XR(b)
        • B(k);N_GUARD,XR(J)::B(H)
        • S(a);N_GUARD,XR(B)::S(G)
        • S(c);N_GUARD,XR(B)::S(F)
        • P(d);XP(D)::P(C),XS(a)
        • B(k);N_GUARD::B(H)
        • B(k);N_GUARD::B(H),XB(k)
        • B(k);OGATEB::QAB(I),XB(k)
        • S(a);N_GUARD::S(G)
        • S(a);N_GUARD::S(G),XS(a)
        • S(c);N_GUARD::S(F)
        • P(l);N_GUARD::QAB(I),XP(j)
      • Refutation
        • P(f);XP(E)
    • Try
      • R(J);
      • Vars
        • S(c);CHECK,N_GUARD::S(F),XS(c)
        • R(b);OGATE,P_SPINR(b),XP(C)::R(B),XR(b)
        • S(a);N_GUARD,XR(B)::S(G)
        • S(c);N_GUARD,XR(B)::S(F)
        • P(d);XP(D)::P(C),XS(a)
        • B(k);N_GUARD::B(H)
        • B(h);N_GUARD::S(G)
        • B(h);N_GUARD::S(F)
        • B(k);N_GUARD::B(H),XB(k)
        • B(k);OGATEB::QAB(I),XB(k)
        • S(a);N_GUARD::S(G)
        • S(a);N_GUARD::S(G),XS(a)
        • S(c);N_GUARD::S(F)
        • P(l);N_GUARD::QAB(I),XP(j)
      • Refutation
        • P(f);XP(E)
    • Try
      • R(J);
      • Vars
        • S(c);CHECK,N_GUARD::S(F),XS(c)
        • R(b);OGATE,P_SPINR(b),XP(C)::R(B),XR(b)
        • B(h);N_GUARD,XR(J)::S(F)
        • S(a);N_GUARD,XR(B)::S(G)
        • S(c);N_GUARD,XR(B)::S(F)
        • P(d);XP(D)::P(C),XS(a)
        • B(k);N_GUARD::B(H)
        • B(h);N_GUARD::S(G)
        • B(h);N_GUARD::S(F)
        • B(k);N_GUARD::B(H),XB(k)
        • B(k);OGATEB::QAB(I),XB(k)
        • S(a);N_GUARD::S(G)
        • S(a);N_GUARD::S(G),XS(a)
        • S(c);N_GUARD::S(F)
        • P(l);N_GUARD::QAB(I),XP(j)
      • Refutation
        • P(f);XP(E)
    • Try
      • Q(I);CHECK,XP(d)
      • Vars
        • B(h);XQ(I)::S(F)
        • S(c);XQ(I)::S(F)
      • Refutation
        • P(g);XQ(I)
  • Actual
    • K(A);P-FLIGHT
    • Vars
      • R(b);OGATE,P_SPINR(b),XP(C)::R(B),XR(b)
      • S(a);N_GUARD,XR(B)::S(G)
      • S(c);N_GUARD,XR(B)::S(F)
      • P(d);XP(D)::P(C),XS(a)
      • P(f);XP(E)::P(C),XS(c)
      • B(h);N_GUARD::S(G)
      • B(h);N_GUARD::S(F)
      • B(k);N_GUARD::B(H),XB(k)
      • B(k);N_GUARD::B(H)
      • B(k);OGATEB::QAB(I),XB(k)
      • S(a);N_GUARD::S(G)
      • S(a);N_GUARD::S(G),XS(a)
      • S(c);N_GUARD::S(F)
      • S(c);N_GUARD::S(F),XS(c)
      • P(l);N_GUARD::QAB(I),XP(j)


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).