BOC Maximaを出してくれるなら、Catalog3等はどうでもいい。