or -32768 -32768 -32768
or -32768 -32767 -32767
or -32768 -2048 -2048
or -32768 -1023 -1023
or -32768 -128 -128
or -32768 -16 -16
or -32768 -8 -8
or -32768 -1 -1
or -32768 0 -32768
or -32768 1 -32767
or -32768 7 -32761
or -32768 15 -32753
or -32768 127 -32641
or -32768 1024 -31744
or -32768 2047 -30721
or -32768 32767 -1
or -32767 -32768 -32767
or -32767 -32767 -32767
or -32767 -2048 -2047
or -32767 -1023 -1023
or -32767 -128 -127
or -32767 -16 -15
or -32767 -8 -7
or -32767 -1 -1
or -32767 0 -32767
or -32767 1 -32767
or -32767 7 -32761
or -32767 15 -32753
or -32767 127 -32641
or -32767 1024 -31743
or -32767 2047 -30721
or -32767 32767 -1
or -2048 -32768 -2048
or -2048 -32767 -2047
or -2048 -2048 -2048
or -2048 -1023 -1023
or -2048 -128 -128
or -2048 -16 -16
or -2048 -8 -8
or -2048 -1 -1
or -2048 0 -2048
or -2048 1 -2047
or -2048 7 -2041
or -2048 15 -2033
or -2048 127 -1921
or -2048 1024 -1024
or -2048 2047 -1
or -2048 32767 -1
or -1023 -32768 -1023
or -1023 -32767 -1023
or -1023 -2048 -1023
or -1023 -1023 -1023
or -1023 -128 -127
or -1023 -16 -15
or -1023 -8 -7
or -1023 -1 -1
or -1023 0 -1023
or -1023 1 -1023
or -1023 7 -1017
or -1023 15 -1009
or -1023 127 -897
or -1023 1024 -1023
or -1023 2047 -1
or -1023 32767 -1
or -128 -32768 -128
or -128 -32767 -127
or -128 -2048 -128
or -128 -1023 -127
or -128 -128 -128
or -128 -16 -16
or -128 -8 -8
or -128 -1 -1
or -128 0 -128
or -128 1 -127
or -128 7 -121
or -128 15 -113
or -128 127 -1
or -128 1024 -128
or -128 2047 -1
or -128 32767 -1
or -16 -32768 -16
or -16 -32767 -15
or -16 -2048 -16
or -16 -1023 -15
or -16 -128 -16
or -16 -16 -16
or -16 -8 -8
or -16 -1 -1
or -16 0 -16
or -16 1 -15
or -16 7 -9
or -16 15 -1
or -16 127 -1
or -16 1024 -16
or -16 2047 -1
or -16 32767 -1
or -8 -32768 -8
or -8 -32767 -7
or -8 -2048 -8
or -8 -1023 -7
or -8 -128 -8
or -8 -16 -8
or -8 -8 -8
or -8 -1 -1
or -8 0 -8
or -8 1 -7
or -8 7 -1
or -8 15 -1
or -8 127 -1
or -8 1024 -8
or -8 2047 -1
or -8 32767 -1
or -1 -32768 -1
or -1 -32767 -1
or -1 -2048 -1
or -1 -1023 -1
or -1 -128 -1
or -1 -16 -1
or -1 -8 -1
or -1 -1 -1
or -1 0 -1
or -1 1 -1
or -1 7 -1
or -1 15 -1
or -1 127 -1
or -1 1024 -1
or -1 2047 -1
or -1 32767 -1
or 0 -32768 -32768
or 0 -32767 -32767
or 0 -2048 -2048
or 0 -1023 -1023
or 0 -128 -128
or 0 -16 -16
or 0 -8 -8
or 0 -1 -1
or 0 0 0
or 0 1 1
or 0 7 7
or 0 15 15
or 0 127 127
or 0 1024 1024
or 0 2047 2047
or 0 32767 32767
or 1 -32768 -32767
or 1 -32767 -32767
or 1 -2048 -2047
or 1 -1023 -1023
or 1 -128 -127
or 1 -16 -15
or 1 -8 -7
or 1 -1 -1
or 1 0 1
or 1 1 1
or 1 7 7
or 1 15 15
or 1 127 127
or 1 1024 1025
or 1 2047 2047
or 1 32767 32767
or 7 -32768 -32761
or 7 -32767 -32761
or 7 -2048 -2041
or 7 -1023 -1017
or 7 -128 -121
or 7 -16 -9
or 7 -8 -1
or 7 -1 -1
or 7 0 7
or 7 1 7
or 7 7 7
or 7 15 15
or 7 127 127
or 7 1024 1031
or 7 2047 2047
or 7 32767 32767
or 15 -32768 -32753
or 15 -32767 -32753
or 15 -2048 -2033
or 15 -1023 -1009
or 15 -128 -113
or 15 -16 -1
or 15 -8 -1
or 15 -1 -1
or 15 0 15
or 15 1 15
or 15 7 15
or 15 15 15
or 15 127 127
or 15 1024 1039
or 15 2047 2047
or 15 32767 32767
or 127 -32768 -32641
or 127 -32767 -32641
or 127 -2048 -1921
or 127 -1023 -897
or 127 -128 -1
or 127 -16 -1
or 127 -8 -1
or 127 -1 -1
or 127 0 127
or 127 1 127
or 127 7 127
or 127 15 127
or 127 127 127
or 127 1024 1151
or 127 2047 2047
or 127 32767 32767
or 1024 -32768 -31744
or 1024 -32767 -31743
or 1024 -2048 -1024
or 1024 -1023 -1023
or 1024 -128 -128
or 1024 -16 -16
or 1024 -8 -8
or 1024 -1 -1
or 1024 0 1024
or 1024 1 1025
or 1024 7 1031
or 1024 15 1039
or 1024 127 1151
or 1024 1024 1024
or 1024 2047 2047
or 1024 32767 32767
or 2047 -32768 -30721
or 2047 -32767 -30721
or 2047 -2048 -1
or 2047 -1023 -1
or 2047 -128 -1
or 2047 -16 -1
or 2047 -8 -1
or 2047 -1 -1
or 2047 0 2047
or 2047 1 2047
or 2047 7 2047
or 2047 15 2047
or 2047 127 2047
or 2047 1024 2047
or 2047 2047 2047
or 2047 32767 32767
or 32767 -32768 -1
or 32767 -32767 -1
or 32767 -2048 -1
or 32767 -1023 -1
or 32767 -128 -1
or 32767 -16 -1
or 32767 -8 -1
or 32767 -1 -1
or 32767 0 32767
or 32767 1 32767
or 32767 7 32767
or 32767 15 32767
or 32767 127 32767
or 32767 1024 32767
or 32767 2047 32767
or 32767 32767 32767
