MESON Chess Problem Database

Problem Display
PID: 137427 (8/6p1/2N3P1/1KPNnR2/4kpPB/1pQn3p/1P3p1p/5Bbr w - - 0 1)

Larsson, Lennart

Tidskrift for Schack, 1958

8/6p1/2N3P1/1KPNnR2/4kpPB/1pQn3p/1P3p1p/5Bbr

#2

11 + 11

SOLUTION

  • SOUND
  • Sets
    • 1...Kf3
      • 2.Rxf4#
    • 1...Kxd5
      • 2.Qc4#
    • 1...Sc1
      • 2.Rxe5#
    • 1...Se1
      • 2.Rxe5#
    • 1...Sxb2
      • 2.Rxe5#
    • 1...Sb4
      • 2.Rxe5#
    • 1...Sxc5
      • 2.Rxe5#
    • 1...Sf3
      • 2.Bxd3#
      • 2.Qxd3#
    • 1...Sc4
      • 2.Qxd3#
    • 1...Sxg4
      • 2.Qxd3#
    • 1...Sxc6
      • 2.Qxd3#
    • 1...Sxg6
      • 2.Qxd3#
    • 1...Sd7
      • 2.Qxd3#
    • 1...Sf7
      • 2.Qxd3#
    • 1...f3
      • 2.Qd4#
  • Tries
    • 1.Scb4?
      • 1...Kf3
        • 2.Rxf4#
      • 1...Sxb2
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Sxb4
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...Sc1
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sc6
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...f3!
    • 1.Sa5?
      • 1...Kf3
        • 2.Rxf4#
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxb2
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...Sc1
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sc6
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...f3!
    • 1.Sxe5?
      • threat
        • 2.Qxd3#
        • 2.Qc4#
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxc5
        • 2.Qc4#
      • 1...Sxe5
        • 2.Rxe5#
      • 1...Sc1
        • 2.Qc4#
      • 1...Se1
        • 2.Qc4#
      • 1...Sb4
        • 2.Qc4#
      • 1...Sxb2!
    • 1.Sa7?
      • 1...Kf3
        • 2.Rxf4#
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxb2
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...Sc1
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sc6
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...f3!
    • 1.Sce7?
      • 1...Kf3
        • 2.Rxf4#
      • 1...Sxb2
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...Sc1
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sc6
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...f3!
    • 1.Sb8?
      • 1...Kf3
        • 2.Rxf4#
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxb2
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...Sc1
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sc6
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...f3!
    • 1.Sd8?
      • 1...Kf3
        • 2.Rxf4#
      • 1...Kxd5
        • 2.Qxd3#
        • 2.Qc4#
      • 1...Sxb2
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...Sc1
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sc6
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...f3!
    • 1.Bg2+?
      • 1...Sf3
        • 2.Qd4#
        • 2.Qc4#
      • 1...f3
        • 2.Qd4#
      • 1...hxg2!
    • 1.Bxf2?
      • 1...Kf3
        • 2.Rxf4#
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxb2
        • 2.Rxe5#
      • 1...Sxf2
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxc6
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...f3
        • 2.Qd4#
      • 1...Sc1
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...Bxf2!
    • 1.Bg3?
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxb2
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxc6
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...fxg3
        • 2.Qd4#
      • 1...f3
        • 2.Qd4#
      • 1...Sc1
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...Kf3!
    • 1.Bg5?
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxb2
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxc6
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...f3
        • 2.Qd4#
      • 1...Sc1
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...Kf3!
    • 1.Be7?
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxb2
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxc6
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...f3
        • 2.Qd4#
      • 1...Sc1
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...Kf3!
    • 1.Bd8?
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxb2
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxc6
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...f3
        • 2.Qd4#
      • 1...Sc1
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...Kf3!
    • 1.Rg5?
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxb2
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxc6
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...f3
        • 2.Qd4#
      • 1...Sc1
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...Kf3!
    • 1.Rh5?
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxb2
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxc6
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...f3
        • 2.Qd4#
      • 1...Sc1
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...Kf3!
    • 1.Qxe5+?
      • 1...Kf3
        • 2.Qe2#
      • 1...Sxe5!
    • 1.Qc2?
      • 1...Kf3
        • 2.Qe2#
      • 1...Kxd5
        • 2.Qc4#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxc6
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
        • 2.Qe2#
      • 1...f3
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
        • 2.Qe2#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
        • 2.Qe2#
      • 1...Sf7
        • 2.Qxd3#
        • 2.Qe2#
      • 1...bxc2!
    • 1.Qxb3?
      • 1...Kf3
        • 2.Rxf4#
      • 1...Sxb2
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Sxc5
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxc6
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qxd3#
      • 1...Sc1
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Se1
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Sb4
        • 2.Rxf4#
        • 2.Rxe5#
      • 1...Sf3
        • 2.Bxd3#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qxd3#
      • 1...f3!
  • Keys
    • 1.Qd2!
      • 1...Kf3
        • 2.Qe2#
      • 1...Kxd5
        • 2.Rxe5#
      • 1...Sxb2
        • 2.Rxf4#
      • 1...Sxc5
        • 2.Rxf4#
      • 1...Sxg4
        • 2.Qxd3#
      • 1...Sxc6
        • 2.Qxd3#
      • 1...Sxg6
        • 2.Qe2#
        • 2.Qxd3#
      • 1...f3
        • 2.Sc3#
      • 1...Sc1
        • 2.Rxf4#
      • 1...Se1
        • 2.Rxf4#
      • 1...Sb4
        • 2.Rxf4#
      • 1...Sf3
        • 2.Sc3#
        • 2.Bxd3#
        • 2.Qe2#
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxd3#
      • 1...Sd7
        • 2.Qe2#
        • 2.Qxd3#
      • 1...Sf7
        • 2.Qe2#
        • 2.Qxd3#

