This firmware is not signed. This means you cannot restore to it in iTunes.
| Release Date | 01 June 2020 | 
| Upload Date | 28 May 2020 | 
| File Name | iPad_Pro_HFR_13.5.1_17F80_Restore.ipsw | 
| File Size | 3.71 GB | 
| SHA256sum | 56d5aeaea5da4b1370de13f004716c9a072df1c757f077626159855dff489f59 | 
| MD5sum | df40b101630f014f0b53cdf895ef6e8e | 
| SHA1sum | 715f3b7612d7f43240cdcce6accbfdafc5d83330 | 
| Identifier | iPad7,2 | 
cd ~/Downloads.idevicerestore -e iPad_Pro_HFR_13.5.1_17F80_Restore.ipsw and press Enter.