Renju position analysis: High speed search for a win for h8i9h7h6h10

Dear renju players, this video shows a renju program proving a highly complex black win for a classical 5stone renju position. You can add the branches shown in this video to your opening database. If you want to do this, and if your database is in Yixin, enter the branches exactly in the chronological order they appear in this video, because sometimes branches are reduced to already proven branches.