let S be the sets be the sequences of lenght 2018 whose terms are in the sets {1,2,3,4,5,6,10} and sum to 3860. prove that the cardinality of S is at most 2^(3860) ∙( ((2018)/(2048)))^(2018)