#include #include using namespace std; using namespace atcoder; //const long nPrime = 1000000007; //const long nPrime = 998244353; typedef long long ll; int main() { ll n,m; cin >> n >> m; vector viA(n),viP(n); for(ll i = 0; i < n; i++){ cin >> viA[i]; } for(ll i = 0; i < n; i++){ cin >> viP[i]; } vector> vviDP(n+1,vector(m+1,0)); vviDP[n][0] = 1; for(ll i = n-1; i >= 0; i--){ for(ll j = 0; j <= m; j++){ if(vviDP[i+1][j] != 0){ vviDP[i][j] = 1; } } for(ll j = 0; j + viA[i] <= m; j++){ if(vviDP[i+1][j] != 0){ vviDP[i][j+viA[i]] = 2; } } } if(vviDP[0][m] == 0){ cout << -1 << endl; return 0; } vector viAns; ll nSum = 0; ll nLast = -1; for(ll i = 0; i < n; i++){ ll nThis = -1; ll p = 1e9; for(ll j = nLast+1; j < n; j++){ if(vviDP[j][m-nSum] == 2 && viP[j] < p){ p = viP[j]; nThis = j; } } if(nThis == -1){ continue; } viAns.push_back(nThis+1); nSum += viA[nThis]; nLast = nThis; } cout << viAns.size() << endl; for(ll i = 0; i < viAns.size(); i++){ cout << viAns[i] << " "; } cout << endl; return 0; }