char0, char1, char2, char3, char4, char5, char6, char7, char8, char9, char10, char11, char12, char13, char14, char15 = var('char0 char1 char2 char3 char4 char5 char6 char7 char8 char9 char10 char11 char12 char13 char14 char15')
solve([((char0 * 10) + (char1 * 12) + (char6 * 62) + (char3 * 15) + (char10 * 95) + (char9 * 2) + (char13 * 38) + (char12 * 17) + (char15 * 25) + (char14 * 67)) == 0x8120,
((char2 * 15) + (char0 * 8) + (char7 * 50) + (char5 * 25) + (char12 * 64) + (char8 * 13) + (char13 * 85))== 0x6002,
((char0 * 58) + (char5 * 55) + (char2 * 25) + (char9 * 12) + (char14 * 86) + (char13 * 57) + (char1 * 35) + (char7 * 35))== 0x7C2D,
((char0 * 67) + (char3 * 71) + (char7 * 97) + (char5 * 39) + (char11 * 10) + (char10 * 60))== 0x6D22,
((char0 * 85) + (char2 * 5) + (char4 * 25) + (char3 * 38) + (char11 * 16) + (char10 * 83) + (char13 * 53) + (char12 * 29))== 0x7550,
((char0 * 0x3A) + (char1 * 28) + (char2) + (char8 * 3) + (char4 * 65) + (char10 * 81) + (char9 * 6) + (char14 * 78) + (char12 * 62)) == 0x85F9,
((char1 * 0x33) + (char2 * 0x42) + (char6 * 0x50) + (char3 * 0x3F) + (char13 * 0x5D) + (char9 * 0x17))== 0x842C,
((char3 * 0x13) + (char5 * 0x5E) + (char7 * 0x5A) + (char6 * 0x1E) + (char10 * 0x59) + (char9 * 9) + (char14 * 0x1A) + (char11 * 8) + (char15 * 0xA))== 0x7C9E,
((char0 * 72) + (char2 * 7) + (char4 * 59) + (char3 * 65) + (char6 * 22) + (char5 * 50) + (char14 * 68) + (char8 * 74) + (char15 * 41))== 0x8E1C,
((char12 * 13) + (char0 * 13) + (char5 * 11) + (char8 * 50) + (char7 * 84) + (char11 * 52) + (char10 * 57) + (char14 * 60))== 0x7723,
((char0 * 31) + (char2 * 93) + (char6 * 56) + (char4 * 57) + (char12 * 96) + (char9 * 37) + (char14 * 97))== 0xB050,
((char0 * 18) + (char2 * 17) + (char4 * 12) + (char3 * 58) + (char6 * 14) + (char5 * 71) + (char11 * 46) +((char9 + char14 + (char10 * 4)) * 8))== 0x5A4C,
((char0 * 75) + (char3 * 62) + (char7 * 85) + (char11 * 44) + (char9 * 59) + (char14 * 12) + ((char6 + char2 + char4) * 0x25))== 0x924E,
((char4 * 36) + (char11 * 86))== 0x1D7C,
((char3 * 55) + (char12 * 0xD) + (char0 * 0x48) + (char6 * 36) + (char5 * 79) + (char8 * 94) + (char7 * 88) + (char10 * 34) + (char9 * 20) + (char11 * 65) + (char13 * 19))== 0xC1F0,
((char1 * 56) + (char2 * 36) + (char5 * 19) + (char4 * 8) + (char8 * 57) + (char7 * 71) + (char13 * 6) + (char11 * 99))== 0x60A0], char0, char1, char2, char3, char4, char5, char6, char7, char8, char9, char10, char11, char12, char13, char14, char15)