Computer verification of Appendix A in the paper "Higher-order estimates of a highest wave of the Whitham equation"