Proof-number search in Gomoku

Source note referenced by WUZIQI blog archives.