Hey guys, can you help me with this HW? John got 30 marbles, 8 white, 8 blue, 5 red and 9 green. He has to split those marbles into 4 boxes with rules. Box no. 1: max 13 marbles, only whites and reds, both of them must be there.

Box no. 2: max 13 marbles, blues and greens, but the amount of greens and blues must be the same.

Box no. 3: max 15 marbles, blues and whites, but the amount of blues and whites must be different.

Box no. 4: max 9 marbles, greens and reds, but only one color at the same time, so just greens or just reds. My task is to solve, how many different ways of splitting them John has. And to make a proof of that. Right now I am really stuck. Thank you really much!