2*sum(C(6,i), i=0..6)