条件を満たす単調増加な \(A\) を DFS などで愚直に列挙することで、コンテスト開催時の全てのテストケースに AC できます。

たとえば高度合成数 \(6983776800\) に対し、そのような \(A\) は \(4467146\) 種類であり、結果的に全列挙可能なサイズです。

https://atcoder.jp/contests/abc461/submissions/76493739