(a,b)=Eval.me(''+"$System.in".split('\n\n')*.split('\n').collect{it*.split()})
a.any{b.any{x->println it.sum{n->x.sum{sprintf'%5d',it*n}}}}