Problem Display
PID: 102062 (6n1/p3N3/P1RR1n2/K2pkB2/N4b1Q/3P1p2/3r1P2/2B5 w - - 0 1)

Willis, J

Adelaide Observer, 1882

6n1/p3N3/P1RR1n2/K2pkB2/N4b1Q/3P1p2/3r1P2/2B5

#2

11 + 8


6490 yacpdb 2009

SOLUTION


  • SOUND
  • Sets
    • 1...Rd1
      • 2.Qxf4#
    • 1...Ra2
      • 2.Qxf4#
    • 1...Rb2
      • 2.Qxf4#
    • 1...Rc2
      • 2.Qxf4#
    • 1...Re2
      • 2.Qxf4#
    • 1...Rxf2
      • 2.Qxf4#
    • 1...Rxd3
      • 2.Qxf4#
    • 1...Bh2
      • 2.Re6#
    • 1...Be3
      • 2.Re6#
    • 1...Bg3
      • 2.Re6#
    • 1...Bg5
      • 2.Re6#
    • 1...Bh6
      • 2.Re6#
    • 1...Se4
      • 2.Rxd5#
    • 1...Sg4
      • 2.Rxd5#
    • 1...Sh5
      • 2.Rxd5#
    • 1...Sd7
      • 2.Rxd5#
    • 1...Sh7
      • 2.Rxd5#
    • 1...Se8
      • 2.Rxd5#
    • 1...Sh6
      • 2.Qxf6#
    • 1...Sxe7
      • 2.Qxf6#
    • 1...d4
      • 2.Re6#
  • Tries
    • 1.Sb2?
      • 1...Rxb2
        • 2.Qxf4#
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Rc2
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Re6#
      • 1...Be3
        • 2.Re6#
      • 1...Bg3
        • 2.Re6#
      • 1...Bg5
        • 2.Re6#
      • 1...Bh6
        • 2.Re6#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Sd7
        • 2.Rxd5#
      • 1...Sh7
        • 2.Rxd5#
      • 1...Se8
        • 2.Rxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...d4
        • 2.Sc4#
        • 2.Re6#
      • 1...Kd4!
    • 1.Sg6+?
      • 1...Kd4
        • 2.Rc4#
      • 1...Kxf5!
    • 1.Bb2+?
      • 1...d4
        • 2.Bxd4#
        • 2.Re6#
      • 1...Rxb2!
    • 1.Bxd2?
      • threat
        • 2.Qxf4#
      • 1...Kd4
        • 2.Bc3#
      • 1...Bh2
        • 2.Re6#
        • 2.d4#
      • 1...Be3
        • 2.Re6#
      • 1...Bg3
        • 2.Re6#
        • 2.d4#
      • 1...Bg5
        • 2.Re6#
        • 2.d4#
      • 1...Bh6
        • 2.Re6#
        • 2.d4#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Bxd2+!
    • 1.Bh3?
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Ra2
        • 2.Qxf4#
      • 1...Rb2
        • 2.Qxf4#
      • 1...Rc2
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Sg6#
        • 2.Re6#
      • 1...Be3
        • 2.Sg6#
        • 2.Re6#
      • 1...Bg3
        • 2.Sg6#
        • 2.Re6#
      • 1...Bg5
        • 2.Sg6#
        • 2.Re6#
      • 1...Bh6
        • 2.Sg6#
        • 2.Re6#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Sd7
        • 2.Rxd5#
      • 1...Sh7
        • 2.Rxd5#
      • 1...Se8
        • 2.Rxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...d4
        • 2.Sg6#
        • 2.Re6#
      • 1...Kd4!
    • 1.Bg6?
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Ra2
        • 2.Qxf4#
      • 1...Rb2
        • 2.Qxf4#
      • 1...Rc2
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Re6#
      • 1...Be3
        • 2.Re6#
      • 1...Bg3
        • 2.Re6#
      • 1...Bg5
        • 2.Re6#
      • 1...Bh6
        • 2.Re6#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Sd7
        • 2.Rxd5#
      • 1...Sh7
        • 2.Rxd5#
      • 1...Se8
        • 2.Rxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...d4
        • 2.Re6#
      • 1...Kd4!
    • 1.Bd7?
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxd7
        • 2.Rxd5#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Ra2
        • 2.Qxf4#
      • 1...Rb2
        • 2.Qxf4#
      • 1...Rc2
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Sg6#
        • 2.Re6#
      • 1...Be3
        • 2.Sg6#
        • 2.Re6#
      • 1...Bg3
        • 2.Sg6#
        • 2.Re6#
      • 1...Bg5
        • 2.Sg6#
        • 2.Re6#
      • 1...Bh6
        • 2.Sg6#
        • 2.Re6#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Sh7
        • 2.Rxd5#
      • 1...Se8
        • 2.Rxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...d4
        • 2.Sg6#
        • 2.Re6#
      • 1...Kd4!
    • 1.Bh7?
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxh7
        • 2.Rxd5#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Ra2
        • 2.Qxf4#
      • 1...Rb2
        • 2.Qxf4#
      • 1...Rc2
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Re6#
      • 1...Be3
        • 2.Re6#
      • 1...Bg3
        • 2.Re6#
      • 1...Bg5
        • 2.Re6#
      • 1...Bh6
        • 2.Re6#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Sd7
        • 2.Rxd5#
      • 1...Se8
        • 2.Rxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...d4
        • 2.Re6#
      • 1...Kd4!
    • 1.Bc8?
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Ra2
        • 2.Qxf4#
      • 1...Rb2
        • 2.Qxf4#
      • 1...Rc2
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Sg6#
        • 2.Re6#
      • 1...Be3
        • 2.Sg6#
        • 2.Re6#
      • 1...Bg3
        • 2.Sg6#
        • 2.Re6#
      • 1...Bg5
        • 2.Sg6#
        • 2.Re6#
      • 1...Bh6
        • 2.Sg6#
        • 2.Re6#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Sd7
        • 2.Rxd5#
      • 1...Sh7
        • 2.Rxd5#
      • 1...Se8
        • 2.Rxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...d4
        • 2.Sg6#
        • 2.Re6#
      • 1...Kd4!
    • 1.Rc2?
      • 1...Kd4
        • 2.Sc6#
        • 2.Bb2#
      • 1...Rxc2
        • 2.Qxf4#
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Re6#
      • 1...Be3
        • 2.Re6#
      • 1...Bg3
        • 2.Re6#
      • 1...Bg5
        • 2.Re6#
      • 1...Bh6
        • 2.Re6#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Sd7
        • 2.Rxd5#
      • 1...Sh7
        • 2.Rxd5#
      • 1...Se8
        • 2.Rxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...d4
        • 2.Re6#
      • 1...Kxd6!
    • 1.Rc3?
      • 1...Kd4
        • 2.Sc6#
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Ra2
        • 2.Qxf4#
      • 1...Rb2
        • 2.Qxf4#
      • 1...Rc2
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Re6#
      • 1...Be3
        • 2.Re6#
      • 1...Bg3
        • 2.Re6#
      • 1...Bg5
        • 2.Re6#
      • 1...Bh6
        • 2.Re6#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Sd7
        • 2.Rxd5#
      • 1...Sh7
        • 2.Rxd5#
      • 1...Se8
        • 2.Rxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...d4
        • 2.Re6#
      • 1...Kxd6!
    • 1.Rc5?
      • 1...Kd4
        • 2.Sc6#
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Ra2
        • 2.Qxf4#
      • 1...Rb2
        • 2.Qxf4#
      • 1...Rc2
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Re6#
      • 1...Be3
        • 2.Re6#
      • 1...Bg3
        • 2.Re6#
      • 1...Bg5
        • 2.Re6#
      • 1...Bh6
        • 2.Re6#
      • 1...Se4
        • 2.Rcxd5#
        • 2.Rdxd5#
      • 1...Sg4
        • 2.Rcxd5#
        • 2.Rdxd5#
      • 1...Sh5
        • 2.Rcxd5#
        • 2.Rdxd5#
      • 1...Sd7
        • 2.Rcxd5#
        • 2.Rdxd5#
      • 1...Sh7
        • 2.Rcxd5#
        • 2.Rdxd5#
      • 1...Se8
        • 2.Rcxd5#
        • 2.Rdxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...Kxd6!
    • 1.Rb6?
      • 1...Kd4
        • 2.Sc6#
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Ra2
        • 2.Qxf4#
      • 1...Rb2
        • 2.Qxf4#
      • 1...Rc2
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Re6#
      • 1...Be3
        • 2.Re6#
      • 1...Bg3
        • 2.Re6#
      • 1...Bg5
        • 2.Re6#
      • 1...Bh6
        • 2.Re6#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Sd7
        • 2.Rxd5#
      • 1...Sh7
        • 2.Rxd5#
      • 1...Se8
        • 2.Rxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...d4
        • 2.Re6#
      • 1...axb6+!
    • 1.Rc8?
      • 1...Kd4
        • 2.Sc6#
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Ra2
        • 2.Qxf4#
      • 1...Rb2
        • 2.Qxf4#
      • 1...Rc2
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Re6#
      • 1...Be3
        • 2.Re6#
      • 1...Bg3
        • 2.Re6#
      • 1...Bg5
        • 2.Re6#
      • 1...Bh6
        • 2.Re6#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Sd7
        • 2.Rxd5#
      • 1...Sh7
        • 2.Rxd5#
      • 1...Se8
        • 2.Rxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...d4
        • 2.Re6#
      • 1...Kxd6!
    • 1.d4+?
      • 1...Rxd4
        • 2.Re6#
      • 1...Kxd4!
  • Keys
    • 1.Rc7!
      • 1...Kd4
        • 2.Sc6#
      • 1...Kxd6
        • 2.Qxf4#
      • 1...Rxf2
        • 2.Qxf4#
      • 1...Rxd3
        • 2.Qxf4#
      • 1...Sxe7
        • 2.Qxf6#
      • 1...Rd1
        • 2.Qxf4#
      • 1...Ra2
        • 2.Qxf4#
      • 1...Rb2
        • 2.Qxf4#
      • 1...Rc2
        • 2.Qxf4#
      • 1...Re2
        • 2.Qxf4#
      • 1...Bh2
        • 2.Re6#
      • 1...Be3
        • 2.Re6#
      • 1...Bg3
        • 2.Re6#
      • 1...Bg5
        • 2.Re6#
      • 1...Bh6
        • 2.Re6#
      • 1...Se4
        • 2.Rxd5#
      • 1...Sg4
        • 2.Rxd5#
      • 1...Sh5
        • 2.Rxd5#
      • 1...Sd7
        • 2.Rxd5#
      • 1...Sh7
        • 2.Rxd5#
      • 1...Se8
        • 2.Rxd5#
      • 1...Sh6
        • 2.Qxf6#
      • 1...d4
        • 2.Re6#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • R(a);::QAB1(E),XB(c)
    • R(a);P_PINS(D)::QAB1(E),XB(c)
    • R(a);XP(B)::QAB1(E),XB(c)
    • R(a);XP(C)::QAB1(E),XB(c)
    • B(c);::R1(J)
    • S(f);N_GUARD::R1(J),XP(d)
    • S(h);N_GUARD::QAB1(E),XS(f)
    • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
    • P(d);SBLOCK::R1(J)
  • Tries
    • Try
      • S(D);
      • Vars
        • R(a);XS(D)::QAB1(E),XB(c)
        • R(a);XP(B)::QAB1(E),XB(c)
        • R(a);XP(C)::QAB1(E),XB(c)
        • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
        • R(a);::QAB1(E),XB(c)
        • B(c);::R1(J)
        • S(f);N_GUARD::R1(J),XP(d)
        • S(h);N_GUARD::QAB1(E),XS(f)
      • Refutation
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT
    • Try
      • S(K);CHECK
      • Vars
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT::R1(I)
      • Refutation
        • K(e);P-FLIGHT,XB(G)
    • Try
      • B(A);CHECK
      • Refutation
        • R(a);XB(A)
    • Try
      • B(A);XR(a)
      • Threat
        • QAB1(E),XB(c)
      • Vars
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT::B(A)
        • B(c);::R1(J)
        • S(f);N_GUARD::R1(J),XP(d)
      • Refutation
        • B(c);CHECK,XB(A)
    • Try
      • B(G);
      • Vars
        • R(a);XP(B)::QAB1(E),XB(c)
        • R(a);XP(C)::QAB1(E),XB(c)
        • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
        • R(a);::QAB1(E),XB(c)
        • R(a);P_PINS(D)::QAB1(E),XB(c)
        • S(f);N_GUARD::R1(J),XP(d)
        • S(h);N_GUARD::QAB1(E),XS(f)
      • Refutation
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT
    • Try
      • B(G);
      • Vars
        • R(a);XP(B)::QAB1(E),XB(c)
        • R(a);XP(C)::QAB1(E),XB(c)
        • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
        • R(a);::QAB1(E),XB(c)
        • R(a);P_PINS(D)::QAB1(E),XB(c)
        • B(c);::R1(J)
        • S(f);N_GUARD::R1(J),XP(d)
        • S(h);N_GUARD::QAB1(E),XS(f)
        • P(d);SBLOCK::R1(J)
      • Refutation
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT
    • Try
      • B(G);
      • Vars
        • R(a);XP(B)::QAB1(E),XB(c)
        • R(a);XP(C)::QAB1(E),XB(c)
        • S(f);N_GUARD,XB(G)::R1(J),XP(d)
        • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
        • R(a);::QAB1(E),XB(c)
        • R(a);P_PINS(D)::QAB1(E),XB(c)
        • S(f);N_GUARD::R1(J),XP(d)
        • S(h);N_GUARD::QAB1(E),XS(f)
      • Refutation
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT
    • Try
      • B(G);
      • Vars
        • R(a);XP(B)::QAB1(E),XB(c)
        • R(a);XP(C)::QAB1(E),XB(c)
        • S(f);N_GUARD,XB(G)::R1(J),XP(d)
        • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
        • R(a);::QAB1(E),XB(c)
        • R(a);P_PINS(D)::QAB1(E),XB(c)
        • B(c);::R1(J)
        • S(f);N_GUARD::R1(J),XP(d)
        • S(h);N_GUARD::QAB1(E),XS(f)
        • P(d);SBLOCK::R1(J)
      • Refutation
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT
    • Try
      • B(G);
      • Vars
        • R(a);XP(B)::QAB1(E),XB(c)
        • R(a);XP(C)::QAB1(E),XB(c)
        • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
        • R(a);::QAB1(E),XB(c)
        • R(a);P_PINS(D)::QAB1(E),XB(c)
        • S(f);N_GUARD::R1(J),XP(d)
        • S(h);N_GUARD::QAB1(E),XS(f)
      • Refutation
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT
    • Try
      • R(I);
      • Vars
        • R(a);XR(I)::QAB1(E),XB(c)
        • R(a);XP(B)::QAB1(E),XB(c)
        • R(a);XP(C)::QAB1(E),XB(c)
        • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
        • R(a);::QAB1(E),XB(c)
        • B(c);::R1(J)
        • S(f);N_GUARD::R1(J),XP(d)
        • S(h);N_GUARD::QAB1(E),XS(f)
        • P(d);SBLOCK::R1(J)
      • Refutation
        • K(e);S_FLIGHT,XR(J)
    • Try
      • R(I);
      • Vars
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT::S(K)
        • R(a);XP(B)::QAB1(E),XB(c)
        • R(a);XP(C)::QAB1(E),XB(c)
        • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
        • R(a);::QAB1(E),XB(c)
        • R(a);P_PINS(D)::QAB1(E),XB(c)
        • B(c);::R1(J)
        • S(f);N_GUARD::R1(J),XP(d)
        • S(h);N_GUARD::QAB1(E),XS(f)
        • P(d);SBLOCK::R1(J)
      • Refutation
        • K(e);S_FLIGHT,XR(J)
    • Try
      • R(I);P_PINP(d)
      • Vars
        • K(e);P_SPINB(c),S_FLIGHT::S(K)
        • R(a);XP(B)::QAB1(E),XB(c)
        • R(a);XP(C)::QAB1(E),XB(c)
        • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
        • R(a);::QAB1(E),XB(c)
        • R(a);P_PINS(D)::QAB1(E),XB(c)
        • B(c);::R1(J)
        • S(h);N_GUARD::QAB1(E),XS(f)
      • Refutation
        • K(e);N_SPINP(d),S_FLIGHT,XR(J)
    • Try
      • R(I);
      • Vars
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT::S(K)
        • R(a);XP(B)::QAB1(E),XB(c)
        • R(a);XP(C)::QAB1(E),XB(c)
        • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
        • R(a);::QAB1(E),XB(c)
        • R(a);P_PINS(D)::QAB1(E),XB(c)
        • B(c);::R1(J)
        • S(f);N_GUARD::R1(J),XP(d)
        • S(h);N_GUARD::QAB1(E),XS(f)
        • P(d);SBLOCK::R1(J)
      • Refutation
        • P(g);CHECK,XR(I)
    • Try
      • R(I);
      • Vars
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT::S(K)
        • R(a);XP(B)::QAB1(E),XB(c)
        • R(a);XP(C)::QAB1(E),XB(c)
        • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
        • R(a);::QAB1(E),XB(c)
        • R(a);P_PINS(D)::QAB1(E),XB(c)
        • B(c);::R1(J)
        • S(f);N_GUARD::R1(J),XP(d)
        • S(h);N_GUARD::QAB1(E),XS(f)
        • P(d);SBLOCK::R1(J)
      • Refutation
        • K(e);S_FLIGHT,XR(J)
    • Try
      • P(C);CHECK
      • Vars
        • R(a);SBLOCK,XP(C)::R1(J)
      • Refutation
        • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT,XP(C)
  • Actual
    • R(I);
    • Vars
      • K(e);P_SPINB(c),P_SPINP(d),S_FLIGHT::S(K)
      • K(e);S_FLIGHT,XR(J)::QAB(E),XB(c)
      • R(a);XP(B)::QAB1(E),XB(c)
      • R(a);XP(C)::QAB1(E),XB(c)
      • S(h);N_GUARD,XS(K)::QAB1(E),XS(f)
      • R(a);::QAB1(E),XB(c)
      • R(a);P_PINS(D)::QAB1(E),XB(c)
      • B(c);::R1(J)
      • S(f);N_GUARD::R1(J),XP(d)
      • S(h);N_GUARD::QAB1(E),XS(f)
      • P(d);SBLOCK::R1(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).