Problem Display
PID: 186236 (n2Q2KB/p1p3Np/P2N3R/2k2P2/2P5/P1R2B1p/7P/nq6 w - - 0 1)

Brunner, Erich Anselm

Basler Nachrichten, 1926

n2Q2KB/p1p3Np/P2N3R/2k2P2/2P5/P1R2B1p/7P/nq6

#2

13 + 8


SOLUTION


  • SOUND
  • Sets
    • 1...Kd4
      • 2.Se6#
    • 1...Kb6
      • 2.Sb7#
    • 1...Qa2
      • 2.Se4#
      • 2.Sb7#
    • 1...Qc2
      • 2.Sb7#
    • 1...Qd3
      • 2.Sb7#
    • 1...Qe4
      • 2.Sxe4#
    • 1...Qxf5
      • 2.Sb7#
    • 1...Qc1
      • 2.Se4#
      • 2.Sb7#
    • 1...Qd1
      • 2.Se4#
      • 2.Sb7#
    • 1...Qe1
      • 2.Sb7#
    • 1...Qf1
      • 2.Se4#
      • 2.Sb7#
    • 1...Qg1
      • 2.Se4#
      • 2.Sb7#
    • 1...Qh1
      • 2.Se4#
      • 2.Sb7#
    • 1...Qb2
      • 2.Se4#
    • 1...Qb3
      • 2.Se4#
    • 1...Qb4
      • 2.Se4#
    • 1...Qb5
      • 2.Se4#
    • 1...Qb6
      • 2.Se4#
      • 2.Se6#
    • 1...Qb7
      • 2.Sxb7#
    • 1...Qb8
      • 2.Se4#
    • 1...Sc2
      • 2.Se4#
    • 1...Sb3
      • 2.Sb7#
    • 1...Sb6
      • 2.Sb7#
      • 2.Se6#
    • 1...cxd6
      • 2.Se6#
      • 2.Qxd6#
    • 1...c6
      • 2.Se6#
  • Tries
    • 1.Kf7?
      • 1...Kd4
        • 2.Se6#
      • 1...Kb6
        • 2.Sb7#
      • 1...cxd6
        • 2.Se6#
        • 2.Qxd6#
      • 1...Qe4
        • 2.Sxe4#
      • 1...Qa2
        • 2.Se4#
        • 2.Sb7#
      • 1...Qc2
        • 2.Sb7#
      • 1...Qd3
        • 2.Sb7#
      • 1...Qc1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qd1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qe1
        • 2.Sb7#
      • 1...Qf1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qg1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qh1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qb2
        • 2.Se4#
      • 1...Qb3
        • 2.Se4#
      • 1...Qb4
        • 2.Se4#
      • 1...Qb5
        • 2.Se4#
      • 1...Qb6
        • 2.Se4#
        • 2.Se6#
      • 1...Qb7
        • 2.Sxb7#
      • 1...Qb8
        • 2.Se4#
      • 1...Sc2
        • 2.Se4#
      • 1...Sb3
        • 2.Sb7#
      • 1...Sb6
        • 2.Sb7#
        • 2.Se6#
      • 1...c6
        • 2.Se6#
      • 1...Qxf5+!
    • 1.Kxh7?
      • 1...Kd4
        • 2.Se6#
      • 1...Kb6
        • 2.Sb7#
      • 1...cxd6
        • 2.Se6#
        • 2.Qxd6#
      • 1...Qe4
        • 2.Sxe4#
      • 1...Qa2
        • 2.Se4#
        • 2.Sb7#
      • 1...Qc2
        • 2.Sb7#
      • 1...Qd3
        • 2.Sb7#
      • 1...Qc1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qd1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qe1
        • 2.Sb7#
      • 1...Qf1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qg1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qh1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qb2
        • 2.Se4#
      • 1...Qb3
        • 2.Se4#
      • 1...Qb4
        • 2.Se4#
      • 1...Qb5
        • 2.Se4#
      • 1...Qb6
        • 2.Se4#
        • 2.Se6#
      • 1...Qb7
        • 2.Sxb7#
      • 1...Qb8
        • 2.Se4#
      • 1...Sc2
        • 2.Se4#
      • 1...Sb3
        • 2.Sb7#
      • 1...Sb6
        • 2.Sb7#
        • 2.Se6#
      • 1...c6
        • 2.Se6#
      • 1...Qxf5+!
    • 1.Kf8?
      • 1...Kd4
        • 2.Se6#
      • 1...Kb6
        • 2.Sb7#
      • 1...cxd6
        • 2.Se6#
        • 2.Qxd6#
      • 1...Qe4
        • 2.Sxe4#
      • 1...Qa2
        • 2.Se4#
        • 2.Sb7#
      • 1...Qc2
        • 2.Sb7#
      • 1...Qd3
        • 2.Sb7#
      • 1...Qc1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qd1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qe1
        • 2.Sb7#
      • 1...Qf1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qg1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qh1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qb2
        • 2.Se4#
      • 1...Qb3
        • 2.Se4#
      • 1...Qb4
        • 2.Se4#
      • 1...Qb5
        • 2.Se4#
      • 1...Qb6
        • 2.Se4#
        • 2.Se6#
      • 1...Qb7
        • 2.Sxb7#
      • 1...Qb8
        • 2.Se4#
      • 1...Sc2
        • 2.Se4#
      • 1...Sb3
        • 2.Sb7#
      • 1...Sb6
        • 2.Sb7#
        • 2.Se6#
      • 1...c6
        • 2.Se6#
      • 1...Qxf5+!
    • 1.Sb5?
      • threat
        • 2.Rc6#
        • 2.Qe7#
        • 2.Qd4#
        • 2.Qd5#
        • 2.Qf8#
      • 1...Qxf5
        • 2.Rc6#
        • 2.Qe7#
        • 2.Qd4#
      • 1...Qxb5
        • 2.Qd5#
      • 1...Qd3
        • 2.Rc6#
      • 1...Qd1
        • 2.Rc6#
      • 1...Qe1
        • 2.Rc6#
        • 2.Qd4#
        • 2.Qd5#
      • 1...Qg1
        • 2.Rc6#
        • 2.Qe7#
        • 2.Qd5#
        • 2.Qf8#
      • 1...Sc2
        • 2.Rc6#
        • 2.Qe7#
        • 2.Qd5#
        • 2.Qf8#
      • 1...Sb3
        • 2.Rc6#
        • 2.Qe7#
        • 2.Qd5#
        • 2.Qf8#
      • 1...Sb6
        • 2.Se6#
        • 2.Rc6#
        • 2.Qxc7#
        • 2.Qe7#
        • 2.Qd4#
        • 2.Qf8#
      • 1...c6
        • 2.Se6#
        • 2.Rxc6#
        • 2.Qd4#
      • 1...Qe4!
    • 1.Sc8?
      • threat
        • 2.Se6#
        • 2.Rc6#
        • 2.Qd5#
      • 1...Qxf5
        • 2.Rc6#
      • 1...Qd3
        • 2.Se6#
        • 2.Rc6#
      • 1...Qd1
        • 2.Se6#
        • 2.Rc6#
      • 1...Qe1
        • 2.Rc6#
        • 2.Qd5#
      • 1...Qg1
        • 2.Rc6#
        • 2.Qd5#
      • 1...Qb5
        • 2.Se6#
        • 2.Qd5#
      • 1...Qb6
        • 2.Qd5#
      • 1...Qb7
        • 2.Se6#
      • 1...Sb6
        • 2.Se6#
        • 2.Rc6#
      • 1...c6
        • 2.Se6#
        • 2.Rxc6#
        • 2.Qd6#
      • 1...Qe4!
    • 1.Bh1?
      • 1...Kd4
        • 2.Se6#
      • 1...Kb6
        • 2.Sb7#
      • 1...Qxf5
        • 2.Sb7#
      • 1...cxd6
        • 2.Se6#
        • 2.Qxd6#
      • 1...Qe4
        • 2.Sxe4#
      • 1...Qa2
        • 2.Se4#
        • 2.Sb7#
      • 1...Qc2
        • 2.Sb7#
      • 1...Qd3
        • 2.Sb7#
      • 1...Qc1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qd1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qe1
        • 2.Sb7#
      • 1...Qf1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qg1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qb2
        • 2.Se4#
      • 1...Qb3
        • 2.Se4#
      • 1...Qb4
        • 2.Se4#
      • 1...Qb5
        • 2.Se4#
      • 1...Qb6
        • 2.Se4#
        • 2.Se6#
      • 1...Qb7
        • 2.Sxb7#
      • 1...Qb8
        • 2.Se4#
      • 1...Sc2
        • 2.Se4#
      • 1...Sb3
        • 2.Sb7#
      • 1...Sb6
        • 2.Sb7#
        • 2.Se6#
      • 1...c6
        • 2.Se6#
      • 1...Qxh1!
    • 1.Be2?
      • 1...Kd4
        • 2.Se6#
      • 1...Kb6
        • 2.Sb7#
      • 1...Kc6
        • 2.Se4#
        • 2.Sb7#
      • 1...Qxf5
        • 2.Sb7#
      • 1...cxd6
        • 2.Qxd6#
      • 1...Qe4
        • 2.Sxe4#
      • 1...Qa2
        • 2.Se4#
        • 2.Sb7#
      • 1...Qc2
        • 2.Sb7#
      • 1...Qd3
        • 2.Sb7#
      • 1...Qc1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qd1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qe1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qf1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qg1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qb2
        • 2.Se4#
      • 1...Qb3
        • 2.Se4#
      • 1...Qb4
        • 2.Se4#
      • 1...Qb5
        • 2.Se4#
      • 1...Qb6
        • 2.Se4#
      • 1...Qb7
        • 2.Sxb7#
      • 1...Qb8
        • 2.Se4#
      • 1...Sc2
        • 2.Se4#
      • 1...Sb3
        • 2.Sb7#
      • 1...Sb6
        • 2.Sb7#
      • 1...c6
        • 2.Se6#
      • 1...Qh1!
    • 1.Bg2?
      • 1...Kd4
        • 2.Se6#
      • 1...Kb6
        • 2.Sb7#
      • 1...Qxf5
        • 2.Sb7#
      • 1...cxd6
        • 2.Se6#
        • 2.Qxd6#
      • 1...Qe4
        • 2.Sxe4#
      • 1...Qa2
        • 2.Se4#
        • 2.Sb7#
      • 1...Qc2
        • 2.Sb7#
      • 1...Qd3
        • 2.Sb7#
      • 1...Qc1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qd1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qe1
        • 2.Sb7#
      • 1...Qf1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qg1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qh1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qb2
        • 2.Se4#
      • 1...Qb3
        • 2.Se4#
      • 1...Qb4
        • 2.Se4#
      • 1...Qb5
        • 2.Se4#
      • 1...Qb6
        • 2.Se4#
        • 2.Se6#
      • 1...Qb7
        • 2.Sxb7#
      • 1...Qb8
        • 2.Se4#
      • 1...Sc2
        • 2.Se4#
      • 1...Sb3
        • 2.Sb7#
      • 1...Sb6
        • 2.Sb7#
        • 2.Se6#
      • 1...c6
        • 2.Se6#
      • 1...hxg2!
    • 1.Bg4?
      • 1...Kd4
        • 2.Se6#
      • 1...Kb6
        • 2.Sb7#
      • 1...Kc6
        • 2.Se4#
        • 2.Sb7#
      • 1...Qxf5
        • 2.Sb7#
      • 1...cxd6
        • 2.Qxd6#
      • 1...Qe4
        • 2.Sxe4#
      • 1...Qa2
        • 2.Se4#
        • 2.Sb7#
      • 1...Qc2
        • 2.Sb7#
      • 1...Qd3
        • 2.Sb7#
      • 1...Qc1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qd1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qe1
        • 2.Sb7#
      • 1...Qf1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qg1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qb2
        • 2.Se4#
      • 1...Qb3
        • 2.Se4#
      • 1...Qb4
        • 2.Se4#
      • 1...Qb5
        • 2.Se4#
      • 1...Qb6
        • 2.Se4#
      • 1...Qb7
        • 2.Sxb7#
      • 1...Qb8
        • 2.Se4#
      • 1...Sc2
        • 2.Se4#
      • 1...Sb3
        • 2.Sb7#
      • 1...Sb6
        • 2.Sb7#
      • 1...c6
        • 2.Se6#
      • 1...Qh1!
    • 1.Bh5?
      • 1...Kd4
        • 2.Se6#
      • 1...Kb6
        • 2.Sb7#
      • 1...Kc6
        • 2.Se4#
        • 2.Sb7#
      • 1...Qxf5
        • 2.Sb7#
      • 1...cxd6
        • 2.Qxd6#
      • 1...Qe4
        • 2.Sxe4#
      • 1...Qa2
        • 2.Se4#
        • 2.Sb7#
      • 1...Qc2
        • 2.Sb7#
      • 1...Qd3
        • 2.Sb7#
      • 1...Qc1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qd1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qe1
        • 2.Sb7#
      • 1...Qf1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qg1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qb2
        • 2.Se4#
      • 1...Qb3
        • 2.Se4#
      • 1...Qb4
        • 2.Se4#
      • 1...Qb5
        • 2.Se4#
      • 1...Qb6
        • 2.Se4#
      • 1...Qb7
        • 2.Sxb7#
      • 1...Qb8
        • 2.Se4#
      • 1...Sc2
        • 2.Se4#
      • 1...Sb3
        • 2.Sb7#
      • 1...Sb6
        • 2.Sb7#
      • 1...c6
        • 2.Se6#
      • 1...Qh1!
    • 1.Bxa8?
      • 1...Kd4
        • 2.Se6#
      • 1...Kb6
        • 2.Sb7#
      • 1...Qxf5
        • 2.Sb7#
      • 1...cxd6
        • 2.Se6#
        • 2.Qxd6#
      • 1...Qb7
        • 2.Sxb7#
      • 1...Qe4
        • 2.Sxe4#
      • 1...Qa2
        • 2.Se4#
        • 2.Sb7#
      • 1...Qc2
        • 2.Sb7#
      • 1...Qd3
        • 2.Sb7#
      • 1...Qc1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qd1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qe1
        • 2.Sb7#
      • 1...Qf1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qg1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qb2
        • 2.Se4#
      • 1...Qb3
        • 2.Se4#
      • 1...Qb4
        • 2.Se4#
      • 1...Qb5
        • 2.Se4#
      • 1...Qb6
        • 2.Se4#
        • 2.Se6#
      • 1...Qb8
        • 2.Se4#
      • 1...Sc2
        • 2.Se4#
      • 1...Sb3
        • 2.Sb7#
      • 1...c6
        • 2.Se6#
      • 1...Qh1!
    • 1.Qxc7+?
      • 1...Kd4
        • 2.Sh5#
        • 2.Se6#
        • 2.Sge8#
      • 1...Sxc7!
  • Keys
    • 1.Bd1!
      • 1...Kd4
        • 2.Se6#
      • 1...Kb6
        • 2.Sb7#
      • 1...Kc6
        • 2.Se4#
        • 2.Sb7#
      • 1...Qxf5
        • 2.Sb7#
      • 1...Qxd1
        • 2.Se4#
        • 2.Sb7#
      • 1...cxd6
        • 2.Qxd6#
      • 1...Qe4
        • 2.Sxe4#
      • 1...Qa2
        • 2.Se4#
        • 2.Sb7#
      • 1...Qc2
        • 2.Sb7#
      • 1...Qd3
        • 2.Sb7#
      • 1...Qc1
        • 2.Se4#
        • 2.Sb7#
      • 1...Qb2
        • 2.Se4#
      • 1...Qb3
        • 2.Se4#
      • 1...Qb4
        • 2.Se4#
      • 1...Qb5
        • 2.Se4#
      • 1...Qb6
        • 2.Se4#
      • 1...Qb7
        • 2.Sxb7#
      • 1...Qb8
        • 2.Se4#
      • 1...Sc2
        • 2.Se4#
      • 1...Sb3
        • 2.Sb7#
      • 1...Sb6
        • 2.Sb7#
      • 1...c6
        • 2.Se6#

