Planar graphs without cycles of length 4, 7, 8, or 9 are 3-choosable

It is known that planar graphs without cycles of length 4, i, j, or 9 with 4