$$W White to play. Japanese rules. 6.5 komi.
$$ ---------------------------
$$ | . . X O . . . O O . . . . |
$$ | X . X O O O O . O . X X . |
$$ | . X O . . . . O O O X O . |
$$ | . X X X X . X . X O . X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X . X . X O X X X . |
$$ | . O O . O X . X O . O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . . . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O . O O X O O . O . . |
$$ ---------------------------
- Click Here To Show Diagram Code
[go]$$W White to play. Japanese rules. 6.5 komi.
$$ ---------------------------
$$ | . . X O . . . O O . . . . |
$$ | X . X O O O O . O . X X . |
$$ | . X O . . . . O O O X O . |
$$ | . X X X X . X . X O . X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X . X . X O X X X . |
$$ | . O O . O X . X O . O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . . . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O . O O X O O . O . . |
$$ ---------------------------[/go]
First thing we do, we kill all the miai.

(We can do that because there are no kos. The same player might get both miai when the opponent takes and wins the ko.)
$$W White to play. Japanese rules. 6.5 komi.
$$ ---------------------------
$$ | . . X O . . . O O 5 3 4 . |
$$ | X . X O O O O . O . X X . |
$$ | . X O 1 . a . O O O X O . |
$$ | 6 X X X X . X . X O b X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X . X . X O X X X . |
$$ | . O O . O X . X O . O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . . . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O . O O X O O . O 2 . |
$$ ---------------------------
- Click Here To Show Diagram Code
[go]$$W White to play. Japanese rules. 6.5 komi.
$$ ---------------------------
$$ | . . X O . . . O O 5 3 4 . |
$$ | X . X O O O O . O . X X . |
$$ | . X O 1 . a . O O O X O . |
$$ | 6 X X X X . X . X O b X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X . X . X O X X X . |
$$ | . O O . O X . X O . O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . . . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O . O O X O O . O 2 . |
$$ ---------------------------[/go]

and

