Using heic-cli:

for i in $(seq -f "%04g" 95 117) 
  do npx heic-cli < "IMG_$i.HEIC" > "$i.png" -f "png"
done;
Commands:
  heic-cli       convert HEIC image to JPEG or PNG                     [default]
  heic-cli info  see minimum info about each image in the file

Options:
  --version     Show version number                                    [boolean]
  --help        Show help                                              [boolean]
  --format, -f  The output format       [choices: "jpg", "png"] [default: "jpg"]
  --input, -i   The input file to convert, - for stdin            [default: "-"]
  --output, -o  The output file to create, - for stdout           [default: "-"]
  --images, -m  Which images to decode, -1 for all        [array] [default: [0]]

Image conversion tool