Австралия құрлығының батысында кең Үнді мұхиты жатыр. Мұхит зерттеушісі 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})$ болатын тікбұрышты параллелепипед екенін білдіреді.

Шығыс деректер

Кем дегенде $K$ балық түрінің мекендеу аймақтары қиылысатын барлық орындардың жалпы көлемін $1$ жолда шығарыңыз.

Мысалдар

Кіріс 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