| cr (0, 0) --> cc = 0 |
| cr (0, 1) --> cc = 1 |
| cr (0, -1) --> cc = 2 |
| cr (1, 0) --> cc = 2 |
| cr (-1, 0) --> cc = 1 |
| cr (-2, -1) --> cc = 1 |
| cr (-2, -2) --> cc = 0 |
| cr (-2, -3) --> cc = 2 |
| cr (2, 1) --> cc = 2 |
| cr (2, 2) --> cc = 0 |
| cr (2, 3) --> cc = 1 |
| cr (-2, 1) --> cc = 1 |
| cr (2, -1) --> cc = 2 |
| cr (-128, -128) --> cc = 0 |
| cr (-128, 127) --> cc = 1 |
| cr (127, -128) --> cc = 2 |
| cr (127, 127) --> cc = 0 |
| cr (-32768, -32768) --> cc = 0 |
| cr (-32768, 32767) --> cc = 1 |
| cr (32767, -32768) --> cc = 2 |
| cr (32767, 32767) --> cc = 0 |
| cr (-2147483648, -2147483648) --> cc = 0 |
| cr (-2147483648, 2147483647) --> cc = 1 |
| cr (2147483647, -2147483648) --> cc = 2 |
| cr (2147483647, 2147483647) --> cc = 0 |
| cgr (0, 0) --> cc = 0 |
| cgr (0, 1) --> cc = 1 |
| cgr (0, -1) --> cc = 2 |
| cgr (1, 0) --> cc = 2 |
| cgr (-1, 0) --> cc = 1 |
| cgr (-2, -1) --> cc = 1 |
| cgr (-2, -2) --> cc = 0 |
| cgr (-2, -3) --> cc = 2 |
| cgr (2, 1) --> cc = 2 |
| cgr (2, 2) --> cc = 0 |
| cgr (2, 3) --> cc = 1 |
| cgr (-2, 1) --> cc = 1 |
| cgr (2, -1) --> cc = 2 |
| cgr (-128, -128) --> cc = 0 |
| cgr (-128, 127) --> cc = 1 |
| cgr (127, -128) --> cc = 2 |
| cgr (127, 127) --> cc = 0 |
| cgr (-32768, -32768) --> cc = 0 |
| cgr (-32768, 32767) --> cc = 1 |
| cgr (32767, -32768) --> cc = 2 |
| cgr (32767, 32767) --> cc = 0 |
| cgr (-2147483648, -2147483648) --> cc = 0 |
| cgr (-2147483648, 2147483647) --> cc = 1 |
| cgr (2147483647, -2147483648) --> cc = 2 |
| cgr (2147483647, 2147483647) --> cc = 0 |
| cgr (-9223372036854775808, -9223372036854775808) --> cc = 0 |
| cgr (-9223372036854775808, 9223372036854775807) --> cc = 1 |
| cgr (9223372036854775807, -9223372036854775808) --> cc = 2 |
| cgr (9223372036854775807, 9223372036854775807) --> cc = 0 |
| cgfr (0, 0) --> cc = 0 |
| cgfr (0, 1) --> cc = 1 |
| cgfr (0, -1) --> cc = 2 |
| cgfr (1, 0) --> cc = 2 |
| cgfr (-1, 0) --> cc = 1 |
| cgfr (-2, -1) --> cc = 1 |
| cgfr (-2, -2) --> cc = 0 |
| cgfr (-2, -3) --> cc = 2 |
| cgfr (2, 1) --> cc = 2 |
| cgfr (2, 2) --> cc = 0 |
| cgfr (2, 3) --> cc = 1 |
| cgfr (-2, 1) --> cc = 1 |
| cgfr (2, -1) --> cc = 2 |
| cgfr (-128, -128) --> cc = 0 |
| cgfr (-128, 127) --> cc = 1 |
| cgfr (127, -128) --> cc = 2 |
| cgfr (127, 127) --> cc = 0 |
| cgfr (-32768, -32768) --> cc = 0 |
| cgfr (-32768, 32767) --> cc = 1 |
| cgfr (32767, -32768) --> cc = 2 |
| cgfr (32767, 32767) --> cc = 0 |
| cgfr (-2147483648, -2147483648) --> cc = 0 |
| cgfr (-2147483648, 2147483647) --> cc = 1 |
| cgfr (2147483647, -2147483648) --> cc = 2 |
| cgfr (2147483647, 2147483647) --> cc = 0 |
| cgfr (-9223372036854775808, -2147483648) --> cc = 1 |
| cgfr (-9223372036854775808, 2147483647) --> cc = 1 |
| cgfr (9223372036854775807, -2147483648) --> cc = 2 |
| cgfr (9223372036854775807, 2147483647) --> cc = 2 |
| c (0, 0) --> cc = 0 |
| c (0, 1) --> cc = 1 |
| c (0, -1) --> cc = 2 |
| c (1, 0) --> cc = 2 |
| c (-1, 0) --> cc = 1 |
| c (-2, -1) --> cc = 1 |
| c (-2, -2) --> cc = 0 |
| c (-2, -3) --> cc = 2 |
| c (2, 1) --> cc = 2 |
| c (2, 2) --> cc = 0 |
| c (2, 3) --> cc = 1 |
| c (-2, 1) --> cc = 1 |
| c (2, -1) --> cc = 2 |
| c (-128, -128) --> cc = 0 |
| c (-128, 127) --> cc = 1 |
| c (127, -128) --> cc = 2 |
| c (127, 127) --> cc = 0 |
| c (-32768, -32768) --> cc = 0 |
| c (-32768, 32767) --> cc = 1 |
| c (32767, -32768) --> cc = 2 |
| c (32767, 32767) --> cc = 0 |
| c (-2147483648, -2147483648) --> cc = 0 |
| c (-2147483648, 2147483647) --> cc = 1 |
| c (2147483647, -2147483648) --> cc = 2 |
| c (2147483647, 2147483647) --> cc = 0 |
| cg (0, 0) --> cc = 0 |
| cg (0, 1) --> cc = 1 |
| cg (0, -1) --> cc = 2 |
| cg (1, 0) --> cc = 2 |
| cg (-1, 0) --> cc = 1 |
| cg (-2, -1) --> cc = 1 |
| cg (-2, -2) --> cc = 0 |
| cg (-2, -3) --> cc = 2 |
| cg (2, 1) --> cc = 2 |
| cg (2, 2) --> cc = 0 |
| cg (2, 3) --> cc = 1 |
| cg (-2, 1) --> cc = 1 |
| cg (2, -1) --> cc = 2 |
| cg (-128, -128) --> cc = 0 |
| cg (-128, 127) --> cc = 1 |
| cg (127, -128) --> cc = 2 |
| cg (127, 127) --> cc = 0 |
| cg (-32768, -32768) --> cc = 0 |
| cg (-32768, 32767) --> cc = 1 |
| cg (32767, -32768) --> cc = 2 |
| cg (32767, 32767) --> cc = 0 |
| cg (-2147483648, -2147483648) --> cc = 0 |
| cg (-2147483648, 2147483647) --> cc = 1 |
| cg (2147483647, -2147483648) --> cc = 2 |
| cg (2147483647, 2147483647) --> cc = 0 |
| cg (-9223372036854775808, -9223372036854775808) --> cc = 0 |
| cg (-9223372036854775808, 9223372036854775807) --> cc = 1 |
| cg (9223372036854775807, -9223372036854775808) --> cc = 2 |
| cg (9223372036854775807, 9223372036854775807) --> cc = 0 |
| cgf (0, 0) --> cc = 0 |
| cgf (0, 1) --> cc = 1 |
| cgf (0, -1) --> cc = 2 |
| cgf (1, 0) --> cc = 2 |
| cgf (-1, 0) --> cc = 1 |
| cgf (-2, -1) --> cc = 1 |
| cgf (-2, -2) --> cc = 0 |
| cgf (-2, -3) --> cc = 2 |
| cgf (2, 1) --> cc = 2 |
| cgf (2, 2) --> cc = 0 |
| cgf (2, 3) --> cc = 1 |
| cgf (-2, 1) --> cc = 1 |
| cgf (2, -1) --> cc = 2 |
| cgf (-128, -128) --> cc = 0 |
| cgf (-128, 127) --> cc = 1 |
| cgf (127, -128) --> cc = 2 |
| cgf (127, 127) --> cc = 0 |
| cgf (-32768, -32768) --> cc = 0 |
| cgf (-32768, 32767) --> cc = 1 |
| cgf (32767, -32768) --> cc = 2 |
| cgf (32767, 32767) --> cc = 0 |
| cgf (-2147483648, -2147483648) --> cc = 0 |
| cgf (-2147483648, 2147483647) --> cc = 1 |
| cgf (2147483647, -2147483648) --> cc = 2 |
| cgf (2147483647, 2147483647) --> cc = 0 |
| cgf (-9223372036854775808, -2147483648) --> cc = 1 |
| cgf (-9223372036854775808, 2147483647) --> cc = 1 |
| cgf (9223372036854775807, -2147483648) --> cc = 2 |
| cgf (9223372036854775807, 2147483647) --> cc = 2 |
| CFI (0, 0) --> cc = 0 |
| CFI (0, 1) --> cc = 1 |
| CFI (0, -1) --> cc = 2 |
| CFI (1, 0) --> cc = 2 |
| CFI (-1, 0) --> cc = 1 |
| CFI (-2, -1) --> cc = 1 |
| CFI (-2, -2) --> cc = 0 |
| CFI (-2, -3) --> cc = 2 |
| CFI (2, 1) --> cc = 2 |
| CFI (2, 2) --> cc = 0 |
| CFI (2, 3) --> cc = 1 |
| CFI (-2, 1) --> cc = 1 |
| CFI (2, -1) --> cc = 2 |
| CFI (-128, -128) --> cc = 0 |
| CFI (-128, 127) --> cc = 1 |
| CFI (127, -128) --> cc = 2 |
| CFI (127, 127) --> cc = 0 |
| CFI (-32768, -32768) --> cc = 0 |
| CFI (-32768, 32767) --> cc = 1 |
| CFI (32767, -32768) --> cc = 2 |
| CFI (32767, 32767) --> cc = 0 |
| CFI (-2147483648, -2147483648) --> cc = 0 |
| CFI (-2147483648, 2147483647) --> cc = 1 |
| CFI (2147483647, -2147483648) --> cc = 2 |
| CFI (2147483647, 2147483647) --> cc = 0 |
| CGFI (0, 0) --> cc = 0 |
| CGFI (0, 1) --> cc = 1 |
| CGFI (0, -1) --> cc = 2 |
| CGFI (1, 0) --> cc = 2 |
| CGFI (-1, 0) --> cc = 1 |
| CGFI (-2, -1) --> cc = 1 |
| CGFI (-2, -2) --> cc = 0 |
| CGFI (-2, -3) --> cc = 2 |
| CGFI (2, 1) --> cc = 2 |
| CGFI (2, 2) --> cc = 0 |
| CGFI (2, 3) --> cc = 1 |
| CGFI (-2, 1) --> cc = 1 |
| CGFI (2, -1) --> cc = 2 |
| CGFI (-128, -128) --> cc = 0 |
| CGFI (-128, 127) --> cc = 1 |
| CGFI (127, -128) --> cc = 2 |
| CGFI (127, 127) --> cc = 0 |
| CGFI (-32768, -32768) --> cc = 0 |
| CGFI (-32768, 32767) --> cc = 1 |
| CGFI (32767, -32768) --> cc = 2 |
| CGFI (32767, 32767) --> cc = 0 |
| CGFI (-2147483648, -2147483648) --> cc = 0 |
| CGFI (-2147483648, 2147483647) --> cc = 1 |
| CGFI (2147483647, -2147483648) --> cc = 2 |
| CGFI (2147483647, 2147483647) --> cc = 0 |
| CGFI (-9223372036854775808, -2147483648) --> cc = 1 |
| CGFI (-9223372036854775808, 2147483647) --> cc = 1 |
| CGFI (9223372036854775807, -2147483648) --> cc = 2 |
| CGFI (9223372036854775807, 2147483647) --> cc = 2 |