Taking a swing at the regex. How is this?
iOS/iPadOS 27 (Regex Devices Can't upgrade)
^(iPhone(12|13|14|15|16|17|18|19),\d|iPad(8,(9|10|11|12)|12,\d|13,(1|2|1[6789])|14,(1|2|[89]|1[01])|15,\d|16,\d|17,\d))$
Enter your E-mail address. We'll send you an e-mail with instructions to reset your password.