In python, I have a list w of integers, and I would like to efficiently generate all lists of integers such that their sum with weights in w is equal to a certain value a, that is