考虑一个具有整数坐标的二维平面。两点之间的“出租车距离”（Taxi-cab Distance）是衡量两点间最短路径的一种方式，其中移动仅限于水平和垂直路径，类似于在传统的方格纸上沿线移动。每个点恰好与四个点相连，且每个点距离为 1 个单位。

“蜘蛛距离”（Spidey Distance）是衡量最短路径的一种类似方式，但允许水平、垂直或对角线方向的移动。水平和垂直方向的点距离为 1 个单位，但对角线方向的点距离为 1.5 个单位。因此，每个点与八个其他点相连，其中四个点距离为 1 个单位，另外四个点距离为 1.5 个单位。

编写一个程序，计算在以某一点为中心、由蜘蛛距离定义的区域内，可以通过给定的出租车距离到达的点数占总点数的比例。

输入格式

输入仅一行，包含两个整数 $t$ 和 $s$ ($0 \le t, s \le 10^6$)，其中 $t$ 为出租车距离，$s$ 为蜘蛛距离。

输出格式

输出一个形如 $n/d$ 的分数，表示在给定的蜘蛛距离范围内，同时也能在给定的出租车距离内到达的点数占总点数的比例。将该分数化简为最简分数。如果 $d = 1$，则仅输出 $n$。在 $/$ 周围不要输出任何空格。

样例

样例输入 1

4 4

样例输出 1

41/49

样例输入 2

6 6

样例输出 2

17/21

样例输入 3

3 7

样例输出 3

25/141

样例输入 4

7 3

样例输出 4

1