喺澳洲大陸嘅西面,係一望無際嘅印度洋。海洋研究員 JOI 先生正喺度研究棲息喺印度洋入面嘅某 $N$ 種魚嘅性質。
對於每種魚,海入面都有一個固定咗嘅長方體形狀棲息範圍。魚可以移動去棲息範圍(包括邊界)入面嘅任何位置,但係絕對唔會離開棲息範圍。海入面嘅點由 $3$ 個實數 $(x, y, d)$ 表示:$(x, y, d)$ 代表由高空向下望嗰陣,以某個地點為基準向東行 $x$、向北行 $y$ 嘅位置,而且距離海面深度係 $d$ 嘅點。呢度假設海面係一個平面。
JOI 先生想知道有幾多地方係至少 $K$ 種魚嘅棲息範圍重疊嘅。請寫一個程式,求出呢啲地方全體嘅體積。
輸入格式
輸入由 $1 + N$ 行組成。
第 $1$ 行包含用空格隔開嘅 $2$ 個整數 $N, K$ ($1 \le K \le N \le 50$)。呢個代表魚有 $N$ 種,而且想求至少 $K$ 種魚嘅棲息範圍重疊嘅地方嘅體積。
接住落嚟 $N$ 行入面嘅第 $i$ 行 ($1 \le i \le N$) 包含 $6$ 個整數 $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)$)。呢個代表第 $i$ 種魚嘅棲息範圍係以 $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})$ 為頂點嘅長方體。
輸出格式
用 $1$ 行輸出至少 $K$ 種魚嘅棲息範圍重疊嘅地方全體嘅體積。
範例
輸入格式 1
3 2 30 50 0 50 70 100 10 20 20 70 90 60 40 60 20 90 90 70
輸出格式 1
49000
說明
喺範例 1 入面,例如點 $(45, 65, 65)$ 係第 $1$ 種魚同第 $3$ 種魚嘅棲息範圍,所以係滿足條件嘅地方。另一方面,點 $(25, 35, 45)$ 淨係得第 $2$ 種魚嘅棲息範圍,所以唔係滿足條件嘅地方。另外,魚嘅棲息範圍好似下面幅圖噉。點 $O$ 代表海面上面嘅基準點。
輸入格式 2
1 1 0 0 0 1000000 1000000 1000000
輸出格式 2
1000000000000000000