Two Histograms
시간 제한2초메모리 제한1024 MB
두 히스토그램의 높이를 정해 N개의 서로 겹치지 않는 K x 1 구간 양 끝 칸의 색이 다르게 만들고, 각 구간에서 얻는 점수의 합을 최대로 만든다. 이때 심사를 통과하는 그림이 없으면 -1을 출력한다.
문제
당신에게 크기의 정사각형 모양의 격자판 세 개가 주어진다. 각 칸은 좌표와 좌표로 번호가 매겨져 있다. 좌표는 맨 왼쪽에서부터 맨 오른쪽까지 부터 으로 매겨져 있고, 좌표는 맨 아래에서부터 맨 위까지 에서 으로 매겨져 있다. 당신은 각 칸을 검은색 혹은 흰색으로 칠해야 한다.

세 격자의 격자칸을 색칠하는 예시.
첫 번째 격자판은 아래에서부터 올라오는 히스토그램의 형태를 띄어야 한다. 즉, 어떤 격자칸이 검은색으로 칠해져 있다면, 그 아래의 칸도 검은색으로 칠해져 있어야 한다.
두 번째 격자판은 왼쪽에서부터 오른쪽으로 진행하는 히스토그램의 형태를 띄어야 한다. 즉, 어떤 격자칸이 검은색으로 칠해져 있다면, 그 왼쪽 칸도 검은색으로 칠해져 있어야 한다.
세 번째 격자판은 앞의 두 격자판을 이용해 색칠한다. 어떤 칸 가 첫 두 격자판에서 모두 검은색으로 색칠되어 있다면, 세 번째 격자판의 칸 역시 검은색으로 색칠한다. 그렇지 않다면, 해당 칸을 흰색으로 색칠한다. 이 세 번째 격자판이 최종 그림이 된다.
당신이 그린 그림을 명이 심사위원에게 심사할 예정이다. 각 심사위원은 그림 내의 특정한 직사각형 영역을 심사에 이용한다. 번째 심사위원이 이용하는 직사각형 영역은 이다. 각 심사위원들이 심사에 이용하는 직사각형 영역은 겹치지 않는다.
번째 심사위원은 칸 와 칸 가 같은 색으로 칠해진 경우 불합격으로 판정한다. 두 칸의 색이 다른 경우에는 합격으로 판정하고, 칸 가 흰색으로 칠해진 경우에 점을, 검은색으로 칠해진 경우에 점을 준다.
심사를 통과하기 위해서는 모든 심사위원에게 합격 판정을 받아야 한다. 이때 그림의 점수는 모든 심사위원들에게 받은 점수의 합이 된다. 심사를 통과하는 가능한 모든 그림에 대해서 받을 수 있는 점수의 최댓값을 구해 보자.
입력
첫 번째 줄에는 두 정수 과 가 공백으로 구분되어 주어진다.
다음 개의 줄 중 번째 줄에는 네 정수 , , , 가 공백으로 구분되어 주어진다.
출력
심사를 통과하는 그림이 없다면, 을 출력한다.
심사를 통과하는 그림이 있다면, 가능한 그림의 최대 점수를 출력한다.
제한
- ()
- ()
- ()
- 개의 직사각형 영역 ()는 서로 겹치지 않는다.
힌트
직사각형 영역은 이고 인 영역을 의미한다.