Collaborations between John Lissauer and Hisao Shirai