(;AP[HexGui:0.10.GIT]
C[2022/06/10

Black\: Peter
White\: Bian

White wins.]FF[4]GM[11]PL[B]
SZ[11];B[b2];W[f6];B[i8];W[i9];B[b8];W[b9];B[c8];W[c9];B[e8];W[d7];B[d8]
;W[c6];B[b5];W[a7];B[i5];W[h8];B[h7]
C[Peter\: perhaps g7 would have been better?

Eric\: probably];W[g8]
C[Mohex\: After many hours, I did not finish analyzing this position, but the only Black moves I still consider promising are d6, e6, g7, h9. All other Black moves have been rejeced.

HexHex\: ((10, 0), {'f7'\: (10, 0)}).

But HexHex considers d6, g7, and h9 to be winning according to playouts. See variations on next move.]
(;B[f7]
C[Peter\: likely losing move. HexHex considers g7 to be winning, see next variation.]
;W[h5];B[j4];W[h6];B[i6];W[h9];B[g7];W[e9];B[d9];W[c11];B[d10];W[d11];
B[e10];W[e11];B[f10];W[f11];B[g10];W[g11];B[j10];W[i10];B[k8];W[j7];
B[resign])(;B[g7]C[((10, 10), {'f8'\: (10, 10)})];W[f8];B[h9](;W[i7]
C[Mohex\: it took several days to verify, but Black is now provably winning.]
;B[j7]C[Mohex\: It took several days to verify, but Black is winning.](;
W[i6];B[f7](;W[h5];B[j4]
C[Mohex\: Black wins. In fact, j4 creates a 4th row ladder, though it is not obvious.]
(;W[j3];B[i4];W[i3];B[h4];W[h3];B[g4];W[g3];B[f4];W[f3];B[e4];W[e3];
B[d4];W[d3];B[a4])(;W[i4];B[k2])(;W[f2];B[i3])(;W[h3];B[k2])(;W[h2];
B[h3]))(;W[h6];B[g6](;W[h4];B[g5];W[g4];B[f5];W[f4];B[e5];W[e4];B[d5];
W[d4];B[c5];W[c3];B[a4])(;W[h3];B[h4]))(;W[d11];B[e9]
C[Mohex\: Black wins.]))(;W[f7];B[j6])(;W[g6];B[j5])(;W[h5];B[j4]
C[Mohex\: Black wins.](;W[h2];B[h3](;W[i3];B[k2])(;W[j1](;B[i4])(;B[k2];
W[k1];B[i2];W[i1];B[g3])))(;W[i1];B[i3])(;W[h1];B[i3])(;W[j1](;B[i2])(;
B[k1];W[j3];B[i4];W[h3];B[i3](;W[j2];B[i2])(;W[f2](;B[j2])(;B[g2])))))(;
W[h10];B[g10];W[i3];B[h4])(;W[h2](;B[j3])(;B[j2];W[j3];B[h4];W[i3];B[h3]
;W[i2];B[g3])(;B[j4]))(;W[h3](;B[j2])(;B[g5])(;B[i3])(;B[j4](;W[i3];
B[k2])(;W[j1];B[k1];W[j3];B[h4];W[h5];B[i4])))(;W[i3]
C[Mohex\: Black wins.];B[h4];W[h2];B[h3];W[i2](;B[g3];W[h5];B[i4];W[i6])
(;B[j6]C[Mohex\: Black wins.]))(;W[d2];B[j4])(;W[g2];B[j4]))(;W[i4]
C[Mohex\: Black wins.];B[j4])(;W[h5]C[Mohex\: Black wins.];B[j4])))