are miai. The result is 2 points (we take Black's point of view), whichever player gets which.

-

and

are also miai. The result is 1 point, whichever player gets which.
So we can assume that one player gets one while the other player gets the other, and go ahead and make the exchange.
"a" and "b" are also miai, but to know that you have to know that they are not sente. I know that, but I will assume that the solver does not know that yet.

$$W White to play. Japanese rules. 6.5 komi. {Miai removed.}
$$ ---------------------------
$$ | . . X O . . . O O O O X . |
$$ | X . X O O O O . O . X X . |
$$ | . X O O . . . O O O X O . |
$$ | X X X X X . X . X O . X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X 1 X . X O X X X . |
$$ | . O O a O X . X O 2 O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . . . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O b O O X O O . O X . |
$$ ---------------------------
- Click Here To Show Diagram Code
[go]$$W White to play. Japanese rules. 6.5 komi. {Miai removed.}
$$ ---------------------------
$$ | . . X O . . . O O O O X . |
$$ | X . X O O O O . O . X X . |
$$ | . X O O . . . O O O X O . |
$$ | X X X X X . X . X O . X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X 1 X . X O X X X . |
$$ | . O O a O X . X O 2 O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . . . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O b O O X O O . O X . |
$$ ---------------------------[/go]
As has been pointed out, our eyeballs tell us that

and

are the largest and next largest plays on the board. (If we want to count,

gains 2 points and

gains 1.5 points.) Now,
Wa also gains 2 points and would also lead to a White win, but, with no kos it is never better than

. Again, our eyeballs tell us that, because it leaves the possibility of

. (In a ko position,
Wa might be right, to leave

as a ko threat.)
Our solver might briefly consider "b" as an alternative to

, because it also has a potential swing of 3 points. However, that swing takes 3 moves instead of 2 moves for

, so it must be a smaller play.
Note to numsgil: It is possible to prove that

is correct, and then

, by direct comparison of plays.

$$W White 3?
$$ ---------------------------
$$ | . . X O . . . O O O O X . |
$$ | X . X O O O O . O . X X . |
$$ | . X O O . c . O O O X O . |
$$ | X X X X X d X . X O . X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X 1 X . X O X X X . |
$$ | . O O . O X . X O 2 O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . a . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O b O O X O O . O X . |
$$ ---------------------------
- Click Here To Show Diagram Code
[go]$$W White 3?
$$ ---------------------------
$$ | . . X O . . . O O O O X . |
$$ | X . X O O O O . O . X X . |
$$ | . X O O . c . O O O X O . |
$$ | X X X X X d X . X O . X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X 1 X . X O X X X . |
$$ | . O O . O X . X O 2 O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . a . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O b O O X O O . O X . |
$$ ---------------------------[/go]
The comparison of "a" and "b" is not so obvious. Their game trees look like this:
"a" is a gote, and each play gains 1 point. "b" looks kind of like a 1 point sente, but each play gains only 1 point. (It is ambiguous.)
Unless the solver has read the relevant material, such as that on SL, this is not particularly helpful.
What about "c"? Could it be a 1 point sente? No, because after
Wc, "d" is worth only 0.5 point.
It's a guess, so let's try the one that sort of looks bigger, "b".
$$W Variation 1
$$ ---------------------------
$$ | . . X O . . . O O O O X . |
$$ | X . X O O O O . O . X X . |
$$ | . X O O . 5 . O O O X O . |
$$ | X X X X X 7 X 8 X O 6 X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X 1 X . X O X X X . |
$$ | . O O . O X . X O 2 O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . 4 C X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O 3 O O X O O . O X . |
$$ ---------------------------
- Click Here To Show Diagram Code
[go]$$W Variation 1
$$ ---------------------------
$$ | . . X O . . . O O O O X . |
$$ | X . X O O O O . O . X X . |
$$ | . X O O . 5 . O O O X O . |
$$ | X X X X X 7 X 8 X O 6 X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X 1 X . X O X X X . |
$$ | . O O . O X . X O 2 O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . 4 C X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O 3 O O X O O . O X . |
$$ ---------------------------[/go]
When we play the rest of the variation, we discover something interesting.

and

are miai, as are

and

. We can assume that they are played the same way in the other variation.

(BTW, we can tell that

is bigger than

by eyeballing.

)
$$W Variation 2
$$ ---------------------------
$$ | . . X O . . . O O O O X . |
$$ | X . X O O O O . O . X X . |
$$ | . X O O . O . O O O X O . |
$$ | X X X X X O X X X O X X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X 1 X . X O X X X . |
$$ | . O O . O X . X O 2 O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O C 3 . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O 4 W O X O O . O X . |
$$ ---------------------------
- Click Here To Show Diagram Code
[go]$$W Variation 2
$$ ---------------------------
$$ | . . X O . . . O O O O X . |
$$ | X . X O O O O . O . X X . |
$$ | . X O O . O . O O O X O . |
$$ | X X X X X O X X X O X X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X 1 X . X O X X X . |
$$ | . O O . O X . X O 2 O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O C 3 . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O 4 W O X O O . O X . |
$$ ---------------------------[/go]

at

The score differences between the two variations lie around

and

. In variation 1 Black gets 1 point (marked). In variation 2 Black gets 2 points for the White prisoners, while White gets 1 point (marked) plus a Black prisoner, for a net local score of 0. Plainly, variation 2 is better for White.

$$W Solution
$$ ---------------------------
$$ | . . X O . . . O O . . . . |
$$ | X . X O O O O . O . X X . |
$$ | . X O 7 . 9 . O O O X O . |
$$ | . X X X X . X . X O 8 X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X 1 X . X O X X X . |
$$ | . O O . O X . X O 2 O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . 3 . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O 4 W O X O O . O 6 . |
$$ ---------------------------
- Click Here To Show Diagram Code
[go]$$W Solution
$$ ---------------------------
$$ | . . X O . . . O O . . . . |
$$ | X . X O O O O . O . X X . |
$$ | . X O 7 . 9 . O O O X O . |
$$ | . X X X X . X . X O 8 X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X 1 X . X O X X X . |
$$ | . O O . O X . X O 2 O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . 3 . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O 4 W O X O O . O 6 . |
$$ ---------------------------[/go]

at

$$Bm10 Solution {continued}
$$ ---------------------------
$$ | . . X O . . . O O 6 4 5 . |
$$ | X . X O O O O . O . X X . |
$$ | . X O O . O . O O O X O . |
$$ | 3 X X X X 2 X 1 X O X X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X O X . X O X X X . |
$$ | . O O . O X . X O X O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . O . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O . O . X O O . O X . |
$$ ---------------------------
- Click Here To Show Diagram Code
[go]$$Bm10 Solution {continued}
$$ ---------------------------
$$ | . . X O . . . O O 6 4 5 . |
$$ | X . X O O O O . O . X X . |
$$ | . X O O . O . O O O X O . |
$$ | 3 X X X X 2 X 1 X O X X . |
$$ | O O O O X . X . X X . X . |
$$ | . . O X . X . X O X . X . |
$$ | . . O X O X . X O X X X . |
$$ | . O O . O X . X O X O X . |
$$ | . X O O X X X O O X . X . |
$$ | . O . O O X X . O X X X O |
$$ | . . O . O . X O O O O X X |
$$ | . . O O X X X O . O O X . |
$$ | . . O . O . X O O . O X . |
$$ ---------------------------[/go]
A count reveals that White does indeed win.
