サマーウォーズ第3問

第3問は整数の性質と場合の数の問題です。如何にも難しい解法がわからない難問です。

とりあえず答えは出しましたが、整数a1～a6の組と式変改したk1～k6とが1対1の対応であることの証明などは面倒なのですっ飛ばして答えだけを求めることとしました。

問題は次の通りです。

解答はこちら。

むかし、重複組み合わせなど習いましたっけ？？