#include <iostream>
#include <vector>
using namespace std;
int main() {
unsigned long long n, r;
cin >> n >> r;
unsigned long long sum = 0;
for (int i = 0; i < n; ++i) {
unsigned long long a, b, c;
cin >> a >> b >> c;
sum += a * b * c;
}
cout << sum * r << endl;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBtYWluKCkgewoJdW5zaWduZWQgbG9uZyBsb25nIG4sIHI7CgljaW4gPj4gbiA+PiByOwoJCgl1bnNpZ25lZCBsb25nIGxvbmcgc3VtID0gMDsKCWZvciAoaW50IGkgPSAwOyBpIDwgbjsgKytpKSB7CgkJdW5zaWduZWQgbG9uZyBsb25nIGEsIGIsIGM7CgkJY2luID4+IGEgPj4gYiA+PiBjOwoJCXN1bSArPSBhICogYiAqIGM7Cgl9CgoJY291dCA8PCBzdW0gKiByIDw8IGVuZGw7Cn0=