所与：G2(6) G3(9) H3(8) E:GG,HHゆえにH2H3::E2(7)、またG2G3:E3(10) D:GHゆえにG3H3::D3(11) C:EH,DEゆえにD3E1::C1(10) next; A B C D E F G H E3 10 D3 11 E2 7 G3 9 H3 8 C1 10 D2 8 E1 4 G2 6 H2 5 D1 3 G1 3 H1 2

所与：G1(3) H1(2) H2(5) E:GG,HHゆえにH1H2::E1(4) D:GHゆえにG1H1::D1(3)、またG1H2::D2(8) C:EH,DEゆえにE1H1::C1(10) next; Dを用いてD1H2::G2(6)、またD2H2::G3(9)、D2G1::H3(10) これらから、E: G1G2::E2(7) G2G3::E3(10) D: G3H3::D3(11) C: D3E3::C2…

所与：G2(6) G3(9) H3(8) E:GG,HHゆえにH2H3::E2(7)、またG2G3:E3(10) D:GHゆえにG3H3::D3(11) C:EH,DEゆえにD3E1::C1(10) next; A B C D E F G H E3 10 D3 11 E2 7 G3 9 H3 8 C1 10 D2 8 E1 4 G2 6 H2 5 D1 3 G1 3 H1 2

所与：G1(3) H1(2) H2(5) E:GG,HHゆえにH1H2::E1(4) D:GHゆえにG1H1::D1(3)、またG1H2::D2(8) C:EH,DEゆえにE1H1::C1(10) next; A B C D E F G H C1 10 D2 8 E1 4 H2 5 D1 3 G1 3 H1 2

A B C D E F G H A4 48 B6 42 C8 39 D9 34 E8 27 F7 37 G9 32 H9 29 A3 45 B5 37 C7 35 D8 30 E7 23 F6 31 G8 28 H8 25 A2 41 B4 34 C6 32 D7 27 E6 18 F5 28 G7 24 H7 22 A1 38 B3 31 C5 27 D6 23 E5 15 F4 24 G6 20 H6 19 B2 27 C4 21 D5 19 E4 13 F3 19 G…