| clr (0, 0) --> cc = 0 |
| clr (0, 1) --> cc = 1 |
| clr (1, 0) --> cc = 2 |
| clr (2, 1) --> cc = 2 |
| clr (2, 2) --> cc = 0 |
| clr (2, 3) --> cc = 1 |
| clr (0, 127) --> cc = 1 |
| clr (127, 0) --> cc = 2 |
| clr (127, 126) --> cc = 2 |
| clr (127, 127) --> cc = 0 |
| clr (0, 32767) --> cc = 1 |
| clr (32767, 0) --> cc = 2 |
| clr (32767, 32767) --> cc = 0 |
| clr (32767, 32766) --> cc = 2 |
| clr (0, 2147483647) --> cc = 1 |
| clr (2147483647, 0) --> cc = 2 |
| clr (2147483647, 2147483647) --> cc = 0 |
| clr (2147483647, 2147483646) --> cc = 2 |
| clgr (0, 0) --> cc = 0 |
| clgr (0, 1) --> cc = 1 |
| clgr (1, 0) --> cc = 2 |
| clgr (2, 1) --> cc = 2 |
| clgr (2, 2) --> cc = 0 |
| clgr (2, 3) --> cc = 1 |
| clgr (0, 127) --> cc = 1 |
| clgr (127, 0) --> cc = 2 |
| clgr (127, 126) --> cc = 2 |
| clgr (127, 127) --> cc = 0 |
| clgr (0, 32767) --> cc = 1 |
| clgr (32767, 0) --> cc = 2 |
| clgr (32767, 32767) --> cc = 0 |
| clgr (32767, 32766) --> cc = 2 |
| clgr (0, 2147483647) --> cc = 1 |
| clgr (2147483647, 0) --> cc = 2 |
| clgr (2147483647, 2147483647) --> cc = 0 |
| clgr (2147483647, 2147483646) --> cc = 2 |
| clgr (9223372036854775808, 9223372036854775808) --> cc = 0 |
| clgr (9223372036854775808, 9223372036854775807) --> cc = 2 |
| clgr (9223372036854775807, 9223372036854775808) --> cc = 1 |
| clgr (9223372036854775807, 9223372036854775807) --> cc = 0 |
| clgfr (0, 0) --> cc = 0 |
| clgfr (0, 1) --> cc = 1 |
| clgfr (1, 0) --> cc = 2 |
| clgfr (2, 1) --> cc = 2 |
| clgfr (2, 2) --> cc = 0 |
| clgfr (2, 3) --> cc = 1 |
| clgfr (0, 127) --> cc = 1 |
| clgfr (127, 0) --> cc = 2 |
| clgfr (127, 126) --> cc = 2 |
| clgfr (127, 127) --> cc = 0 |
| clgfr (0, 32767) --> cc = 1 |
| clgfr (32767, 0) --> cc = 2 |
| clgfr (32767, 32767) --> cc = 0 |
| clgfr (32767, 32766) --> cc = 2 |
| clgfr (0, 2147483647) --> cc = 1 |
| clgfr (2147483647, 0) --> cc = 2 |
| clgfr (2147483647, 2147483647) --> cc = 0 |
| clgfr (2147483647, 2147483646) --> cc = 2 |
| clgfr (9223372036854775808, 18446744071562067968) --> cc = 2 |
| clgfr (9223372036854775808, 2147483647) --> cc = 2 |
| clgfr (9223372036854775807, 18446744071562067968) --> cc = 2 |
| clgfr (9223372036854775807, 2147483647) --> cc = 2 |
| cl (0, 0) --> cc = 0 |
| cl (0, 1) --> cc = 1 |
| cl (1, 0) --> cc = 2 |
| cl (2, 1) --> cc = 2 |
| cl (2, 2) --> cc = 0 |
| cl (2, 3) --> cc = 1 |
| cl (0, 127) --> cc = 1 |
| cl (127, 0) --> cc = 2 |
| cl (127, 126) --> cc = 2 |
| cl (127, 127) --> cc = 0 |
| cl (0, 32767) --> cc = 1 |
| cl (32767, 0) --> cc = 2 |
| cl (32767, 32766) --> cc = 2 |
| cl (32767, 32767) --> cc = 0 |
| cl (0, 2147483647) --> cc = 1 |
| cl (2147483647, 0) --> cc = 2 |
| cl (2147483647, 2147483646) --> cc = 2 |
| cl (2147483647, 2147483647) --> cc = 0 |
| clg (0, 0) --> cc = 0 |
| clg (0, 1) --> cc = 1 |
| clg (1, 0) --> cc = 2 |
| clg (2, 1) --> cc = 2 |
| clg (2, 2) --> cc = 0 |
| clg (2, 3) --> cc = 1 |
| clg (0, 127) --> cc = 1 |
| clg (127, 0) --> cc = 2 |
| clg (127, 126) --> cc = 2 |
| clg (127, 127) --> cc = 0 |
| clg (0, 32767) --> cc = 1 |
| clg (32767, 0) --> cc = 2 |
| clg (32767, 32766) --> cc = 2 |
| clg (32767, 32767) --> cc = 0 |
| clg (0, 2147483647) --> cc = 1 |
| clg (2147483647, 0) --> cc = 2 |
| clg (2147483647, 2147483646) --> cc = 2 |
| clg (2147483647, 2147483647) --> cc = 0 |
| clg (9223372036854775808, 9223372036854775808) --> cc = 0 |
| clg (9223372036854775808, 9223372036854775807) --> cc = 2 |
| clg (9223372036854775807, 9223372036854775808) --> cc = 1 |
| clg (9223372036854775807, 9223372036854775807) --> cc = 0 |
| clgf (0, 0) --> cc = 0 |
| clgf (0, 1) --> cc = 1 |
| clgf (1, 0) --> cc = 2 |
| clgf (2, 1) --> cc = 2 |
| clgf (2, 2) --> cc = 0 |
| clgf (2, 3) --> cc = 1 |
| clgf (0, 127) --> cc = 1 |
| clgf (127, 0) --> cc = 2 |
| clgf (127, 126) --> cc = 2 |
| clgf (127, 127) --> cc = 0 |
| clgf (0, 32767) --> cc = 1 |
| clgf (32767, 0) --> cc = 2 |
| clgf (32767, 32766) --> cc = 2 |
| clgf (32767, 32767) --> cc = 0 |
| clgf (0, 2147483647) --> cc = 1 |
| clgf (2147483647, 0) --> cc = 2 |
| clgf (2147483647, 2147483646) --> cc = 2 |
| clgf (2147483647, 2147483647) --> cc = 0 |
| clgf (9223372036854775808, 18446744071562067968) --> cc = 2 |
| clgf (9223372036854775808, 2147483647) --> cc = 2 |
| clgf (9223372036854775807, 18446744071562067968) --> cc = 2 |
| clgf (9223372036854775807, 2147483647) --> cc = 2 |
| CLFI (0, 0) --> cc = 0 |
| CLFI (0, 1) --> cc = 1 |
| CLFI (1, 0) --> cc = 2 |
| CLFI (2, 1) --> cc = 2 |
| CLFI (2, 2) --> cc = 0 |
| CLFI (2, 3) --> cc = 1 |
| CLFI (127, 0) --> cc = 2 |
| CLFI (127, 126) --> cc = 2 |
| CLFI (127, 127) --> cc = 0 |
| CLFI (0, 32767) --> cc = 1 |
| CLFI (32767, 0) --> cc = 2 |
| CLFI (32767, 32767) --> cc = 0 |
| CLFI (32767, 32766) --> cc = 2 |
| CLFI (0, 2147483647) --> cc = 1 |
| CLFI (2147483647, 0) --> cc = 2 |
| CLFI (2147483647, 2147483647) --> cc = 0 |
| CLFI (2147483647, 2147483646) --> cc = 2 |
| CLGFI (0, 0) --> cc = 0 |
| CLGFI (0, 1) --> cc = 1 |
| CLGFI (1, 0) --> cc = 2 |
| CLGFI (2, 1) --> cc = 2 |
| CLGFI (2, 2) --> cc = 0 |
| CLGFI (2, 3) --> cc = 1 |
| CLGFI (127, 0) --> cc = 2 |
| CLGFI (127, 126) --> cc = 2 |
| CLGFI (127, 127) --> cc = 0 |
| CLGFI (0, 32767) --> cc = 1 |
| CLGFI (32767, 0) --> cc = 2 |
| CLGFI (32767, 32767) --> cc = 0 |
| CLGFI (32767, 32766) --> cc = 2 |
| CLGFI (0, 2147483647) --> cc = 1 |
| CLGFI (2147483647, 0) --> cc = 2 |
| CLGFI (2147483647, 2147483647) --> cc = 0 |
| CLGFI (2147483647, 2147483646) --> cc = 2 |
| CLGFI (9223372036854775808, 18446744071562067968) --> cc = 2 |
| CLGFI (9223372036854775808, 2147483647) --> cc = 2 |
| CLGFI (9223372036854775807, 18446744071562067968) --> cc = 2 |
| CLGFI (9223372036854775807, 2147483647) --> cc = 2 |