追記(8/7):4凸ヴィルヘルムのステが3凸のものだったので修正(計算結果に影響はありません)   4凸ヴィルヘルムが実装されましたが、計算機を少し叩いてみた結果 &nb…