Details are displayed in Appendix A.