Vestur af meginlandi Ástralíu breiðir hið víðáttumikla Indlandshaf úr sér. Hafrannsóknamaðurinn herra JOI rannsakar eiginleika $N$ fisktegunda sem lifa í Indlandshafi.

Fyrir hverja fisktegund er ákvarðað búsvæði í líki rétthyrnds kassa (ferstrendings) í sjónum. Fiskarnir geta farið á hvaða stað sem er innan búsvæðis síns, að jaðrinum meðtöldum, en þeir fara aldrei út fyrir búsvæðið. Punktur í sjónum er táknaður með $3$ rauntölum $(x, y, d)$: $(x, y, d)$ táknar punkt sem, séð úr lofti, er í stöðu sem færst hefur um $x$ í austur og $y$ í norður miðað við tiltekinn viðmiðunarpunkt, og er á dýpinu $d$ frá yfirborði sjávar. Hér er gert ráð fyrir að yfirborð sjávar sé slétta.

Herra JOI vill vita hversu mikið er af stöðum þar sem búsvæði $K$ eða fleiri fisktegunda skarast. Skrifaðu forrit sem finnur heildarrúmmál allra slíkra staða.

Inntak

Inntakið samanstendur af $1 + N$ línum.

Á $1$. línu eru $2$ heiltölur $N, K$ ($1 \le K \le N \le 50$) aðskildar með bili. Þetta táknar að fisktegundirnar eru $N$ talsins og að við viljum finna rúmmál þeirra staða þar sem búsvæði $K$ eða fleiri fisktegunda skarast.

Á $i$-tu línu ($1 \le i \le N$) af næstu $N$ línum eru $6$ heiltölur $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)$). Þetta táknar að búsvæði $i$-tu fisktegundarinnar er rétthyrndur kassi sem hefur punktana $8$, $(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})$, sem hornpunkta.

Úttak

Skrifaðu út í $1$ línu heildarrúmmál allra staða þar sem búsvæði $K$ eða fleiri fisktegunda skarast.

Dæmi

Inntak 1

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

Úttak 1

49000

Athugasemd

Í dæmi 1 er til dæmis punkturinn $(45, 65, 65)$ innan búsvæða $1$. fisktegundarinnar og $3$. fisktegundarinnar, svo hann er staður sem uppfyllir skilyrðið. Aftur á móti er punkturinn $(25, 35, 45)$ aðeins innan búsvæðis $2$. fisktegundarinnar, svo hann uppfyllir ekki skilyrðið. Auk þess eru búsvæði fiskanna eins og sýnt er á myndinni hér að neðan. Punkturinn $O$ táknar viðmiðunarpunktinn á yfirborði sjávar.

Inntak 2

1 1
0 0 0 1000000 1000000 1000000

Úttak 2

1000000000000000000