Westlich des australischen Kontinents erstreckt sich der weite Indische Ozean. Der Meeresforscher Herr JOI erforscht die Eigenschaften von $N$ Fischarten, die im Indischen Ozean leben.

Für jede Fischart ist im Meer ein quaderförmiger Lebensraum festgelegt. Die Fische können sich an jeden Ort innerhalb ihres Lebensraums einschließlich des Randes bewegen, verlassen ihren Lebensraum jedoch niemals. Ein Punkt im Meer wird durch $3$ reelle Zahlen $(x, y, d)$ dargestellt: $(x, y, d)$ bezeichnet einen Punkt, der sich aus der Vogelperspektive gesehen ausgehend von einem bestimmten Bezugspunkt um $x$ nach Osten und um $y$ nach Norden befindet und eine Tiefe von $d$ unter der Meeresoberfläche hat. Dabei wird angenommen, dass die Meeresoberfläche eine Ebene ist.

Herr JOI möchte wissen, wie groß der Bereich ist, in dem sich die Lebensräume von mindestens $K$ Fischarten überschneiden. Schreiben Sie ein Programm, das das Gesamtvolumen aller solcher Orte berechnet.

Eingabe

Die Eingabe besteht aus $1 + N$ Zeilen.

In der $1$. Zeile stehen, durch ein Leerzeichen getrennt, $2$ ganze Zahlen $N, K$ ($1 \le K \le N \le 50$). Dies bedeutet, dass es $N$ Fischarten gibt und das Volumen der Orte gesucht ist, an denen sich die Lebensräume von mindestens $K$ Fischarten überschneiden.

In der $i$-ten Zeile ($1 \le i \le N$) der folgenden $N$ Zeilen stehen $6$ ganze Zahlen $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)$). Dies bedeutet, dass der Lebensraum der $i$-ten Fischart ein Quader mit den $8$ Eckpunkten $(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})$ ist.

Ausgabe

Geben Sie in $1$ Zeile das Gesamtvolumen aller Orte aus, an denen sich die Lebensräume von mindestens $K$ Fischarten überschneiden.

Beispiele

Eingabe 1

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

Ausgabe 1

49000

Hinweis

In Beispiel 1 liegt beispielsweise der Punkt $(45, 65, 65)$ im Lebensraum der $1$. Fischart und der $3$. Fischart und erfüllt daher die Bedingung. Andererseits liegt der Punkt $(25, 35, 45)$ nur im Lebensraum der $2$. Fischart und erfüllt die Bedingung daher nicht. Außerdem sehen die Lebensräume der Fische wie in der Abbildung unten aus. Der Punkt $O$ stellt den Bezugspunkt auf der Meeresoberfläche dar.

Eingabe 2

1 1
0 0 0 1000000 1000000 1000000

Ausgabe 2

1000000000000000000