ABC436

結合數位 DP 與背包問題。將變數二進位拆分，逐層進行 0/1 背包，利用層間進位壓縮狀態，解決 M 極大的線性不等式計數。

枚舉最大亮度星星，利用 BIT 統計左右側亮度小於等於該值的數量，相乘累加即為答案。

利用置換環的性質，計算每個環的大小即可。