This is a version

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 8
    • ADDED MATES = 0
    • REMOVED MATES = 3
  • Sets
    • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT::R1(I),XP(i)
    • K(h);P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
    • S(f);N_GUARD::R1(I),XS(j)
    • S(f);N_GUARD,XP(B)::R1(I),XS(j)
    • S(f);N_GUARD,XP(G)::R1(I),XS(j)
    • S(j);N_GUARD::QAB1(C),XS(f)
    • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
    • S(j);N_GUARD,XS(J)::QAB1(C),XS(f)
    • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
    • P(i);::QAR1(C)
  • Tries
    • Try
      • S(J);
      • Vars
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT::R1(I),XP(i)
        • S(f);N_GUARD,XS(J)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • P(i);
    • Try
      • S(J);
      • Vars
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT::R1(I),XP(i)
        • K(h);P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
        • S(f);N_GUARD,XP(B)::R1(I),XS(j)
        • S(f);N_GUARD,XP(G)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • S(f);N_GUARD::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • P(i);
    • Try
      • S(J);XS(j)
      • Threat
        • DUALS(2)
      • Vars
        • K(h);S_FLIGHT,XS(H)::QAB1(C)
        • S(f);XP(G)::QAR2(C)
        • S(f);OGATE,XS(J)::R1(I),XS(f)
        • S(f);::QAR2(C)
      • Refutation
        • S(f);XP(B)
    • Try
      • S(J);
      • Vars
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT::R1(I),XP(i)
        • K(h);P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
        • S(f);N_GUARD,XP(B)::R1(I),XS(j)
        • S(f);N_GUARD,XP(G)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • S(f);N_GUARD::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • P(i);
    • Try
      • S(J);
      • Vars
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT::R1(I),XP(i)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • P(i);
    • Try
      • S(J);
      • Vars
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT::R1(I),XP(i)
        • K(h);P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
        • S(f);N_GUARD,XP(B)::R1(I),XS(j)
        • S(f);N_GUARD,XP(G)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • S(f);N_GUARD::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • P(i);
    • Try
      • S(J);
      • Vars
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT::R1(I),XP(i)
        • S(f);N_GUARD,XP(B)::R1(I),XS(j)
        • S(f);N_GUARD,XP(G)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • S(f);N_GUARD::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • P(i);
    • Try
      • B(A);CHECK
      • Vars
        • P(i);P_SPINP(i)::QAR1(C)
      • Refutation
        • P(g);XB(A)
    • Try
      • B(E);XP(c)
      • Vars
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT::R1(I),XP(i)
        • K(h);P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
        • S(f);N_GUARD,XP(B)::R1(I),XS(j)
        • S(f);N_GUARD,XB(E)::R1(I),XS(j)
        • S(f);N_GUARD,XP(G)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XS(J)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • P(i);::QAR1(C)
        • S(f);N_GUARD::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • B(a);XB(E)
    • Try
      • B(E);
      • Vars
        • K(h);P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
        • S(f);N_GUARD,XP(B)::R1(I),XS(j)
        • S(f);N_GUARD,XP(G)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XS(J)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • P(i);XB(E)::QAR1(C)
        • P(i);::QAR1(C)
        • S(f);N_GUARD::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT
    • Try
      • B(E);
      • Vars
        • K(h);P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
        • S(f);N_GUARD,XP(B)::R1(I),XS(j)
        • S(f);N_GUARD,XP(G)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XS(J)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • P(i);::QAR1(C)
        • S(f);N_GUARD::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT
    • Try
      • B(E);
      • Vars
        • K(h);P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
        • S(f);N_GUARD,XP(B)::R1(I),XS(j)
        • S(f);N_GUARD,XP(G)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XS(J)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • P(i);::QAR1(C)
        • S(f);N_GUARD::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT
    • Try
      • B(E);
      • Vars
        • K(h);P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
        • S(f);N_GUARD,XP(B)::R1(I),XS(j)
        • S(f);N_GUARD,XP(G)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XS(J)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • P(i);::QAR1(C)
        • S(f);N_GUARD::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT
    • Try
      • R(I);
      • Vars
        • K(h);P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
        • S(f);N_GUARD,XP(B)::R1(I),XS(j)
        • S(f);N_GUARD,XP(G)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XS(J)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • P(i);SBLOCK::QAR1(C)
        • S(f);N_GUARD::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • K(h);P_SPINS(f),S_FLIGHT
    • Try
      • R(I);
      • Vars
        • K(h);P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
        • S(f);N_GUARD,XP(B)::R1(I),XS(j)
        • S(f);N_GUARD,XP(G)::R1(I),XS(j)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XS(J)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • P(i);SBLOCK::QAR1(C)
        • S(f);N_GUARD::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • K(h);P_SPINS(f),S_FLIGHT
    • Try
      • Q(C);CHECK,XS(j)
      • Vars
        • K(h);OGATE,P_SPINP(i),S_FLIGHT::QAB1(C)
      • Refutation
        • S(f);XQ(C)
    • Try
      • Q(C);P_PINS(f)
      • Vars
        • K(h);N_SPINS(f),P_SPINP(i),S_FLIGHT::QAB1(C)
        • K(h);N_SPINS(f),P_SPINS(j),S_FLIGHT,XS(H)::QAB1(C)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XS(J)::QAB1(C),XS(f)
        • P(i);SBLOCK::R1(I),XS(j)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • P(e);N_SPINS(f),XQ(C)
    • Try
      • Q(C);XP(e)
      • Vars
        • K(h);P_SPINP(i),P_SPINS(f),S_FLIGHT::R1(I),XP(i)
        • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
        • S(j);N_GUARD,XS(J)::QAB1(C),XS(f)
        • S(j);N_GUARD,XP(K)::QAB1(C),XS(f)
        • S(j);N_GUARD::QAB1(C),XS(f)
      • Refutation
        • P(i);
  • Actual
    • Q(C);
    • Vars
      • K(h);P_SPINP(i),S_FLIGHT::QAB1(C)
      • K(h);P_SPINS(f),S_FLIGHT,XS(H)::R1(I),XS(j)
      • S(f);N_GUARD,XP(B)::R1(I),XP(i)
      • S(f);N_GUARD,XP(G)::R1(I),XP(i)
      • S(j);N_GUARD,XP(D)::QAB1(C),XS(f)
      • S(j);N_GUARD,XS(J)::QAB1(C),XS(f)
      • P(i);::S(H)
      • S(f);N_GUARD::R1(I),XP(i)
      • S(j);N_GUARD::QAB1(C),XS(f)
HTML5 logo

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