מערבית ליבשת אוסטרליה משתרע האוקיינוס ההודי הרחב. חוקר הים מר 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