Väster om den australiska kontinenten breder den vidsträckta Indiska oceanen ut sig. Havsforskaren herr JOI forskar om egenskaperna hos $N$ fiskarter som lever i Indiska oceanen.

För varje fiskart finns ett rätblocksformat utbredningsområde (livsmiljö) i havet. Fiskarna kan röra sig till vilken plats som helst inom sitt utbredningsområde, inklusive randen, men de tar sig aldrig utanför sitt utbredningsområde. En punkt i havet representeras av $3$ reella tal $(x, y, d)$: $(x, y, d)$ betecknar en punkt som, sedd ovanifrån, ligger $x$ österut och $y$ norrut från en viss referenspunkt, och på djupet $d$ från havsytan. Här antas havsytan vara ett plan.

Herr JOI vill veta hur stort området är där utbredningsområdena för $K$ eller fler fiskarter överlappar varandra. Skriv ett program som beräknar den totala volymen av alla sådana platser.

Indata

Indatan består av $1 + N$ rader.

På den $1$:a raden står $2$ heltal $N, K$ ($1 \le K \le N \le 50$) separerade med ett blanksteg. Detta anger att det finns $N$ fiskarter och att vi vill beräkna volymen av de platser där utbredningsområdena för $K$ eller fler fiskarter överlappar varandra.

På den $i$:te raden ($1 \le i \le N$) av de följande $N$ raderna står $6$ heltal $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)$). Detta anger att utbredningsområdet för den $i$:te fiskarten är ett rätblock med de $8$ hörnen $(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})$.

Utdata

Skriv på $1$ rad ut den totala volymen av alla platser där utbredningsområdena för $K$ eller fler fiskarter överlappar varandra.

Exempel

Indata 1

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

Utdata 1

49000

Förklaring

I exempel 1 ligger till exempel punkten $(45, 65, 65)$ inom utbredningsområdet för både den $1$:a och den $3$:e fiskarten, så det är en plats som uppfyller villkoret. Å andra sidan ligger punkten $(25, 35, 45)$ endast inom utbredningsområdet för den $2$:a fiskarten, så den uppfyller inte villkoret. Dessutom ser fiskarnas utbredningsområden ut som i figuren nedan. Punkten $O$ betecknar referenspunkten på havsytan.

Indata 2

1 1
0 0 0 1000000 1000000 1000000

Utdata 2

1000000000000000000