昨日の問題の解答



今日の問題に戻る

% Fig. 1


% Starting Sudoku Solving 
 
% Fig. 2


% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : A1 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : A3 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : A4 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : A5 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : A6 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : A7 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : A8 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : A9 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,9]

<1>, N-koku, 1, A2, 8, row

% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : B1 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : B2 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : B3 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : B4 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : B5 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : B6 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : B9 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]

<2>, N-koku, 1, B7, 5, row

% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : B1 = [1,2,3,4,6,7,8,9] -> [1,2,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : B2 = [1,2,3,4,6,7,8,9] -> [1,2,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : B3 = [1,2,3,4,6,7,8,9] -> [1,2,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : B4 = [1,2,3,4,6,7,8,9] -> [1,2,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : B5 = [1,2,3,4,6,7,8,9] -> [1,2,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : B6 = [1,2,3,4,6,7,8,9] -> [1,2,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : B9 = [1,2,3,4,6,7,8,9] -> [1,2,3,4,7,8,9]

<3>, N-koku, 1, B8, 6, row

% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : C4 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : C5 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : C7 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : C8 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : C9 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,6,7,8]

<4>, N-koku, 1, C1, 9, row

% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : C4 = [1,2,3,4,5,6,7,8] -> [2,3,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : C5 = [1,2,3,4,5,6,7,8] -> [2,3,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : C7 = [1,2,3,4,5,6,7,8] -> [2,3,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : C8 = [1,2,3,4,5,6,7,8] -> [2,3,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : C9 = [1,2,3,4,5,6,7,8] -> [2,3,4,5,6,7,8]

<5>, N-koku, 1, C2, 1, row

% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : C4 = [2,3,4,5,6,7,8] -> [2,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : C5 = [2,3,4,5,6,7,8] -> [2,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : C7 = [2,3,4,5,6,7,8] -> [2,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : C8 = [2,3,4,5,6,7,8] -> [2,4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : C9 = [2,3,4,5,6,7,8] -> [2,4,5,6,7,8]

<6>, N-koku, 1, C3, 3, row

% Step0: 1-Koku-domei(1国同盟) ; [C6] = [2] : C4 = [2,4,5,6,7,8] -> [4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C6] = [2] : C5 = [2,4,5,6,7,8] -> [4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C6] = [2] : C7 = [2,4,5,6,7,8] -> [4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C6] = [2] : C8 = [2,4,5,6,7,8] -> [4,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C6] = [2] : C9 = [2,4,5,6,7,8] -> [4,5,6,7,8]

<7>, N-koku, 1, C6, 2, row

% Step0: 1-Koku-domei(1国同盟) ; [D1] = [2] : D2 = [1,2,3,4,5,6,7,8,9] -> [1,3,4,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D1] = [2] : D3 = [1,2,3,4,5,6,7,8,9] -> [1,3,4,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D1] = [2] : D4 = [1,2,3,4,5,6,7,8,9] -> [1,3,4,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D1] = [2] : D8 = [1,2,3,4,5,6,7,8,9] -> [1,3,4,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D1] = [2] : D9 = [1,2,3,4,5,6,7,8,9] -> [1,3,4,5,6,7,8,9]

<8>, N-koku, 1, D1, 2, row

% Step0: 1-Koku-domei(1国同盟) ; [D5] = [5] : D2 = [1,3,4,5,6,7,8,9] -> [1,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D5] = [5] : D3 = [1,3,4,5,6,7,8,9] -> [1,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D5] = [5] : D4 = [1,3,4,5,6,7,8,9] -> [1,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D5] = [5] : D8 = [1,3,4,5,6,7,8,9] -> [1,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D5] = [5] : D9 = [1,3,4,5,6,7,8,9] -> [1,3,4,6,7,8,9]

<9>, N-koku, 1, D5, 5, row

% Step0: 1-Koku-domei(1国同盟) ; [D6] = [6] : D2 = [1,3,4,6,7,8,9] -> [1,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D6] = [6] : D3 = [1,3,4,6,7,8,9] -> [1,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D6] = [6] : D4 = [1,3,4,6,7,8,9] -> [1,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D6] = [6] : D8 = [1,3,4,6,7,8,9] -> [1,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D6] = [6] : D9 = [1,3,4,6,7,8,9] -> [1,3,4,7,8,9]

<10>, N-koku, 1, D6, 6, row

% Step0: 1-Koku-domei(1国同盟) ; [D7] = [8] : D2 = [1,3,4,7,8,9] -> [1,3,4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [D7] = [8] : D3 = [1,3,4,7,8,9] -> [1,3,4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [D7] = [8] : D4 = [1,3,4,7,8,9] -> [1,3,4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [D7] = [8] : D8 = [1,3,4,7,8,9] -> [1,3,4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [D7] = [8] : D9 = [1,3,4,7,8,9] -> [1,3,4,7,9]

<11>, N-koku, 1, D7, 8, row

% Step0: 1-Koku-domei(1国同盟) ; [E2] = [6] : E1 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [E2] = [6] : E3 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [E2] = [6] : E5 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [E2] = [6] : E7 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [E2] = [6] : E9 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,5,7,8,9]

<12>, N-koku, 1, E2, 6, row

% Step0: 1-Koku-domei(1国同盟) ; [E4] = [9] : E1 = [1,2,3,4,5,7,8,9] -> [1,2,3,4,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E4] = [9] : E3 = [1,2,3,4,5,7,8,9] -> [1,2,3,4,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E4] = [9] : E5 = [1,2,3,4,5,7,8,9] -> [1,2,3,4,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E4] = [9] : E7 = [1,2,3,4,5,7,8,9] -> [1,2,3,4,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E4] = [9] : E9 = [1,2,3,4,5,7,8,9] -> [1,2,3,4,5,7,8]

<13>, N-koku, 1, E4, 9, row

% Step0: 1-Koku-domei(1国同盟) ; [E6] = [4] : E1 = [1,2,3,4,5,7,8] -> [1,2,3,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E6] = [4] : E3 = [1,2,3,4,5,7,8] -> [1,2,3,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E6] = [4] : E5 = [1,2,3,4,5,7,8] -> [1,2,3,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E6] = [4] : E7 = [1,2,3,4,5,7,8] -> [1,2,3,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E6] = [4] : E9 = [1,2,3,4,5,7,8] -> [1,2,3,5,7,8]

<14>, N-koku, 1, E6, 4, row

% Step0: 1-Koku-domei(1国同盟) ; [E8] = [3] : E1 = [1,2,3,5,7,8] -> [1,2,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E8] = [3] : E3 = [1,2,3,5,7,8] -> [1,2,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E8] = [3] : E5 = [1,2,3,5,7,8] -> [1,2,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E8] = [3] : E7 = [1,2,3,5,7,8] -> [1,2,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E8] = [3] : E9 = [1,2,3,5,7,8] -> [1,2,5,7,8]

<15>, N-koku, 1, E8, 3, row

% Step0: 1-Koku-domei(1国同盟) ; [F3] = [5] : F1 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F3] = [5] : F2 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F3] = [5] : F6 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F3] = [5] : F7 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F3] = [5] : F8 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,4,6,7,8,9]

<16>, N-koku, 1, F3, 5, row

% Step0: 1-Koku-domei(1国同盟) ; [F4] = [2] : F1 = [1,2,3,4,6,7,8,9] -> [1,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F4] = [2] : F2 = [1,2,3,4,6,7,8,9] -> [1,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F4] = [2] : F6 = [1,2,3,4,6,7,8,9] -> [1,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F4] = [2] : F7 = [1,2,3,4,6,7,8,9] -> [1,3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F4] = [2] : F8 = [1,2,3,4,6,7,8,9] -> [1,3,4,6,7,8,9]

<17>, N-koku, 1, F4, 2, row

% Step0: 1-Koku-domei(1国同盟) ; [F5] = [1] : F1 = [1,3,4,6,7,8,9] -> [3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F5] = [1] : F2 = [1,3,4,6,7,8,9] -> [3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F5] = [1] : F6 = [1,3,4,6,7,8,9] -> [3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F5] = [1] : F7 = [1,3,4,6,7,8,9] -> [3,4,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F5] = [1] : F8 = [1,3,4,6,7,8,9] -> [3,4,6,7,8,9]

<18>, N-koku, 1, F5, 1, row

% Step0: 1-Koku-domei(1国同盟) ; [F9] = [9] : F1 = [3,4,6,7,8,9] -> [3,4,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [F9] = [9] : F2 = [3,4,6,7,8,9] -> [3,4,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [F9] = [9] : F6 = [3,4,6,7,8,9] -> [3,4,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [F9] = [9] : F7 = [3,4,6,7,8,9] -> [3,4,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [F9] = [9] : F8 = [3,4,6,7,8,9] -> [3,4,6,7,8]

<19>, N-koku, 1, F9, 9, row

% Step0: 1-Koku-domei(1国同盟) ; [G4] = [4] : G1 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G4] = [4] : G2 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G4] = [4] : G3 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G4] = [4] : G5 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G4] = [4] : G6 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]

<20>, N-koku, 1, G4, 4, row

% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : G1 = [1,2,3,5,6,7,8,9] -> [2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : G2 = [1,2,3,5,6,7,8,9] -> [2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : G3 = [1,2,3,5,6,7,8,9] -> [2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : G5 = [1,2,3,5,6,7,8,9] -> [2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : G6 = [1,2,3,5,6,7,8,9] -> [2,3,5,6,7,8,9]

<21>, N-koku, 1, G7, 1, row

% Step0: 1-Koku-domei(1国同盟) ; [G8] = [2] : G1 = [2,3,5,6,7,8,9] -> [3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G8] = [2] : G2 = [2,3,5,6,7,8,9] -> [3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G8] = [2] : G3 = [2,3,5,6,7,8,9] -> [3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G8] = [2] : G5 = [2,3,5,6,7,8,9] -> [3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G8] = [2] : G6 = [2,3,5,6,7,8,9] -> [3,5,6,7,8,9]

<22>, N-koku, 1, G8, 2, row

% Step0: 1-Koku-domei(1国同盟) ; [G9] = [8] : G1 = [3,5,6,7,8,9] -> [3,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [G9] = [8] : G2 = [3,5,6,7,8,9] -> [3,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [G9] = [8] : G3 = [3,5,6,7,8,9] -> [3,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [G9] = [8] : G5 = [3,5,6,7,8,9] -> [3,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [G9] = [8] : G6 = [3,5,6,7,8,9] -> [3,5,6,7,9]

<23>, N-koku, 1, G9, 8, row

% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : H1 = [1,2,3,4,5,6,7,8,9] -> [1,2,4,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : H4 = [1,2,3,4,5,6,7,8,9] -> [1,2,4,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : H5 = [1,2,3,4,5,6,7,8,9] -> [1,2,4,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : H6 = [1,2,3,4,5,6,7,8,9] -> [1,2,4,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : H7 = [1,2,3,4,5,6,7,8,9] -> [1,2,4,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : H8 = [1,2,3,4,5,6,7,8,9] -> [1,2,4,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : H9 = [1,2,3,4,5,6,7,8,9] -> [1,2,4,5,6,7,8,9]

<24>, N-koku, 1, H2, 3, row

% Step0: 1-Koku-domei(1国同盟) ; [H3] = [4] : H1 = [1,2,4,5,6,7,8,9] -> [1,2,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H3] = [4] : H4 = [1,2,4,5,6,7,8,9] -> [1,2,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H3] = [4] : H5 = [1,2,4,5,6,7,8,9] -> [1,2,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H3] = [4] : H6 = [1,2,4,5,6,7,8,9] -> [1,2,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H3] = [4] : H7 = [1,2,4,5,6,7,8,9] -> [1,2,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H3] = [4] : H8 = [1,2,4,5,6,7,8,9] -> [1,2,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H3] = [4] : H9 = [1,2,4,5,6,7,8,9] -> [1,2,5,6,7,8,9]

<25>, N-koku, 1, H3, 4, row

% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : I1 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : I2 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : I3 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : I4 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : I5 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : I6 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : I7 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : I9 = [1,2,3,4,5,6,7,8,9] -> [1,2,3,5,6,7,8,9]

<26>, N-koku, 1, I8, 4, row

% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : A1 = [1,2,3,4,5,6,7,9] -> [1,2,3,4,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : B1 = [1,2,3,4,7,8,9] -> [1,2,3,4,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : G1 = [3,5,6,7,9] -> [3,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : H1 = [1,2,5,6,7,8,9] -> [1,2,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : I1 = [1,2,3,5,6,7,8,9] -> [1,2,3,5,6,7,8]

<27>, N-koku, 1, C1, 9, column

% Step0: 1-Koku-domei(1国同盟) ; [D1] = [2] : A1 = [1,2,3,4,5,6,7] -> [1,3,4,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [D1] = [2] : B1 = [1,2,3,4,7,8] -> [1,3,4,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [D1] = [2] : E1 = [1,2,5,7,8] -> [1,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [D1] = [2] : H1 = [1,2,5,6,7,8] -> [1,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [D1] = [2] : I1 = [1,2,3,5,6,7,8] -> [1,3,5,6,7,8]

<28>, N-koku, 1, D1, 2, column

% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : B2 = [1,2,3,4,7,8,9] -> [1,2,3,4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : F2 = [3,4,6,7,8] -> [3,4,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : I2 = [1,2,3,5,6,7,8,9] -> [1,2,3,5,6,7,9]

<29>, N-koku, 1, A2, 8, column

% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : B2 = [1,2,3,4,7,9] -> [2,3,4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : D2 = [1,3,4,7,9] -> [3,4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : I2 = [1,2,3,5,6,7,9] -> [2,3,5,6,7,9]

<30>, N-koku, 1, C2, 1, column

% Step0: 1-Koku-domei(1国同盟) ; [E2] = [6] : F2 = [3,4,6,7] -> [3,4,7]
% Step0: 1-Koku-domei(1国同盟) ; [E2] = [6] : G2 = [3,5,6,7,9] -> [3,5,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [E2] = [6] : I2 = [2,3,5,6,7,9] -> [2,3,5,7,9]

<31>, N-koku, 1, E2, 6, column

% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : B2 = [2,3,4,7,9] -> [2,4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : D2 = [3,4,7,9] -> [4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : F2 = [3,4,7] -> [4,7]
% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : G2 = [3,5,7,9] -> [5,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : I2 = [2,3,5,7,9] -> [2,5,7,9]

<32>, N-koku, 1, H2, 3, column

% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : A3 = [1,2,3,4,5,6,7,9] -> [1,2,4,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : B3 = [1,2,3,4,7,8,9] -> [1,2,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : D3 = [1,3,4,7,9] -> [1,4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : G3 = [3,5,6,7,9] -> [5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : I3 = [1,2,3,5,6,7,8,9] -> [1,2,5,6,7,8,9]

<33>, N-koku, 1, C3, 3, column

% Step0: 1-Koku-domei(1国同盟) ; [F3] = [5] : A3 = [1,2,4,5,6,7,9] -> [1,2,4,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [F3] = [5] : E3 = [1,2,5,7,8] -> [1,2,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [F3] = [5] : G3 = [5,6,7,9] -> [6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [F3] = [5] : I3 = [1,2,5,6,7,8,9] -> [1,2,6,7,8,9]

<34>, N-koku, 1, F3, 5, column

% Step0: 1-Koku-domei(1国同盟) ; [H3] = [4] : A3 = [1,2,4,6,7,9] -> [1,2,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [H3] = [4] : B3 = [1,2,4,7,8,9] -> [1,2,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [H3] = [4] : D3 = [1,4,7,9] -> [1,7,9]

<35>, N-koku, 1, H3, 4, column

% Step0: 1-Koku-domei(1国同盟) ; [E4] = [9] : A4 = [1,2,3,4,5,6,7,9] -> [1,2,3,4,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [E4] = [9] : B4 = [1,2,3,4,7,8,9] -> [1,2,3,4,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E4] = [9] : D4 = [1,3,4,7,9] -> [1,3,4,7]
% Step0: 1-Koku-domei(1国同盟) ; [E4] = [9] : H4 = [1,2,5,6,7,8,9] -> [1,2,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [E4] = [9] : I4 = [1,2,3,5,6,7,8,9] -> [1,2,3,5,6,7,8]

<36>, N-koku, 1, E4, 9, column

% Step0: 1-Koku-domei(1国同盟) ; [F4] = [2] : A4 = [1,2,3,4,5,6,7] -> [1,3,4,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [F4] = [2] : B4 = [1,2,3,4,7,8] -> [1,3,4,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [F4] = [2] : H4 = [1,2,5,6,7,8] -> [1,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [F4] = [2] : I4 = [1,2,3,5,6,7,8] -> [1,3,5,6,7,8]

<37>, N-koku, 1, F4, 2, column

% Step0: 1-Koku-domei(1国同盟) ; [G4] = [4] : A4 = [1,3,4,5,6,7] -> [1,3,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [G4] = [4] : B4 = [1,3,4,7,8] -> [1,3,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [G4] = [4] : C4 = [4,5,6,7,8] -> [5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [G4] = [4] : D4 = [1,3,4,7] -> [1,3,7]

<38>, N-koku, 1, G4, 4, column

% Step0: 1-Koku-domei(1国同盟) ; [D5] = [5] : A5 = [1,2,3,4,5,6,7,9] -> [1,2,3,4,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [D5] = [5] : C5 = [4,5,6,7,8] -> [4,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [D5] = [5] : E5 = [1,2,5,7,8] -> [1,2,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [D5] = [5] : G5 = [3,5,6,7,9] -> [3,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [D5] = [5] : H5 = [1,2,5,6,7,8,9] -> [1,2,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D5] = [5] : I5 = [1,2,3,5,6,7,8,9] -> [1,2,3,6,7,8,9]

<39>, N-koku, 1, D5, 5, column

% Step0: 1-Koku-domei(1国同盟) ; [F5] = [1] : A5 = [1,2,3,4,6,7,9] -> [2,3,4,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [F5] = [1] : B5 = [1,2,3,4,7,8,9] -> [2,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F5] = [1] : E5 = [1,2,7,8] -> [2,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [F5] = [1] : H5 = [1,2,6,7,8,9] -> [2,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [F5] = [1] : I5 = [1,2,3,6,7,8,9] -> [2,3,6,7,8,9]

<40>, N-koku, 1, F5, 1, column

% Step0: 1-Koku-domei(1国同盟) ; [C6] = [2] : A6 = [1,2,3,4,5,6,7,9] -> [1,3,4,5,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [C6] = [2] : B6 = [1,2,3,4,7,8,9] -> [1,3,4,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [C6] = [2] : H6 = [1,2,5,6,7,8,9] -> [1,5,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [C6] = [2] : I6 = [1,2,3,5,6,7,8,9] -> [1,3,5,6,7,8,9]

<41>, N-koku, 1, C6, 2, column

% Step0: 1-Koku-domei(1国同盟) ; [D6] = [6] : A6 = [1,3,4,5,6,7,9] -> [1,3,4,5,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [D6] = [6] : F6 = [3,4,6,7,8] -> [3,4,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [D6] = [6] : G6 = [3,5,6,7,9] -> [3,5,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [D6] = [6] : H6 = [1,5,6,7,8,9] -> [1,5,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [D6] = [6] : I6 = [1,3,5,6,7,8,9] -> [1,3,5,7,8,9]

<42>, N-koku, 1, D6, 6, column

% Step0: 1-Koku-domei(1国同盟) ; [E6] = [4] : A6 = [1,3,4,5,7,9] -> [1,3,5,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [E6] = [4] : B6 = [1,3,4,7,8,9] -> [1,3,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [E6] = [4] : F6 = [3,4,7,8] -> [3,7,8]

<43>, N-koku, 1, E6, 4, column

% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : A7 = [1,2,3,4,5,6,7,9] -> [1,2,3,4,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : C7 = [4,5,6,7,8] -> [4,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : E7 = [1,2,5,7,8] -> [1,2,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : H7 = [1,2,5,6,7,8,9] -> [1,2,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : I7 = [1,2,3,5,6,7,8,9] -> [1,2,3,6,7,8,9]

<44>, N-koku, 1, B7, 5, column

% Step0: 1-Koku-domei(1国同盟) ; [D7] = [8] : C7 = [4,6,7,8] -> [4,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [D7] = [8] : E7 = [1,2,7,8] -> [1,2,7]
% Step0: 1-Koku-domei(1国同盟) ; [D7] = [8] : F7 = [3,4,6,7,8] -> [3,4,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [D7] = [8] : H7 = [1,2,6,7,8,9] -> [1,2,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [D7] = [8] : I7 = [1,2,3,6,7,8,9] -> [1,2,3,6,7,9]

<45>, N-koku, 1, D7, 8, column

% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : A7 = [1,2,3,4,6,7,9] -> [2,3,4,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : E7 = [1,2,7] -> [2,7]
% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : H7 = [1,2,6,7,9] -> [2,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : I7 = [1,2,3,6,7,9] -> [2,3,6,7,9]

<46>, N-koku, 1, G7, 1, column

% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : A8 = [1,2,3,4,5,6,7,9] -> [1,2,3,4,5,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : C8 = [4,5,6,7,8] -> [4,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : F8 = [3,4,6,7,8] -> [3,4,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : H8 = [1,2,5,6,7,8,9] -> [1,2,5,7,8,9]

<47>, N-koku, 1, B8, 6, column

% Step0: 1-Koku-domei(1国同盟) ; [E8] = [3] : A8 = [1,2,3,4,5,7,9] -> [1,2,4,5,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [E8] = [3] : D8 = [1,3,4,7,9] -> [1,4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [E8] = [3] : F8 = [3,4,7,8] -> [4,7,8]

<48>, N-koku, 1, E8, 3, column

% Step0: 1-Koku-domei(1国同盟) ; [G8] = [2] : A8 = [1,2,4,5,7,9] -> [1,4,5,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [G8] = [2] : H8 = [1,2,5,7,8,9] -> [1,5,7,8,9]

<49>, N-koku, 1, G8, 2, column

% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : A8 = [1,4,5,7,9] -> [1,5,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : C8 = [4,5,7,8] -> [5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : D8 = [1,4,7,9] -> [1,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [I8] = [4] : F8 = [4,7,8] -> [7,8]

<50>, N-koku, 1, I8, 4, column

% Step0: 1-Koku-domei(1国同盟) ; [F9] = [9] : A9 = [1,2,3,4,5,6,7,9] -> [1,2,3,4,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [F9] = [9] : B9 = [1,2,3,4,7,8,9] -> [1,2,3,4,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [F9] = [9] : D9 = [1,3,4,7,9] -> [1,3,4,7]
% Step0: 1-Koku-domei(1国同盟) ; [F9] = [9] : H9 = [1,2,5,6,7,8,9] -> [1,2,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [F9] = [9] : I9 = [1,2,3,5,6,7,8,9] -> [1,2,3,5,6,7,8]

<51>, N-koku, 1, F9, 9, column

% Step0: 1-Koku-domei(1国同盟) ; [G9] = [8] : B9 = [1,2,3,4,7,8] -> [1,2,3,4,7]
% Step0: 1-Koku-domei(1国同盟) ; [G9] = [8] : C9 = [4,5,6,7,8] -> [4,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [G9] = [8] : E9 = [1,2,5,7,8] -> [1,2,5,7]
% Step0: 1-Koku-domei(1国同盟) ; [G9] = [8] : H9 = [1,2,5,6,7,8] -> [1,2,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [G9] = [8] : I9 = [1,2,3,5,6,7,8] -> [1,2,3,5,6,7]

<52>, N-koku, 1, G9, 8, column

% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : B1 = [1,3,4,7,8] -> [1,3,4,7]
% Step0: 1-Koku-domei(1国同盟) ; [A2] = [8] : B3 = [1,2,7,8,9] -> [1,2,7,9]

<53>, N-koku, 1, A2, 8, block

% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : A3 = [1,2,6,7,9] -> [1,2,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : B2 = [2,4,7,9] -> [2,4,7]
% Step0: 1-Koku-domei(1国同盟) ; [C1] = [9] : B3 = [1,2,7,9] -> [1,2,7]

<54>, N-koku, 1, C1, 9, block

% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : A1 = [1,3,4,5,6,7] -> [3,4,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : A3 = [1,2,6,7] -> [2,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : B1 = [1,3,4,7] -> [3,4,7]
% Step0: 1-Koku-domei(1国同盟) ; [C2] = [1] : B3 = [1,2,7] -> [2,7]

<55>, N-koku, 1, C2, 1, block

% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : A1 = [3,4,5,6,7] -> [4,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [C3] = [3] : B1 = [3,4,7] -> [4,7]

<56>, N-koku, 1, C3, 3, block

% Step0: 1-Koku-domei(1国同盟) ; [C6] = [2] : A5 = [2,3,4,6,7,9] -> [3,4,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [C6] = [2] : B5 = [2,3,4,7,8,9] -> [3,4,7,8,9]

<57>, N-koku, 1, C6, 2, block

% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : A8 = [1,5,7,9] -> [1,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : A9 = [1,2,3,4,5,6,7] -> [1,2,3,4,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : C8 = [5,7,8] -> [7,8]
% Step0: 1-Koku-domei(1国同盟) ; [B7] = [5] : C9 = [4,5,6,7] -> [4,6,7]

<58>, N-koku, 1, B7, 5, block

% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : A7 = [2,3,4,6,7,9] -> [2,3,4,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : A9 = [1,2,3,4,6,7] -> [1,2,3,4,7]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : C7 = [4,6,7] -> [4,7]
% Step0: 1-Koku-domei(1国同盟) ; [B8] = [6] : C9 = [4,6,7] -> [4,7]

<59>, N-koku, 1, B8, 6, block

% Step0: 1-Koku-domei(1国同盟) ; [D1] = [2] : E3 = [1,2,7,8] -> [1,7,8]

<60>, N-koku, 1, D1, 2, block

% Step0: 1-Koku-domei(1国同盟) ; [E2] = [6] : F1 = [3,4,6,7,8] -> [3,4,7,8]

<61>, N-koku, 1, E2, 6, block

% Step0: 1-Koku-domei(1国同盟) ; [F3] = [5] : E1 = [1,5,7,8] -> [1,7,8]

<62>, N-koku, 1, F3, 5, block

% Step0: 1-Koku-domei(1国同盟) ; [F4] = [2] : E5 = [2,7,8] -> [7,8]

<63>, N-koku, 1, F4, 2, block

% Step0: 1-Koku-domei(1国同盟) ; [F5] = [1] : D4 = [1,3,7] -> [3,7]

<64>, N-koku, 1, F5, 1, block

% Step0: 1-Koku-domei(1国同盟) ; [D7] = [8] : F8 = [7,8] -> [7]

<65>, N-koku, 1, D7, 8, block

% Step0: 1-Koku-domei(1国同盟) ; [E8] = [3] : D9 = [1,3,4,7] -> [1,4,7]
% Step0: 1-Koku-domei(1国同盟) ; [E8] = [3] : F7 = [3,4,6,7] -> [4,6,7]

<66>, N-koku, 1, E8, 3, block

% Step0: 1-Koku-domei(1国同盟) ; [F8] = [7] : D8 = [1,7,9] -> [1,9]
% Step0: 1-Koku-domei(1国同盟) ; [F8] = [7] : D9 = [1,4,7] -> [1,4]
% Step0: 1-Koku-domei(1国同盟) ; [F8] = [7] : E7 = [2,7] -> [2]
% Step0: 1-Koku-domei(1国同盟) ; [F8] = [7] : E9 = [1,2,5,7] -> [1,2,5]
% Step0: 1-Koku-domei(1国同盟) ; [F8] = [7] : F7 = [4,6,7] -> [4,6]

<67>, N-koku, 1, F8, 7, block

% Step0: 1-Koku-domei(1国同盟) ; [E7] = [2] : E9 = [1,2,5] -> [1,5]

<68>, N-koku, 1, E7, 2, block

% Step0: 1-Koku-domei(1国同盟) ; [F9] = [9] : D8 = [1,9] -> [1]

<69>, N-koku, 1, F9, 9, block

% Step0: 1-Koku-domei(1国同盟) ; [D8] = [1] : D9 = [1,4] -> [4]
% Step0: 1-Koku-domei(1国同盟) ; [D8] = [1] : E9 = [1,5] -> [5]

<70>, N-koku, 1, D8, 1, block

% Step0: 1-Koku-domei(1国同盟) ; [D9] = [4] : F7 = [4,6] -> [6]

<71>, N-koku, 1, D9, 4, block

% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : G1 = [3,5,6,7] -> [5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [H2] = [3] : I1 = [1,3,5,6,7,8] -> [1,5,6,7,8]

<72>, N-koku, 1, H2, 3, block

% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : H8 = [1,5,7,8,9] -> [5,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : H9 = [1,2,5,6,7] -> [2,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [G7] = [1] : I9 = [1,2,3,5,6,7] -> [2,3,5,6,7]

<73>, N-koku, 1, G7, 1, block

% Step0: 1-Koku-domei(1国同盟) ; [G8] = [2] : H7 = [2,6,7,9] -> [6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [G8] = [2] : H9 = [2,5,6,7] -> [5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [G8] = [2] : I7 = [2,3,6,7,9] -> [3,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [G8] = [2] : I9 = [2,3,5,6,7] -> [3,5,6,7]

<74>, N-koku, 1, G8, 2, block

% Step0: 1-Koku-domei(1国同盟) ; [G9] = [8] : H8 = [5,7,8,9] -> [5,7,9]

<75>, N-koku, 1, G9, 8, block

% Step0: 1-Koku-domei(1国同盟) ; [D8] = [1] : D3 = [1,7,9] -> [7,9]

<76>, N-koku, 1, D8, 1, row

% Step0: 1-Koku-domei(1国同盟) ; [D9] = [4] : D2 = [4,7,9] -> [7,9]

<77>, N-koku, 1, D9, 4, row

% Step0: 1-Koku-domei(1国同盟) ; [F8] = [7] : F1 = [3,4,7,8] -> [3,4,8]
% Step0: 1-Koku-domei(1国同盟) ; [F8] = [7] : F2 = [4,7] -> [4]
% Step0: 1-Koku-domei(1国同盟) ; [F8] = [7] : F6 = [3,7,8] -> [3,8]

<78>, N-koku, 1, F8, 7, row

% Step0: 1-Koku-domei(1国同盟) ; [F2] = [4] : F1 = [3,4,8] -> [3,8]

<79>, N-koku, 1, F2, 4, row

% Step0: 1-Koku-domei(1国同盟) ; [F2] = [4] : B2 = [2,4,7] -> [2,7]

<80>, N-koku, 1, F2, 4, column

% Step0: 1-Koku-domei(1国同盟) ; [E7] = [2] : A7 = [2,3,4,7,9] -> [3,4,7,9]

<81>, N-koku, 1, E7, 2, column

% Step0: 1-Koku-domei(1国同盟) ; [F7] = [6] : H7 = [6,7,9] -> [7,9]
% Step0: 1-Koku-domei(1国同盟) ; [F7] = [6] : I7 = [3,6,7,9] -> [3,7,9]

<82>, N-koku, 1, F7, 6, column

% Step0: 1-Koku-domei(1国同盟) ; [D8] = [1] : A8 = [1,7,9] -> [7,9]

<83>, N-koku, 1, D8, 1, column

% Step0: 1-Koku-domei(1国同盟) ; [F8] = [7] : A8 = [7,9] -> [9]
% Step0: 1-Koku-domei(1国同盟) ; [F8] = [7] : C8 = [7,8] -> [8]
% Step0: 1-Koku-domei(1国同盟) ; [F8] = [7] : H8 = [5,7,9] -> [5,9]

<84>, N-koku, 1, F8, 7, column

% Step0: 1-Koku-domei(1国同盟) ; [A8] = [9] : H8 = [5,9] -> [5]

<85>, N-koku, 1, A8, 9, column

% Step0: 1-Koku-domei(1国同盟) ; [D9] = [4] : A9 = [1,2,3,4,7] -> [1,2,3,7]
% Step0: 1-Koku-domei(1国同盟) ; [D9] = [4] : B9 = [1,2,3,4,7] -> [1,2,3,7]
% Step0: 1-Koku-domei(1国同盟) ; [D9] = [4] : C9 = [4,7] -> [7]

<86>, N-koku, 1, D9, 4, column

% Step0: 1-Koku-domei(1国同盟) ; [C9] = [7] : A9 = [1,2,3,7] -> [1,2,3]
% Step0: 1-Koku-domei(1国同盟) ; [C9] = [7] : B9 = [1,2,3,7] -> [1,2,3]
% Step0: 1-Koku-domei(1国同盟) ; [C9] = [7] : H9 = [5,6,7] -> [5,6]
% Step0: 1-Koku-domei(1国同盟) ; [C9] = [7] : I9 = [3,5,6,7] -> [3,5,6]

<87>, N-koku, 1, C9, 7, column

% Step0: 1-Koku-domei(1国同盟) ; [E9] = [5] : H9 = [5,6] -> [6]
% Step0: 1-Koku-domei(1国同盟) ; [E9] = [5] : I9 = [3,5,6] -> [3,6]

<88>, N-koku, 1, E9, 5, column

% Step0: 1-Koku-domei(1国同盟) ; [H9] = [6] : I9 = [3,6] -> [3]

<89>, N-koku, 1, H9, 6, column

% Step0: 1-Koku-domei(1国同盟) ; [I9] = [3] : A9 = [1,2,3] -> [1,2]
% Step0: 1-Koku-domei(1国同盟) ; [I9] = [3] : B9 = [1,2,3] -> [1,2]

<90>, N-koku, 1, I9, 3, column

% Step0: 1-Koku-domei(1国同盟) ; [A8] = [9] : A7 = [3,4,7,9] -> [3,4,7]

<91>, N-koku, 1, A8, 9, block

% Step0: 1-Koku-domei(1国同盟) ; [C9] = [7] : A7 = [3,4,7] -> [3,4]
% Step0: 1-Koku-domei(1国同盟) ; [C9] = [7] : C7 = [4,7] -> [4]

<92>, N-koku, 1, C9, 7, block

% Step0: 1-Koku-domei(1国同盟) ; [C7] = [4] : A7 = [3,4] -> [3]

<93>, N-koku, 1, C7, 4, block

% Step0: 1-Koku-domei(1国同盟) ; [I9] = [3] : I7 = [3,7,9] -> [7,9]

<94>, N-koku, 1, I9, 3, block

% Step0: 1-Koku-domei(1国同盟) ; [A7] = [3] : A4 = [1,3,5,6,7] -> [1,5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [A7] = [3] : A5 = [3,4,6,7,9] -> [4,6,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [A7] = [3] : A6 = [1,3,5,7,9] -> [1,5,7,9]

<95>, N-koku, 1, A7, 3, row

% Step0: 1-Koku-domei(1国同盟) ; [A8] = [9] : A5 = [4,6,7,9] -> [4,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [A8] = [9] : A6 = [1,5,7,9] -> [1,5,7]

<96>, N-koku, 1, A8, 9, row

% Step0: 1-Koku-domei(1国同盟) ; [C7] = [4] : C5 = [4,6,7,8] -> [6,7,8]

<97>, N-koku, 1, C7, 4, row

% Step0: 1-Koku-domei(1国同盟) ; [C8] = [8] : C4 = [5,6,7,8] -> [5,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [C8] = [8] : C5 = [6,7,8] -> [6,7]

<98>, N-koku, 1, C8, 8, row

% Step0: 1-Koku-domei(1国同盟) ; [C9] = [7] : C4 = [5,6,7] -> [5,6]
% Step0: 1-Koku-domei(1国同盟) ; [C9] = [7] : C5 = [6,7] -> [6]

<99>, N-koku, 1, C9, 7, row

% Step0: 1-Koku-domei(1国同盟) ; [C5] = [6] : C4 = [5,6] -> [5]

<100>, N-koku, 1, C5, 6, row

% Step0: 1-Koku-domei(1国同盟) ; [H8] = [5] : H1 = [1,5,6,7,8] -> [1,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [H8] = [5] : H4 = [1,5,6,7,8] -> [1,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [H8] = [5] : H6 = [1,5,7,8,9] -> [1,7,8,9]

<101>, N-koku, 1, H8, 5, row

% Step0: 1-Koku-domei(1国同盟) ; [H9] = [6] : H1 = [1,6,7,8] -> [1,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [H9] = [6] : H4 = [1,6,7,8] -> [1,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [H9] = [6] : H5 = [2,6,7,8,9] -> [2,7,8,9]

<102>, N-koku, 1, H9, 6, row

% Step0: 1-Koku-domei(1国同盟) ; [I9] = [3] : I4 = [1,3,5,6,7,8] -> [1,5,6,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [I9] = [3] : I5 = [2,3,6,7,8,9] -> [2,6,7,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [I9] = [3] : I6 = [1,3,5,7,8,9] -> [1,5,7,8,9]

<103>, N-koku, 1, I9, 3, row

% Step0: 1-Koku-domei(1国同盟) ; [C4] = [5] : A4 = [1,5,6,7] -> [1,6,7]
% Step0: 1-Koku-domei(1国同盟) ; [C4] = [5] : I4 = [1,5,6,7,8] -> [1,6,7,8]

<104>, N-koku, 1, C4, 5, column

% Step0: 1-Koku-domei(1国同盟) ; [C5] = [6] : A5 = [4,6,7] -> [4,7]
% Step0: 1-Koku-domei(1国同盟) ; [C5] = [6] : G5 = [3,6,7,9] -> [3,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [C5] = [6] : I5 = [2,6,7,8,9] -> [2,7,8,9]

<105>, N-koku, 1, C5, 6, column

% Step0: 1-Koku-domei(1国同盟) ; [C4] = [5] : A6 = [1,5,7] -> [1,7]

<106>, N-koku, 1, C4, 5, block

% Step0: 1-Koku-domei(1国同盟) ; [C5] = [6] : A4 = [1,6,7] -> [1,7]

<107>, N-koku, 1, C5, 6, block

% Step0: 
Fig. 3



% Step1: 8-Koku-domei(8国同盟) ; [A2,A3,A4,A5,A6,A7,A8,A9] = [5]~ : A1 = [4,5,6,7] -> [5]

<108>, N-koku, 8, A1, 5, row

% Fig. 4




% Step1: 8-Koku-domei(8国同盟) ; [A1,A2,A3,A4,A6,A7,A8,A9] = [4]~ : A5 = [4,7] -> [4]

<109>, N-koku, 8, A5, 4, row

% Fig. 5




% Step1: 8-Koku-domei(8国同盟) ; [A1,A2,A4,A5,A6,A7,A8,A9] = [6]~ : A3 = [2,6,7] -> [6]

<110>, N-koku, 8, A3, 6, row

% Fig. 6




% Step1: 8-Koku-domei(8国同盟) ; [A1,A2,A3,A4,A5,A6,A7,A8] = [2]~ : A9 = [1,2] -> [2]

<111>, N-koku, 8, A9, 2, row

% Fig. 7




% Step1: 8-Koku-domei(8国同盟) ; [D1,D2,D3,D5,D6,D7,D8,D9] = [3]~ : D4 = [3,7] -> [3]

<112>, N-koku, 8, D4, 3, row

% Fig. 8




% Step1: 8-Koku-domei(8国同盟) ; [H1,H2,H3,H4,H6,H7,H8,H9] = [2]~ : H5 = [2,7,8,9] -> [2]

<113>, N-koku, 8, H5, 2, row

% Fig. 9




% Step1: 8-Koku-domei(8国同盟) ; [A1,B1,C1,D1,E1,G1,H1,I1] = [3]~ : F1 = [3,8] -> [3]

<114>, N-koku, 8, F1, 3, column

% Fig. 10




% Step1: 8-Koku-domei(8国同盟) ; [A1,C1,D1,E1,F1,G1,H1,I1] = [4]~ : B1 = [4,7] -> [4]

<115>, N-koku, 8, B1, 4, column

% Fig. 11




% Step1: 8-Koku-domei(8国同盟) ; [A4,B4,C4,D4,E4,F4,G4,H4] = [6]~ : I4 = [1,6,7,8] -> [6]

<116>, N-koku, 8, I4, 6, column

% Fig. 12




% Step1: 8-Koku-domei(8国同盟) ; [A9,C9,D9,E9,F9,G9,H9,I9] = [1]~ : B9 = [1,2] -> [1]

<117>, N-koku, 8, B9, 1, column

% Fig. 13




% Step1: 8-Koku-domei(8国同盟) ; [D4,D5,D6,E4,E6,F4,F5,F6] = [7]~ : E5 = [7,8] -> [7]

<118>, N-koku, 8, E5, 7, block

% Fig. 14




% Step1: 8-Koku-domei(8国同盟) ; [D4,D5,D6,E4,E5,E6,F4,F5] = [8]~ : F6 = [3,8] -> [8]

<119>, N-koku, 8, F6, 8, block

% Fig. 15




% Step0: 1-Koku-domei(1国同盟) ; [B1] = [4] : B5 = [3,4,7,8,9] -> [3,7,8,9]

<120>, N-koku, 1, B1, 4, row

% Step0: 1-Koku-domei(1国同盟) ; [B9] = [1] : B4 = [1,3,7,8] -> [3,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [B9] = [1] : B6 = [1,3,7,8,9] -> [3,7,8,9]

<121>, N-koku, 1, B9, 1, row

% Step0: 1-Koku-domei(1国同盟) ; [E5] = [7] : E1 = [1,7,8] -> [1,8]
% Step0: 1-Koku-domei(1国同盟) ; [E5] = [7] : E3 = [1,7,8] -> [1,8]

<122>, N-koku, 1, E5, 7, row

% Step0: 1-Koku-domei(1国同盟) ; [I4] = [6] : I1 = [1,5,6,7,8] -> [1,5,7,8]
% Step0: 1-Koku-domei(1国同盟) ; [I4] = [6] : I3 = [1,2,6,7,8,9] -> [1,2,7,8,9]

<123>, N-koku, 1, I4, 6, row

% Step0: 1-Koku-domei(1国同盟) ; [A1] = [5] : G1 = [5,6,7] -> [6,7]
% Step0: 1-Koku-domei(1国同盟) ; [A1] = [5] : I1 = [1,5,7,8] -> [1,7,8]

<124>, N-koku, 1, A1, 5, column

% Step0: 1-Koku-domei(1国同盟) ; [A3] = [6] : G3 = [6,7,9] -> [7,9]

<125>, N-koku, 1, A3, 6, column

% Step0: 1-Koku-domei(1国同盟) ; [D4] = [3] : B4 = [3,7,8] -> [7,8]

<126>, N-koku, 1, D4, 3, column

% Step0: 1-Koku-domei(1国同盟) ; [E5] = [7] : B5 = [3,7,8,9] -> [3,8,9]
% Step0: 1-Koku-domei(1国同盟) ; [E5] = [7] : G5 = [3,7,9] -> [3,9]
% Step0: 1-Koku-domei(1国同盟) ; [E5] = [7] : I5 = [2,7,8,9] -> [2,8,9]

<127>, N-koku, 1, E5, 7, column

% Step0: 1-Koku-domei(1国同盟) ; [H5] = [2] : I5 = [2,8,9] -> [8,9]

<128>, N-koku, 1, H5, 2, column

% Step0: 1-Koku-domei(1国同盟) ; [F6] = [8] : B6 = [3,7,8,9] -> [3,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [F6] = [8] : H6 = [1,7,8,9] -> [1,7,9]
% Step0: 1-Koku-domei(1国同盟) ; [F6] = [8] : I6 = [1,5,7,8,9] -> [1,5,7,9]

<129>, N-koku, 1, F6, 8, column

% Step0: 
Fig. 16



% Step1: 8-Koku-domei(8国同盟) ; [G2,G3,G4,G5,G6,G7,G8,G9] = [6]~ : G1 = [6,7] -> [6]

<130>, N-koku, 8, G1, 6, row

% Fig. 17




% Step0: No change (変更なし)
% Step1: No change (変更なし)
% Step2: row [2] and block [1] : [2,4,7] are not in the boxes with 
%    indexes [A1,A2,A3,C1,C2,C3].
% Hence should NOT be in the boxes with indexes [B4,B5,B6,B7,B8,B9]
% Step1: row [2] and block [1] : [2,4,7] は次のブロックには含まれていません。 
%    ブロック [A1,A2,A3,C1,C2,C3].
% よって、[B4,B5,B6,B7,B8,B9] のブロックには含まれません 
% B4 = [7,8] -> [8]
% B6 = [3,7,9] -> [3,9]

<131>, AB, row, 2, block, 1, 2:4:7

% Fig. 18




% Step0: 1-Koku-domei(1国同盟) ; [B4] = [8] : B5 = [3,8,9] -> [3,9]

<132>, N-koku, 1, B4, 8, row

% Step0: 1-Koku-domei(1国同盟) ; [B4] = [8] : H4 = [1,7,8] -> [1,7]

<133>, N-koku, 1, B4, 8, column

% Step0: 
Fig. 19



% Step1: 8-Koku-domei(8国同盟) ; [H2,H3,H4,H5,H6,H7,H8,H9] = [8]~ : H1 = [1,7,8] -> [8]

<134>, N-koku, 8, H1, 8, row

% Fig. 20




% Step1: 8-Koku-domei(8国同盟) ; [A1,B1,C1,D1,E1,F1,G1,H1] = [7]~ : I1 = [1,7,8] -> [7]

<135>, N-koku, 8, I1, 7, column

% Fig. 21




% Step1: 8-Koku-domei(8国同盟) ; [A1,B1,C1,D1,F1,G1,H1,I1] = [1]~ : E1 = [1,8] -> [1]

<136>, N-koku, 8, E1, 1, column

% Fig. 22




% Step1: 8-Koku-domei(8国同盟) ; [A5,B5,C5,D5,E5,F5,G5,H5] = [8]~ : I5 = [8,9] -> [8]

<137>, N-koku, 8, I5, 8, column

% Fig. 23




% Step1: 8-Koku-domei(8国同盟) ; [D1,D2,D3,E1,E2,F1,F2,F3] = [8]~ : E3 = [1,8] -> [8]

<138>, N-koku, 8, E3, 8, block

% Fig. 24




% Step1: 8-Koku-domei(8国同盟) ; [G1,G2,G3,H1,H2,H3,I1,I2] = [1]~ : I3 = [1,2,7,8,9] -> [1]

<139>, N-koku, 8, I3, 1, block

% Fig. 25




% Step1: 8-Koku-domei(8国同盟) ; [G1,G2,G3,H1,H2,H3,I1,I3] = [2]~ : I2 = [2,5,7,9] -> [2]

<140>, N-koku, 8, I2, 2, block

% Fig. 26




% Step1: 8-Koku-domei(8国同盟) ; [G1,G3,H1,H2,H3,I1,I2,I3] = [5]~ : G2 = [5,7,9] -> [5]

<141>, N-koku, 8, G2, 5, block

% Fig. 27




% Step1: 8-Koku-domei(8国同盟) ; [G1,G2,H1,H2,H3,I1,I2,I3] = [9]~ : G3 = [7,9] -> [9]

<142>, N-koku, 8, G3, 9, block

% Fig. 28




% Step1: 8-Koku-domei(8国同盟) ; [G1,G2,G3,G4,G5,G7,G8,G9] = [7]~ : G6 = [3,5,7,9] -> [7]

<143>, N-koku, 8, G6, 7, row

% Fig. 29




% Step1: 8-Koku-domei(8国同盟) ; [G1,G2,G3,G4,G6,G7,G8,G9] = [3]~ : G5 = [3,9] -> [3]

<144>, N-koku, 8, G5, 3, row

% Fig. 30




% Step1: 8-Koku-domei(8国同盟) ; [I1,I2,I3,I4,I5,I7,I8,I9] = [5]~ : I6 = [1,5,7,9] -> [5]

<145>, N-koku, 8, I6, 5, row

% Fig. 31




% Step1: 8-Koku-domei(8国同盟) ; [I1,I2,I3,I4,I5,I6,I8,I9] = [9]~ : I7 = [7,9] -> [9]

<146>, N-koku, 8, I7, 9, row

% Fig. 32




% Step1: 8-Koku-domei(8国同盟) ; [A2,B2,C2,E2,F2,G2,H2,I2] = [9]~ : D2 = [7,9] -> [9]

<147>, N-koku, 8, D2, 9, column

% Fig. 33




% Step1: 8-Koku-domei(8国同盟) ; [A2,C2,D2,E2,F2,G2,H2,I2] = [7]~ : B2 = [2,7] -> [7]

<148>, N-koku, 8, B2, 7, column

% Fig. 34




% Step1: 8-Koku-domei(8国同盟) ; [A3,C3,D3,E3,F3,G3,H3,I3] = [2]~ : B3 = [2,7] -> [2]

<149>, N-koku, 8, B3, 2, column

% Fig. 35




% Step1: 8-Koku-domei(8国同盟) ; [A3,B3,C3,E3,F3,G3,H3,I3] = [7]~ : D3 = [7,9] -> [7]

<150>, N-koku, 8, D3, 7, column

% Fig. 36




% Step1: 8-Koku-domei(8国同盟) ; [A5,C5,D5,E5,F5,G5,H5,I5] = [9]~ : B5 = [3,9] -> [9]

<151>, N-koku, 8, B5, 9, column

% Fig. 37




% Step1: 8-Koku-domei(8国同盟) ; [A6,C6,D6,E6,F6,G6,H6,I6] = [3]~ : B6 = [3,9] -> [3]

<152>, N-koku, 8, B6, 3, column

% Fig. 38




% Step1: 8-Koku-domei(8国同盟) ; [A6,B6,C6,D6,E6,F6,G6,I6] = [9]~ : H6 = [1,7,9] -> [9]

<153>, N-koku, 8, H6, 9, column

% Fig. 39




% Step1: 8-Koku-domei(8国同盟) ; [B6,C6,D6,E6,F6,G6,H6,I6] = [1]~ : A6 = [1,7] -> [1]

<154>, N-koku, 8, A6, 1, column

% Fig. 40




% Step1: 8-Koku-domei(8国同盟) ; [A7,B7,C7,D7,E7,F7,G7,I7] = [7]~ : H7 = [7,9] -> [7]

<155>, N-koku, 8, H7, 7, column

% Fig. 41




% Step1: 8-Koku-domei(8国同盟) ; [A5,A6,B4,B5,B6,C4,C5,C6] = [7]~ : A4 = [1,7] -> [7]

<156>, N-koku, 8, A4, 7, block

% Fig. 42




% Step1: 8-Koku-domei(8国同盟) ; [G4,G5,G6,H5,H6,I4,I5,I6] = [1]~ : H4 = [1,7] -> [1]

<157>, N-koku, 8, H4, 1, block

% Fig. 43





<158>, Solution

% Step1: Found a solution!!( 解が見つかりました!!)
Fig. 44



% Computation finished!! ( 計算終了!!)

% 1-th Solution (1番目の解) :
Fig. 45

% Level(レベル):2 
% Number of steps(ステップ数): 157 
% 1-Koku-dome(1国同盟): 381 
% AB Operation(AB操作): 1 
% N-Koku-domei(N国同盟): [0,0,0,0,0,0,37] 
% N-Koku-domei2(N国同盟2): [0,0,0,0,0,0,0] 
% Chain(チェイン): 0 
% Depth(深さ): 1 
% Chain detail(チェイン詳細): [0,0,0,0] 
% Depthroute(深さの履歴): [1] 
% AB Block: 1 
% AB Row-Column: [0,0,0,0,0,0,0]
% Computaton time(計算時間): 0.092195516 sec.