ทางทิศตะวันตกของทวีปออสเตรเลียคือมหาสมุทรอินเดียอันกว้างใหญ่ คุณ 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})$

ข้อมูลส่งออก

แสดงผลปริมาตรรวมของบริเวณทั้งหมดที่ถิ่นที่อยู่อาศัยของปลาตั้งแต่ $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