Update: I now know that the first entry in dot_prods gives value 16 but should in fact be 8. It should be just the dot product of  the vectors  [1,2,3,4] and [1,0,1,1], which is 8. So I did not compute the dot product correctly.