Problem Display
PID: 64602 (K1RB4/p4P2/2N3p1/1kNR2P1/1pn5/1p2p3/4B3/q7 w - - 0 1)

Rice, William Bayard

2nd HM., Good Companions (April), 1915

K1RB4/p4P2/2N3p1/1kNR2P1/1pn5/1p2p3/4B3/q7

#2

9 + 8


3132 The Good Companion Two-Mover 1922

SOLUTION


  • SOUND
  • Sets
    • 1...Qb2
      • 2.Sxa7#
    • 1...Qc3
      • 2.Sxa7#
    • 1...Qd4
      • 2.Sxd4#
      • 2.Sxa7#
    • 1...Qe5
      • 2.Sxa7#
    • 1...Qf6
      • 2.Sxa7#
    • 1...Qg7
      • 2.Sxa7#
    • 1...Qh8
      • 2.Sxa7#
    • 1...Qb1
      • 2.Sd4#
      • 2.Sxa7#
    • 1...Qc1
      • 2.Sd4#
      • 2.Sxa7#
    • 1...Qd1
      • 2.Sxa7#
    • 1...Qe1
      • 2.Sd4#
      • 2.Sxa7#
    • 1...Qf1
      • 2.Sd4#
      • 2.Sxa7#
    • 1...Qg1
      • 2.Sd4#
      • 2.Sxa7#
    • 1...Qh1
      • 2.Sd4#
      • 2.Sxa7#
    • 1...Qa2
      • 2.Sd4#
    • 1...Qa3
      • 2.Sd4#
    • 1...Qa4
      • 2.Sd4#
    • 1...Qa5
      • 2.Sd4#
    • 1...Qa6
      • 2.Sd4#
    • 1...b2
      • 2.Sd4#
    • 1...a5
      • 2.Sa7#
    • 1...a6
      • 2.Sa7#
  • Tries
    • 1.Kb7?
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qe5
        • 2.Sxa7#
      • 1...Qf6
        • 2.Sxa7#
      • 1...Qg7
        • 2.Sxa7#
      • 1...Qh8
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qd1
        • 2.Sxa7#
      • 1...Qe1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qf1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qg1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qh1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sxb3#
        • 2.Sd3#
        • 2.Se4#
        • 2.Sa6#
        • 2.Se6#
        • 2.Sd7#
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#
      • 1...Qa6+!
    • 1.Kb8?
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qf6
        • 2.Sxa7#
      • 1...Qg7
        • 2.Sxa7#
      • 1...Qh8
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qd1
        • 2.Sxa7#
      • 1...Qe1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qf1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qg1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qh1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qa6
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#
      • 1...Qe5+!
    • 1.Sxb3+?
      • 1...Ka6
        • 2.Sxb4#
        • 2.Sb8#
        • 2.Bxc4#
      • 1...Ka4!
    • 1.Sd3+?
      • 1...Ka6
        • 2.Sdxb4#
        • 2.Scxb4#
        • 2.Sb8#
      • 1...Ka4!
    • 1.Sa4+?
      • 1...Ka6
        • 2.Sxb4#
        • 2.Sb8#
        • 2.Bxc4#
        • 2.Ra5#
      • 1...Kxa4!
    • 1.Se4+?
      • 1...Ka6
        • 2.Sxb4#
        • 2.Sb8#
        • 2.Bxc4#
      • 1...Ka4!
    • 1.Sa6+?
      • 1...Kxa6
        • 2.Sxb4#
        • 2.Sb8#
        • 2.Bxc4#
      • 1...Ka4!
    • 1.Se6+?
      • 1...Ka6
        • 2.Sxb4#
        • 2.Sb8#
        • 2.Bxc4#
      • 1...Ka4!
    • 1.Sb7+?
      • 1...Ka6
        • 2.Sxb4#
        • 2.Sb8#
        • 2.Bxc4#
      • 1...Ka4!
    • 1.Sd7+?
      • 1...Ka6
        • 2.Sxb4#
        • 2.Scb8#
        • 2.Sdb8#
        • 2.Bxc4#
      • 1...Ka4!
    • 1.Sa5?
      • threat
        • 2.Bxc4#
        • 2.Rb8#
      • 1...Qc3
        • 2.Rb8#
      • 1...Qd4
        • 2.Rb8#
      • 1...Qe5
        • 2.Bxc4#
      • 1...Qf6
        • 2.Bxc4#
      • 1...Qc1
        • 2.Rb8#
      • 1...Qf1
        • 2.Rb8#
      • 1...Qxa5!
    • 1.Se5?
      • threat
        • 2.Bxc4#
        • 2.Rb8#
      • 1...Qc3
        • 2.Rb8#
      • 1...Qd4
        • 2.Rb8#
      • 1...Qc1
        • 2.Rb8#
      • 1...Qf1
        • 2.Rb8#
      • 1...Qa5
        • 2.Bxc4#
      • 1...Qa6
        • 2.Bxc4#
      • 1...Qxe5!
    • 1.Bf1?
      • 1...Qxf1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qe5
        • 2.Sxa7#
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qf6
        • 2.Sxa7#
      • 1...Qg7
        • 2.Sxa7#
      • 1...Qh8
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qd1
        • 2.Sxa7#
      • 1...Qe1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qa6
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#
      • 1...e2!
    • 1.Bd3?
      • 1...Qe5
        • 2.Sxa7#
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qf6
        • 2.Sxa7#
      • 1...Qg7
        • 2.Sxa7#
      • 1...Qh8
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qd1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qe1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qf1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qg1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qh1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qa6
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#
      • 1...e2!
    • 1.Bc7?
      • 1...Qe5
        • 2.Sxa7#
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qf6
        • 2.Sxa7#
      • 1...Qg7
        • 2.Sxa7#
      • 1...Qh8
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qd1
        • 2.Sxa7#
      • 1...Qe1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qf1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qg1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qh1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qa6
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#
      • 1...Kxc6!
    • 1.Re5?
      • 1...Qxe5
        • 2.Sxa7#
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qd1
        • 2.Sxa7#
      • 1...Qe1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qf1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qg1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qa6
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#
      • 1...Qh1!
    • 1.Rd7?
      • 1...Kxc5
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qe5
        • 2.Sxa7#
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qf6
        • 2.Sxa7#
      • 1...Qg7
        • 2.Sxa7#
      • 1...Qh8
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qd1
        • 2.Sxa7#
      • 1...Qe1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qf1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qg1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qa6
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#
      • 1...Qh1!
    • 1.f8Q?
      • 1...Qh1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qe5
        • 2.Sxa7#
      • 1...Qf6
        • 2.Sxa7#
      • 1...Qh8
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qd1
        • 2.Sxa7#
      • 1...Qe1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qf1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qg1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qa6
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#
      • 1...Qg7!
    • 1.f8S?
      • 1...Qh1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qe5
        • 2.Sxa7#
      • 1...Qf6
        • 2.Sxa7#
      • 1...Qh8
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qd1
        • 2.Sxa7#
      • 1...Qe1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qf1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qg1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qa6
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#
      • 1...Qg7!
    • 1.f8B?
      • 1...Qh1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qe5
        • 2.Sxa7#
      • 1...Qf6
        • 2.Sxa7#
      • 1...Qh8
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qd1
        • 2.Sxa7#
      • 1...Qe1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qf1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qg1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qa6
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#
      • 1...Qg7!
    • 1.f8R?
      • 1...Qh1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qe5
        • 2.Sxa7#
      • 1...Qf6
        • 2.Sxa7#
      • 1...Qh8
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qd1
        • 2.Sxa7#
      • 1...Qe1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qf1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qg1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qa6
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#
      • 1...Qg7!
  • Keys
    • 1.Rd1!
      • 1...Kxc5
        • 2.Sxa7#
      • 1...Qxd1
        • 2.Sxa7#
      • 1...Qe5
        • 2.Sxa7#
      • 1...Qb2
        • 2.Sxa7#
      • 1...Qc3
        • 2.Sxa7#
      • 1...Qd4
        • 2.Sxd4#
        • 2.Sxa7#
      • 1...Qf6
        • 2.Sxa7#
      • 1...Qg7
        • 2.Sxa7#
      • 1...Qh8
        • 2.Sxa7#
      • 1...Qb1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qc1
        • 2.Sd4#
        • 2.Sxa7#
      • 1...Qa2
        • 2.Sd4#
      • 1...Qa3
        • 2.Sd4#
      • 1...Qa4
        • 2.Sd4#
      • 1...Qa5
        • 2.Sd4#
      • 1...Qa6
        • 2.Sd4#
      • 1...b2
        • 2.Sd4#
      • 1...a5
        • 2.Sa7#
      • 1...a6
        • 2.Sa7#

