إلى الغرب من القارة الأسترالية يمتد المحيط الهندي الواسع. يدرس الباحث البحري السيد 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$ أو أكثر من أنواع الأسماك.

السطر $i$ ($1 \le i \le N$) من الأسطر الـ $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