Something less than 16*5*152=12080. The same reasoning gives at most 7*4*22=616 for the 3x3, which is certainly a over count, but in the right ball park.
Something less than 16*5*152=12080. The same reasoning gives at most 7*4*22=616 for the 3x3, which is certainly a over count, but in the right ball park.
You can solve every ZBLL case by doing an OCLL then AUF then PLL, so he's just multiplied the number of OCLL cases by the number of AUFs and the number of PLLs, including a PLL skip. It will always be greater than the actual number of cases but gets closer as the proportion of cases that are rotationally symmetric reduces.