FEATURES


  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • Q(a);N_GUARD::S(E),XP(h)
    • Q(a);N_GUARD::S(E)
    • P(b);S_CUTQ(a)::S(E)
    • P(h);S_CUTQ(a)::S(E)
  • Tries
    • Try
      • K(G);S_FLIGHT
      • Vars
        • Q(a);N_GUARD::S(E),XP(h)
        • Q(a);N_GUARD,P_PINP(F)::S(E),XP(h)
        • Q(a);N_GUARD::S(E)
        • P(b);S_CUTQ(a)::S(E)
        • P(h);S_CUTQ(a)::S(E)
      • Refutation
        • Q(a);CHECK
    • Try
      • K(G);P-FLIGHT
      • Vars
        • Q(a);N_GUARD::S(E),XP(h)
        • Q(a);N_GUARD::S(E)
        • P(b);S_CUTQ(a)::S(E)
        • P(h);S_CUTQ(a)::S(E)
      • Refutation
        • Q(a);CHECK
    • Try
      • S(B);CHECK,XP(b)
      • Refutation
        • K(f);N_SPINS(e),S_FLIGHT
    • Try
      • S(B);CHECK,N_PINS(e)
      • Refutation
        • K(f);S_FLIGHT
    • Try
      • S(B);CHECK
      • Refutation
        • K(f);N_SPINS(e),S_FLIGHT,XS(B)
    • Try
      • S(B);CHECK
      • Refutation
        • K(f);N_SPINS(e),S_FLIGHT
    • Try
      • S(B);CHECK
      • Refutation
        • K(f);N_SPINS(e),S_FLIGHT
    • Try
      • S(B);CHECK
      • Refutation
        • K(f);N_SPINS(e),S_FLIGHT
    • Try
      • S(B);CHECK
      • Refutation
        • K(f);N_SPINS(e),S_FLIGHT
    • Try
      • S(B);CHECK
      • Refutation
        • K(f);N_SPINS(e),S_FLIGHT
    • Try
      • S(E);
      • Threat
        • DUALS(2)
      • Vars
        • Q(a);::R(H)
        • Q(a);::B(A),XS(e)
      • Refutation
        • Q(a);XS(E)
    • Try
      • S(E);
      • Threat
        • DUALS(2)
      • Vars
        • Q(a);::R(H)
        • Q(a);::B(A),XS(e)
      • Refutation
        • Q(a);XS(E)
    • Try
      • B(A);
      • Vars
        • Q(a);N_GUARD::S(E),XP(h)
        • Q(a);N_GUARD::S(E)
        • P(b);S_CUTQ(a)::S(E)
        • P(h);S_CUTQ(a)::S(E)
      • Refutation
        • P(c);N_SPINS(e)
    • Try
      • B(A);
      • Vars
        • Q(a);N_GUARD::S(E),XP(h)
        • Q(a);N_GUARD::S(E)
        • P(b);S_CUTQ(a)::S(E)
        • P(h);S_CUTQ(a)::S(E)
      • Refutation
        • P(c);
    • Try
      • B(I);
      • Vars
        • Q(a);N_GUARD::S(E),XP(h)
        • Q(a);N_GUARD,P_PINR(H)::S(E),XP(h)
        • Q(a);N_GUARD::S(E)
        • P(b);S_CUTQ(a)::S(E)
        • P(h);S_CUTQ(a)::S(E)
      • Refutation
        • K(f);N_SPINS(e),S_FLIGHT,XS(E)
    • Try
      • R(C);
      • Vars
        • Q(a);N_GUARD,XR(C)::S(E),XP(h)
        • Q(a);N_GUARD::S(E),XP(h)
        • Q(a);N_GUARD::S(E)
        • P(b);S_CUTQ(a)::S(E)
        • P(h);S_CUTQ(a)::S(E)
      • Refutation
        • Q(a);P_PINS(E)
    • Try
      • R(C);
      • Vars
        • Q(a);N_GUARD::S(E),XP(h)
        • Q(a);N_GUARD::S(E)
        • P(b);S_CUTQ(a)::S(E)
        • P(h);S_CUTQ(a)::S(E)
      • Refutation
        • Q(a);P_PINS(E)
    • Try
      • P(F);
      • Vars
        • Q(a);N_GUARD::S(E),XP(h)
        • Q(a);N_GUARD::S(E)
        • P(b);S_CUTQ(a)::S(E)
        • P(h);S_CUTQ(a)::S(E)
      • Refutation
        • Q(a);
    • Try
      • P(F);
      • Vars
        • Q(a);N_GUARD::S(E),XP(h)
        • Q(a);N_GUARD::S(E)
        • P(b);S_CUTQ(a)::S(E)
        • P(h);S_CUTQ(a)::S(E)
      • Refutation
        • Q(a);
    • Try
      • P(F);
      • Vars
        • Q(a);N_GUARD::S(E),XP(h)
        • Q(a);N_GUARD::S(E)
        • P(b);S_CUTQ(a)::S(E)
        • P(h);S_CUTQ(a)::S(E)
      • Refutation
        • Q(a);
    • Try
      • P(F);
      • Vars
        • Q(a);N_GUARD::S(E),XP(h)
        • Q(a);N_GUARD::S(E)
        • P(b);S_CUTQ(a)::S(E)
        • P(h);S_CUTQ(a)::S(E)
      • Refutation
        • Q(a);
  • Actual
    • R(C);
    • Vars
      • K(f);N_SPINS(e),P-FLIGHT,XS(B)::R(H)+S(E),XP(h)
      • Q(a);N_GUARD,XR(C)::S(E),XP(h)
      • Q(a);N_GUARD::S(E),XP(h)
      • Q(a);N_GUARD::S(E)
      • P(b);S_CUTQ(a)::S(E)
      • P(h);S_CUTQ(a)::S(E)


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