Looks like a variant of Kuoerberg sieving and not that complicated so I’d expect we will know whether it is correct or not soon.