Farmer John is not good at multitasking. He gets distracted often, making it hard to complete long projects. Currently, he is trying to paint one side of his barn, but he keeps painting small rectangular areas and then getting sidetracked by the needs of tending to his cows, leaving some parts of the barn painted with more coats of paint than others.
We can describe the side of the barn as a 2D xx-yy plane, on which Farmer John paints NN rectangles, each with sides parallel to the coordinate axes, each described by the coordinates of its lower-left and upper-right corner points.
Farmer John wants to apply several coats of paint to the barn so it doesn't need to be repainted again in the immediate future. However, he doesn't want to waste time applying an excessive number of coats of paint. It turns out that KK coats of paint is the optimal amount. However, looking at the amount of area covered by KK coats of paint, he is not very happy. He is willing to paint up to two additional rectangles to try and increase this area, as long as these two rectangles are disjoint (not sharing any positive amount of area in common). Note that he can also decide to paint zero new rectangles or just one new rectangle if this ends up being the best thing to do.
INPUT FORMAT (file paintbarn.in):
The first line of input contains NN and KK (1≤K,N≤1051≤K,N≤105). Each of the remaining NN lines contains four integers x1,y1,x2,y2x1,y1,x2,y2describing a rectangular region being painted, with lower-left corner (x1,y1)(x1,y1) and upper-right corner (x2,y2)(x2,y2). All xx and yy values are in the range 0…2000…200, and all rectangles have positive area.
Like the rectangles he already painted, any new rectangles that Farmer John paints must have positive area, and their corner points must have xx and yy coordinates in the range 0…2000…200.
OUTPUT FORMAT (file paintbarn.out):
Please output the maximum area of the barn that could be covered by exactly KK coats of paint, if Farmer John paints up to two additional disjoint rectangles.
SAMPLE INPUT:
3 2 1 1 4 4 3 3 7 6 2 2 8 7
SAMPLE OUTPUT:
26
Problem credits: Nick Wu and Brian Dean
翰林课程体验,退费流程快速投诉邮箱: yuxi@linstitute.net 沪ICP备2023009024号-1