화성인의 달력

화성인들은 새로운 우주 연구 센터를 짓고 있다. 우주에는 끝이 없으므로 센터도 엄청나게 크다. 그래서 공사를 빠르게 진행하고 작업을 잘 계획하는 것이 꼭 필요하다.

화성인의 달력은 지구의 것과 다르다. 화성의 한 해는 매우 길어서 $10^{12}$일로 이루어진다. 한 해는 달로 나뉜다. 첫 번째 달에는 하루가, 두 번째 달에는 이틀이, 세 번째 달에는 사흘이 있으며 이런 식으로 이어진다. 날짜는 매달 1부터 번호가 매겨진다. 예를 들어 한 해의 첫 12일이 각 달에서 가지는 번호는 1, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2이다.

날마다 길이도 다르다. 달의 첫째 날은 1시간, 둘째 날은 2시간, 셋째 날은 3시간이며 이런 식이다.

화성 최고의 팀은 건물 한 채를 단 1시간 만에 세울 수 있다. 따라서 달의 $k$번째 날에 이 팀은 건물을 $k$채 지을 수 있다. 팀은 한 해의 $A$번째 날부터 같은 해의 $B$번째 날까지 (양 끝 포함) 연구 센터 공사에 참여할 수 있다. 화성인은 지치지 않으며 하루 24시간 쉬지 않고 일한다.

이 기간 동안 팀이 지을 수 있는 건물의 수를 구하는 프로그램을 작성하라.

입력의 첫 줄에는 정수 $A$와 $B$가 주어진다($1 \le A \le B \le 10^{12}$). 두 수는 팀이 일하는 첫 날과 마지막 날의 해 안에서의 번호이다.

출력의 첫 줄에 팀이 지을 수 있는 건물의 수를 출력한다.