Na zachód od kontynentu australijskiego rozciąga się rozległy Ocean Indyjski. Pan JOI, badacz mórz, bada właściwości pewnych $N$ gatunków ryb zamieszkujących Ocean Indyjski.

Dla każdego gatunku ryb w morzu określony jest obszar występowania w kształcie prostopadłościanu. Ryby mogą przemieszczać się w dowolne miejsce wewnątrz swojego obszaru występowania (wliczając brzeg), ale nigdy nie wypływają poza ten obszar. Punkt w morzu jest reprezentowany przez $3$ liczby rzeczywiste $(x, y, d)$: $(x, y, d)$ oznacza punkt, który – patrząc z góry – znajduje się w pozycji przesuniętej o $x$ na wschód i o $y$ na północ względem pewnego punktu odniesienia oraz na głębokości $d$ od powierzchni morza. Zakładamy przy tym, że powierzchnia morza jest płaszczyzną.

Pan JOI chciałby wiedzieć, jak dużo jest miejsc, w których nakładają się obszary występowania co najmniej $K$ gatunków ryb. Napisz program, który wyznaczy łączną objętość wszystkich takich miejsc.

Wejście

Wejście składa się z $1 + N$ wierszy.

W $1$. wierszu zapisane są oddzielone spacją $2$ liczby całkowite $N, K$ ($1 \le K \le N \le 50$). Oznaczają one, że jest $N$ gatunków ryb oraz że chcemy wyznaczyć objętość miejsc, w których nakładają się obszary występowania co najmniej $K$ gatunków ryb.

W $i$-tym wierszu ($1 \le i \le N$) spośród kolejnych $N$ wierszy zapisanych jest $6$ liczb całkowitych $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)$). Oznaczają one, że obszar występowania $i$-tego gatunku ryb jest prostopadłościanem o $8$ wierzchołkach $(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})$.

Wyjście

Wypisz w $1$ wierszu łączną objętość wszystkich miejsc, w których nakładają się obszary występowania co najmniej $K$ gatunków ryb.

Przykład

Wejście 1

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

Wyjście 1

49000

Uwagi

W przykładzie 1 na przykład punkt $(45, 65, 65)$ należy do obszarów występowania $1$. gatunku ryb oraz $3$. gatunku ryb, więc jest miejscem spełniającym warunek. Z kolei punkt $(25, 35, 45)$ należy wyłącznie do obszaru występowania $2$. gatunku ryb, więc nie spełnia warunku. Ponadto obszary występowania ryb wyglądają tak, jak na poniższym rysunku. Punkt $O$ oznacza punkt odniesienia na powierzchni morza.

Wejście 2

1 1
0 0 0 1000000 1000000 1000000

Wyjście 2

1000000000000000000