What is the dot product of #<8,8,1># and #<-1, 2,3 >#?