sub -32768 -32768 0
sub -32768 -32767 -1
sub -32768 -2048 -30720
sub -32768 -1023 -31745
sub -32768 -128 -32640
sub -32768 -16 -32752
sub -32768 -8 -32760
sub -32768 -1 -32767
sub -32768 0 -32768
sub -32768 1 0 1
sub -32768 7 0 1
sub -32768 15 0 1
sub -32768 127 0 1
sub -32768 1024 0 1
sub -32768 2047 0 1
sub -32768 32767 0 1
sub -32767 -32768 1
sub -32767 -32767 0
sub -32767 -2048 -30719
sub -32767 -1023 -31744
sub -32767 -128 -32639
sub -32767 -16 -32751
sub -32767 -8 -32759
sub -32767 -1 -32766
sub -32767 0 -32767
sub -32767 1 -32768
sub -32767 7 0 1
sub -32767 15 0 1
sub -32767 127 0 1
sub -32767 1024 0 1
sub -32767 2047 0 1
sub -32767 32767 0 1
sub -2048 -32768 30720
sub -2048 -32767 30719
sub -2048 -2048 0
sub -2048 -1023 -1025
sub -2048 -128 -1920
sub -2048 -16 -2032
sub -2048 -8 -2040
sub -2048 -1 -2047
sub -2048 0 -2048
sub -2048 1 -2049
sub -2048 7 -2055
sub -2048 15 -2063
sub -2048 127 -2175
sub -2048 1024 -3072
sub -2048 2047 -4095
sub -2048 32767 0 1
sub -1023 -32768 31745
sub -1023 -32767 31744
sub -1023 -2048 1025
sub -1023 -1023 0
sub -1023 -128 -895
sub -1023 -16 -1007
sub -1023 -8 -1015
sub -1023 -1 -1022
sub -1023 0 -1023
sub -1023 1 -1024
sub -1023 7 -1030
sub -1023 15 -1038
sub -1023 127 -1150
sub -1023 1024 -2047
sub -1023 2047 -3070
sub -1023 32767 0 1
sub -128 -32768 32640
sub -128 -32767 32639
sub -128 -2048 1920
sub -128 -1023 895
sub -128 -128 0
sub -128 -16 -112
sub -128 -8 -120
sub -128 -1 -127
sub -128 0 -128
sub -128 1 -129
sub -128 7 -135
sub -128 15 -143
sub -128 127 -255
sub -128 1024 -1152
sub -128 2047 -2175
sub -128 32767 0 1
sub -16 -32768 32752
sub -16 -32767 32751
sub -16 -2048 2032
sub -16 -1023 1007
sub -16 -128 112
sub -16 -16 0
sub -16 -8 -8
sub -16 -1 -15
sub -16 0 -16
sub -16 1 -17
sub -16 7 -23
sub -16 15 -31
sub -16 127 -143
sub -16 1024 -1040
sub -16 2047 -2063
sub -16 32767 0 1
sub -8 -32768 32760
sub -8 -32767 32759
sub -8 -2048 2040
sub -8 -1023 1015
sub -8 -128 120
sub -8 -16 8
sub -8 -8 0
sub -8 -1 -7
sub -8 0 -8
sub -8 1 -9
sub -8 7 -15
sub -8 15 -23
sub -8 127 -135
sub -8 1024 -1032
sub -8 2047 -2055
sub -8 32767 0 1
sub -1 -32768 32767
sub -1 -32767 32766
sub -1 -2048 2047
sub -1 -1023 1022
sub -1 -128 127
sub -1 -16 15
sub -1 -8 7
sub -1 -1 0
sub -1 0 -1
sub -1 1 -2
sub -1 7 -8
sub -1 15 -16
sub -1 127 -128
sub -1 1024 -1025
sub -1 2047 -2048
sub -1 32767 -32768
sub 0 -32768 0 1
sub 0 -32767 32767
sub 0 -2048 2048
sub 0 -1023 1023
sub 0 -128 128
sub 0 -16 16
sub 0 -8 8
sub 0 -1 1
sub 0 0 0
sub 0 1 -1
sub 0 7 -7
sub 0 15 -15
sub 0 127 -127
sub 0 1024 -1024
sub 0 2047 -2047
sub 0 32767 -32767
sub 1 -32768 0 1
sub 1 -32767 0 1
sub 1 -2048 2049
sub 1 -1023 1024
sub 1 -128 129
sub 1 -16 17
sub 1 -8 9
sub 1 -1 2
sub 1 0 1
sub 1 1 0
sub 1 7 -6
sub 1 15 -14
sub 1 127 -126
sub 1 1024 -1023
sub 1 2047 -2046
sub 1 32767 -32766
sub 7 -32768 0 1
sub 7 -32767 0 1
sub 7 -2048 2055
sub 7 -1023 1030
sub 7 -128 135
sub 7 -16 23
sub 7 -8 15
sub 7 -1 8
sub 7 0 7
sub 7 1 6
sub 7 7 0
sub 7 15 -8
sub 7 127 -120
sub 7 1024 -1017
sub 7 2047 -2040
sub 7 32767 -32760
sub 15 -32768 0 1
sub 15 -32767 0 1
sub 15 -2048 2063
sub 15 -1023 1038
sub 15 -128 143
sub 15 -16 31
sub 15 -8 23
sub 15 -1 16
sub 15 0 15
sub 15 1 14
sub 15 7 8
sub 15 15 0
sub 15 127 -112
sub 15 1024 -1009
sub 15 2047 -2032
sub 15 32767 -32752
sub 127 -32768 0 1
sub 127 -32767 0 1
sub 127 -2048 2175
sub 127 -1023 1150
sub 127 -128 255
sub 127 -16 143
sub 127 -8 135
sub 127 -1 128
sub 127 0 127
sub 127 1 126
sub 127 7 120
sub 127 15 112
sub 127 127 0
sub 127 1024 -897
sub 127 2047 -1920
sub 127 32767 -32640
sub 1024 -32768 0 1
sub 1024 -32767 0 1
sub 1024 -2048 3072
sub 1024 -1023 2047
sub 1024 -128 1152
sub 1024 -16 1040
sub 1024 -8 1032
sub 1024 -1 1025
sub 1024 0 1024
sub 1024 1 1023
sub 1024 7 1017
sub 1024 15 1009
sub 1024 127 897
sub 1024 1024 0
sub 1024 2047 -1023
sub 1024 32767 -31743
sub 2047 -32768 0 1
sub 2047 -32767 0 1
sub 2047 -2048 4095
sub 2047 -1023 3070
sub 2047 -128 2175
sub 2047 -16 2063
sub 2047 -8 2055
sub 2047 -1 2048
sub 2047 0 2047
sub 2047 1 2046
sub 2047 7 2040
sub 2047 15 2032
sub 2047 127 1920
sub 2047 1024 1023
sub 2047 2047 0
sub 2047 32767 -30720
sub 32767 -32768 0 1
sub 32767 -32767 0 1
sub 32767 -2048 0 1
sub 32767 -1023 0 1
sub 32767 -128 0 1
sub 32767 -16 0 1
sub 32767 -8 0 1
sub 32767 -1 0 1
sub 32767 0 32767
sub 32767 1 32766
sub 32767 7 32760
sub 32767 15 32752
sub 32767 127 32640
sub 32767 1024 31743
sub 32767 2047 30720
sub 32767 32767 0
