(;
AW[ca][cb][dc][bd][cd][dd][ed][ce][ee][fe][ff]
AB[ea][db][fb][ec][gc][fd][gd][be][de][ge][bf][cf][df][ef][hf][eg][fg][gg]
SZ[13]
C[black to kill without ko.]
(;B[bc] ;W[ab]
(;B[bb] ;W[ba]
(;B[ad] ;W[cc] C[white lives.])
(;B[ac] ;W[cc]
(;B[aa] ;W[ad] C[white lives.])
(;B[ad] ;W[ae] C[white lives.])
)
)
(;B[ac] ;W[ad] ;B[bb]
(;W[ba] C[CHOICE] ;B[aa] ;W[cc] C[white lives.])
(;W[cc] C[CHOICE]
(;B[aa] ;W[ba] C[white lives.])
(;B[ba] ;W[aa] C[white lives.])
)
)
(;B[ad] ;W[ac] ;B[bb] ;W[ba] ;B[aa] ;W[ac] ;B[ab] ;W[cc]
(;B[ac] ;W[ae]
(;B[ab] ;W[ac] ;B[bb] C[RIGHT white dies.])
(;B[ac] ;W[ab]
(;B[ad] ;W[bc] C[white lives.])
(;B[af] ;W[ad] C[white lives.])
)
)
(;B[ae] ;W[ac] ;B[ab] ;W[bb] C[ko.])
)
)
(;B[ab] ;W[bc]
(;B[ac] ;W[ad]
(;B[ba] ;W[bb] C[white lives.])
(;B[bb] ;W[aa]] C[white lives.])
)
(;B[ad] ;W[ac] ;B[ba]
(;W[da] C[CHOICE] C[white lives.])
(;W[ae] C[CHOICE] C[white lives.])
)
(;B[bb] ;W[ac] C[white lives.])
)
(;B[ac] ;W[bc]
(;B[ad] ;W[ab] C[white lives.])
(;B[bb]
(;W[ba] C[CHOICE] C[white lives.])
(;W[ab] C[CHOICE] C[white lives.])
)
(;B[ab] ;W[ad] ;B[ba] ;W[da] C[white lives.])
)
(;B[bb] ;W[bc]
(;B[ac] ;W[ad] C[white lives.])
(;B[ba] ;W[ab] C[white lives.])
(;B[aa] ;W[ac] C[white lives.])
)
(;B[ad] ;W[bc]
(;B[ac] ;W[ab] C[white lives.])
(;B[ab]; W[ac]
(;B[bb] ;W[ae] C[white lives.])
(;B[ba] ;W[ae] C[white lives.])
)
)
)