FEATURES


  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 3
    • REMOVED MATES = 1
  • Sets
    • K(d);S_FLIGHT::B(M)+S(J),DCHECK
    • K(d);P_SPINP(f),S_FLIGHT::R(I)+S(H)
    • Q(b);N_GUARD::S(H)
    • Q(b);N_GUARD::S(H),XQ(b)
    • Q(b);N_GUARD,XP(F)::S(H)
    • Q(b);N_GUARD,P_PINP(E)::S(H)
    • Q(b);N_GUARD,P_PINQ(K)::S(H)
    • S(a);S_CUTQ(b)::S(H)
    • P(f);::S(J)
  • Tries
    • Try
      • K(L);S_FLIGHT
      • Vars
        • K(d);S_FLIGHT::B(M)+S(J),DCHECK
        • K(d);P_SPINP(f),S_FLIGHT::R(I)+S(H)
        • Q(b);N_GUARD::S(H),XQ(b)
        • Q(b);N_GUARD::S(H)
        • Q(b);N_GUARD,P_PINP(E)::S(H)
        • S(a);S_CUTQ(b)::S(H)
        • P(f);::S(J)
      • Refutation
        • Q(b);CHECK,XP(F)
    • Try
      • K(L);P_SPINP(F),S_FLIGHT,XP(g)
      • Vars
        • K(d);S_FLIGHT::B(M)+S(J),DCHECK
        • K(d);P_SPINP(f),S_FLIGHT::R(I)+S(H)
        • Q(b);N_GUARD::S(H),XQ(b)
        • Q(b);N_GUARD::S(H)
        • Q(b);N_GUARD,N_PINP(F)::S(H)
        • Q(b);N_GUARD,N_PINP(F)::S(H),XQ(b)
        • S(a);N_PINP(F),S_CUTQ(b)::S(H)
        • S(a);S_CUTQ(b)::S(H)
        • P(f);::S(J)
      • Refutation
        • Q(b);CHECK,XP(F)
    • Try
      • K(L);P-FLIGHT
      • Vars
        • K(d);S_FLIGHT::B(M)+S(J),DCHECK
        • K(d);P_SPINP(f),S_FLIGHT::R(I)+S(H)
        • Q(b);N_GUARD::S(H),XQ(b)
        • Q(b);N_GUARD::S(H)
        • Q(b);N_GUARD,P_PINQ(K)::S(H)
        • S(a);S_CUTQ(b)::S(H)
        • P(f);::S(J)
      • Refutation
        • Q(b);CHECK,XP(F)
    • Try
      • S(H);
      • Threat
        • DUALS(5)
      • Vars
        • Q(b);XS(H)::QAR1(K)
        • Q(b);::R1(I)
      • Refutation
        • Q(b);
    • Try
      • S(H);
      • Threat
        • DUALS(3)
      • Vars
        • Q(b);XP(F)::R1(I)
        • Q(b);::QAR1(K)
        • Q(b);::S(J)
      • Refutation
        • Q(b);
    • Try
      • B(D);
      • Vars
        • K(d);S_FLIGHT::B(M)+S(J),DCHECK
        • K(d);P_SPINP(f),S_FLIGHT::R(I)+S(H)
        • Q(b);N_GUARD,XP(F)::S(H)
        • Q(b);N_GUARD::S(H),XQ(b)
        • Q(b);N_GUARD::S(H)
        • Q(b);N_GUARD,P_PINP(E)::S(H)
        • Q(b);N_GUARD,P_PINQ(K)::S(H)
        • S(a);S_CUTQ(b)::S(H)
        • P(f);::S(J)
      • Refutation
        • Q(b);XB(D)
    • Try
      • B(D);
      • Vars
        • K(d);S_FLIGHT::B(M)+S(J),DCHECK
        • K(d);P_SPINP(f),S_FLIGHT::R(I)+S(H)
        • Q(b);N_GUARD,XP(F)::S(H)
        • P(f);OGATE,XS(H)::QAB1(K),XP(f)
        • Q(b);N_GUARD::S(H),XQ(b)
        • Q(b);N_GUARD::S(H)
        • Q(b);N_GUARD,P_PINP(E)::S(H)
        • Q(b);N_GUARD,P_PINQ(K)::S(H)
        • S(a);S_CUTQ(b)::S(H)
        • S(h);S_CUTQ(b)::S(H)
        • P(f);SBLOCK::S(J)
      • Refutation
        • Q(b);
    • Try
      • B(D);
      • Vars
        • K(d);S_FLIGHT::B(M)+S(J),DCHECK
        • K(d);P_SPINP(f),S_FLIGHT::R(I)+S(H)
        • Q(b);N_GUARD,XP(F)::S(H)
        • Q(b);N_GUARD::S(H),XQ(b)
        • Q(b);N_GUARD::S(H)
        • Q(b);N_GUARD,P_PINP(E)::S(H)
        • Q(b);N_GUARD,P_PINQ(K)::S(H)
        • S(a);S_CUTQ(b)::S(H)
        • P(f);::S(J)
      • Refutation
        • P(c);XB(D)
    • Try
      • B(D);
      • Vars
        • K(d);S_FLIGHT::B(M)+S(J),DCHECK
        • K(d);P_SPINP(f),S_FLIGHT::R(I)+S(H)
        • Q(b);N_GUARD,XP(F)::S(H)
        • P(f);OGATE,XS(H)::QAB1(K),XP(f)
        • Q(b);N_GUARD::S(H),XQ(b)
        • Q(b);N_GUARD::S(H)
        • Q(b);N_GUARD,P_PINP(E)::S(H)
        • Q(b);N_GUARD,P_PINQ(K)::S(H)
        • S(a);S_CUTQ(b)::S(H)
        • S(h);S_CUTQ(b)::S(H)
        • P(f);SBLOCK::S(J)
      • Refutation
        • Q(b);
    • Try
      • B(D);
      • Vars
        • K(d);S_FLIGHT::B(M)+S(J),DCHECK
        • K(d);P_SPINP(f),S_FLIGHT::R(I)+S(H)
        • Q(b);N_GUARD,XP(F)::S(H)
        • P(f);OGATE,XS(H)::QAB1(K),XP(f)
        • Q(b);N_GUARD::S(H),XQ(b)
        • Q(b);N_GUARD::S(H)
        • Q(b);N_GUARD,P_PINP(E)::S(H)
        • Q(b);N_GUARD,P_PINQ(K)::S(H)
        • S(a);S_CUTQ(b)::S(H)
        • S(h);S_CUTQ(b)::S(H)
        • P(f);SBLOCK::S(J)
      • Refutation
        • Q(b);
    • Try
      • B(D);XS(h)
      • Vars
        • K(d);S_FLIGHT::B(M)+S(J),DCHECK
        • K(d);P_SPINP(f),S_FLIGHT::R(I)+S(H)
        • Q(b);N_GUARD,XP(F)::S(H)
        • Q(b);N_GUARD::S(H),XQ(b)
        • Q(b);N_GUARD::S(H)
        • Q(b);N_GUARD,P_PINP(E)::S(H)
        • Q(b);N_GUARD,P_PINQ(K)::S(H)
        • S(a);S_CUTQ(b)::S(H)
        • P(f);::S(J)
      • Refutation
        • Q(b);
    • Try
      • Q(K);CHECK,XP(f)
      • Refutation
        • S(h);XQ(K)
  • Actual
    • B(D);
    • Vars
      • K(d);S_FLIGHT::B(M)+S(J),DCHECK
      • K(d);P_SPINP(f),S_FLIGHT::R(I)+S(H)
      • Q(b);N_GUARD,XP(F)::S(H)
      • P(f);OGATE,XS(H)::QAB1(K),XP(f)
      • Q(b);N_GUARD::S(H),XQ(b)
      • Q(b);N_GUARD::S(H)
      • Q(b);N_GUARD,P_PINP(E)::S(H)
      • Q(b);N_GUARD,P_PINQ(K)::S(H)
      • S(a);S_CUTQ(b)::S(H)
      • S(h);S_CUTQ(b)::S(H)
      • P(f);SBLOCK::S(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).