SAT
1100101010010000000100010100001111011111000111110101010000011100010001111001010111010111011110011010101100011001101111010001001100010011010011011001001111011110010011100001110110011101010000100101001011100011001011101111110111111011011011001101111010010001111100010110000010110111001001011110011000010000011110110000100110110011110110000111100100001000100100001001111111001110011110000011011101011000110001001111001111010001110110101111101000111100001100001011000110101000001111000110010001101100010011010111111111110010010100001101000000011001101010000100101110000110110110001100011011110010000111101110001111100100010001001010010100110011011111111001110111100011101110111000000101000011100001001100110010010101001000001010100101010010110010111100100101100100101100100100110100100011100101001110110100010001011100010010011000010100001000110000111100001101010000000100011000011100100011110100100100001001100111101000100100110110010110110110000111000110111010010000110011011110010001001010101101110010011001000011010110100000101011100010110111001111010010010000110111111110111010111100111111111100111100101001010100001111100000101010000010111110110110001011000001001100110111110001100000010010101110110101010100010011000101010101010010110110110010110100101100100101010010110011001001010101011110110001100001101001001101001001001101001000001111110111111011110011111101000100000111100100101100100000001011110101101001010100101001110011001100010010011010110011010011111110001101110111100111011011111110000111010101111011110101000100100010101100111110110001101100100001010010101110011111000000010000000001101011110001110110010000000011001000110010101101100110111000110010000001110010111100001100110010100101011000111010010110110010010110010100010111111000001010011001110100001100000000001011001010101111000111010110000100110011000100110111101001001110101000011010000011000100010001000101010111011000100111010011000011100111110011110011111111111101011010101011100101110110001110011110000011101101101010010001011100101010110010010111111111111011000101111100101010100011001100100100100001111110110110111011100110010011100100111010000111001011010110010110110011110001110001010010011001100101000111010010110000100001101111101011100001101111101001110001101100010001111100111000001011101111111011110100001001000001111100000011100111111101010010011110100101111100110100010001010010000100011010101110001001101101000100101100110100100100000110101101111001100101101111111101011001111001011010001000111110011010000110011100011101111010011001011000011111011100111000000110101000111000010100110110010011000101110100101100011111010111011011101100011111111100011010100111101101001110111000001110010001111001011111100000001100001001110111011010101011010010000110100011101111101001010011010101101111110101001000101100111100110011011101011011101100111111110101111110011110111111100001111111111000000100111000101001101010010110111111000011000000110000101110110011011010100100100001001110011010111100110000100101001101000100001111010011101001100100110111111101011110101010100101110001100111100010001000110010101000100001011111101000011100011010110001100010100000011011011011110010100001001000011010100001100001100100000010010111110100100101100101100111010100100110100000011101010011100111001010011011010011111000010000111011110011101000111000101000001000111100110100101101111010000100110010001010000000110110110001100000000010010001100111011011101011000001101000100110011101100101001111100111101111100100011011101110000011010100110000100001101010010000001011010011101001010111101001101010111001101000000001101000110010111010000110011011110110100111101110110000001000100111100101110011000101110000100111110110101010001111011010110010001100000010101001000010000011110010001100110011010001001011001000000110001110011011001011111011101101101110100101000101000000111111000101011000001001101001001110111011010011001101100001001101010001000000100100010010110111011101010101101110001000100101010000000111111110110011000100001111111001110011100011110100111000111100010011100001000001010000010110011000111110010100011001101100001101111100110100101110100001001111111001111101001110101001000101100001011111011110011011111110000000000111011110001101010101111110110100101001001011110111100100100110101101010110000101010100110101110111110110110001110000011000010001100001000111011011101100100110001001111101000111110000000010001101010111100101100101101011001100001100111100100110101111011001010111000110000001111100001000100010000010101101100110111111011001111011001100010001100110111011110000001111011001111000011110010101100000011101010111111101000001011101001010010100000000101111011001101010111100010011001100101101000101100110111000101000001000110100100110001101011111100100011000100111010100010000011001110101111010110000110111111010001010001001000000111100110111100101110111111101011101110100110111101100001000101011111000111110100110101110110111010011101110100101000111110000101001101101110000100100101101010111011001100100001011001111100110011110010000001110110000010101101100101100000101110101011100011111001111000101001101101001001010100000011010011101110011100010100110010000100010100100100101100111110100000000010011001100110011111001001111101100011100110111010011110001001110101011110110100001011000100111101011001110110110111011011010001010110001110110100010011100100001000000010101001010110100000000010011100101101001101100110100001011100000111111000010000000101100001001100010011101101111000111011100110010001101000001001000100000011011001110110110010011110110011111011111100100110011110101001100101101011000100110001100100000001011010011110011100000011111111110011111100110001010011100000010000011000011111010010011110100100110110101011000110011001011001001010101001111011011111010110101010000101001100100100111101010111101011100010101101110000111101011110101010101111100011110000001100001010100010101010001110110100101010110110111110111010110100110111100001000110111100101101011000001101101100011101001001101110010000110110010101011000101100101100100011010001110011111001011101011011100000111010101011100000000001101101100000101000001011111010000100110100011101001100100101100110001001100001010010000010010000000111000111110011101101000011001111000011110111001100001000110001010110101010011101111010001011011011101100001101100001010111000001110011011111111100101111111111101110011100110100100011000100010111110111100111101011111001001101001110000100110100011101100010001110100110110000001000110001000110100101000010011011011110010010000101001010111101010101010100000111001110000011101111010100111001111010111011000110001111010111100001000001001111111111110101010011101001110011000101111101011100001101110110001111000110110000100000001011001110000011111111101111100111010100001000011100011010001010110100000110101101101110110111111100111010100000011111101010111110101000001001100101110111110001010001001001000100101100011101101100000011111111101111001101111101010111001010101000001110100000001110000100000111101011100100011100001100001110000111100101101011100010110001001010001011110110111110111110110001000110001100011111100100100010001010010111110101001011110111011110110001100110010100111111010111100100000110100000001000100111110111011100100110111101011011000011100011100101011101000110010101111100101101001110011110110011000110001111100111101010101111010110110010110101111111111110110001001101100110101111010001101100010100010011010000111010100010010010000001000000101001011000100111111101100110001001101011110100010110011000101001110001100001001001011110010111110100001101001101000110101011110001011101101011010011011010011110011000000101101111110010001010001000010000001010101001010011001110111100010111010011100110000011011000001010001000100110111111100000001101001101011110100010000010110010110011010001011101000001010111101010011110000100010000111000011110101110110111111100100101001111100001111011001101101010110001011001011100101001011010001010011001001111100010011111111111100000001100111001001101100110010111011111111010010111001111100010110101011100110011001110010001010011111110110100010111011001001000101011000110011110010110110001011110000110101101110010001101000000000100110001100001001001101001110100011111011011000110001010101001101011000101101011000000011101100010110110111000110110010010101001110111000101101010100101111110010011011001101101111101010000101100000110110010101001001011110111011011000001000010111101111100000001101101000100101111100001101101001011000111000011111001111010110001011110000010101111010011011101000010010110111001001001010100001110000011000100100100001111000101011000100100010011101011011101001101101101000000010101111011000111111001111100101010101011001011100111001001101101100000000110000011110111011001100010011001000101011100011101110011010110000011100011000000010011111100110011111100110010001001011101100000101001100010001000100000010010001110100100000111100111011110100110000000011110001111110011000100100110010001110010101111101111110011011001010011010011101101010011111001011100000011101111101100111100011111000001101111000101011101110100000001101011011111011111101111111000110000100111011001010001001001010010110000001101101110110011010001100000001111000111100011111100010110110001010000001000010100000111011000110111011011101101110010111110011111010000010100000101011000011101010110101111100110101000011110011001011111111111001001001111101101011001110101011111101111111101001001111101001010101110010100111010101001010111111001000000111011001011101000111011100010001000111011000010110001010111001000011100101000010000011000110111110011100101111111100000101010101010111001100001110000000100101110110010101101100100001011101011001011101000100010000111100101000110001101001101010001001111110101011110110110011110010111111100001010001010101011110000001011001000001101011100011110100010100101101101001101010101000100100001100010011111010011011000001101000000011101110011110101101011101000001001110110010100010110111110110010000011101001000100111100110101100101101000111