Problem Display
PID: 164790 (8/2R5/B7/3npn2/R2pk3/8/4N1N1/5Q1K w - - 0 1)

Sandin, Svante

Die Schwalbe, 1969

8/2R5/B7/3npn2/R2pk3/8/4N1N1/5Q1K

#2

7 + 5


SOLUTION


  • SOUND
  • Sets
    • 1...Sc3
      • 2.Sxc3#
    • 1...Sde3
      • 2.Sc3#
    • 1...Sf4
      • 2.Sc3#
    • 1...Sb6
      • 2.Sc3#
    • 1...Sf6
      • 2.Sc3#
    • 1...Sxc7
      • 2.Sc3#
    • 1...Sde7
      • 2.Sc3#
    • 1...Sfe3
      • 2.Sg3#
    • 1...Sg3+
      • 2.Sxg3#
    • 1...Sh4
      • 2.Sg3#
    • 1...Sd6
      • 2.Sg3#
    • 1...Sh6
      • 2.Sg3#
    • 1...Sfe7
      • 2.Sg3#
    • 1...Sg7
      • 2.Sg3#
  • Tries
    • 1.Kg1?
      • 1...Sxc7
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sg3
        • 2.Sxg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Kh2?
      • 1...Sxc7
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sg3
        • 2.Sxg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Sg1?
      • threat
        • 2.Bd3#
        • 2.Qd3#
        • 2.Qb1#
        • 2.Qf3#
      • 1...Sxc7
        • 2.Qf3#
      • 1...Sc3
        • 2.Qf3#
      • 1...Sde3
        • 2.Qf3#
      • 1...Sb4
        • 2.Qf3#
      • 1...Sf4
        • 2.Qf3#
      • 1...Sb6
        • 2.Qf3#
      • 1...Sf6
        • 2.Qf3#
      • 1...Sde7
        • 2.Qf3#
      • 1...Sfe3
        • 2.Bd3#
        • 2.Qd3#
        • 2.Qf3#
      • 1...Sh4
        • 2.Bd3#
        • 2.Qd3#
        • 2.Qb1#
      • 1...Sg3+!
    • 1.Bb5?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sxc7
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Bb7?
      • threat
        • 2.Sc3#
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Kd3!
    • 1.Rb4?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sxc7
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sxb4!
    • 1.Rxd4+?
      • 1...Sxd4
        • 2.Sg3#
      • 1...exd4!
    • 1.Rc1?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Rc2?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Rc3?
      • threat
        • 2.Bd3#
        • 2.Qb1#
        • 2.Qf3#
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...Sb4
        • 2.Qf3#
      • 1...Sf4
        • 2.Qf3#
      • 1...Sb6
        • 2.Qf3#
      • 1...Sf6
        • 2.Qf3#
      • 1...Sc7
        • 2.Qf3#
      • 1...Sde7
        • 2.Qf3#
      • 1...Sfe3
        • 2.Sg3#
        • 2.Bd3#
      • 1...Sh4
        • 2.Sg3#
        • 2.Bd3#
        • 2.Qb1#
      • 1...Sde3!
    • 1.Rcc4?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sb4
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Kd3!
    • 1.Rc5?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Rc6?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Ra7?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Rb7?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Rd7?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Re7?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sdxe7
        • 2.Sc3#
      • 1...Sfxe7
        • 2.Sg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
        • 2.Rxd4#
      • 1...Sh4
        • 2.Sg3#
        • 2.Rxd4#
      • 1...Sd6
        • 2.Sg3#
        • 2.Rxd4#
      • 1...Sh6
        • 2.Sg3#
        • 2.Rxd4#
      • 1...Sg7
        • 2.Sg3#
        • 2.Rxd4#
      • 1...Sb4!
    • 1.Rf7?
      • threat
        • 2.Qxf5#
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
        • 2.Qf3#
      • 1...Sh4
        • 2.Sg3#
        • 2.Qb1#
      • 1...Sd6
        • 2.Sg3#
        • 2.Qb1#
        • 2.Qf3#
      • 1...Sh6
        • 2.Sg3#
        • 2.Qb1#
        • 2.Qf3#
      • 1...Sfe7
        • 2.Sg3#
        • 2.Qb1#
        • 2.Qf3#
      • 1...Sg7
        • 2.Sg3#
        • 2.Qb1#
        • 2.Qf3#
      • 1...Sb4!
    • 1.Rg7?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sxg7
        • 2.Sg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Rh7?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Rc8?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
    • 1.Qf2?
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Sxc7
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#
      • 1...Sb4!
  • Keys
    • 1.Rac4!
      • 1...Sg3+
        • 2.Sxg3#
      • 1...Kd3
        • 2.Rxd4#
      • 1...Sxc7
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sde3
        • 2.Sc3#
      • 1...Sb4
        • 2.Sc3#
      • 1...Sf4
        • 2.Sc3#
      • 1...Sb6
        • 2.Sc3#
      • 1...Sf6
        • 2.Sc3#
      • 1...Sde7
        • 2.Sc3#
      • 1...Sfe3
        • 2.Sg3#
      • 1...Sh4
        • 2.Sg3#
      • 1...Sd6
        • 2.Sg3#
      • 1...Sh6
        • 2.Sg3#
      • 1...Sfe7
        • 2.Sg3#
      • 1...Sg7
        • 2.Sg3#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • S(c);N_GUARD::S(C),XS(c)
    • S(c);N_GUARD::S(C)
    • S(c);N_GUARD,XR(G)::S(C)
    • S(e);N_GUARD::S(C)
    • S(e);CHECK,N_GUARD::S(C),XS(e)
  • Tries
    • Try
      • K(B);P-FLIGHT
      • Vars
        • S(c);N_GUARD,XR(G)::S(C)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
        • S(e);N_GUARD::S(C),XS(e)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • K(B);P-FLIGHT
      • Vars
        • S(c);N_GUARD,XR(G)::S(C)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
        • S(e);N_GUARD::S(C),XS(e)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • S(C);
      • Threat
        • DUALS(4)
      • Vars
        • S(c);XR(G)::QAB1(A)
        • S(c);::QAB1(A)
        • S(c);N_SPINP(a)::QAB1(A)
      • Refutation
        • S(e);CHECK
    • Try
      • B(F);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD,XR(G)::S(C)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • B(F);P_PINS(c)
      • Threat
        • S(C)
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
      • Refutation
        • K(b);N_SPINP(a),N_SPINS(c),S_FLIGHT
    • Try
      • R(E);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD,XR(G)::S(C)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a),XR(E)
    • Try
      • R(E);CHECK,XP(a)
      • Vars
        • S(e);SBLOCK,XR(E)::S(C)
      • Refutation
        • P(d);XR(E)
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • R(G);
      • Threat
        • DUALS(3)
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);XR(G)::S(C),XS(c)
        • S(c);N_SPINP(a)::QAB1(A)
        • S(c);::QAB1(A)
      • Refutation
        • S(c);
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • K(b);N_SPINP(a),S_FLIGHT
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD,XR(G)::S(C)
        • S(e);N_GUARD,XR(G)::S(C)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a),P_SPINP(d)
    • Try
      • R(G);
      • Threat
        • QAB1(A),XS(e)
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(e);N_GUARD,XR(G)::S(C)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • R(G);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
    • Try
      • Q(A);
      • Vars
        • S(e);CHECK,N_GUARD::S(C),XS(e)
        • S(c);N_GUARD,XR(G)::S(C)
        • S(c);N_GUARD::S(C),XS(c)
        • S(c);N_GUARD::S(C)
        • S(e);N_GUARD::S(C)
      • Refutation
        • S(c);N_SPINP(a)
  • Actual
    • R(E);
    • Vars
      • S(e);CHECK,N_GUARD::S(C),XS(e)
      • K(b);N_SPINP(a),S_FLIGHT::B(F)+R(E),DCHECK,XP(a)
      • S(c);N_GUARD,XR(G)::S(C)
      • S(c);N_GUARD::S(C),XS(c)
      • S(c);N_GUARD::S(C)
      • S(e);N_GUARD::S(C)


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