#pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include using namespace std; using lint = long long int; using P = pair; using PL = pair; #define FOR(i, begin, end) for(int i=(begin),i##_end_=(end);i=i##_begin_;i--) #define REP(i, n) FOR(i,0,n) #define IREP(i, n) IFOR(i,0,n) #define ALL(a) (a).begin(),(a).end() constexpr int MOD = 1000000007; constexpr lint B1 = 1532834020; constexpr lint M1 = 2147482409; constexpr lint B2 = 1388622299; constexpr lint M2 = 2147478017; constexpr int INF = 2147483647; void yes(bool expr) {cout << (expr ? "Yes" : "No") << "\n";} templatevoid chmax(T &a, const T &b) { if (avoid chmin(T &a, const T &b) { if (b> N >> M; vector A(N); REP(i, N) cin >> A[i]; vector P(N); REP(i, N) cin >> P[i]; vector> dp(N+1, vector(M+1, 1e9)); dp[N][M] = -1; IREP(i, N) REP(j, M+1) if(dp[i+1][j] != 1e9) { chmin(dp[i][j], dp[i+1][j]); if(j-A[i] >= 0) chmin(dp[i][j-A[i]], P[i]); } if(dp[0][0] == 1e9) { cout << -1 << endl; return 0; } vector ans; int x = 0; int y = 0; while(dp[x][y] != -1) { if(P[x] == dp[x][y]) { ans.push_back(x+1); y += A[x]; } x++; } cout << ans.size() << endl; REP(i, ans.size()) cout << ans[i] << (i!=ans.size()-1 ? " " : ""); cout << "\n"; }