Ở phía tây lục địa Úc là Ấn Độ Dương rộng lớn. Nhà nghiên cứu biển JOI đang nghiên cứu đặc tính của $N$ loài cá sinh sống ở Ấn Độ Dương.

Đối với mỗi loài cá, có một phạm vi sinh sống hình hộp chữ nhật được xác định trong lòng biển. Cá có thể di chuyển đến bất kỳ vị trí nào bên trong phạm vi sinh sống của mình, kể cả trên biên, nhưng không bao giờ ra khỏi phạm vi sinh sống đó. Một điểm trong lòng biển được biểu diễn bởi $3$ số thực $(x, y, d)$: $(x, y, d)$ biểu thị điểm có vị trí tiến về phía đông một đoạn $x$, tiến về phía bắc một đoạn $y$ tính từ một điểm mốc trên mặt biển khi nhìn từ trên cao, và có độ sâu $d$ tính từ mặt biển. Giả sử mặt biển là một mặt phẳng.

Ông JOI muốn biết những nơi có phạm vi sinh sống của từ $K$ loài cá trở lên giao nhau chiếm bao nhiêu không gian. Hãy viết chương trình tính tổng thể tích của tất cả những nơi như vậy.

Dữ liệu vào

Dữ liệu vào gồm $1 + N$ dòng.

Dòng thứ $1$ ghi $2$ số nguyên $N, K$ ($1 \le K \le N \le 50$) cách nhau bởi dấu cách. Điều này biểu thị có $N$ loài cá, và ta cần tìm thể tích của những nơi có phạm vi sinh sống của từ $K$ loài cá trở lên giao nhau.

Dòng thứ $i$ ($1 \le i \le N$) trong $N$ dòng tiếp theo ghi $6$ số nguyên $X_{i,1}, Y_{i,1}, D_{i,1}, X_{i,2}, Y_{i,2}, D_{i,2}$ ($0 \le X_{i,1} < X_{i,2} \le 1000000 \ (= 10^6)$, $0 \le Y_{i,1} < Y_{i,2} \le 1000000 \ (= 10^6)$, $0 \le D_{i,1} < D_{i,2} \le 1000000 \ (= 10^6)$). Điều này biểu thị phạm vi sinh sống của loài cá thứ $i$ là hình hộp chữ nhật có $8$ đỉnh là $(X_{i,1}, Y_{i,1}, D_{i,1})$, $(X_{i,2}, Y_{i,1}, D_{i,1})$, $(X_{i,2}, Y_{i,2}, D_{i,1})$, $(X_{i,1}, Y_{i,2}, D_{i,1})$, $(X_{i,1}, Y_{i,1}, D_{i,2})$, $(X_{i,2}, Y_{i,1}, D_{i,2})$, $(X_{i,2}, Y_{i,2}, D_{i,2})$, $(X_{i,1}, Y_{i,2}, D_{i,2})$.

Dữ liệu ra

In ra trên $1$ dòng tổng thể tích của tất cả những nơi có phạm vi sinh sống của từ $K$ loài cá trở lên giao nhau.

Ví dụ

Dữ liệu vào 1

3 2
30 50 0 50 70 100
10 20 20 70 90 60
40 60 20 90 90 70

Dữ liệu ra 1

49000

Ghi chú

Ở Ví dụ 1, chẳng hạn điểm $(45, 65, 65)$ thuộc phạm vi sinh sống của loài cá thứ $1$ và loài cá thứ $3$, nên là vị trí thỏa mãn điều kiện. Mặt khác, điểm $(25, 35, 45)$ chỉ thuộc phạm vi sinh sống của loài cá thứ $2$, nên không phải là vị trí thỏa mãn điều kiện. Ngoài ra, phạm vi sinh sống của các loài cá có dạng như hình vẽ dưới đây. Điểm $O$ biểu thị điểm mốc trên mặt biển.

Dữ liệu vào 2

1 1
0 0 0 1000000 1000000 1000000

Dữ liệu ra 2

1000000000000000000