Di sebelah barat benua Australia membentang Samudra Hindia yang luas. Pak JOI, seorang peneliti kelautan, sedang meneliti sifat-sifat dari $N$ jenis ikan yang menghuni Samudra Hindia.

Untuk setiap jenis ikan, telah ditetapkan sebuah habitat berbentuk balok di dalam laut. Ikan dapat bergerak ke lokasi mana pun di dalam habitatnya termasuk batasnya, tetapi tidak pernah keluar dari habitatnya. Sebuah titik di dalam laut dinyatakan dengan $3$ bilangan riil $(x, y, d)$: $(x, y, d)$ menyatakan titik yang, jika dilihat dari angkasa, berada pada posisi sejauh $x$ ke timur dan $y$ ke utara dari suatu titik acuan tertentu, serta berada pada kedalaman $d$ dari permukaan laut. Di sini, permukaan laut dianggap sebagai bidang datar.

Pak JOI ingin mengetahui seberapa besar wilayah tempat habitat dari $K$ atau lebih jenis ikan saling tumpang tindih. Buatlah program untuk mencari volume total dari seluruh wilayah tersebut.

Masukan

Masukan terdiri dari $1 + N$ baris.

Baris ke-$1$ berisi $2$ bilangan bulat $N, K$ ($1 \le K \le N \le 50$) yang dipisahkan oleh spasi. Ini menyatakan bahwa terdapat $N$ jenis ikan, dan kita ingin mencari volume lokasi tempat habitat dari $K$ atau lebih jenis ikan saling tumpang tindih.

Baris ke-$i$ ($1 \le i \le N$) dari $N$ baris berikutnya berisi $6$ bilangan bulat $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)$). Ini menyatakan bahwa habitat ikan jenis ke-$i$ adalah sebuah balok yang memiliki $8$ titik sudut $(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})$.

Keluaran

Keluarkan dalam $1$ baris volume total dari seluruh lokasi tempat habitat dari $K$ atau lebih jenis ikan saling tumpang tindih.

Contoh

Masukan 1

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

Keluaran 1

49000

Catatan

Pada Contoh 1, misalnya, titik $(45, 65, 65)$ merupakan habitat dari ikan jenis ke-$1$ dan ikan jenis ke-$3$, sehingga merupakan lokasi yang memenuhi syarat. Sebaliknya, titik $(25, 35, 45)$ hanya merupakan habitat dari ikan jenis ke-$2$, sehingga bukan merupakan lokasi yang memenuhi syarat. Selain itu, habitat ikan-ikan tersebut ditunjukkan seperti pada gambar di bawah ini. Titik $O$ menyatakan titik acuan pada permukaan laut.

Masukan 2

1 1
0 0 0 1000000 1000000 1000000

Keluaran 2

1000000000000000000