ポンドルサクソとXeでは少し違うな
サクソ 1.4013-1.4030
Xe 1.40068

どっちが当てになるのかね