Thread:Mai Is Me/@comment-24516546-20180127173322/@comment-4059391-20180127195407

Yeah. Hiro specifically named them. All of their names are just from their codes as well. Since Japanese can use different readings for kanji, they just turn their numbers into names.